Overview Schemas Index

ISO13584_EXPRESSIONS_SCHEMA (jsdai.SIso13584_expressions_schema)


ENTITY interval_expression
          SUBTYPE OF (boolean_expression, multiple_arity_generic_expression);
DERIVE
          interval_low : generic_expression := SELF\multiple_arity_generic_expression.operands[1];
          interval_item : generic_expression := SELF\multiple_arity_generic_expression.operands[2];
          interval_high : generic_expression := SELF\multiple_arity_generic_expression.operands[3];
WHERE
          wr1: ('ISO13584_EXPRESSIONS_SCHEMA.EXPRESSION' 
                                        IN TYPEOF(interval_low))
                    AND ('ISO13584_EXPRESSIONS_SCHEMA.EXPRESSION' 
                                        IN TYPEOF(interval_item) )
                    AND ('ISO13584_EXPRESSIONS_SCHEMA.EXPRESSION' 
                                        IN TYPEOF(interval_high));
          wr2: (('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION' 
                                        IN TYPEOF  (SELF.interval_low)) 
                              AND ('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION'  
                                        IN TYPEOF  (SELF.interval_high)) 
                              AND ('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION' 
                                        IN TYPEOF (SELF.interval_item))) 
                    OR
                    (('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION' 
                                        IN TYPEOF(SELF.interval_low)) 
                              AND ('ISO13584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION' 
                                        IN TYPEOF(SELF.interval_item)) 
                              AND ('ISO13584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION' 
                                        IN TYPEOF(SELF.interval_high)));
END_ENTITY; -- interval_expression

Entity data types and their attributes

generic_expression
          -
expression
          -
boolean_expression
          -
multiple_arity_generic_expression
          operands: LIST [2:?] OF generic_expression;
interval_expression
          (DER) interval_low: generic_expression;
          (DER) interval_item: generic_expression;
          (DER) interval_high: generic_expression;

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
expression
          applied_action_method_assignment.items
                    action_method_items
                              sbb_action_method_items
          applied_classification_assignment.items
                    classification_item
                              sbb_classification_item
          applied_description_text_assignment.items
                    description_item
                              sbb_description_item
          comparison_expression.operands
          expression_assignment.assigned_expression
          expression_relationship.related
          expression_relationship.relating
          expression_representation_item.item
                    expression_element
          free_form_constraint.constraining_expression
          literal_assignment.base
boolean_expression
          multiple_arity_boolean_expression.operands
          not_expression.operand
          xor_expression.operands
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
multiple_arity_generic_expression
interval_expression

Global rules for this entity data type

          -

public interface EInterval_expression extends EBoolean_expression, EMultiple_arity_generic_expression

interval_low (derived attribute)

          EGeneric_expression getInterval_low(EInterval_expression type)
          boolean testInterval_low(EInterval_expression type)

interval_item (derived attribute)

          EGeneric_expression getInterval_item(EInterval_expression type)
          boolean testInterval_item(EInterval_expression type)

interval_high (derived attribute)

          EGeneric_expression getInterval_high(EInterval_expression type)
          boolean testInterval_high(EInterval_expression type)

public class CInterval_expression implements EInterval_expression

          static EAttribute attributeInterval_low(EInterval_expression type)
          static int usedinInterval_low(EInterval_expression type, EGeneric_expression instance, ASdaiModel domain, AInterval_expression result)
          static EAttribute attributeInterval_item(EInterval_expression type)
          static int usedinInterval_item(EInterval_expression type, EGeneric_expression instance, ASdaiModel domain, AInterval_expression result)
          static EAttribute attributeInterval_high(EInterval_expression type)
          static int usedinInterval_high(EInterval_expression type, EGeneric_expression instance, ASdaiModel domain, AInterval_expression result)

public class AInterval_expression extends AEntity

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