Overview Schemas Index

Expression_arm         

ENTITY Substring_expression
          SUBTYPE OF (String_expression, Multiple_arity_generic_expression);
DERIVE
          operand : Generic_expression := SELF\Multiple_arity_generic_expression.operands[1];
          index1 : Generic_expression := SELF\Multiple_arity_generic_expression.operands[2];
          index2 : Generic_expression := SELF\Multiple_arity_generic_expression.operands[3];
WHERE
          WR1: ('EXPRESSION_ARM.STRING_EXPRESSION' 
                                                  IN TYPEOF(operand))
                              AND ('EXPRESSION_ARM.NUMERIC_EXPRESSION' 
                                                  IN TYPEOF(index1))
                              AND ('EXPRESSION_ARM.NUMERIC_EXPRESSION' 
                                                  IN TYPEOF(index2));
          WR2: SIZEOF(SELF\Multiple_arity_generic_expression.operands)=3;
          WR3: is_int_expr (index1);
          WR4: is_int_expr (index2);
END_ENTITY; -- Substring_expression

Entity data types and their attributes

Generic_expression
          -
Expression
          -
String_expression
          -
Multiple_arity_generic_expression
          operands: LIST [2:?] OF Generic_expression;
Substring_expression
          (DER) operand: Generic_expression;
          (DER) index1: Generic_expression;
          (DER) index2: Generic_expression;

Users: by entity attributes

Generic_expression
          Applied_activity_assignment.items
                    activity_item
                              risk_activity_item
                                        risk_perception_source_item
                                                  syse_risk_perception_source_item
          Assigned_property.described_element
                    property_assignment_select
                              fbb_property_assignment_select
          Binary_generic_expression.operands
          Condition_parameter.parameter
                    condition_parameter_item
                              fbb_condition_parameter_item
                                        parameter_value_select
          Format_function.format_string
          Format_function.value_to_format
          Index_expression.index
          Index_expression.operand
          Interval_expression.interval_high
          Interval_expression.interval_item
          Interval_expression.interval_low
          Issue_reference.item
                    issue_reference_item
                              syse_issue_reference_item
          Multiple_arity_generic_expression.operands
          Named_variable_semantics.variable_context
          Parameter_value_representation_item.parameter_value
                    parameter_value_select
          Risk_identification_inputs.items
                    risk_perception_source_item
                              syse_risk_perception_source_item
          Risk_perception_source_assignment.items
                    risk_perception_source_item
                              syse_risk_perception_source_item
          Substring_expression.index1
          Substring_expression.index2
          Substring_expression.operand
          Unary_generic_expression.operand
Expression
          Classification_assignment.items
                    classification_item
                              sbb_classification_item
          Comparison_expression.operands
          Condition_parameter.parameter
                    condition_parameter_item
                              sbb_condition_parameter_item
          Description_text_assignment.items
                    description_item
                              sbb_description_item
          Expression_assignment.expression
String_expression
          Concat_expression.operands
          Expression_extension.expression_associated
                    expression_extension_select
          Function_parameter_value.operand
          Length_function.operand
Generic_expression
          Applied_activity_assignment.items
                    activity_item
                              risk_activity_item
                                        risk_perception_source_item
                                                  syse_risk_perception_source_item
          Assigned_property.described_element
                    property_assignment_select
                              fbb_property_assignment_select
          Binary_generic_expression.operands
          Condition_parameter.parameter
                    condition_parameter_item
                              fbb_condition_parameter_item
                                        parameter_value_select
          Format_function.format_string
          Format_function.value_to_format
          Index_expression.index
          Index_expression.operand
          Interval_expression.interval_high
          Interval_expression.interval_item
          Interval_expression.interval_low
          Issue_reference.item
                    issue_reference_item
                              syse_issue_reference_item
          Multiple_arity_generic_expression.operands
          Named_variable_semantics.variable_context
          Parameter_value_representation_item.parameter_value
                    parameter_value_select
          Risk_identification_inputs.items
                    risk_perception_source_item
                              syse_risk_perception_source_item
          Risk_perception_source_assignment.items
                    risk_perception_source_item
                              syse_risk_perception_source_item
          Substring_expression.index1
          Substring_expression.index2
          Substring_expression.operand
          Unary_generic_expression.operand
Multiple_arity_generic_expression
Substring_expression

Users: by defined types, not used by any entity attribute

Substring_expression
          -

Global rules for this entity data type

          -