|
ENTITY Variable_expression SUBTYPE OF (Variable_semantics); property_associated : property_variable_rep_select; END_ENTITY; -- Variable_expression |
Entity data types and their attributesVariable_semantics- Variable_expression property_associated: property_variable_rep_select; |
UsersVariable_semanticsEnvironment.semantics Variable_expression |
Global rules for this entity data type- |