aas-core-codegen 0.0.16__py3-none-any.whl

dev/test_data/intermediate/expected/constant/constant_set/with_superset_of/meta_model.py

@@ -0,0 +1,14 @@
+Something: Set[str] = constant_set(values=["some literal", "another literal"])
+
+Something_extended: Set[str] = constant_set(
+    values=[
+        "some literal",
+        "another literal",
+        "yet another literal",
+    ],
+    superset_of=[Something],
+)
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/constant/constant_str/only_value/meta_model.py

@@ -0,0 +1,7 @@
+Something: str = constant_str(
+    value="some value",
+)
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/constant/constant_str/with_description/meta_model.py

@@ -0,0 +1,5 @@
+Something: str = constant_str(value="some value", description="Represent something.")
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/documentation/docstring_with_special_characters_in_literal/meta_model.py

@@ -0,0 +1,20 @@
+# We test for ``\x09`` and other special characters, and make sure they are represented
+# adequately in the string dump of the symbol table.
+
+
+class Non_empty_XML_serializable_string(str, DBC):
+    r"""
+    Represent a string with at least one character.
+
+    The string should also be serializable to XML, which is the background for
+    the following constraint.
+
+    :constraint AASd-130:
+
+        An attribute with data type "string" shall consist of these characters only:
+        ``^[\x09\x0A\x0D\x20-\uD7FF\uE000-\uFFFD\u00010000-\u0010FFFF]*$``.
+    """
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/documentation/docstring_with_special_characters_outside_literal/meta_model.py

@@ -0,0 +1,20 @@
+# We test for ``\x09`` and other special characters, and make sure they are represented
+# adequately in the string dump of the symbol table.
+
+
+class Non_empty_XML_serializable_string(str, DBC):
+    r"""
+    Represent a string with at least one character.
+
+    The string should also be serializable to XML, which is the background for
+    the following constraint.
+
+    :constraint AASd-130:
+
+        An attribute with data type "string" shall consist of these characters only:
+        ^[\x09\x0A\x0D\x20-\uD7FF\uE000-\uFFFD\u00010000-\u0010FFFF]*$.
+    """
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/empty/meta_model.py

@@ -0,0 +1,2 @@
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/enumeration/meta_model.py

@@ -0,0 +1,9 @@
+class Some_enum(Enum):
+    """Enumerate something."""
+
+    some_literal = "Some-Literal"
+    """Represent something."""
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/interface/basic/meta_model.py

@@ -0,0 +1,14 @@
+@abstract
+class SomethingAbstract:
+    some_property: int
+
+    @require(lambda some_property: some_property > 0)
+    def __init__(self, some_property: int) -> None:
+        self.some_property = some_property
+
+    def some_func(self) -> None:
+        pass
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/interface/empty/meta_model.py

@@ -0,0 +1,7 @@
+@abstract
+class SomethingAbstract:
+    pass
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/interface/inheritance/meta_model.py

@@ -0,0 +1,27 @@
+@abstract
+class VeryAbstract:
+    some_property: int
+
+    @require(lambda some_property: some_property > 0)
+    def __init__(self, some_property: int) -> None:
+        self.some_property = some_property
+
+    def some_func(self) -> None:
+        pass
+
+
+@abstract
+class SomethingAbstract(VeryAbstract):
+    another_property: int
+
+    @require(lambda another_property: another_property > 0)
+    def __init__(self, some_property: int, another_property: int) -> None:
+        VeryAbstract.__init__(self, some_property)
+        self.another_property = another_property
+
+    def another_func(self) -> None:
+        pass
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/interface/method_signature/meta_model.py

@@ -0,0 +1,10 @@
+# We test with this sample that the method signature is correctly translated.
+@abstract
+class SomethingAbstract:
+    @require(lambda x: x > 0)
+    def some_func(self, x: int) -> bool:
+        pass
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/interface/only_constructor/meta_model.py

@@ -0,0 +1,11 @@
+# We explicitly test here that the constructor is not included in the signatures.
+@abstract
+class SomethingAbstract:
+    x: int
+
+    def __init__(self, x: int) -> None:
+        self.x = x
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/method/non_mutating/implementation_specific/meta_model.py

@@ -0,0 +1,12 @@
+class Something:
+    def __init__(self) -> None:
+        pass
+
+    @non_mutating
+    @implementation_specific
+    def get_something(self) -> int:
+        return 4
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/method/non_mutating/understood/meta_model.py

@@ -0,0 +1,11 @@
+class Something:
+    def __init__(self) -> None:
+        pass
+
+    @non_mutating
+    def get_something(self) -> int:
+        return 4
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/type_annotation/atomic/meta_model.py

@@ -0,0 +1,9 @@
+class Concrete:
+    x: int
+
+    def __init__(self, x: int) -> None:
+        self.x = x
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/type_annotation/subscripted/class/meta_model.py

@@ -0,0 +1,13 @@
+class SomeConcreteClass:
+    """Represent something."""
+
+
+class SomeContainerClass:
+    x: List[SomeConcreteClass]
+
+    def __init__(self, x: List[SomeConcreteClass]) -> None:
+        self.x = x
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/expected/type_annotation/subscripted/primitive/meta_model.py

@@ -0,0 +1,9 @@
+class SomeContainerClass:
+    x: List[str]
+
+    def __init__(self, x: List[str]) -> None:
+        self.x = x
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/constant_set/of_enum/enumeration_literals_in_subset_outside_of_superset/meta_model.py

@@ -0,0 +1,20 @@
+class Some_enum(Enum):
+    Some_literal = "SOME-LITERAL"
+    Another_literal = "ANOTHER-LITERAL"
+    Yet_another_literal = "YET-ANOTHER-LITERAL"
+
+
+Some_set: Set[Some_enum] = constant_set(
+    values=[
+        Some_enum.Some_literal,
+        Some_enum.Another_literal,
+        Some_enum.Yet_another_literal,
+    ]
+)
+
+Another_set: Set[Some_enum] = constant_set(
+    values=[Some_enum.Some_literal, Some_enum.Another_literal], superset_of=[Some_set]
+)
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/constant_set/of_enum/invalid_literal/meta_model.py

@@ -0,0 +1,11 @@
+class Some_enum(Enum):
+    Some_literal = "SOME-LITERAL"
+    Another_literal = "ANOTHER-LITERAL"
+
+
+Some_set: Set[Some_enum] = constant_set(
+    values=[Some_enum.Some_literal, Some_enum.Yet_another_literal]
+)
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/constant_set/of_enum/mismatch_between_enumeration_and_literal/meta_model.py

@@ -0,0 +1,30 @@
+class Some_enum(Enum):
+    Some_literal = "SOME-LITERAL"
+    Another_literal = "ANOTHER-LITERAL"
+    Yet_another_literal = "YET-ANOTHER-LITERAL"
+
+
+class Another_enum(Enum):
+    Some_literal = "SOME-LITERAL"
+    Another_literal = "ANOTHER-LITERAL"
+    Yet_another_literal = "YET-ANOTHER-LITERAL"
+
+
+Some_set: Set[Some_enum] = constant_set(
+    values=[
+        Some_enum.Some_literal,
+        Some_enum.Another_literal,
+    ]
+)
+
+Another_set: Set[Another_enum] = constant_set(
+    values=[
+        Another_enum.Some_literal,
+        Another_enum.Another_literal,
+        Another_enum.Yet_another_literal,
+    ],
+    superset_of=[Some_set],
+)
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/constant_set/of_enum/mismatch_in_enumerations_between_subset_and_superset/meta_model.py

@@ -0,0 +1,21 @@
+class Some_enum(Enum):
+    Some_literal = "SOME-LITERAL"
+    Another_literal = "ANOTHER-LITERAL"
+    Yet_another_literal = "YET-ANOTHER-LITERAL"
+
+
+class Another_enum(Enum):
+    Some_literal = "SOME-LITERAL"
+    Another_literal = "ANOTHER-LITERAL"
+    Yet_another_literal = "YET-ANOTHER-LITERAL"
+
+
+Some_set: Set[Some_enum] = constant_set(
+    values=[
+        Another_enum.Some_literal,
+        Another_enum.Another_literal,
+    ]
+)
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/constant_set/of_str/literals_in_subset_outside_of_superset/meta_model.py

@@ -0,0 +1,18 @@
+Some_set: Set[str] = constant_set(
+    values=[
+        "Hello",
+        "World",
+        "Tonight",
+    ]
+)
+
+Another_set: Set[str] = constant_set(
+    values=[
+        "Hello",
+        "World",
+    ],
+    superset_of=[Some_set],
+)
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/constant_set/of_str/mismatch_between_type_annotation_and_literals/meta_model.py

@@ -0,0 +1,10 @@
+Some_set: Set[int] = constant_set(
+    values=[
+        "Hello",
+        "World",
+    ]
+)
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/constant_set/of_str/superset_and_subset_mismatch_in_type/meta_model.py

@@ -0,0 +1,12 @@
+Some_set: Set[int] = constant_set(values=[1, 2, 3])
+
+Another_set: Set[str] = constant_set(
+    values=[
+        "Hello",
+        "World",
+    ],
+    superset_of=[Some_set],
+)
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/constraints/dangling_constraintref/meta_model.py

@@ -0,0 +1,18 @@
+"""
+Provide a meta-model of something.
+
+:constraint AAS-001:
+    Some constraint
+"""
+
+
+class Something:
+    """
+    Represent something.
+
+    See :constraintref:`AAS-NON-EXISTING`
+    """
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/constraints/duplicate_constraints/meta_model.py

@@ -0,0 +1,20 @@
+"""
+Provide a meta-model of something.
+
+:constraint AAS-001:
+    Some constraint
+"""
+
+
+class Something:
+    """
+    Represent something.
+
+    :constraint AAS-001:
+        Duplicate constraint
+
+    """
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/documentation/unexpected_documentation_elements/meta_model.py

@@ -0,0 +1,34 @@
+"""
+Do something.
+
+    0: An unexpected block quote.
+"""
+
+
+class Something:
+    """
+    Represent something.
+
+        1: An unexpected block quote.
+    """
+
+    something: str
+    """
+    Capture something.
+    
+        2: An unexpected block quote.
+    """
+
+    def __init__(self, something: str) -> None:
+        self.something = something
+
+    def do_something(self) -> None:
+        """
+        Do something.
+
+            3: An unexpected block quote.
+        """
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/invariant/class_invariant_uses_re/meta_model.py

@@ -0,0 +1,10 @@
+@invariant(lambda self: re.match(r"^hello$", self.x), "X must match hello.")
+class Something:
+    x: str
+
+    def __init__(self, x: str) -> None:
+        self.x = x
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/invariant/invariant_of_constrained_primitive_uses_re/meta_model.py

@@ -0,0 +1,7 @@
+@invariant(lambda self: re.match(r"^hello$", self), "The string must match hello.")
+class Something(str):
+    pass
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/invariant/unexpected_argument_count_to_len/meta_model.py

@@ -0,0 +1,20 @@
+class Item:
+    pass
+
+
+# fmt: off
+@invariant(
+    lambda self:
+    len(self.some_property, 3) >= 1,
+    "Some property must contain at least one item."
+)
+# fmt: on
+class Something:
+    some_property: List[Item]
+
+    def __init__(self, some_property: List[Item]) -> None:
+        self.some_property = some_property
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/invariant/unhandled_built_in_function/meta_model.py

@@ -0,0 +1,16 @@
+# fmt: off
+@invariant(
+    lambda self:
+    some_unexpected_builtin_function(self.some_property),
+    "Some property must abide by some unexpected builtin function."
+)
+# fmt: on
+class Something:
+    some_property: str
+
+    def __init__(self, some_property: str) -> None:
+        self.some_property = some_property
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/method_definitions/non_constant_default/meta_model.py

@@ -0,0 +1,7 @@
+class Something:
+    def do_something(self, x: int = some_func()) -> None:
+        pass
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/optional_constructor_arguments_wo_default/default_non_none/meta_model.py

@@ -0,0 +1,16 @@
+class SomethingAbstract:
+    property_a: str
+    property_b: Optional[str]
+
+    def __init__(
+        self,
+        property_a: str,
+        # The default to None is missing here.
+        property_b: Optional[str] = "abc",
+    ) -> None:
+        self.property_a = property_a
+        self.property_b = property_b
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/optional_constructor_arguments_wo_default/no_default/meta_model.py

@@ -0,0 +1,16 @@
+class SomethingAbstract:
+    property_a: str
+    property_b: Optional[str]
+
+    def __init__(
+        self,
+        property_a: str,
+        # The default to None is missing here.
+        property_b: Optional[str],
+    ) -> None:
+        self.property_a = property_a
+        self.property_b = property_b
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/properties_and_constructor_arguments_do_not_match/after_inheritance/meta_model.py

@@ -0,0 +1,58 @@
+class SomethingAbstract:
+    property_a: str
+    property_b: str
+
+    property_c: Optional[str]
+    property_d: Optional[str]
+
+    def __init__(
+        self,
+        property_a: str,
+        property_b: str,
+        property_c: Optional[str] = None,
+        property_d: Optional[str] = None,
+    ) -> None:
+        self.property_a = property_a
+        self.property_b = property_b
+        self.property_c = property_c
+        self.property_d = property_d
+
+
+class Something(SomethingAbstract):
+    property_e: str
+    property_f: str
+
+    property_g: Optional[str]
+    property_h: Optional[str]
+
+    # NOTE (mristin, 2022-03-25):
+    # The order of the inherited and defined properties do not match the order of
+    # the constructor arguments.
+
+    def __init__(
+        self,
+        property_e: str,
+        property_f: str,
+        property_a: str,
+        property_b: str,
+        property_g: Optional[str] = None,
+        property_h: Optional[str] = None,
+        property_c: Optional[str] = None,
+        property_d: Optional[str] = None,
+    ) -> None:
+        SomethingAbstract.__init__(
+            self,
+            property_a=property_a,
+            property_b=property_b,
+            property_c=property_c,
+            property_d=property_d,
+        )
+
+        self.property_e = property_e
+        self.property_f = property_f
+        self.property_g = property_g
+        self.property_h = property_h
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/properties_and_constructor_arguments_do_not_match/type_missmatch/meta_model.py

@@ -0,0 +1,9 @@
+class SomeContainerClass:
+    x: List[str]
+
+    def __init__(self, x: List[int]) -> None:
+        self.x = x
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/intermediate/unexpected/properties_and_constructor_arguments_do_not_match/within_class/meta_model.py

@@ -0,0 +1,22 @@
+class Something:
+    property_a: str
+    property_b: str
+
+    property_c: Optional[str]
+    property_d: Optional[str]
+
+    def __init__(
+        self,
+        property_b: str,
+        property_a: str,
+        property_d: Optional[str] = None,
+        property_c: Optional[str] = None,
+    ) -> None:
+        self.property_a = property_a
+        self.property_b = property_b
+        self.property_c = property_c
+        self.property_d = property_d
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"

dev/test_data/jsonschema/test_main/regression_when_len_constraints_on_inherited_property/meta_model.py

@@ -0,0 +1,28 @@
+"""
+We encountered a bug when designing V3.0. The schema constraints on
+the descendant classes where not inferred if an invariant  involved properties
+inherited from the parent class.
+
+This unit test illustrates the setting, and prevents regressions.
+"""
+
+
+@abstract
+class Abstract_lang_string(DBC):
+    text: str
+
+    def __init__(self, text: str) -> None:
+        self.text = text
+
+
+@invariant(
+    lambda self: len(self.text) <= 128,
+    "String shall have a maximum length of 128 characters.",
+)
+class Lang_string_name_type(Abstract_lang_string, DBC):
+    def __init__(self, text: str) -> None:
+        Abstract_lang_string.__init__(self, text=text)
+
+
+__version__ = "dummy"
+__xml_namespace__ = "https://dummy.com"