|
ENTITY Variable_semantics; ABSTRACT SUPERTYPE; END_ENTITY; -- Variable_semantics |
Entity data types and their attributesVariable_semantics- |
| Named_variable_semantics (Parameter_value_specification_arm) |
| Variable_expression (Numerical_interface_arm) |
Users: by entity attributesVariable_semanticsEnvironment.semantics Users: by defined types, not used by any entity attributeVariable_semantics- |
Global rules for this entity data type- |