Re: AQ&S Guidance on pragma Elaborate_Body

[mheaney@ni.net (Matthew Heaney)]

In article <E8znzn.DM2@world.std.com>, bobduff@world.std.com (Robert A
Duff) wrote:

>In article <mheaney-ya023680002104970117080001@news.ni.net>,
>Matthew Heaney <mheaney@ni.net> wrote:
>>In article <dewar.861594771@merv>, dewar@merv.cs.nyu.edu (Robert Dewar) wrote:
>>>And this guideline is a poor one. You only need to use pragma Elaborate
>>>for generics named in the context clause if you instantiate the generic
>>>in your own elaboration code
>
>...which is almost always the case, in my experience...
>
>>... -- and furthermore, if you *do* such an
>>>instantiation, use Elaborate_All, not Elaborate
>
>Agreed.  Always use ELaborate_All instead of Elaborate, except when
>mutual recursion forces you to use Elaborate.  (And, of course, use
>Pure, Preelaborate, or Elaborate_Body in preference to either Elab or
>Elab_All.)

OK, just so I understand this perfectly: If the generic package has used
one of the pragmas Pure, Preelaborate, or Elaborate_Body, does that mean I
the instantiator do not have to use pragma Elaborate_All?

generic
   ...
package GQ is
   pragma Pure;
...
end GQ;

with GQ;    <<<--- No pragma Elaborate_All required, right?
package P is
   package Q is new GQ (...);
end P;


Matt

--------------------------------------------------------------------
Matthew Heaney
Software Development Consultant
<mailto:matthew_heaney@acm.org>
(818) 985-1271