public interface Platform
Device
s which are then used to
create the Context
.PlatformChooser
.Modifier and Type | Method and Description |
---|---|
java.util.List<? extends Device> |
getDevices() |
java.util.Collection<? extends java.lang.String> |
getExtensions() |
java.lang.String |
getName() |
java.lang.String |
getProfile() |
java.lang.String |
getVendor() |
java.lang.String |
getVersion() |
int |
getVersionMajor()
Extracts the major version from the version string
|
int |
getVersionMinor()
Extracts the minor version from the version string
|
boolean |
hasExtension(java.lang.String extension)
Queries if the specified extension is available.
|
boolean |
hasOpenGLInterop()
Queries if this platform supports OpenGL interop at all.
|
boolean |
isEmbeddedProfile() |
boolean |
isFullProfile() |
java.util.List<? extends Device> getDevices()
java.lang.String getProfile()
boolean isFullProfile()
true
if this platform implements the full profileboolean isEmbeddedProfile()
true
if this platform implements the embedded profilejava.lang.String getVersion()
int getVersionMajor()
int getVersionMinor()
java.lang.String getName()
java.lang.String getVendor()
boolean hasOpenGLInterop()
true
if OpenGL interop is supportedboolean hasExtension(java.lang.String extension)
extension
- the extension stringtrue
if this extension is supported by the platform
(however, not all devices might support it as well)java.util.Collection<? extends java.lang.String> getExtensions()