search

aas-core-works / aas-core-meta

Provide formalized meta-models for Asset Administration Shell (AAS).
Other
10 stars 3 forks source link

Value_reference_pair.value: Adapt to new type, if it is not a bug in the spec #208

Closed s-heppner closed 1 year ago

s-heppner commented 1 year ago

Type of Value_reference_pair.value was changed in the spec to List["Lang_string_short_name_type_IEC_61360"]. Check, if that makes sense, and if so, add according invarants:

@invariant(
    lambda self:
    not (self.value is not None)
    or lang_strings_have_unique_languages(self.value),
    "Value specifies no duplicate languages"
)
@invariant(
    lambda self:
    not (self.value is not None)
    or len(self.value) >= 1,
    "Value must be either not set or have at least one item"
)
s-heppner commented 1 year ago

In the specification, it is of type List[Lang_string_short_name_type_IEC_61360], I'm lacking knowledge on DataSpec IEC 61360 to identify this as a bug