Overview Schemas Index

Expression_arm         

ENTITY Index_expression
          SUBTYPE OF (String_expression, Binary_generic_expression);
DERIVE
          operand : Generic_expression := SELF\Binary_generic_expression.operands[1];
          index : Generic_expression := SELF\Binary_generic_expression.operands[2];
WHERE
          WR1: ('EXPRESSION_ARM.STRING_EXPRESSION' IN  TYPEOF(operand))
                    AND ('EXPRESSION_ARM.NUMERIC_EXPRESSION' IN TYPEOF(index));
          WR2: is_int_expr (index);
END_ENTITY; -- Index_expression

Entity data types and their attributes

Generic_expression
          -
Expression
          -
String_expression
          -
Binary_generic_expression
          operands: LIST [2:2] OF Generic_expression;
Index_expression
          (DER) operand: Generic_expression;
          (DER) index: 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
Binary_generic_expression
Index_expression

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

Index_expression
          -

Global rules for this entity data type

          -