ENTITY attr_demo IS
TYPE level IS (empty, medium, full);
TYPE state IS (instabil,stabil);
TYPE loc_type IS RECORD x_pos: integer;
y_pos : integer;
END RECORD;
ATTRIBUTE technology : string;
ATTRIBUTE priority : level;
ATTRIBUTE sig_state : state;
ATTRIBUTE location : loc_type;
END attr_demo;
|
Attribute dienen zur Abfrage bestimmter Eigenschaften von Objekten. Neben vordefinierten Attributen können auch benutzerdefinierte Attribute vergeben werden. Dazu muß eine Attributdeklaration erfolgen. Der Typ des Attributs kann ein vordefinierter oder ein eigendefinierter Typ sein. |