self.type = None
self.number = number
self.platform = None
+ self.provisional = False
self.ext_version = int(ext_version)
self.supported = []
ext = Extension(name, number, version)
ext.type = ext_elem.attrib['type']
ext.platform = ext_elem.attrib.get('platform', None)
+ ext.provisional = ext_elem.attrib.get('provisional', False)
ext.supported = supported
return ext
if api not in ext.supported:
continue
+ if ext.provisional:
+ continue
+
for require in extension.findall('./require'):
if not filter_api(require, api):
continue