OCL25 — result value of an association end call expression

25. – [1] The result value of an association end call expression is the value bound
– to the name of the association end to which it refers. Note that the
– determination of the result value when qualifiers are present is specified in
– section 5.4.3 ("Well-formedness rules for the AS-Domain-Mapping.exp-eval
– Package").
context AssociationEndCallExpEval inv:
qualifiers->size = 0 implies
resultValue =
source.resultValue.getCurrentValueOf(referredAssociationEnd.name)
==> ’size’ should be ’size()’
==> ’resultValue’ should be ’resultValue->oclAsType(OCLDomain::Values::ObjectValue)’