ENTITY constant_function SUBTYPE OF (maths_function, generic_literal); sole_output : maths_value; source_of_domain : maths_space_or_function; WHERE wr1: no_cyclic_domain_reference(source_of_domain, [SELF]); wr2: expression_is_constant(domain_from(source_of_domain)); END_ENTITY; -- constant_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; simple_generic_expression - generic_literal - constant_function sole_output: maths_value; source_of_domain: maths_space_or_function; |
Global rules for this entity data type- |
public interface EConstant_function extends EMaths_function, EGeneric_literalsole_output (explicit attribute)int testSole_output(EConstant_function type)case 1 EEntity getSole_output(EConstant_function type) void setSole_output(EConstant_function type, EEntity value, EEntity node1) case sSole_outputMaths_number: double getSole_output(EConstant_function type, EMaths_number node1) void setSole_output(EConstant_function type, double value, EMaths_number node1) case sSole_outputMaths_real: double getSole_output(EConstant_function type, EMaths_real node1) void setSole_output(EConstant_function type, double value, EMaths_real node1) case sSole_outputMaths_integer: int getSole_output(EConstant_function type, EMaths_integer node1) void setSole_output(EConstant_function type, int value, EMaths_integer node1) case sSole_outputMaths_logical: int getSole_output(EConstant_function type, EMaths_logical node1) void setSole_output(EConstant_function type, int value, EMaths_logical node1) case sSole_outputMaths_boolean: boolean getSole_output(EConstant_function type, EMaths_boolean node1) void setSole_output(EConstant_function type, boolean value, EMaths_boolean node1) case sSole_outputMaths_string: String getSole_output(EConstant_function type, EMaths_string node1) void setSole_output(EConstant_function type, String value, EMaths_string node1) case sSole_outputMaths_binary: Binary getSole_output(EConstant_function type, EMaths_binary node1) void setSole_output(EConstant_function type, Binary value, EMaths_binary node1) case sSole_outputElementary_space_enumerators: int getSole_output(EConstant_function type, EElementary_space_enumerators node1) void setSole_output(EConstant_function type, int value, EElementary_space_enumerators node1) case sSole_outputOrdering_type: int getSole_output(EConstant_function type, EOrdering_type node1) void setSole_output(EConstant_function type, int value, EOrdering_type node1) case sSole_outputLower_upper: int getSole_output(EConstant_function type, ELower_upper node1) void setSole_output(EConstant_function type, int value, ELower_upper node1) case sSole_outputSymmetry_type: int getSole_output(EConstant_function type, ESymmetry_type node1) void setSole_output(EConstant_function type, int value, ESymmetry_type node1) case sSole_outputElementary_function_enumerators: int getSole_output(EConstant_function type, EElementary_function_enumerators node1) void setSole_output(EConstant_function type, int value, EElementary_function_enumerators node1) case sSole_outputOpen_closed: int getSole_output(EConstant_function type, EOpen_closed node1) void setSole_output(EConstant_function type, int value, EOpen_closed node1) case sSole_outputSpace_constraint_type: int getSole_output(EConstant_function type, ESpace_constraint_type node1) void setSole_output(EConstant_function type, int value, ESpace_constraint_type node1) case sSole_outputRepackage_options: int getSole_output(EConstant_function type, ERepackage_options node1) void setSole_output(EConstant_function type, int value, ERepackage_options node1) case sSole_outputExtension_options: int getSole_output(EConstant_function type, EExtension_options node1) void setSole_output(EConstant_function type, int value, EExtension_options node1) case sSole_outputAtom_based_tuple: AAtom_based_value getSole_output(EConstant_function type, EAtom_based_tuple node1) void setSole_output(EConstant_function type, AAtom_based_value value, EAtom_based_tuple node1) case sSole_outputMaths_tuple: AMaths_value getSole_output(EConstant_function type, EMaths_tuple node1) void setSole_output(EConstant_function type, AMaths_value value, EMaths_tuple node1) void unsetSole_output(EConstant_function type) source_of_domain (explicit attribute)int testSource_of_domain(EConstant_function type)case 1 EEntity getSource_of_domain(EConstant_function type) void setSource_of_domain(EConstant_function type, EEntity value, EEntity node1) void unsetSource_of_domain(EConstant_function type) |
public class CConstant_function implements EConstant_functionstatic EAttribute attributeSole_output(EConstant_function type)static int usedinSole_output(EConstant_function type, EEntity instance, ASdaiModel domain, AConstant_function result) static EAttribute attributeSource_of_domain(EConstant_function type) static int usedinSource_of_domain(EConstant_function type, EEntity instance, ASdaiModel domain, AConstant_function result) |
public class AConstant_function extends AEntitypublic EConstant_function getByIndex(int index)public EConstant_function getCurrentMember(SdaiIterator it) |