ENTITY expression_denoted_function SUBTYPE OF (maths_function, unary_generic_expression); DERIVE expr : generic_expression := SELF\unary_generic_expression.operand; WHERE wr1: (schema_prefix + 'FUNCTION_SPACE') IN TYPEOF (values_space_of(expr)); END_ENTITY; -- expression_denoted_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; expression_denoted_function (DER) expr: generic_expression; |
Global rules for this entity data type- |
public interface EExpression_denoted_function extends EMaths_function, EUnary_generic_expressionexpr (derived attribute)EGeneric_expression getExpr(EExpression_denoted_function type)boolean testExpr(EExpression_denoted_function type) |
public class CExpression_denoted_function implements EExpression_denoted_functionstatic EAttribute attributeExpr(EExpression_denoted_function type)static int usedinExpr(EExpression_denoted_function type, EGeneric_expression instance, ASdaiModel domain, AExpression_denoted_function result) |
public class AExpression_denoted_function extends AEntitypublic EExpression_denoted_function getByIndex(int index)public EExpression_denoted_function getCurrentMember(SdaiIterator it) |