|
ENTITY colour_rgb SUBTYPE OF (colour_specification); red : REAL; green : REAL; blue : REAL; WHERE WR1: {0.0 <= red <= 1.0}; WR2: {0.0 <= green <= 1.0}; WR3: {0.0 <= blue <= 1.0}; END_ENTITY; -- colour_rgb |
Entity data types and their attributescolour- colour_specification name: label; colour_rgb red: REAL; green: REAL; blue: REAL; |
Global rules for this entity data typedependent_instantiable_colour_rgb (automotive_design) |