|
ENTITY Derived_shape_element SUBTYPE OF (Shape_element); derived_from : SET [1:?] OF Shape_element; SELF\Shape_element.description RENAMED role : STRING; END_ENTITY; -- Derived_shape_element |
Entity data types and their attributesShape_element(OPT) id: STRING; (OPT) element_name: STRING; (OPT) description: STRING; containing_shape: Item_shape; Derived_shape_element derived_from: SET [1:?] OF Shape_element; (RT) description->role: STRING; |
| Offset_shape_element (Derived_shape_element_arm) |
Global rules for this entity data type- |