Re: syntaxic exploration

["Randy Brukardt" <randy@rrsoftware.com>]

<bj.mooremr@gmail.com> wrote in message 
news:b81c7f6f-dda7-4cd1-a9c6-953d0d30e7d4@googlegroups.com...
...
> Otherwise, one has to write a while loop, which is a bit awkward.
>
>   Position : Cursor := Cursor1;
>
>   Iteration_Loop :
>   loop
>       List (Position) := ...
>       exit Iteration_Loop when Position := Cursor2;
>       Next (Position);
>   end loop;

This works, of course.

>   One can almost do this with the current containers, with Ada 2012
>   iterator syntax because they generally
>   have an Iterate primitive that accepts a start cursor.
>
>   eg.
>
>   for I in List.Iterate(Start => Cursor1) loop
>      List (I) := ...
>   end loop;

This is true, too. But you just need to exit the loop at the end cursor to 
get the semantics you want:

   for I in List.Iterate(Start => Cursor1) loop
      List (I) := ...
      exit when I = Cursor2;
   end loop;

Ada doesn't care what kind of loop you use an exit in!

If there was to be a complaint here, it's that you can't easily use the 
element form ("of") with an ending cursor (because the cursor has to be 
explicit). But it seems weird to me to want to use cursors and yet hide them 
at the same time.

Conclusion: There isn't a need for an explicit "ending cursor", because an 
exit works fine for that in the cursor form. There still might be some sort 
of consistency argument, but we didn't add it originally since the exit is 
so easy to use for ending a loop "early".

                                 Randy.