Re: [ot... well kindof] SDI

["Chad R. Meiners" <crmeiners@hotmail.com>]

"chris.danx" <spamoff.danx@ntlworld.com> wrote in message
news:Ynz39.11$5d3.56@news13-win.server.ntlworld.com...
>> procedure get_personal_detials (person : out PersonRecord) is
> begin
>     ... -- read person.name and person.address.
>     loop
>        begin
>           put ("enter postcode");
>
>           get_postcode (person.pc);
>           exit;  -- ???
>        exception
>           when Postcode_Error => Put_Line ("Postcode is ill-formed!");
>        end;
>      end loop;
> end get_personal_details
>
>
> My concern is at the line marked "-- ???" the code will just exit the
> begin-end block not the loop, is this correct?  If so a simple revision
> that introduced a flag set after get_postcode would do.

Read the Ada Reference Manual Section 5.7 on Exit Statements.
When in doubt look up the rules of the language ;) or label your loop.
For instance you will find the following nice example in the above section
which I think you'll agree is quite helpful in expressing you intentions
clearly.

Main_Cycle:
 loop
  -- initial statements
  exit Main_Cycle when Found;
  -- final statements
 end loop Main_Cycle;

-CRM