ENTITY local_time; hour_component : hour_in_day; minute_component : OPTIONAL minute_in_hour; second_component : OPTIONAL second_in_minute; zone : coordinated_universal_time_offset; WHERE wr1: valid_time (SELF); END_ENTITY; -- local_time |
Entity data types and their attributeslocal_timehour_component: hour_in_day; (OPT) minute_component: minute_in_hour; (OPT) second_component: second_in_minute; zone: coordinated_universal_time_offset; |
Global rules for this entity data type- |
public interface ELocal_time extends EEntityhour_component (explicit attribute)boolean testHour_component(ELocal_time type)int getHour_component(ELocal_time type) void setHour_component(ELocal_time type, int value) void unsetHour_component(ELocal_time type) minute_component (explicit attribute)boolean testMinute_component(ELocal_time type)int getMinute_component(ELocal_time type) void setMinute_component(ELocal_time type, int value) void unsetMinute_component(ELocal_time type) second_component (explicit attribute)boolean testSecond_component(ELocal_time type)double getSecond_component(ELocal_time type) void setSecond_component(ELocal_time type, double value) void unsetSecond_component(ELocal_time type) zone (explicit attribute)boolean testZone(ELocal_time type)ECoordinated_universal_time_offset getZone(ELocal_time type) void setZone(ELocal_time type, ECoordinated_universal_time_offset value) void unsetZone(ELocal_time type) |
public class CLocal_time implements ELocal_timestatic EAttribute attributeHour_component(ELocal_time type)static EAttribute attributeMinute_component(ELocal_time type) static EAttribute attributeSecond_component(ELocal_time type) static EAttribute attributeZone(ELocal_time type) static int usedinZone(ELocal_time type, ECoordinated_universal_time_offset instance, ASdaiModel domain, ALocal_time result) |
public class ALocal_time extends AEntitypublic ELocal_time getByIndex(int index)public ELocal_time getCurrentMember(SdaiIterator it) |