Re: Elaboration of nested generic package.

[dlwester@hotmail.com (Don Westermeyer)]

christoph.grein@eurocopter.com wrote in message news:<mailman.0.1057119854.328.comp.lang.ada@ada.eu.org>...
> package Example is
> 
>   pragma Elaborate_Body;
> 
>   procedure Do_Something;
> 
>   generic
>     type Item_Type is private;
>   package Nested is
>     --pragma Elaborate_Body;
>     procedure Do_Another_Thing;
>   end Nested;
> 
> end Example;
> 
> There is no need to put pragma Elaborate_Body into the nested generic, because 
> the body of Example also holds the body of Nested, and when the body of Example 
> is elaborated, the body of Nested is inevitably elaborated as well.
> 
> What you cite in the style guide applies only to library generic units (or 
> should that be generic library units :-):
> http://www.adaic.org/docs/95style/html/sec_8/8-4-3.html


Thanks for the reply.  I was hoping that was the case.  It's hard to
interpret the LRM somtimes.  IMO Ada 83/95 could have made the whole
issue of elaboration easier to deal with (for instance always
elaborate the body UNLESS a pragma 'Do_Not_Elaborate' is applied).

Thanks again.
D Westermeyer.