ENTITY coordinated_universal_time_offset

(* SCHEMA ship_structures_schema; *)

  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) AND (hour_offset < 24));
      wr2: ((0 <= actual_minute_offset) AND (actual_minute_offset <= 59));
      wr3: (NOT (((hour_offset <> 0) OR (actual_minute_offset <> 0)) AND (
               sense = exact)));
  END_ENTITY; -- coordinated_universal_time_offset

Explicit Attributes

Entity coordinated_universal_time_offset has the following local and inherited explicit attributes:

Attribute	Type	Defined By
hour_offset	INTEGER	coordinated_universal_time_offset
minute_offset	INTEGER	coordinated_universal_time_offset
sense	ahead_or_behind (ENUM)	coordinated_universal_time_offset

Derived Attributes

Entity coordinated_universal_time_offset has the following local and inherited derived attributes:

Attribute	Type	Defined By
actual_minute_offset	INTEGER	coordinated_universal_time_offset

Inverse Attributes

No Inverse Attributes

Supertypes

No supertypes

Subtypes

No subtypes

Referenced By

Entity coordinated_universal_time_offset and its supertypes are referenced by the following definitions:

Definition	Type	Referenced Entity
local_time	ENTITY	coordinated_universal_time_offset

[Top Level Definitions] [Exit]

Generated by STEP Tools^TM EXPRESS to HTML Converter
on 2007-09-07T16:40:21-04:00