OCL2 — context declaration for OCL invariants

The second form of the context declaration for OCL invariants should be extended from

context c : Class inv:

to

context c1,..,cn : Class inv:

In similar situations, like the forAll and Exists operators, multiple iterators are allowed. So the above suggestion would increase uniformity. It also leads in some cases to simplified OCL expressions, e.g.

context C inv C.allInstances->forAll(c1,c2 | c1.id = c2.id implies c1=c2)

could be written as

context c1,c2 : C inv c1.id = c2.id implies c1=c2

Crossreference to issue #3139.

No Data Available