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- |
public interface EIndex_expression extends EString_expression, EBinary_generic_expressionoperand (derived attribute)EGeneric_expression getOperand(EIndex_expression type)boolean testOperand(EIndex_expression type) index (derived attribute)EGeneric_expression getIndex(EIndex_expression type)boolean testIndex(EIndex_expression type) |
public class CIndex_expression implements EIndex_expressionstatic EAttribute attributeOperand(EIndex_expression type)static int usedinOperand(EIndex_expression type, EGeneric_expression instance, ASdaiModel domain, AIndex_expression result) static EAttribute attributeIndex(EIndex_expression type) static int usedinIndex(EIndex_expression type, EGeneric_expression instance, ASdaiModel domain, AIndex_expression result) |
public class AIndex_expression extends AEntitypublic EIndex_expression getByIndex(int index)public EIndex_expression getCurrentMember(SdaiIterator it) |