From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,5dba30d6260ef552 X-Google-Attributes: gid103376,public From: "Jean-Pierre Rosen" Subject: Re: Elaboration Order Date: 1999/11/16 Message-ID: <80s2hr$i9j$1@wanadoo.fr>#1/1 X-Deja-AN: 549331649 References: <80p0au$6n1$1@wanadoo.fr> <80pcgf$80b$1@nnrp1.deja.com> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2014.211 X-Complaints-To: abuse@wanadoo.fr X-Trace: wanadoo.fr 942771579 18739 164.138.107.14 (16 Nov 1999 16:59:39 GMT) Organization: Adalog X-MSMail-Priority: Normal NNTP-Posting-Date: 16 Nov 1999 16:59:39 GMT Newsgroups: comp.lang.ada Date: 1999-11-16T16:59:39+00:00 List-Id: From: Robert Dewar > In article <80p0au$6n1$1@wanadoo.fr>, > "Jean-Pierre Rosen" 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 .