Difficult-Rocket/libs/pyglet/gl/glx_info.py
2023-01-25 20:38:17 +08:00

114 lines
3.5 KiB
Python

"""Information about version and extensions of current GLX implementation.
Usage::
from pyglet.gl import glx_info
if glx_info.have_extension('GLX_NV_float_buffer'):
# ...
Or, if using more than one display::
from pyglet.gl.glx_info import GLXInfo
info = GLXInfo(window._display)
if info.get_server_vendor() == 'ATI':
# ...
"""
from ctypes import *
from pyglet.gl.glx import *
from pyglet.util import asstr
class GLXInfoException(Exception):
pass
class GLXInfo:
def __init__(self, display=None):
# Set default display if not set
if display and not _glx_info.display:
_glx_info.set_display(display)
self.display = display
def set_display(self, display):
self.display = display
def check_display(self):
if not self.display:
raise GLXInfoException('No X11 display has been set yet.')
def have_version(self, major, minor=0):
self.check_display()
if not glXQueryExtension(self.display, None, None):
raise GLXInfoException('pyglet requires an X server with GLX')
server_version = self.get_server_version().split()[0]
client_version = self.get_client_version().split()[0]
server = [int(i) for i in server_version.split('.')]
client = [int(i) for i in client_version.split('.')]
return (tuple(server) >= (major, minor) and
tuple(client) >= (major, minor))
def get_server_vendor(self):
self.check_display()
return asstr(glXQueryServerString(self.display, 0, GLX_VENDOR))
def get_server_version(self):
# glXQueryServerString was introduced in GLX 1.1, so we need to use the
# 1.0 function here which queries the server implementation for its
# version.
self.check_display()
major = c_int()
minor = c_int()
if not glXQueryVersion(self.display, byref(major), byref(minor)):
raise GLXInfoException('Could not determine GLX server version')
return f'{major.value}.{minor.value}'
def get_server_extensions(self):
self.check_display()
return asstr(glXQueryServerString(self.display, 0, GLX_EXTENSIONS)).split()
def get_client_vendor(self):
self.check_display()
return asstr(glXGetClientString(self.display, GLX_VENDOR))
def get_client_version(self):
self.check_display()
return asstr(glXGetClientString(self.display, GLX_VERSION))
def get_client_extensions(self):
self.check_display()
return asstr(glXGetClientString(self.display, GLX_EXTENSIONS)).split()
def get_extensions(self):
self.check_display()
return asstr(glXQueryExtensionsString(self.display, 0)).split()
def have_extension(self, extension):
self.check_display()
if not self.have_version(1, 1):
return False
return extension in self.get_extensions()
# Single instance suitable for apps that use only a single display.
_glx_info = GLXInfo()
set_display = _glx_info.set_display
check_display = _glx_info.check_display
have_version = _glx_info.have_version
get_server_vendor = _glx_info.get_server_vendor
get_server_version = _glx_info.get_server_version
get_server_extensions = _glx_info.get_server_extensions
get_client_vendor = _glx_info.get_client_vendor
get_client_version = _glx_info.get_client_version
get_client_extensions = _glx_info.get_client_extensions
get_extensions = _glx_info.get_extensions
have_extension = _glx_info.have_extension