ENTITY calendar_date

(* SCHEMA step_ship_schema; *)

ENTITY calendar_date
  SUBTYPE OF (date);
    day_component   : day_in_month_number;
    month_component : month_in_year_number;
  WHERE
    wr1: valid_calendar_date(SELF);
END_ENTITY;

Explicit Attributes

Entity calendar_date has the following local and inherited explicit attributes:
AttributeTypeDefined By
 year_componentyear_number (INTEGER)date
 day_componentday_in_month_number (INTEGER)calendar_date
 month_componentmonth_in_year_number (INTEGER)calendar_date

Derived Attributes

    No derived attributes

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity calendar_date inherits from the following supertypes:
  date

Subtypes

    No subtypes

Referenced By

Entity calendar_date and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 date ENTITY calendar_date
 date_and_time ENTITY date
 date_time_select SELECT date
 dependent_instantiable_date RULE date
 valid_calendar_date FUNCTION calendar_date


[Top Level Definitions] [Exit]

Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2007-09-24T12:42:20-04:00