Legacy Issue Number: 3387
he term "navigation context" is used to denote the
start of an OCL navigation expression. The standard navigation context
is "self", or the iterator name in a subexpression
that is the argument to collection operations like "forAll".
The standard navigation context in the argument expression of the
operation "iterate" is not clearly defined in the OCL specification. It
might either be the iterator or the accumulator.
Since none of these alternatives is clearly more intuitive than the
other, we would favour to demand the explicit qualification of the
navigation context in iterate's argument expression through either the
iterator or accumulator name or "self".
It might be noted that similarly, the default navigation context is not
clear if the operation "forAll" is used with two or more iterators.
Reported: UML 1.2 — Wed, 1 Mar 2000 05:00 GMT
Disposition: Resolved — UML 1.3
No Data Available
Updated: Fri, 6 Mar 2015 21:37 GMT
UML14 — UML 1.4 RTF issue: OCL: navigation context in iterate
- Key: UML14-1024
- OMG Task Force: UML 1.4 RTF