ENTITY finite_real_interval SUBTYPE OF (maths_space, generic_literal); min : REAL; min_closure : open_closed; max : REAL; max_closure : open_closed; WHERE wr1: min < max; END_ENTITY; -- finite_real_interval |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - finite_real_interval min: REAL; min_closure: open_closed; max: REAL; max_closure: open_closed; |
Global rules for this entity data type- |
public interface EFinite_real_interval extends EMaths_space, EGeneric_literalmin (explicit attribute)boolean testMin(EFinite_real_interval type)double getMin(EFinite_real_interval type) void setMin(EFinite_real_interval type, double value) void unsetMin(EFinite_real_interval type) min_closure (explicit attribute)boolean testMin_closure(EFinite_real_interval type)int getMin_closure(EFinite_real_interval type) void setMin_closure(EFinite_real_interval type, int value) void unsetMin_closure(EFinite_real_interval type) max (explicit attribute)boolean testMax(EFinite_real_interval type)double getMax(EFinite_real_interval type) void setMax(EFinite_real_interval type, double value) void unsetMax(EFinite_real_interval type) max_closure (explicit attribute)boolean testMax_closure(EFinite_real_interval type)int getMax_closure(EFinite_real_interval type) void setMax_closure(EFinite_real_interval type, int value) void unsetMax_closure(EFinite_real_interval type) |
public class CFinite_real_interval implements EFinite_real_intervalstatic EAttribute attributeMin(EFinite_real_interval type)static EAttribute attributeMin_closure(EFinite_real_interval type) static EAttribute attributeMax(EFinite_real_interval type) static EAttribute attributeMax_closure(EFinite_real_interval type) |
public class AFinite_real_interval extends AEntitypublic EFinite_real_interval getByIndex(int index)public EFinite_real_interval getCurrentMember(SdaiIterator it) |