ENTITY function_application SUBTYPE OF (multiple_arity_generic_expression); func : maths_function_select; arguments : LIST [1:?] OF maths_expression; DERIVE SELF\multiple_arity_generic_expression.operands : LIST [2:?] OF generic_expression := [convert_to_maths_function(func)] + convert_to_operands(arguments); WHERE wr1: function_applicability(func, arguments); END_ENTITY; -- function_application |
Entity data types and their attributesgeneric_expression- multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; function_application func: maths_function_select; arguments: LIST [1:?] OF maths_expression; (RT) (DER) operands: LIST [2:?] OF generic_expression; |
Global rules for this entity data type- |
public interface EFunction_application extends EMultiple_arity_generic_expressionfunc (explicit attribute)int testFunc(EFunction_application type)case 1 EEntity getFunc(EFunction_application type) void setFunc(EFunction_application type, EEntity value, EEntity node1) case sFuncElementary_function_enumerators: int getFunc(EFunction_application type, EElementary_function_enumerators node1) void setFunc(EFunction_application type, int value, EElementary_function_enumerators node1) void unsetFunc(EFunction_application type) arguments (explicit attribute)boolean testArguments(EFunction_application type)AMaths_expression getArguments(EFunction_application type) AMaths_expression createArguments(EFunction_application type) void unsetArguments(EFunction_application type) |
public class CFunction_application implements EFunction_applicationstatic EAttribute attributeFunc(EFunction_application type)static int usedinFunc(EFunction_application type, EEntity instance, ASdaiModel domain, AFunction_application result) static EAttribute attributeArguments(EFunction_application type) static int usedinArguments(EFunction_application type, EEntity instance, ASdaiModel domain, AFunction_application result) static EAttribute attributeOperands(EFunction_application type) static int usedinOperands(EFunction_application type, EGeneric_expression instance, ASdaiModel domain, AFunction_application result) |
public class AFunction_application extends AEntitypublic EFunction_application getByIndex(int index)public EFunction_application getCurrentMember(SdaiIterator it) |