ENTITY parallel_composed_function SUBTYPE OF (maths_function, multiple_arity_generic_expression); source_of_domain : maths_space_or_function; prep_functions : LIST [1:?] OF maths_function; final_function : maths_function_select; DERIVE SELF\multiple_arity_generic_expression.operands : LIST [2:?] OF generic_expression := convert_to_operands_prcmfn(source_of_domain, prep_functions, final_function); WHERE wr1: no_cyclic_domain_reference(source_of_domain, [SELF]); wr2: expression_is_constant(domain_from(source_of_domain)); wr3: parallel_composed_function_domain_check(domain_from(source_of_domain), prep_functions); wr4: parallel_composed_function_composability_check(prep_functions, final_function); END_ENTITY; -- parallel_composed_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; parallel_composed_function source_of_domain: maths_space_or_function; prep_functions: LIST [1:?] OF maths_function; final_function: maths_function_select; (RT) (DER) operands: LIST [2:?] OF generic_expression; |
Global rules for this entity data type- |
public interface EParallel_composed_function extends EMaths_function, EMultiple_arity_generic_expressionsource_of_domain (explicit attribute)int testSource_of_domain(EParallel_composed_function type)case 1 EEntity getSource_of_domain(EParallel_composed_function type) void setSource_of_domain(EParallel_composed_function type, EEntity value, EEntity node1) void unsetSource_of_domain(EParallel_composed_function type) prep_functions (explicit attribute)boolean testPrep_functions(EParallel_composed_function type)AMaths_function getPrep_functions(EParallel_composed_function type) AMaths_function createPrep_functions(EParallel_composed_function type) void unsetPrep_functions(EParallel_composed_function type) final_function (explicit attribute)int testFinal_function(EParallel_composed_function type)case 1 EEntity getFinal_function(EParallel_composed_function type) void setFinal_function(EParallel_composed_function type, EEntity value, EEntity node1) case sFinal_functionElementary_function_enumerators: int getFinal_function(EParallel_composed_function type, EElementary_function_enumerators node1) void setFinal_function(EParallel_composed_function type, int value, EElementary_function_enumerators node1) void unsetFinal_function(EParallel_composed_function type) |
public class CParallel_composed_function implements EParallel_composed_functionstatic EAttribute attributeSource_of_domain(EParallel_composed_function type)static int usedinSource_of_domain(EParallel_composed_function type, EEntity instance, ASdaiModel domain, AParallel_composed_function result) static EAttribute attributePrep_functions(EParallel_composed_function type) static int usedinPrep_functions(EParallel_composed_function type, EMaths_function instance, ASdaiModel domain, AParallel_composed_function result) static EAttribute attributeFinal_function(EParallel_composed_function type) static int usedinFinal_function(EParallel_composed_function type, EEntity instance, ASdaiModel domain, AParallel_composed_function result) static EAttribute attributeOperands(EParallel_composed_function type) static int usedinOperands(EParallel_composed_function type, EGeneric_expression instance, ASdaiModel domain, AParallel_composed_function result) |
public class AParallel_composed_function extends AEntitypublic EParallel_composed_function getByIndex(int index)public EParallel_composed_function getCurrentMember(SdaiIterator it) |