Issue 15710: OCL 2.2 forAllAt suggestion (ocl2-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Uncategorized Issue
Severity: 
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.

Resolution: 
Revised Text: 
Actions taken:
October 8, 2010: received issue
Discussion: 

End of Annotations:=====
ronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhAFAEPTrkzUnwY2/2dsb2JhbACURY5rvTWCGoMtBA
Date: Fri, 8 Oct 2010 16:18:36 +0100
Subject: OCL 2.2 forAllAt suggestion
From: ed@willink.me.uk
To: issues@omg.org
Reply-To: ed@willink.me.uk
User-Agent: SquirrelMail


Hi


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.


  Regards


    Ed Willink