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 |
Entity data types and their attributesdateyear_component: year_number; calendar_date day_component: day_in_month_number; month_component: month_in_year_number; |
Global rules for this entity data type- |
public interface ECalendar_date extends EDateday_component (explicit attribute)boolean testDay_component(ECalendar_date type)int getDay_component(ECalendar_date type) void setDay_component(ECalendar_date type, int value) void unsetDay_component(ECalendar_date type) month_component (explicit attribute)boolean testMonth_component(ECalendar_date type)int getMonth_component(ECalendar_date type) void setMonth_component(ECalendar_date type, int value) void unsetMonth_component(ECalendar_date type) |
public class CCalendar_date implements ECalendar_datestatic EAttribute attributeDay_component(ECalendar_date type)static EAttribute attributeMonth_component(ECalendar_date type) |
public class ACalendar_date extends AEntitypublic ECalendar_date getByIndex(int index)public ECalendar_date getCurrentMember(SdaiIterator it) |