ENTITY rationalize_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; DERIVE fun : maths_function := SELF\unary_generic_expression.operand; WHERE wr1: (space_dimension(fun.domain) = 1) AND (space_dimension(fun.range) = 1); wr2: number_tuple_subspace_check(factor1(fun.range)); wr3: space_dimension(factor1(fun.range)) > 1; END_ENTITY; -- rationalize_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; rationalize_function (RT) operand: maths_function; (DER) fun: maths_function; |
Global rules for this entity data type- |
public interface ERationalize_function extends EMaths_function, EUnary_generic_expressionfun (derived attribute)EMaths_function getFun(ERationalize_function type)boolean testFun(ERationalize_function type) |
public class CRationalize_function implements ERationalize_functionstatic EAttribute attributeFun(ERationalize_function type)static int usedinFun(ERationalize_function type, EMaths_function instance, ASdaiModel domain, ARationalize_function result) |
public class ARationalize_function extends AEntitypublic ERationalize_function getByIndex(int index)public ERationalize_function getCurrentMember(SdaiIterator it) |