Issue 7538: value of a collection item (ocl2-rtf)
Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 30. -- [1] 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.
context CollectionItemEval
inv: element = item.resultValue
inv: item.environment = self.environment
==> an association should be added between CollectionLiteralPartEval and EvalEnvironment
Resolution: 
Revised Text: 
Actions taken:
June 10, 2004: received issue
Discussion: 

End of Annotations:=====
s is issue # 7538


value of a collection item


30. -- [1] 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.
context CollectionItemEval
inv: element = item.resultValue
inv: item.environment = self.environment
==> an association should be added between CollectionLiteralPartEval and EvalEnvironment





=================================
Jürgen Boldt
Director, Member Services


Object Management Group
250 First Avenue, Suite 100
Needham, MA 02494


Tel.            +1 781 444 0404 ext. 132
Fax:            +1 781 444 0320
email:          juergen@omg.org
www             www.omg.org

================================