From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,92c39a3be0a7f17d
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-03-13 05:43:17 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!pln-w!extra.newsguy.com!lotsanews.com!cyclone-sf.pbi.net!151.164.30.35!cyclone.swbell.net!bos-service1.ext.raytheon.com!bos-service2.ext.raytheon.com.POSTED!not-for-mail
Message-ID: <3C8F575D.61EE90A9@despammed.com>
From: Wes Groleau <wesgroleau@despammed.com>
Reply-To: wesgroleau@despammed.com
X-Mailer: Mozilla 4.77 [en] (Windows NT 5.0; U)
X-Accept-Language: en,es-MX,es,pt,fr-CA,fr
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: labeling (was: partitioning (was: Future))
References: <mailman.1005328653.20306.comp.lang.ada@ada.eu.org>
   <3C7B0B13.3080003@worldnet.att.net> <3C7D1C89.2000803@home.com>
 <mailman.1014918362.4599.comp.lang.ada@ada.eu.org>
 <3C7E7CAD.7070504@mail.com> <3C7FB9D2.D9C6E055@boeing.com>
 <3C81DF1F.9000503@mail.com> <a5tmpv$aek$1@msunews.cl.msu.edu>
 <3C83A112.6080302@mail.com> <3C84223C.A356F466@adaworks.com>
 <3C853A04.34826F39@despammed.com> <a63fda$er$1@nh.pace.co.uk>
 <a65gj5$n73$1@a1-hrz.uni-duisburg.de> <a65jhi$112$1@nh.pace.co.uk>
 <a6831k$3ls$1@a1-hrz.uni-duisburg.de> <a68599$8na$1@nh.pace.co.uk>
 <3C8D0D70.BB09F3DA@despammed.com> <a6jg6p$iec$1@nh.pace.co.uk>
 <3C8E3110.F36F2DC8@despammed.com> <a6lfgd$gj6$1@nh.pace.co.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Date: Wed, 13 Mar 2002 08:42:53 -0500
NNTP-Posting-Host: 151.168.144.162
X-Complaints-To: news@ext.ray.com
X-Trace: bos-service2.ext.raytheon.com 1016026997 151.168.144.162 (Wed,
 13 Mar 2002 08:43:17 EST)
NNTP-Posting-Date: Wed, 13 Mar 2002 08:43:17 EST
Organization: Raytheon Company
Xref: archiver1.google.com comp.lang.ada:21153
Date: 2002-03-13T08:42:53-05:00
List-Id: <comp.lang.ada>

We veered off on another topic, but while there
I discovered another possibility for labeling:

    case Animal is

       ......

    end case (Animal);

    -- Contents of parens have no effect on behavior
    -- of program.  Constitutes compiler-checked comment,
    -- nothing more.  Parens and contents optional.  If present,
    -- contents must be semantically identical to case selector.


    if Animal in Mammal then

       .....

    elsif Animal in Reptile then

       .....

    else

       .....

    end if (Animal in Mammal | Animal in Reptile | not);

    -- Contents of parens have no effect on behavior
    -- of program.  Constitutes compiler-checked comment,
    -- nothing more.  Parens and contents optional.  If present,
    -- contents must be semantically identical to if condition.
    -- If elsif's are present, contents of paren may be semantically
    -- identical to ONE OR MORE of the conditions.  If a straight
    -- else is present, the " | not " is optional


    procedure P (Param : in Param_Type) is

       .....

    begin (P (Param : in Param_Type))

       .....

    exception (P (Param : in Param_Type))

       .....

    end P (Param : in Param_Type);

    -- Contents of parens have no effect on behavior
    -- of program.  Constitutes compiler-checked comment,
    -- nothing more.  Parens and contents optional.  If present,
    -- contents must conform.


I intend to "formally" submit this
as a proposed improvement.

-- 
Wes Groleau
http://freepages.rootsweb.com/~wgroleau