Issue 7512: sub evaluations (in the sequence bodyEvals) (ocl2-rtf)
Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 4. -- [2] All sub evaluations (in the sequence bodyEvals) 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. Note that
-- this is an arbitrary choice, one could easily well start with the last element
-- of the source, or any other combination.
context LoopExpEval
inv: let bindings: Sequence( NameValueBindings ) =
iterators->collect( i |
NameValueBinding( i.varName, source->asSequence()->first() )
in
bodyEvals->at(1).environment = self.environment->addAll( bindings )
==> missing closing bracket before ’in’
Resolution: yes
Revised Text: In 10.3.2.18 LoopExpEval replace
iterators->collect( i | NameValueBinding( i.varName, source->asSequence()->first() )
by
iterators->collect( i | NameValueBinding( i.varName, source->asSequence()->first() ) )
Actions taken:
June 10, 2004: received issue
December 23, 2013: closed issue
Discussion: 

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

sub evaluations (in the sequence bodyEvals)

4. -- [2] All sub evaluations (in the sequence bodyEvals) 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. Note that
-- this is an arbitrary choice, one could easily well start with the last element
-- of the source, or any other combination.
context LoopExpEval
inv: let bindings: Sequence( NameValueBindings ) =
iterators->collect( i |
NameValueBinding( i.varName, source->asSequence()->first() )
in
bodyEvals->at(1).environment = self.environment->addAll( bindings )
==> missing closing bracket before .in.