Re: Elaboration order

[ncohen@watson.ibm.com (Norman H. Cohen)]

In article <314D2E1C.5C72@lfwc.lockheed.com>, Ken Garlington
<garlingtonke@lfwc.lockheed.com> writes: 

|> In fact, in general, for all respondents to this question, if you
|> say that pragma Elaborate is _not_ needed in a particular context,
|> please cite an 83 reference. I can't even find a reference that
|> says the body can be assured of the elaboration of its own spec!

RM83-10.5(2): "The elaboration of these library units and of the
corresponding libarary unit bodies is performed in an order consistent
with the partial ordering defined by the with clauses (see 10.3)."

In other words, if compilation unit A must be compiled, according to the
rules of RM83-10.3, before compilation unit B, then it is guaranteed that
A will be elaborated before B.

However, if package Client has a with clause for package Provider, this
only guarantees that the DECLARATION of package Provider will be
elaborated before the declaration (and body) of package Client.  The BODY
of package Provider could be elaborated later.  If the elaboration of the
declaration or body of Client uses a facility provided by Provider, that
declaration or body should contain (in Ada 83) an Elaborate pragma for
Provider, to ensure that the BODY of Provider is also elaborated before
that compilation unit.

--
Norman H. Cohen    ncohen@watson.ibm.com