|
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) |
UsersCurve_fontCurve_appearance.font |
Global rules for this entity data type- |