|
ENTITY Shape_feature_definition SUBTYPE OF (Characterizable_object); DERIVE feature_model : SET [1:?] OF Geometric_model := get_geometric_model(of_shape); INVERSE of_shape : Item_shape FOR described_element; WHERE WR1: EXISTS(feature_model); END_ENTITY; -- Shape_feature_definition |
Entity data types and their attributesCharacterizable_objectname: STRING; (OPT) description: STRING; Shape_feature_definition (DER) feature_model: SET [1:?] OF Geometric_model; (INV) of_shape: Item_shape FOR described_element; |
| Feature_definition_with_connection_area (Feature_and_connection_zone_arm) |
| Instanced_feature (Shape_feature_arm) |
Global rules for this entity data type- |