|
ENTITY Time_offset; hour_offset : INTEGER; minute_offset : OPTIONAL INTEGER; sense : offset_orientation; 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; -- Time_offset |
Entity data types and their attributesTime_offsethour_offset: INTEGER; (OPT) minute_offset: INTEGER; sense: offset_orientation; (DER) actual_minute_offset: INTEGER; |
UsersTime_offsetIssue_reference.item issue_reference_item upfromsm_ap233_issue_reference_item Local_time.zone |
Global rules for this entity data type- |