ENTITY basic_sparse_matrix SUBTYPE OF (explicit_table_function, multiple_arity_generic_expression); SELF\multiple_arity_generic_expression.operands : LIST [3:3] OF maths_function; default_entry : maths_value; order : ordering_type; DERIVE index : maths_function := SELF\multiple_arity_generic_expression.operands[1]; loc : maths_function := SELF\multiple_arity_generic_expression.operands[2]; val : maths_function := SELF\multiple_arity_generic_expression.operands[3]; WHERE wr1: function_is_1d_table(index); wr2: function_is_1d_table(loc); wr3: function_is_1d_table(val); wr4: check_sparse_index_domain(index.domain, index_base, shape, order); wr5: check_sparse_index_to_loc(index.range, loc.domain); wr6: loc.domain = val.domain; wr7: check_sparse_loc_range(loc.range, index_base, shape, order); wr8: member_of(default_entry, val.range); END_ENTITY; -- basic_sparse_matrix |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; explicit_table_function index_base: zero_or_one; shape: LIST [1:?] OF positive_integer; multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; basic_sparse_matrix (RT) operands: LIST [3:3] OF maths_function; default_entry: maths_value; order: ordering_type; (DER) index: maths_function; (DER) loc: maths_function; (DER) val: maths_function; |
Global rules for this entity data type- |
public interface EBasic_sparse_matrix extends EExplicit_table_function, EMultiple_arity_generic_expressiondefault_entry (explicit attribute)int testDefault_entry(EBasic_sparse_matrix type)case 1 EEntity getDefault_entry(EBasic_sparse_matrix type) void setDefault_entry(EBasic_sparse_matrix type, EEntity value, EEntity node1) case sDefault_entryMaths_number: double getDefault_entry(EBasic_sparse_matrix type, EMaths_number node1) void setDefault_entry(EBasic_sparse_matrix type, double value, EMaths_number node1) case sDefault_entryMaths_real: double getDefault_entry(EBasic_sparse_matrix type, EMaths_real node1) void setDefault_entry(EBasic_sparse_matrix type, double value, EMaths_real node1) case sDefault_entryMaths_integer: int getDefault_entry(EBasic_sparse_matrix type, EMaths_integer node1) void setDefault_entry(EBasic_sparse_matrix type, int value, EMaths_integer node1) case sDefault_entryMaths_logical: int getDefault_entry(EBasic_sparse_matrix type, EMaths_logical node1) void setDefault_entry(EBasic_sparse_matrix type, int value, EMaths_logical node1) case sDefault_entryMaths_boolean: boolean getDefault_entry(EBasic_sparse_matrix type, EMaths_boolean node1) void setDefault_entry(EBasic_sparse_matrix type, boolean value, EMaths_boolean node1) case sDefault_entryMaths_string: String getDefault_entry(EBasic_sparse_matrix type, EMaths_string node1) void setDefault_entry(EBasic_sparse_matrix type, String value, EMaths_string node1) case sDefault_entryMaths_binary: Binary getDefault_entry(EBasic_sparse_matrix type, EMaths_binary node1) void setDefault_entry(EBasic_sparse_matrix type, Binary value, EMaths_binary node1) case sDefault_entryElementary_space_enumerators: int getDefault_entry(EBasic_sparse_matrix type, EElementary_space_enumerators node1) void setDefault_entry(EBasic_sparse_matrix type, int value, EElementary_space_enumerators node1) case sDefault_entryOrdering_type: int getDefault_entry(EBasic_sparse_matrix type, EOrdering_type node1) void setDefault_entry(EBasic_sparse_matrix type, int value, EOrdering_type node1) case sDefault_entryLower_upper: int getDefault_entry(EBasic_sparse_matrix type, ELower_upper node1) void setDefault_entry(EBasic_sparse_matrix type, int value, ELower_upper node1) case sDefault_entrySymmetry_type: int getDefault_entry(EBasic_sparse_matrix type, ESymmetry_type node1) void setDefault_entry(EBasic_sparse_matrix type, int value, ESymmetry_type node1) case sDefault_entryElementary_function_enumerators: int getDefault_entry(EBasic_sparse_matrix type, EElementary_function_enumerators node1) void setDefault_entry(EBasic_sparse_matrix type, int value, EElementary_function_enumerators node1) case sDefault_entryOpen_closed: int getDefault_entry(EBasic_sparse_matrix type, EOpen_closed node1) void setDefault_entry(EBasic_sparse_matrix type, int value, EOpen_closed node1) case sDefault_entrySpace_constraint_type: int getDefault_entry(EBasic_sparse_matrix type, ESpace_constraint_type node1) void setDefault_entry(EBasic_sparse_matrix type, int value, ESpace_constraint_type node1) case sDefault_entryRepackage_options: int getDefault_entry(EBasic_sparse_matrix type, ERepackage_options node1) void setDefault_entry(EBasic_sparse_matrix type, int value, ERepackage_options node1) case sDefault_entryExtension_options: int getDefault_entry(EBasic_sparse_matrix type, EExtension_options node1) void setDefault_entry(EBasic_sparse_matrix type, int value, EExtension_options node1) case sDefault_entryAtom_based_tuple: AAtom_based_value getDefault_entry(EBasic_sparse_matrix type, EAtom_based_tuple node1) void setDefault_entry(EBasic_sparse_matrix type, AAtom_based_value value, EAtom_based_tuple node1) case sDefault_entryMaths_tuple: AMaths_value getDefault_entry(EBasic_sparse_matrix type, EMaths_tuple node1) void setDefault_entry(EBasic_sparse_matrix type, AMaths_value value, EMaths_tuple node1) void unsetDefault_entry(EBasic_sparse_matrix type) order (explicit attribute)boolean testOrder(EBasic_sparse_matrix type)int getOrder(EBasic_sparse_matrix type) void setOrder(EBasic_sparse_matrix type, int value) void unsetOrder(EBasic_sparse_matrix type) index (derived attribute)EMaths_function getIndex(EBasic_sparse_matrix type)boolean testIndex(EBasic_sparse_matrix type) loc (derived attribute)EMaths_function getLoc(EBasic_sparse_matrix type)boolean testLoc(EBasic_sparse_matrix type) val (derived attribute)EMaths_function getVal(EBasic_sparse_matrix type)boolean testVal(EBasic_sparse_matrix type) |
public class CBasic_sparse_matrix implements EBasic_sparse_matrixstatic EAttribute attributeDefault_entry(EBasic_sparse_matrix type)static int usedinDefault_entry(EBasic_sparse_matrix type, EEntity instance, ASdaiModel domain, ABasic_sparse_matrix result) static EAttribute attributeOrder(EBasic_sparse_matrix type) static EAttribute attributeIndex(EBasic_sparse_matrix type) static int usedinIndex(EBasic_sparse_matrix type, EMaths_function instance, ASdaiModel domain, ABasic_sparse_matrix result) static EAttribute attributeLoc(EBasic_sparse_matrix type) static int usedinLoc(EBasic_sparse_matrix type, EMaths_function instance, ASdaiModel domain, ABasic_sparse_matrix result) static EAttribute attributeVal(EBasic_sparse_matrix type) static int usedinVal(EBasic_sparse_matrix type, EMaths_function instance, ASdaiModel domain, ABasic_sparse_matrix result) |
public class ABasic_sparse_matrix extends AEntitypublic EBasic_sparse_matrix getByIndex(int index)public EBasic_sparse_matrix getCurrentMember(SdaiIterator it) |