OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.2 forAllAt suggestion

Open Closed All
  • Key: OCL25-160
  • Legacy Issue Number: 15710
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    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