Lines Matching refs:remove
49 - `<remove>` with no attribute will match
50 - `<remove profile="core">` will match
51 - `<remove profile="compatibility">` will not match
93 Also deletes <remove> elements.
105 if child.tag == 'remove':
106 # Remove <remove> elements
107 parent.remove(child)
159 parent.remove(variant)
191 parent.remove(child)
474 self.requiredextensions = [] # Hack - can remove it after validity generator goes away
560 # - or remove all elements with non-matching 'api' attributes
877 """Require (along with its dependencies) or remove (but not its dependencies) a type.
889 # required. This does not un-tag dependencies in a <remove>
942 # look it up in that <enums> tag and remove the Element there,
956 gi.elem.remove(gienum)
958 self.gen.logMsg('warn', 'markEnumRequired: Cannot remove enum',
962 self.gen.logMsg('warn', 'markEnumRequired: Cannot remove enum',
978 # Actually remove it
980 enums.remove(thisEnum)
1022 # This does not remove types of commands in a <remove>
1036 """Require or remove features specified in the Element.
1039 - feature - Element for `<require>` or `<remove>` tag
1112 `<require>` and `<remove>` tags
1211 """Process `<remove>` tags for a `<version>` or `<extension>`.
1214 `<remove>` tags
1219 # <remove> marks things that are removed by this version/profile
1220 for feature in interface.findall('remove'):
1235 # Loop over all usage inside all <remove> tags.
1236 for feature in interface.findall('remove'):
1358 # LATER - Check for, report, and remove duplicates?
1619 # regExtensions, then remove extensions matching the pattern
1653 extName, '(matches explicitly requested extensions to remove)')
1700 # longer required (in an <remove> block). <remove>s are processed
1704 # <remove> tags.