5 import khr_util.registry
40 def getExtOnlyIface (registry, api, extensions):  argument
41 	spec = khr_util.registry.InterfaceSpec()
43 	for extension in registry.extensions:
44 		if not khr_util.registry.getExtensionName(extension) in extensions:
47 		if not khr_util.registry.extensionSupports(extension, api):
52 	return khr_util.registry.createInterface(registry, spec, api)
57 def genStaticLibrary (registry):  argument
58 	genCommandLists(registry, commandLibraryEntry,
64 def gen (registry):  argument
66 	noExtIface		= getInterface(registry, 'egl', VERSION)
67 	extOnlyIface	= getExtOnlyIface(registry, 'egl', EXTENSIONS)
76 	genStaticLibrary(registry)