OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.2 forAllAt suggestion

  • Key: OCL25-160
  • Legacy Issue Number: 15710
  • Status: open  
  • Source: Model Driven Solutions ( Ed 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