|
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; |
Users: by entity attributesTime_offsetIssue_reference.item issue_reference_item prgm_issue_reference_item Local_time.zone Users: by defined types, not used by any entity attributeTime_offsetprgm_issue_reference_item Issue_reference.item |
Global rules for this entity data type- |