Re: [eclipse-users] Conditional jump out of loops

On Wednesday 24 January 2007 20:33, Kish Shen wrote:
> On Wednesday 24 January 2007 20:02, Kish Shen wrote:
> > 
> > fromto(_,End,End, end) do .....
> > 

Sorry again, I should have thought more about this. The above will always succeed, as end 
will always unify with End at the end of the first iteration.

The fromto should be in the form:

fromto(continue,_,LoopState, end) 

and for continuing the loop, unify LoopState with continue, and for termination, unify LoopState
with end, e.g.:

(fromto(continue, _,LoopState, end) do
   ....
  (continue(...) -> LoopState = continue ; LoopState = end)
)

where continue(...) is a test to see if you want to continue.

Cheers,

Kish