Re: How to exit from "for t in C when f(t) loop" ?

["min...@gmail.com" <minghia@gmail.com>]

On Monday, October 23, 2023 at 6:04:30 PM UTC+11, reinert wrote:
> mandag 23. oktober 2023 kl. 07:03:01 UTC+2 skrev reinert: 
> > Assume the loop: 
> > 
> > for t of C loop 
> > if f(t) then 
> > do something.... 
> > elsif f(t) > f1 then 
> > exit; 
> > end if; 
> > end loop; 
> > 
> > I would like to simplify this construct (somehow) like this: 
> > 
> > for t of C when f(t) loop 
> > do something.... 
> > end loop; 
> > 
> > However, this is not computationally effective, since t in this case runs through the whole C. 
> > Any ideas for a compromise? 
> > 
> > reinert
> Just a correction of the subject, it should be: How to exit from "for t *of* C when f(t) loop ? -reinert
Normally one does something 
 t := C'first;
loop
   do something...
  exit when Condition;
  t := t + 1;
end loop;

The conditon is just a boolean expression. It can be as simple or as complicated as one desires.