ENTITY real_interval_to_max SUBTYPE OF (maths_space, generic_literal); max : REAL; max_closure : open_closed; END_ENTITY; -- real_interval_to_max |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - real_interval_to_max max: REAL; max_closure: open_closed; |
Global rules for this entity data type- |
public interface EReal_interval_to_max extends EMaths_space, EGeneric_literalmax (explicit attribute)boolean testMax(EReal_interval_to_max type)double getMax(EReal_interval_to_max type) void setMax(EReal_interval_to_max type, double value) void unsetMax(EReal_interval_to_max type) max_closure (explicit attribute)boolean testMax_closure(EReal_interval_to_max type)int getMax_closure(EReal_interval_to_max type) void setMax_closure(EReal_interval_to_max type, int value) void unsetMax_closure(EReal_interval_to_max type) |
public class CReal_interval_to_max implements EReal_interval_to_maxstatic EAttribute attributeMax(EReal_interval_to_max type)static EAttribute attributeMax_closure(EReal_interval_to_max type) |
public class AReal_interval_to_max extends AEntitypublic EReal_interval_to_max getByIndex(int index)public EReal_interval_to_max getCurrentMember(SdaiIterator it) |