Re: Elaboration Order

["Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr>]

From: Robert Dewar <robert_dewar@my-deja.com>
> In article <80p0au$6n1$1@wanadoo.fr>,
>   "Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr> wrote:
> > It is by the way quite annoying not to have an
> ELABORATE_FAMILY pragma...
>
> I know the vague thought here, but I don't see the details you
> have in mind. Why not write it up and submit to the ARG, and
> also post here.
>
The "vague idea" is that if I put all my stuff in a single package, I can
put a pragma Elaborate_Body, and then every use of my package will be safe
(as far as elaboration is concerned), without requiring anything else from
the user of the package.

This does not hold any more if I decide to split my implementation into
child units. What is needed is a kind of Elaborate_Body that would provide
the same guarantee over the whole tree.

A possible definition of a pragma Elaborate_Family would be the same as a
pragma Elaborate_All on the body, with the additionnal constraint that no
unit should be elaborated between the elaboration of the specification and
the one for the body, other than those required by Elaborate_Family.

Alternatively, it could be defined as meaning that all descendants of the
unit should be elaborated after the specification, in an implementation
defined order, but before any unit which is not a descendant of the unit.

This is obviously just a first shot. Does it hold water ? Comments welcome.
---------------------------------------------------------
           J-P. Rosen (Rosen.Adalog@wanadoo.fr)
Visit Adalog's web site at http://pro.wanadoo.fr/adalog
.