ENTITY function_space SUBTYPE OF (maths_space, generic_literal); domain_constraint : space_constraint_type; domain_argument : maths_space; range_constraint : space_constraint_type; range_argument : maths_space; WHERE wr1: expression_is_constant(domain_argument) AND expression_is_constant(range_argument); wr2: (domain_argument <> the_empty_space) AND (range_argument <> the_empty_space); wr3: (domain_constraint <> sc_member) OR NOT member_of(the_empty_space,domain_argument); wr4: (range_constraint <> sc_member) OR NOT member_of(the_empty_space,range_argument); wr5: NOT (any_space_satisfies(domain_constraint,domain_argument) AND any_space_satisfies(range_constraint,range_argument)); END_ENTITY; -- function_space |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - function_space domain_constraint: space_constraint_type; domain_argument: maths_space; range_constraint: space_constraint_type; range_argument: maths_space; |
Global rules for this entity data type- |
public interface EFunction_space extends EMaths_space, EGeneric_literaldomain_constraint (explicit attribute)boolean testDomain_constraint(EFunction_space type)int getDomain_constraint(EFunction_space type) void setDomain_constraint(EFunction_space type, int value) void unsetDomain_constraint(EFunction_space type) domain_argument (explicit attribute)boolean testDomain_argument(EFunction_space type)EMaths_space getDomain_argument(EFunction_space type) void setDomain_argument(EFunction_space type, EMaths_space value) void unsetDomain_argument(EFunction_space type) range_constraint (explicit attribute)boolean testRange_constraint(EFunction_space type)int getRange_constraint(EFunction_space type) void setRange_constraint(EFunction_space type, int value) void unsetRange_constraint(EFunction_space type) range_argument (explicit attribute)boolean testRange_argument(EFunction_space type)EMaths_space getRange_argument(EFunction_space type) void setRange_argument(EFunction_space type, EMaths_space value) void unsetRange_argument(EFunction_space type) |
public class CFunction_space implements EFunction_spacestatic EAttribute attributeDomain_constraint(EFunction_space type)static EAttribute attributeDomain_argument(EFunction_space type) static int usedinDomain_argument(EFunction_space type, EMaths_space instance, ASdaiModel domain, AFunction_space result) static EAttribute attributeRange_constraint(EFunction_space type) static EAttribute attributeRange_argument(EFunction_space type) static int usedinRange_argument(EFunction_space type, EMaths_space instance, ASdaiModel domain, AFunction_space result) |
public class AFunction_space extends AEntitypublic EFunction_space getByIndex(int index)public EFunction_space getCurrentMember(SdaiIterator it) |