|
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; -- ordinal_date |
Entity data types and their attributesdateyear_component: year_number; ordinal_date day_component: day_in_year_number; |
Global rules for this entity data type- |
public interface EOrdinal_date extends EDateday_component (explicit attribute)boolean testDay_component(EOrdinal_date type)int getDay_component(EOrdinal_date type) void setDay_component(EOrdinal_date type, int value) void unsetDay_component(EOrdinal_date type) |
public class COrdinal_date implements EOrdinal_datestatic EAttribute attributeDay_component(EOrdinal_date type) |
public class AOrdinal_date extends AEntitypublic EOrdinal_date getByIndex(int index)public EOrdinal_date getCurrentMember(SdaiIterator it) |