|
ENTITY Multiple_arity_boolean_expression ABSTRACT SUPERTYPE OF (ONEOF (And_expression, Or_expression)) SUBTYPE OF (Boolean_expression, Multiple_arity_generic_expression); SELF\Multiple_arity_generic_expression.operands : LIST [2:?] OF Boolean_expression; END_ENTITY; -- Multiple_arity_boolean_expression |
Entity data types and their attributesGeneric_expression- Expression - Boolean_expression - Multiple_arity_generic_expression operands: LIST [2:?] OF Generic_expression; Multiple_arity_boolean_expression (RT) operands: LIST [2:?] OF Boolean_expression; |
| And_expression (Expression_arm) |
| Or_expression (Expression_arm) |
Global rules for this entity data type- |