Issue 7520: an iterate expression evaluation (ocl2-rtf)
Source: Klasse Objecten (Dr. Jos Warmer, j.warmer(at)klasse.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 12. -- [1] The model of the result of an iterate expression evaluation is equal to
-- the model of the result of the associated IterateExp.
context IterateExpEval
inv: result.model = model.result )
==> remove last bracket
Resolution: 
Revised Text: 
Actions taken:
June 14, 2004: received issue
Discussion: 

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

an iterate expression evaluation

12. -- [1] The model of the result of an iterate expression evaluation is equal to
-- the model of the result of the associated IterateExp.
context IterateExpEval
inv: result.model = model.result )
==> remove last bracket