ENTITY ordinal_date

(* SCHEMA date_time_schema; *)

  ENTITY ordinal_date
    SUBTYPE OF (date);
    day_component : day_in_year_number;
  WHERE
    WR1: (NOT leap_year(SELF.year_component) AND {1 <= day_component <= 365}) OR (leap_year(SELF.year_component) AND {1 <= day_component <= 366});
  END_ENTITY;

Explicit Attributes

Entity ordinal_date has the following local and inherited explicit attributes:
AttributeTypeDefined By
 year_componentyear_number (INTEGER)date
 day_componentday_in_year_number (INTEGER)ordinal_date

Derived Attributes

    No derived attributes

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity ordinal_date inherits from the following supertypes:
  date

Subtypes

    No subtypes

Referenced By

Entity ordinal_date and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 date ENTITY ordinal_date
 date_and_time ENTITY date
 date_assignment ENTITY date
 date_time_select SELECT date


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:58-04:00