|
ENTITY Curve_font SUPERTYPE OF (ONEOF (Externally_defined_curve_font, Predefined_curve_font, User_defined_curve_font)); curve_font_name : STRING; END_ENTITY; -- Curve_font |
Entity data types and their attributesCurve_fontcurve_font_name: STRING; |
| Externally_defined_curve_font (Styled_curve_arm) |
| Predefined_curve_font (Styled_curve_arm) |
| User_defined_curve_font (Styled_curve_arm) |
Users: by entity attributesCurve_fontCurve_appearance.font Users: by defined types, not used by any entity attributeCurve_font- |
Global rules for this entity data type- |