Re: "continue/next" for "loop"

[Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>]

On Mon, 3 Nov 2003 13:07:22 +0000 (UTC), Lutz Donnerhacke
<lutz@iks-jena.de> wrote:

>* amado.alves wrote:
>>> No. I don't know how to invert a complex loop.
>> 
>> What on Earth are you talking about? The two constructs
>> 
>> (1)  if I mod J = 0 then
>>         goto next;
>>      end if;
>>      Put (I'Img);
>>      <<next>> null;
>> 
>> (2)  if I mod J /= 0 then
>>         Put (I'Img);
>>      end if;
>> 
>> are clearly equivalent!
>
>But both are the result of an oversimplification!
>
>outer: loop
>  inner: loop
>    Complex_Actions_1;
>    if First_Condition then
>      Some_Justify_Actions;
>      goto next_outer;
>    end if;
>    Complex_Actions_2;
>    if Second_Condition then
>      Some_Other_Justify_Actions;
>      goto next_outer;
>    end if;
>    Complex_Actions_3;
>  end loop inner;
>  Complex_End_Statments;
>  exit outer when Other_Condition;
>  More_Statments;
>
>  <<next_outer>> null;
>end loop outer;
>
>I'd like to find a more amazing version of this braindead goto.
>Please do not assume, that I'm too stupid to invert a condition in a
>simplified example. IT'S NOT HOMEWORK!

It looks that you are implementing a kind of state machine. If so
then, it is a rare case where labels are more natural than higher
level constructs.

---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de