ENTITY calendar_date

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)

 
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_time_select SELECT date
 valid_calendar_date FUNCTION calendar_date


[Top Level Definitions] [Exit]

Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2007-09-07T16:40:54-04:00