ENTITY calendar_date

(* SCHEMA ship_arrangement_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; -- calendar_date

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
 valid_calendar_date FUNCTION calendar_date


[Top Level Definitions] [Exit]

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