|
ENTITY Comparison_expression ABSTRACT SUPERTYPE OF (ONEOF (Comparison_equal, Comparison_greater, Comparison_greater_equal, Comparison_less, Comparison_less_equal, Comparison_not_equal, Like_expression)) SUBTYPE OF (Boolean_expression, Binary_generic_expression); SELF\Binary_generic_expression.operands : LIST [2:2] OF Expression; WHERE WR1: ( ('NUMERIC_EXPRESSION_ARM.NUMERIC_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[1])) AND ('NUMERIC_EXPRESSION_ARM.NUMERIC_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[2]))) OR (('BOOLEAN_EXPRESSION_ARM.BOOLEAN_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[1])) AND ('BOOLEAN_EXPRESSION_ARM.BOOLEAN_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[2]))) OR (('STRING_EXPRESSION_ARM.STRING_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[1])) AND ('STRING_EXPRESSION_ARM.STRING_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[2]))); END_ENTITY; -- Comparison_expression |
Entity data types and their attributesGeneric_expression- Expression - Boolean_expression - Binary_generic_expression operands: LIST [2:2] OF Generic_expression; Comparison_expression (RT) operands: LIST [2:2] OF Expression; |
| Comparison_equal (Expression_arm) |
| Comparison_greater (Expression_arm) |
| Comparison_greater_equal (Expression_arm) |
| Comparison_less (Expression_arm) |
| Comparison_less_equal (Expression_arm) |
| Comparison_not_equal (Expression_arm) |
| Like_expression (Expression_arm) |
Global rules for this entity data type- |