|
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: ('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION' IN TYPEOF(operand)) AND ('ISO13584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION' IN TYPEOF(index)); WR2: is_int_expr (index); END_ENTITY; -- index_expression |
Entity data types and their attributesgeneric_expression- expression - string_expression - binary_generic_expression operands: LIST [2:2] OF generic_expression; index_expression (DER) operand: generic_expression; (DER) index: generic_expression; |
Global rules for this entity data type- |