Overview Schemas Index

Expression_arm         

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: ('EXPRESSION_ARM.EXPRESSION' 
                                        IN TYPEOF(interval_low))
                    AND ('EXPRESSION_ARM.EXPRESSION' 
                                        IN TYPEOF(interval_item) )
                    AND ('EXPRESSION_ARM.EXPRESSION' 
                                        IN TYPEOF(interval_high));
          WR2: (('EXPRESSION_ARM.STRING_EXPRESSION' 
                                        IN TYPEOF  (SELF.Interval_low)) 
                              AND ('EXPRESSION_ARM.STRING_EXPRESSION'  
                                        IN TYPEOF  (SELF.Interval_high)) 
                              AND ('EXPRESSION_ARM.STRING_EXPRESSION' 
                                        IN TYPEOF (SELF.Interval_item))) 
                    OR
                    (('EXPRESSION_ARM.STRING_EXPRESSION' 
                              IN TYPEOF(SELF.Interval_low)) 
                              AND ('EXPRESSION_ARM.NUMERIC_EXPRESSION' 
                                        IN TYPEOF(SELF.Interval_item)) 
                              AND ('EXPRESSION_ARM.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: 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
Boolean_expression
          Multiple_arity_boolean_expression.operands
          Not_expression.operand
          Xor_expression.operands
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
Interval_expression

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

Interval_expression
          -

Global rules for this entity data type

          -