|
ENTITY Datum_difference; precedent_datum : Datum; subsequent_datum : Datum; END_ENTITY; -- Datum_difference |
Entity data types and their attributesDatum_differenceprecedent_datum: Datum; subsequent_datum: Datum; |
Global rules for this entity data type- |