Searched refs:getExtensionName (Results 1 – 7 of 7) sorted by relevance
61 const char* getExtensionName (Type wsiType);
50 const char* getExtensionName (Type wsiType) in getExtensionName() function
64 if not khr_util.registry.getExtensionName(extension) in extensions:
86 exts.append((khr_util.registry.getExtensionName(extension),
226 def getExtensionName(eExtension): function278 warnElem(eExtension, '%s is not supported in API %s' % (getExtensionName(eExtension), api))
113 extensions.push_back(getExtensionName(wsiType)); in createInstanceWithWsi()147 if (isExtensionSupported(supportedExtensions, RequiredExtension(getExtensionName(wsiType)))) in createDisplay()
97 extensions.push_back(getExtensionName(wsiType)); in createInstanceWithWsi()247 if (isExtensionSupported(supportedExtensions, RequiredExtension(getExtensionName(wsiType)))) in createDisplay()