|
ENTITY substring_expression SUBTYPE OF (string_expression, multiple_arity_generic_expression); DERIVE operand : generic_expression := SELF\multiple_arity_generic_expression.operands[1]; index1 : generic_expression := SELF\multiple_arity_generic_expression.operands[2]; index2 : generic_expression := SELF\multiple_arity_generic_expression.operands[3]; WHERE WR1: ('ISO13584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION' IN TYPEOF(operand)) AND ('ISO13584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION' IN TYPEOF(index1)) AND ('ISO13584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION' IN TYPEOF(index2)); WR2: SIZEOF(SELF\multiple_arity_generic_expression.operands)=3; WR3: is_int_expr (index1); WR4: is_int_expr (index2); END_ENTITY; -- substring_expression |
Entity data types and their attributesgeneric_expression- expression - string_expression - multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; substring_expression (DER) operand: generic_expression; (DER) index1: generic_expression; (DER) index2: generic_expression; |
Global rules for this entity data type- |