25 import khr_util.registry
60 def getExtOnlyIface (registry, api, extensions):  argument
61 	spec = khr_util.registry.InterfaceSpec()
63 	for extension in registry.extensions:
64 		if not khr_util.registry.getExtensionName(extension) in extensions:
67 		if not khr_util.registry.extensionSupports(extension, api):
72 	return khr_util.registry.createInterface(registry, spec, api)
77 def genStaticLibrary (registry):  argument
78 	genCommandLists(registry, commandLibraryEntry,
84 def gen (registry):  argument
86 	noExtIface		= getInterface(registry, 'egl', VERSION)
87 	extOnlyIface	= getExtOnlyIface(registry, 'egl', EXTENSIONS)
96 	genStaticLibrary(registry)