Re: Elaboration of nested generic package.

["Randy Brukardt" <randy@rrsoftware.com>]

"Matthew Heaney" <mheaney@on2.com> wrote in message
news:1ec946d1.0307160724.1ff7c5b5@posting.google.com...
> For example, in the AI, there's this example:
>
> with Op;
>
> generic
> package GP is
>    pragma Preelaborate;
>    I : Integer := Op;
>    ...
> end GP;
>
> The pragma states that the body of GP should be elaborated prior to
> the elaboration of any non-preelaborated library units, which means
> you can omit elaboration checks during instantiations of GP.
>
> Fine, but then what categorization pragma should one use on the
> instantiation of GP:
>
> with GP;
> pragma Elaborate_All (GP);
> package P is new GP;
> pragma What_Goes_Here(P); --???
>
> We can't use Preelaborate on P, because it isn't preelaborateable
> (even though GP is).  What would be the difference between using
> Elaborate_Body and Elaborate_All on P?

Nothing goes here (as you said, you can't put Pure or Preelaborate here, and
Elaborate_Body makes no sense for an instantiation). In any case, you don't
need to do anything anywhere for elaboration, because the generic body is
alway elaborated at the point of the instantiation (which is why you need
the elaboration check at the instantiation). See 12.3(20). So there can't be
an elaboration problem in some other unit with an instantiation.

                   Randy.