|
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- |