OCL21 — sub evaluations (02)

38. – [1] All sub evaluations have a different environment. The first sub evaluation
– will start with an environment in which all iterator variables are bound to
– the first element of the source, plus the result variable which is bound to
– the init expression of the variable declaration in which it is defined.
context IterateExpEval
inv: let bindings: Sequence( NameValueBinding ) =
iterators->collect( i |
NameValueBinding( i.varName, source->asSequence()->first() ))
in
bodyEvals->at(1).environment = self.environment->addAll( bindings )
->add( NameValueBinding( result.name, result.initExp.resultValue ))
==> ’varName’ should be ’value’

yes