|
ENTITY Numeric_variable SUPERTYPE OF (ONEOF (Int_numeric_variable, Real_numeric_variable)) SUBTYPE OF (Simple_numeric_expression, Variable); WHERE WR1: ('EXPRESSION_ARM.INT_NUMERIC_VARIABLE' IN TYPEOF(SELF) ) OR ('EXPRESSION_ARM.REAL_NUMERIC_VARIABLE' IN TYPEOF(SELF) ); END_ENTITY; -- Numeric_variable |
Entity data types and their attributesGeneric_expression- Expression - Numeric_expression (DER) is_int: BOOLEAN; (DER) sql_mappable: BOOLEAN; Simple_generic_expression - Simple_numeric_expression - Generic_variable (INV) interpretation: Environment FOR syntactic_representation; Variable - Numeric_variable - |
| Int_numeric_variable (Expression_arm) |
| Real_numeric_variable (Expression_arm) |
Global rules for this entity data type- |