| # Copyright 2024 Google LLC |
| # |
| # Licensed under the Apache License, Version 2.0 (the "License"); |
| # you may not use this file except in compliance with the License. |
| # You may obtain a copy of the License at |
| # |
| # https://www.apache.org/licenses/LICENSE-2.0 |
| # |
| # Unless required by applicable law or agreed to in writing, software |
| # distributed under the License is distributed on an "AS IS" BASIS, |
| # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| # See the License for the specific language governing permissions and |
| # limitations under the License. |
| |
| """Tests for util.ir_data_utils.""" |
| |
| import dataclasses |
| import enum |
| import sys |
| from typing import Optional |
| import unittest |
| from compiler.util import expression_parser |
| from compiler.util import ir_data |
| from compiler.util import ir_data_fields |
| from compiler.util import ir_data_utils |
| |
| |
| class TestEnum(enum.Enum): |
| """Used to test python Enum handling.""" |
| |
| UNKNOWN = 0 |
| VALUE_1 = 1 |
| VALUE_2 = 2 |
| |
| |
| @dataclasses.dataclass |
| class Opaque(ir_data.Message): |
| """Used for testing data field helpers""" |
| |
| |
| @dataclasses.dataclass |
| class ClassWithUnion(ir_data.Message): |
| """Used for testing data field helpers""" |
| |
| opaque: Optional[Opaque] = ir_data_fields.oneof_field("type") |
| integer: Optional[int] = ir_data_fields.oneof_field("type") |
| boolean: Optional[bool] = ir_data_fields.oneof_field("type") |
| enumeration: Optional[TestEnum] = ir_data_fields.oneof_field("type") |
| non_union_field: int = 0 |
| |
| |
| @dataclasses.dataclass |
| class ClassWithTwoUnions(ir_data.Message): |
| """Used for testing data field helpers""" |
| |
| opaque: Optional[Opaque] = ir_data_fields.oneof_field("type_1") |
| integer: Optional[int] = ir_data_fields.oneof_field("type_1") |
| boolean: Optional[bool] = ir_data_fields.oneof_field("type_2") |
| enumeration: Optional[TestEnum] = ir_data_fields.oneof_field("type_2") |
| non_union_field: int = 0 |
| seq_field: list[int] = ir_data_fields.list_field(int) |
| |
| |
| class IrDataUtilsTest(unittest.TestCase): |
| """Tests for the miscellaneous utility functions in ir_data_utils.py.""" |
| |
| def test_field_specs(self): |
| """Tests the `field_specs` method""" |
| fields = ir_data_utils.field_specs(ir_data.TypeDefinition) |
| self.assertIsNotNone(fields) |
| expected_fields = ( |
| "external", |
| "enumeration", |
| "structure", |
| "name", |
| "attribute", |
| "documentation", |
| "subtype", |
| "addressable_unit", |
| "runtime_parameter", |
| "source_location", |
| ) |
| self.assertEqual(len(fields), len(expected_fields)) |
| field_names = fields.keys() |
| for k in expected_fields: |
| self.assertIn(k, field_names) |
| |
| # Try a sequence |
| expected_field = ir_data_fields.make_field_spec( |
| "attribute", ir_data.Attribute, ir_data_fields.FieldContainer.LIST, None |
| ) |
| self.assertEqual(fields["attribute"], expected_field) |
| |
| # Try a scalar |
| expected_field = ir_data_fields.make_field_spec( |
| "addressable_unit", |
| ir_data.AddressableUnit, |
| ir_data_fields.FieldContainer.OPTIONAL, |
| None, |
| ) |
| self.assertEqual(fields["addressable_unit"], expected_field) |
| |
| # Try a IR data class |
| expected_field = ir_data_fields.make_field_spec( |
| "source_location", |
| ir_data.Location, |
| ir_data_fields.FieldContainer.OPTIONAL, |
| None, |
| ) |
| self.assertEqual(fields["source_location"], expected_field) |
| |
| # Try an oneof field |
| expected_field = ir_data_fields.make_field_spec( |
| "external", |
| ir_data.External, |
| ir_data_fields.FieldContainer.OPTIONAL, |
| oneof="type", |
| ) |
| self.assertEqual(fields["external"], expected_field) |
| |
| # Try non-optional scalar |
| fields = ir_data_utils.field_specs(ir_data.Position) |
| expected_field = ir_data_fields.make_field_spec( |
| "line", int, ir_data_fields.FieldContainer.NONE, None |
| ) |
| self.assertEqual(fields["line"], expected_field) |
| |
| fields = ir_data_utils.field_specs(ir_data.ArrayType) |
| expected_field = ir_data_fields.make_field_spec( |
| "base_type", ir_data.Type, ir_data_fields.FieldContainer.OPTIONAL, None |
| ) |
| self.assertEqual(fields["base_type"], expected_field) |
| |
| def test_is_sequence(self): |
| """Tests for the `FieldSpec.is_sequence` helper""" |
| type_def = ir_data.TypeDefinition( |
| attribute=[ |
| ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ), |
| ] |
| ) |
| fields = ir_data_utils.field_specs(ir_data.TypeDefinition) |
| # Test against a repeated field |
| self.assertTrue(fields["attribute"].is_sequence) |
| # Test against a nested IR data type |
| self.assertFalse(fields["name"].is_sequence) |
| # Test against a plain scalar type |
| fields = ir_data_utils.field_specs(type_def.attribute[0]) |
| self.assertFalse(fields["is_default"].is_sequence) |
| |
| def test_is_dataclass(self): |
| """Tests FieldSpec.is_dataclass against ir_data""" |
| type_def = ir_data.TypeDefinition( |
| attribute=[ |
| ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ), |
| ] |
| ) |
| fields = ir_data_utils.field_specs(ir_data.TypeDefinition) |
| # Test against a repeated field that holds IR data structs |
| self.assertTrue(fields["attribute"].is_dataclass) |
| # Test against a nested IR data type |
| self.assertTrue(fields["name"].is_dataclass) |
| # Test against a plain scalar type |
| fields = ir_data_utils.field_specs(type_def.attribute[0]) |
| self.assertFalse(fields["is_default"].is_dataclass) |
| # Test against a repeated field that holds scalars |
| fields = ir_data_utils.field_specs(ir_data.Structure) |
| self.assertFalse(fields["fields_in_dependency_order"].is_dataclass) |
| |
| def test_get_set_fields(self): |
| """Tests that get set fields works""" |
| type_def = ir_data.TypeDefinition( |
| attribute=[ |
| ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ), |
| ] |
| ) |
| set_fields = ir_data_utils.get_set_fields(type_def) |
| expected_fields = set( |
| ["attribute", "documentation", "subtype", "runtime_parameter"] |
| ) |
| self.assertEqual(len(set_fields), len(expected_fields)) |
| found_fields = set() |
| for k, v in set_fields: |
| self.assertIn(k.name, expected_fields) |
| found_fields.add(k.name) |
| self.assertEqual(v, getattr(type_def, k.name)) |
| |
| self.assertSetEqual(found_fields, expected_fields) |
| |
| def test_copy(self): |
| """Tests the `copy` helper""" |
| attribute = ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ) |
| attribute_copy = ir_data_utils.copy(attribute) |
| |
| # Should be equivalent |
| self.assertEqual(attribute, attribute_copy) |
| # But not the same instance |
| self.assertIsNot(attribute, attribute_copy) |
| |
| # Let's do a sequence |
| type_def = ir_data.TypeDefinition(attribute=[attribute]) |
| type_def_copy = ir_data_utils.copy(type_def) |
| |
| # Should be equivalent |
| self.assertEqual(type_def, type_def_copy) |
| # But not the same instance |
| self.assertIsNot(type_def, type_def_copy) |
| self.assertIsNot(type_def.attribute, type_def_copy.attribute) |
| |
| def test_update(self): |
| """Tests the `update` helper""" |
| attribute_template = ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ) |
| attribute = ir_data.Attribute(is_default=True) |
| ir_data_utils.update(attribute, attribute_template) |
| self.assertIsNotNone(attribute.value) |
| self.assertIsNot(attribute.value, attribute_template.value) |
| self.assertIsNotNone(attribute.name) |
| self.assertIsNot(attribute.name, attribute_template.name) |
| |
| # Value not present in template should be untouched |
| self.assertTrue(attribute.is_default) |
| |
| |
| class IrDataBuilderTest(unittest.TestCase): |
| """Tests for IrDataBuilder""" |
| |
| def test_ir_data_builder(self): |
| """Tests that basic builder chains work""" |
| # We start with an empty type |
| type_def = ir_data.TypeDefinition() |
| self.assertFalse(type_def.HasField("name")) |
| self.assertIsNone(type_def.name) |
| |
| # Now setup a builder |
| builder = ir_data_utils.builder(type_def) |
| |
| # Assign to a sub-child |
| builder.name.name = ir_data.Word(text="phil") |
| |
| # Verify the wrapped struct is updated |
| self.assertIsNotNone(type_def.name) |
| self.assertIsNotNone(type_def.name.name) |
| self.assertIsNotNone(type_def.name.name.text) |
| self.assertEqual(type_def.name.name.text, "phil") |
| |
| def test_ir_data_builder_bad_field(self): |
| """Tests accessing an undefined field name fails""" |
| type_def = ir_data.TypeDefinition() |
| builder = ir_data_utils.builder(type_def) |
| self.assertRaises(AttributeError, lambda: builder.foo) |
| # Make sure it's not set on our IR data class either |
| self.assertRaises(AttributeError, getattr, type_def, "foo") |
| |
| def test_ir_data_builder_sequence(self): |
| """Tests that sequences are properly wrapped""" |
| # We start with an empty type |
| type_def = ir_data.TypeDefinition() |
| self.assertTrue(type_def.HasField("attribute")) |
| self.assertEqual(len(type_def.attribute), 0) |
| |
| # Now setup a builder |
| builder = ir_data_utils.builder(type_def) |
| |
| # Assign to a sequence |
| attribute = ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ) |
| |
| builder.attribute.append(attribute) |
| self.assertEqual(builder.attribute, [attribute]) |
| self.assertTrue(type_def.HasField("attribute")) |
| self.assertEqual(len(type_def.attribute), 1) |
| self.assertEqual(type_def.attribute[0], attribute) |
| |
| # Lets make it longer and then try iterating |
| builder.attribute.append(attribute) |
| self.assertEqual(len(type_def.attribute), 2) |
| for attr in builder.attribute: |
| # Modify the attributes |
| attr.name.text = "bob" |
| |
| # Make sure we can build up auto-default entries from a sequence item |
| builder.attribute.append(ir_data.Attribute()) |
| builder.attribute[-1].value.expression = ir_data.Expression() |
| builder.attribute[-1].name.text = "bob" |
| |
| # Create an attribute to compare against |
| new_attribute = ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="bob"), |
| ) |
| |
| self.assertEqual(len(type_def.attribute), 3) |
| for attr in type_def.attribute: |
| self.assertEqual(attr, new_attribute) |
| |
| # Make sure the list type is a CopyValuesList |
| self.assertIsInstance( |
| type_def.attribute, |
| ir_data_fields.CopyValuesList, |
| f"Instance is: {type(type_def.attribute)}", |
| ) |
| |
| def test_copy_from(self) -> None: |
| """Tests that `CopyFrom` works.""" |
| location = ir_data.Location( |
| start=ir_data.Position(line=1, column=1), |
| end=ir_data.Position(line=1, column=2), |
| ) |
| expression_ir = ir_data.Expression(source_location=location) |
| template: ir_data.Expression = expression_parser.parse("x + y") |
| expression = ir_data_utils.builder(expression_ir) |
| expression.CopyFrom(template) |
| self.assertIsNotNone(expression_ir.function) |
| self.assertIsInstance(expression.function, ir_data_utils._IrDataBuilder) |
| self.assertIsInstance( |
| expression.function.args, ir_data_utils._IrDataSequenceBuilder |
| ) |
| self.assertTrue(expression_ir.function.args) |
| |
| def test_copy_from_list(self): |
| specs = ir_data_utils.field_specs(ir_data.Function) |
| args_spec = specs["args"] |
| self.assertTrue(args_spec.is_dataclass) |
| template: ir_data.Expression = expression_parser.parse("x + y") |
| self.assertIsNotNone(template) |
| self.assertIsInstance(template, ir_data.Expression) |
| self.assertIsInstance(template.function, ir_data.Function) |
| self.assertIsInstance(template.function.args, ir_data_fields.CopyValuesList) |
| |
| location = ir_data.Location( |
| start=ir_data.Position(line=1, column=1), |
| end=ir_data.Position(line=1, column=2), |
| ) |
| expression_ir = ir_data.Expression(source_location=location) |
| self.assertIsInstance(expression_ir, ir_data.Expression) |
| self.assertIsNone(expression_ir.function) |
| |
| expression_builder = ir_data_utils.builder(expression_ir) |
| self.assertIsInstance(expression_builder, ir_data_utils._IrDataBuilder) |
| expression_builder.CopyFrom(template) |
| self.assertIsNotNone(expression_ir.function) |
| self.assertIsInstance(expression_ir.function, ir_data.Function) |
| self.assertIsNotNone(expression_ir.function.args) |
| self.assertIsInstance( |
| expression_ir.function.args, ir_data_fields.CopyValuesList |
| ) |
| |
| self.assertIsInstance(expression_builder, ir_data_utils._IrDataBuilder) |
| self.assertIsInstance( |
| expression_builder.function, ir_data_utils._IrDataBuilder |
| ) |
| self.assertIsInstance( |
| expression_builder.function.args, ir_data_utils._IrDataSequenceBuilder |
| ) |
| |
| def test_ir_data_builder_sequence_scalar(self): |
| """Tests that sequences of scalars function properly""" |
| # We start with an empty type |
| structure = ir_data.Structure() |
| |
| # Now setup a builder |
| builder = ir_data_utils.builder(structure) |
| |
| # Assign to a scalar sequence |
| builder.fields_in_dependency_order.append(12) |
| builder.fields_in_dependency_order.append(11) |
| |
| self.assertTrue(structure.HasField("fields_in_dependency_order")) |
| self.assertEqual(len(structure.fields_in_dependency_order), 2) |
| self.assertEqual(structure.fields_in_dependency_order[0], 12) |
| self.assertEqual(structure.fields_in_dependency_order[1], 11) |
| self.assertEqual(builder.fields_in_dependency_order, [12, 11]) |
| |
| new_structure = ir_data.Structure(fields_in_dependency_order=[12, 11]) |
| self.assertEqual(structure, new_structure) |
| |
| def test_ir_data_builder_oneof(self): |
| value = ir_data.AttributeValue( |
| expression=ir_data.Expression( |
| boolean_constant=ir_data.BooleanConstant() |
| ) |
| ) |
| builder = ir_data_utils.builder(value) |
| self.assertTrue(builder.HasField("expression")) |
| self.assertFalse(builder.expression.boolean_constant.value) |
| builder.expression.boolean_constant.value = True |
| self.assertTrue(builder.expression.boolean_constant.value) |
| self.assertTrue(value.expression.boolean_constant.value) |
| |
| bool_constant = value.expression.boolean_constant |
| self.assertIsInstance(bool_constant, ir_data.BooleanConstant) |
| |
| |
| class IrDataSerializerTest(unittest.TestCase): |
| """Tests for IrDataSerializer""" |
| |
| def test_ir_data_serializer_to_dict(self): |
| """Tests serialization with `IrDataSerializer.to_dict` with default settings""" |
| attribute = ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ) |
| |
| serializer = ir_data_utils.IrDataSerializer(attribute) |
| raw_dict = serializer.to_dict() |
| expected = { |
| "name": {"text": "phil", "source_location": None}, |
| "value": { |
| "expression": { |
| "constant": None, |
| "constant_reference": None, |
| "function": None, |
| "field_reference": None, |
| "boolean_constant": None, |
| "builtin_reference": None, |
| "type": None, |
| "source_location": None, |
| }, |
| "string_constant": None, |
| "source_location": None, |
| }, |
| "back_end": None, |
| "is_default": None, |
| "source_location": None, |
| } |
| self.assertDictEqual(raw_dict, expected) |
| |
| def test_ir_data_serializer_to_dict_exclude_none(self): |
| """Tests serialization with `IrDataSerializer.to_dict` when excluding None values""" |
| attribute = ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ) |
| serializer = ir_data_utils.IrDataSerializer(attribute) |
| raw_dict = serializer.to_dict(exclude_none=True) |
| expected = {"name": {"text": "phil"}, "value": {"expression": {}}} |
| self.assertDictEqual(raw_dict, expected) |
| |
| def test_ir_data_serializer_to_dict_enum(self): |
| """Tests that serialization of `enum.Enum` values works properly""" |
| type_def = ir_data.TypeDefinition( |
| addressable_unit=ir_data.AddressableUnit.BYTE |
| ) |
| serializer = ir_data_utils.IrDataSerializer(type_def) |
| raw_dict = serializer.to_dict(exclude_none=True) |
| expected = {"addressable_unit": ir_data.AddressableUnit.BYTE} |
| self.assertDictEqual(raw_dict, expected) |
| |
| def test_ir_data_serializer_from_dict(self): |
| """Tests deserializing IR data from a serialized dict""" |
| attribute = ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ) |
| serializer = ir_data_utils.IrDataSerializer(attribute) |
| raw_dict = serializer.to_dict(exclude_none=False) |
| new_attribute = serializer.from_dict(ir_data.Attribute, raw_dict) |
| self.assertEqual(attribute, new_attribute) |
| |
| def test_ir_data_serializer_from_dict_enum(self): |
| """Tests that deserializing `enum.Enum` values works properly""" |
| type_def = ir_data.TypeDefinition( |
| addressable_unit=ir_data.AddressableUnit.BYTE |
| ) |
| |
| serializer = ir_data_utils.IrDataSerializer(type_def) |
| raw_dict = serializer.to_dict(exclude_none=False) |
| new_type_def = serializer.from_dict(ir_data.TypeDefinition, raw_dict) |
| self.assertEqual(type_def, new_type_def) |
| |
| def test_ir_data_serializer_from_dict_enum_is_str(self): |
| """Tests that deserializing `enum.Enum` values works properly when string constant is used""" |
| type_def = ir_data.TypeDefinition( |
| addressable_unit=ir_data.AddressableUnit.BYTE |
| ) |
| raw_dict = {"addressable_unit": "BYTE"} |
| serializer = ir_data_utils.IrDataSerializer(type_def) |
| new_type_def = serializer.from_dict(ir_data.TypeDefinition, raw_dict) |
| self.assertEqual(type_def, new_type_def) |
| |
| def test_ir_data_serializer_from_dict_exclude_none(self): |
| """Tests that deserializing from a dict that excluded None values works properly""" |
| attribute = ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ) |
| |
| serializer = ir_data_utils.IrDataSerializer(attribute) |
| raw_dict = serializer.to_dict(exclude_none=True) |
| new_attribute = ir_data_utils.IrDataSerializer.from_dict( |
| ir_data.Attribute, raw_dict |
| ) |
| self.assertEqual(attribute, new_attribute) |
| |
| def test_from_dict_list(self): |
| function_args = [ |
| { |
| "constant": { |
| "value": "0", |
| "source_location": { |
| "start": {"line": 421, "column": 3}, |
| "end": {"line": 421, "column": 4}, |
| "is_synthetic": False, |
| }, |
| }, |
| "type": { |
| "integer": { |
| "modulus": "infinity", |
| "modular_value": "0", |
| "minimum_value": "0", |
| "maximum_value": "0", |
| } |
| }, |
| "source_location": { |
| "start": {"line": 421, "column": 3}, |
| "end": {"line": 421, "column": 4}, |
| "is_synthetic": False, |
| }, |
| }, |
| { |
| "constant": { |
| "value": "1", |
| "source_location": { |
| "start": {"line": 421, "column": 11}, |
| "end": {"line": 421, "column": 12}, |
| "is_synthetic": False, |
| }, |
| }, |
| "type": { |
| "integer": { |
| "modulus": "infinity", |
| "modular_value": "1", |
| "minimum_value": "1", |
| "maximum_value": "1", |
| } |
| }, |
| "source_location": { |
| "start": {"line": 421, "column": 11}, |
| "end": {"line": 421, "column": 12}, |
| "is_synthetic": False, |
| }, |
| }, |
| ] |
| function_data = {"args": function_args} |
| func = ir_data_utils.IrDataSerializer.from_dict( |
| ir_data.Function, function_data |
| ) |
| self.assertIsNotNone(func) |
| |
| def test_ir_data_serializer_copy_from_dict(self): |
| """Tests that updating an IR data struct from a dict works properly""" |
| attribute = ir_data.Attribute( |
| value=ir_data.AttributeValue(expression=ir_data.Expression()), |
| name=ir_data.Word(text="phil"), |
| ) |
| serializer = ir_data_utils.IrDataSerializer(attribute) |
| raw_dict = serializer.to_dict(exclude_none=False) |
| |
| new_attribute = ir_data.Attribute() |
| new_serializer = ir_data_utils.IrDataSerializer(new_attribute) |
| new_serializer.copy_from_dict(raw_dict) |
| self.assertEqual(attribute, new_attribute) |
| |
| |
| class ReadOnlyFieldCheckerTest(unittest.TestCase): |
| """Tests the ReadOnlyFieldChecker""" |
| |
| def test_basic_wrapper(self): |
| """Tests basic field checker actions""" |
| union = ClassWithTwoUnions( |
| opaque=Opaque(), boolean=True, non_union_field=10 |
| ) |
| field_checker = ir_data_utils.reader(union) |
| |
| # All accesses should return a wrapper object |
| self.assertIsNotNone(field_checker.opaque) |
| self.assertIsNotNone(field_checker.integer) |
| self.assertIsNotNone(field_checker.boolean) |
| self.assertIsNotNone(field_checker.enumeration) |
| self.assertIsNotNone(field_checker.non_union_field) |
| # Scalar field should pass through |
| self.assertEqual(field_checker.non_union_field, 10) |
| |
| # Make sure HasField works |
| self.assertTrue(field_checker.HasField("opaque")) |
| self.assertFalse(field_checker.HasField("integer")) |
| self.assertTrue(field_checker.HasField("boolean")) |
| self.assertFalse(field_checker.HasField("enumeration")) |
| self.assertTrue(field_checker.HasField("non_union_field")) |
| |
| def test_construct_from_field_checker(self): |
| """Tests that constructing from another field checker works""" |
| union = ClassWithTwoUnions( |
| opaque=Opaque(), boolean=True, non_union_field=10 |
| ) |
| field_checker_orig = ir_data_utils.reader(union) |
| field_checker = ir_data_utils.reader(field_checker_orig) |
| self.assertIsNotNone(field_checker) |
| self.assertEqual(field_checker.ir_or_spec, union) |
| |
| # All accesses should return a wrapper object |
| self.assertIsNotNone(field_checker.opaque) |
| self.assertIsNotNone(field_checker.integer) |
| self.assertIsNotNone(field_checker.boolean) |
| self.assertIsNotNone(field_checker.enumeration) |
| self.assertIsNotNone(field_checker.non_union_field) |
| # Scalar field should pass through |
| self.assertEqual(field_checker.non_union_field, 10) |
| |
| # Make sure HasField works |
| self.assertTrue(field_checker.HasField("opaque")) |
| self.assertFalse(field_checker.HasField("integer")) |
| self.assertTrue(field_checker.HasField("boolean")) |
| self.assertFalse(field_checker.HasField("enumeration")) |
| self.assertTrue(field_checker.HasField("non_union_field")) |
| |
| def test_read_only(self) -> None: |
| """Tests that the read only wrapper really is read only""" |
| union = ClassWithTwoUnions( |
| opaque=Opaque(), boolean=True, non_union_field=10 |
| ) |
| field_checker = ir_data_utils.reader(union) |
| |
| def set_field(): |
| field_checker.opaque = None |
| |
| self.assertRaises(AttributeError, set_field) |
| |
| |
| ir_data_fields.cache_message_specs( |
| sys.modules[ReadOnlyFieldCheckerTest.__module__], ir_data.Message) |
| |
| if __name__ == "__main__": |
| unittest.main() |
