Re: labeling (was: partitioning (was: Future))

[Christoph Grein <christoph.grein@eurocopter.com>]

Wes, excuse me for the harsh words, but this is absolute nonsense in my eyes :-(
And I _bet_ you won't get any support in Ada-Comment.


> 
>     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
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada