Legacy Issue Number: 7538
Source: OpenModeling ( Jos Warmer)
30. –  The value of a collection item is the result value of its item expression.
– The environment of this item expression is equal to the environment of the
– collection item evaluation.
inv: element = item.resultValue
inv: item.environment = self.environment
==> an association should be added between CollectionLiteralPartEval and EvalEnvironment
Reported: OCL 2.0b2 — Thu, 10 Jun 2004 04:00 GMT
Updated: Thu, 8 Oct 2015 14:12 GMT