|
ENTITY Curve_appearance; colour : Colour; font : Curve_font; width : REAL; END_ENTITY; -- Curve_appearance |
Entity data types and their attributesCurve_appearancecolour: Colour; font: Curve_font; width: REAL; |
| Vector_appearance (Curve_appearance_arm) |
Global rules for this entity data type- |