diff options
Diffstat (limited to 'chromium/third_party/blink/renderer/bindings/scripts/web_idl/union.py')
| -rw-r--r-- | chromium/third_party/blink/renderer/bindings/scripts/web_idl/union.py | 191 |
1 files changed, 5 insertions, 186 deletions
diff --git a/chromium/third_party/blink/renderer/bindings/scripts/web_idl/union.py b/chromium/third_party/blink/renderer/bindings/scripts/web_idl/union.py index 49baae0d8df..526d6c08220 100644 --- a/chromium/third_party/blink/renderer/bindings/scripts/web_idl/union.py +++ b/chromium/third_party/blink/renderer/bindings/scripts/web_idl/union.py @@ -12,9 +12,8 @@ from .idl_type import IdlType from .typedef import Typedef -# NewUnion is a tentative name and will be renamed to Union. -class NewUnion(WithIdentifier, WithCodeGeneratorInfo, WithComponent, - WithDebugInfo): +class Union(WithIdentifier, WithCodeGeneratorInfo, WithComponent, + WithDebugInfo): """ Union class makes a group of union types with the same flattened member types and the same result whether it includes a nullable type or not. @@ -84,12 +83,12 @@ class NewUnion(WithIdentifier, WithCodeGeneratorInfo, WithComponent, return len(self.token) < len(other.token) def contains(self, other): - assert isinstance(other, NewUnion.IR) + assert isinstance(other, Union.IR) return (self.token != other.token and self._member_set.issuperset(other._member_set)) def __init__(self, ir): - assert isinstance(ir, NewUnion.IR) + assert isinstance(ir, Union.IR) assert ir.public_object is None identifier = Identifier('Union_{}'.format('_'.join(ir.token))) @@ -109,7 +108,7 @@ class NewUnion(WithIdentifier, WithCodeGeneratorInfo, WithComponent, if member_type.is_typedef: typedef_members.add(member_type.typedef_object) for sub_union_ir in ir.sub_union_irs: - assert isinstance(sub_union_ir.public_object, NewUnion) + assert isinstance(sub_union_ir.public_object, Union) typedef_members.update(sub_union_ir.typedefs) union_members.add(sub_union_ir.public_object) @@ -156,7 +155,6 @@ class NewUnion(WithIdentifier, WithCodeGeneratorInfo, WithComponent, ir.public_object = self for idl_type in self._idl_types: - idl_type.set_new_union_definition_object(self) idl_type.set_union_definition_object(self) @property @@ -229,182 +227,3 @@ class NewUnion(WithIdentifier, WithCodeGeneratorInfo, WithComponent, aliasing_typedefs returns a list of IdlType(T1) and IdlType(T2). """ return self._aliasing_typedefs - - -class BackwardCompatibleUnion(WithIdentifier, WithCodeGeneratorInfo, - WithComponent, WithDebugInfo): - """ - Union class makes a group of union types with the same flattened member - types and the same result whether it includes a nullable type or not. - - For example, the following union types will be grouped into one Union - instance. - (A? or B or C), (A or B? or C), ((A or B) or C?), (A or (B or C?)), ... - All these unions have the same set of flattened member types (A, B, C) and - include a nullable type. - - However, all following union types will be grouped into separate Union - instances. - (A or B), ([X] A or B), ([Y] A or B) - IdlType(A), IdlType([X] A), and IdlType([Y] A) are all distinguished from - each other as they behave differently. Bindings code generators are - expected to define an implementation class for each Union instance. - """ - - def __init__(self, union_types, typedef_backrefs): - """ - Args: - union_types: Union types of which this object consists. All types - in |union_types| must have the same flattened_member_types and - the same value of does_include_nullable_type. - typedef_backrefs: Typedef instances whose typedef'ed type is this - union. - """ - assert isinstance(union_types, (list, tuple)) - assert len(union_types) > 0 - assert all( - isinstance(union_type, IdlType) and union_type.is_union - for union_type in union_types) - assert isinstance(typedef_backrefs, (list, tuple)) - assert all( - isinstance(typedef, Typedef) for typedef in typedef_backrefs) - - flattened_members = union_types[0].flattened_member_types - does_include_nullable_type = union_types[0].does_include_nullable_type - - nullable_members = set() - typedef_members = set() - union_members = set() - for union_type in union_types: - assert union_type.flattened_member_types == flattened_members - assert (union_type.does_include_nullable_type == - does_include_nullable_type) - union_type.set_union_definition_object(self) - for direct_member in union_type.member_types: - if direct_member.is_nullable: - nullable_members.add(direct_member) - if direct_member.is_typedef: - typedef_members.add(direct_member) - if direct_member.is_union: - union_members.add(direct_member) - - sort_key = lambda x: x.syntactic_form - - components = set() - - def collect_primary_component(idl_type): - type_definition_object = idl_type.type_definition_object - if type_definition_object and type_definition_object.components: - components.add(type_definition_object.components[0]) - - for idl_type in flattened_members: - idl_type.apply_to_all_composing_elements(collect_primary_component) - # Make this union type look defined in 'modules' if the union type is - # used in 'modules' in order to keep the backward compatibility with - # the old bindings generator. - is_defined_in_core = False - is_defined_in_modules = False - for idl_type in union_types: - filepath = idl_type.debug_info.location.filepath - if filepath.startswith('third_party/blink/renderer/core/'): - is_defined_in_core = True - if filepath.startswith('third_party/blink/renderer/modules/'): - is_defined_in_modules = True - if not is_defined_in_core and is_defined_in_modules: - from .composition_parts import Component - components.add(Component('modules')) - - # TODO(peria, yukishiino): Produce unique union names. Trying to - # produce the names compatible to the old bindings generator for the - # time being. - # - # type_names = sorted( - # [idl_type.type_name for idl_type in flattened_members]) - def backward_compatible_member_name(idl_type): - name = idl_type.unwrap().type_name - if name == 'StringTreatNullAs': - return 'StringTreatNullAsEmptyString' - else: - return name - - identifier = Identifier('Or'.join([ - backward_compatible_member_name(idl_type) - for idl_type in union_types[0].member_types - ])) - - WithIdentifier.__init__(self, identifier) - WithCodeGeneratorInfo.__init__(self, readonly=True) - WithComponent.__init__(self, sorted(components), readonly=True) - WithDebugInfo.__init__(self) - - # Sort improves reproducibility. - self._flattened_members = tuple( - sorted(flattened_members, key=sort_key)) - self._does_include_nullable_type = does_include_nullable_type - self._nullable_members = tuple(sorted(nullable_members, key=sort_key)) - self._typedef_members = tuple(sorted(typedef_members, key=sort_key)) - self._union_members = tuple(sorted(union_members, key=sort_key)) - self._typedef_backrefs = tuple(typedef_backrefs) - - @property - def flattened_member_types(self): - """ - Returns the same list of flattened member types as - IdlType.flattened_member_types. - """ - return self._flattened_members - - @property - def does_include_nullable_type(self): - """ - Returns True if any of member type is nullable or a member union - includes a nullable type. - """ - return self._does_include_nullable_type - - @property - def nullable_member_types(self): - """ - Returns a list of nullable types which are direct members of union types - of which this object consists. - - Given the following unions, - (A? or B or C), (A or B? or C), (A or B or CN) where typedef C? CN; - nullable_member_types returns a list of IdlType(A?) and IdlType(B?). - """ - return self._nullable_members - - @property - def typedef_member_types(self): - """ - Returns a list of typedef types which are direct members of union types - of which this object consists. - - Given the following unions, - (AT or B), (A or BT) where typedef A AT, and typedef B BT; - typedef_member_types returns a list of IdlType(AT) and IdlType(BT). - """ - return self._typedef_members - - @property - def union_member_types(self): - """ - Returns a list of union types which are direct members of union types of - which this object consists. - - Given the following unions, - ((A or B) or C), (A or (B or C)) - union_member_types returns a list of IdlType(A or B) and - IdlType(B or C). - """ - return self._union_members - - @property - def aliasing_typedefs(self): - """ - Returns a list of typedefs which are aliases to this union type. - """ - return self._typedef_backrefs - - -Union = NewUnion |