|
ENTITY Range_characteristic SUBTYPE OF (Property_value_representation); SELF\Representation.items : SET [2:2] OF Numerical_item_with_unit; range_type : range_class; WHERE WR1: TYPEOF(SELF\Representation.items[1]) = TYPEOF(SELF\Representation.items[2]); WR2: TYPEOF(SELF\Representation.items[1]\Value_with_unit.unit) = TYPEOF(SELF\Representation.items[2]\Value_with_unit.unit); WR3: valid_range(SELF\Representation.items[1], SELF\Representation.items[2]); END_ENTITY; -- Range_characteristic |
Entity data types and their attributesRepresentation(OPT) id: STRING; (OPT) name: STRING; (OPT) description: STRING; context_of_items: Representation_context; items: SET [1:?] OF Representation_item; Property_value_representation (RT) context_of_items: Numerical_representation_context; Range_characteristic (RT) items: SET [2:2] OF Numerical_item_with_unit; range_type: range_class; |
Global rules for this entity data type- |