Overview Schemas Index

PARAMETERIZATION_SCHEMA (jsdai.SParameterization_schema)

ENTITY generated_finite_numeric_space
          SUBTYPE OF (finite_space);
          start_value : maths_number;
          increment_value : maths_number;
          increment_number : positive_integer;
DERIVE
          SELF\finite_space.members : SET [2:?] OF maths_number := make_numeric_set(start_value, increment_value, increment_number);
WHERE
          wr1: increment_value <> 0.0;
END_ENTITY; -- generated_finite_numeric_space

Entity data types and their attributes

generic_expression
          -
maths_space
          -
simple_generic_expression
          -
generic_literal
          -
finite_space
          members: SET [0:?] OF maths_value;
generated_finite_numeric_space
          start_value: maths_number;
          increment_value: maths_number;
          increment_number: positive_integer;
          (RT) (DER) members: SET [2:?] OF maths_number;

Users

generic_expression
          abstracted_expression_function.expr
          analysis_item.items
                    analysed_item
                              sysm_analysed_item
                                        groupable_item
                                                  parameter_value_select_groupable_item
                                                            parameter_value_select
          application_defined_function.parameters
                    maths_value
          applied_action_method_assignment.items
                    action_method_items
                              fbb_action_method_items
                                        parameter_value_select
          applied_certification_assignment.items
                    certification_item
                              sysm_certification_item
                                        groupable_item
                                                  parameter_value_select_groupable_item
                                                            parameter_value_select
          applied_description_text_assignment.items
                    description_item
                              sbb_description_item
                                        groupable_item
                                                  generic_expression_groupable_item
          applied_experience_type_assignment.items
                    experience_type_item
                              syse_experience_type_item
                                        groupable_item
                                                  generic_expression_groupable_item
          applied_group_assignment.items
                    groupable_item
                              generic_expression_groupable_item
          applied_person_type_assignment.items
                    person_type_item
                              syse_person_type_item
                                        groupable_item
                                                  generic_expression_groupable_item
          banded_matrix.default_entry
                    maths_value
          basic_sparse_matrix.default_entry
                    maths_value
          binary_generic_expression.operands
          bound_variational_parameter.parameter_current_value
                    maths_value
          constant_function.sole_output
                    maths_value
          definite_integral_expression.integrand
          expression_denoted_function.expr
          finite_function.pairs
                    maths_value
          finite_space.members
                    maths_value
          format_function.format_string
          format_function.value_to_format
          function_application.arguments
                    maths_expression
          function_application.operands
          functional_terminal_group_assignment.items
                    groupable_item
                              parameter_value_select_groupable_item
                                        parameter_value_select
          index_expression.index
          index_expression.operand
          interval_expression.interval_high
          interval_expression.interval_item
          interval_expression.interval_low
          issue_reference_mapping.items
                    issue_reference_item
                              syse_issue_reference_item
          listed_data.values
                    maths_value
          mathematical_description.described
                    maths_value
          maths_tuple_literal.lit_value
                    maths_value
          maths_value_context.abstract_value
                    maths_value
          maths_value_with_unit.value_component
                    maths_value
          multiple_arity_generic_expression.operands
          parallel_composed_function.operands
          partial_derivative_expression.derivand
          rational_representation_item_xim.operands
          risk_source_assignment.items
                    risk_source_item
                              syse_risk_source_item
          strict_triangular_matrix.main_diagonal_value
                    maths_value
          substring_expression.index1
          substring_expression.index2
          substring_expression.operand
          symmetric_banded_matrix.default_entry
                    maths_value
          triangular_matrix.default_entry
                    maths_value
          unary_generic_expression.operand
          variational_parameter.parameter_current_value
                    maths_value
          verification_evidence.items
                    verification_evidence_item
                              sysm_verification_evidence_item
                                        groupable_item
                                                  parameter_value_select_groupable_item
                                                            parameter_value_select
maths_space
          constant_function.source_of_domain
                    maths_space_or_function
          extended_tuple_space.extender
          externally_listed_data.value_range
          function_space.domain_argument
          function_space.range_argument
          listed_data.value_range
          listed_product_space.factors
          maths_space_context.abstract_space
          maths_variable.values_space
          parallel_composed_function.source_of_domain
                    maths_space_or_function
          restriction_function.operand
          selector_function.source_of_domain
                    maths_space_or_function
          uniform_product_space.base
generic_expression
          abstracted_expression_function.expr
          analysis_item.items
                    analysed_item
                              sysm_analysed_item
                                        groupable_item
                                                  parameter_value_select_groupable_item
                                                            parameter_value_select
          application_defined_function.parameters
                    maths_value
          applied_action_method_assignment.items
                    action_method_items
                              fbb_action_method_items
                                        parameter_value_select
          applied_certification_assignment.items
                    certification_item
                              sysm_certification_item
                                        groupable_item
                                                  parameter_value_select_groupable_item
                                                            parameter_value_select
          applied_description_text_assignment.items
                    description_item
                              sbb_description_item
                                        groupable_item
                                                  generic_expression_groupable_item
          applied_experience_type_assignment.items
                    experience_type_item
                              syse_experience_type_item
                                        groupable_item
                                                  generic_expression_groupable_item
          applied_group_assignment.items
                    groupable_item
                              generic_expression_groupable_item
          applied_person_type_assignment.items
                    person_type_item
                              syse_person_type_item
                                        groupable_item
                                                  generic_expression_groupable_item
          banded_matrix.default_entry
                    maths_value
          basic_sparse_matrix.default_entry
                    maths_value
          binary_generic_expression.operands
          bound_variational_parameter.parameter_current_value
                    maths_value
          constant_function.sole_output
                    maths_value
          definite_integral_expression.integrand
          expression_denoted_function.expr
          finite_function.pairs
                    maths_value
          finite_space.members
                    maths_value
          format_function.format_string
          format_function.value_to_format
          function_application.arguments
                    maths_expression
          function_application.operands
          functional_terminal_group_assignment.items
                    groupable_item
                              parameter_value_select_groupable_item
                                        parameter_value_select
          index_expression.index
          index_expression.operand
          interval_expression.interval_high
          interval_expression.interval_item
          interval_expression.interval_low
          issue_reference_mapping.items
                    issue_reference_item
                              syse_issue_reference_item
          listed_data.values
                    maths_value
          mathematical_description.described
                    maths_value
          maths_tuple_literal.lit_value
                    maths_value
          maths_value_context.abstract_value
                    maths_value
          maths_value_with_unit.value_component
                    maths_value
          multiple_arity_generic_expression.operands
          parallel_composed_function.operands
          partial_derivative_expression.derivand
          rational_representation_item_xim.operands
          risk_source_assignment.items
                    risk_source_item
                              syse_risk_source_item
          strict_triangular_matrix.main_diagonal_value
                    maths_value
          substring_expression.index1
          substring_expression.index2
          substring_expression.operand
          symmetric_banded_matrix.default_entry
                    maths_value
          triangular_matrix.default_entry
                    maths_value
          unary_generic_expression.operand
          variational_parameter.parameter_current_value
                    maths_value
          verification_evidence.items
                    verification_evidence_item
                              sysm_verification_evidence_item
                                        groupable_item
                                                  parameter_value_select_groupable_item
                                                            parameter_value_select
simple_generic_expression
generic_literal
          literal_assignment.literal_value
finite_space
generated_finite_numeric_space

Global rules for this entity data type

          -

public interface EGenerated_finite_numeric_space extends EFinite_space

start_value (explicit attribute)

          boolean testStart_value(EGenerated_finite_numeric_space type)
          double getStart_value(EGenerated_finite_numeric_space type)
          void setStart_value(EGenerated_finite_numeric_space type, double value)
          void unsetStart_value(EGenerated_finite_numeric_space type)

increment_value (explicit attribute)

          boolean testIncrement_value(EGenerated_finite_numeric_space type)
          double getIncrement_value(EGenerated_finite_numeric_space type)
          void setIncrement_value(EGenerated_finite_numeric_space type, double value)
          void unsetIncrement_value(EGenerated_finite_numeric_space type)

increment_number (explicit attribute)

          boolean testIncrement_number(EGenerated_finite_numeric_space type)
          int getIncrement_number(EGenerated_finite_numeric_space type)
          void setIncrement_number(EGenerated_finite_numeric_space type, int value)
          void unsetIncrement_number(EGenerated_finite_numeric_space type)

public class CGenerated_finite_numeric_space implements EGenerated_finite_numeric_space

          static EAttribute attributeStart_value(EGenerated_finite_numeric_space type)
          static EAttribute attributeIncrement_value(EGenerated_finite_numeric_space type)
          static EAttribute attributeIncrement_number(EGenerated_finite_numeric_space type)
          static EAttribute attributeMembers(EGenerated_finite_numeric_space type)

public class AGenerated_finite_numeric_space extends AEntity

          public EGenerated_finite_numeric_space getByIndex(int index)
          public EGenerated_finite_numeric_space getCurrentMember(SdaiIterator it)