|
ENTITY coordinated_universal_time_offset; hour_offset : INTEGER; minute_offset : OPTIONAL INTEGER; sense : ahead_or_behind; DERIVE actual_minute_offset : INTEGER := NVL(minute_offset,0); WHERE WR1: { 0 <= hour_offset < 24 }; WR2: { 0 <= actual_minute_offset <= 59 }; WR3: NOT (((hour_offset <> 0) OR (actual_minute_offset <>0)) AND (sense = exact)); END_ENTITY; -- coordinated_universal_time_offset |
Entity data types and their attributescoordinated_universal_time_offsethour_offset: INTEGER; (OPT) minute_offset: INTEGER; sense: ahead_or_behind; (DER) actual_minute_offset: INTEGER; |
Global rules for this entity data type- |