Spaces:
Runtime error
Runtime error
File size: 3,565 Bytes
d82cf6a |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 |
"""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
|