Legacy Issue Number: 15710
Source: Model Driven Solutions ( Ed Willink)
It is common in an iteration to require in iteration index.
This can be achieved rather expensively by indexOf, or less expensively by
iterating over an integer literal range.
It would be easier to define e.g.
forAllAt(index : Integer, i : T)
etc so that an implementation can supply the index efficiently.
Reported: OCL 2.1 — Fri, 8 Oct 2010 04:00 GMT
Updated: Thu, 8 Oct 2015 14:12 GMT