Path: utzoo!mnetor!uunet!husc6!think!ames!ncar!oddjob!uwvax!rutgers!iuvax!bsu-cs!dhesi
From: dhesi@bsu-cs.UUCP (Rahul Dhesi)
Newsgroups: comp.lang.misc
Subject: Re: Loops
Message-ID: <2562@bsu-cs.UUCP>
Date: 5 Apr 88 04:08:38 GMT
References: <2827@enea.se> <1557@pasteur.Berkeley.Edu> <2773@mmintl.UUCP> <294@tmsoft.UUCP> <2797@mmintl.UUCP>
Reply-To: dhesi@bsu-cs.UUCP (Rahul Dhesi)
Organization: CS Dept, Ball St U, Muncie, Indiana
Lines: 14

In article <2797@mmintl.UUCP> franka@mmintl.UUCP (Frank Adams) writes:
>In a structured program, there
>should be a (relatively) simple statement of the state of the computation
>when you exit from the loop.

The Zahn control structure, described in the literature, accomplishes
this.  But the Ada designers explicitly discussed this and decided not
to include it because the same can be done with the use of a variable
to hold the exit status, the general exit statement in a loop then
becoming:

     if condition1 then exit_status:=NORMAL_EXIT; exit; end if;
-- 
Rahul Dhesi         UUCP:  <backbones>!{iuvax,pur-ee,uunet}!bsu-cs!dhesi