public interface Platform
Devices 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()