|
ENTITY Datum_defined_by_feature SUBTYPE OF (Single_datum); defined_by : Shape_element; END_ENTITY; -- Datum_defined_by_feature |
Entity data types and their attributesDatum- Single_datum datum_name: STRING; Datum_defined_by_feature defined_by: Shape_element; |
Global rules for this entity data type- |