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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e13b2443cdd722bd
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-06 14:15:23 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!news.tele.dk!small.news.tele.dk!193.251.151.101!opentransit.net!fr.clara.net!heighliner.fr.clara.net!proxad.net!feeder2-1.proxad.net!news1-1.free.fr!not-for-mail
From: "Thierry BERNIER" <tajz@free.fr>
Newsgroups: comp.lang.ada
References: <3c0800dc$0$211$626a54ce@news.free.fr>
 <gkWN7.44693$xS6.75190@www.newsranger.com>
 <5ee5b646.0112010843.6ad01bc3@posting.google.com>
Subject: Re: Constant elaboration order
Date: Thu, 6 Dec 2001 23:16:32 +0100
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2615.200
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200
Message-ID: <3c0fedf4$0$203$626a54ce@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 06 Dec 2001 23:15:23 MET
NNTP-Posting-Host: 213.228.59.137
X-Trace: 1007676923 news1-1.free.fr 203 213.228.59.137
X-Complaints-To: abuse@proxad.net
Xref: archiver1.google.com comp.lang.ada:17536
Date: 2001-12-06T23:15:23+01:00
List-Id: <comp.lang.ada>

Bonjour,

Thanks to Ted and Robert, I just read the indicated chapter nn GNAT user's
guide. Interesting and I will read it again with less noise around. May be I
will try to move some elaboration code to public packages's sub-program and
call them explicitely in the main program (as it is proposed in the GNAT
UG).

BUT,
my question was about a given executable. When the compiler, binder and
linker have processed source files. My executable is here and I would like
to assert that from one run to another of this executable; elaboration code
chunks are executed in the same order (the one statically choosen by the
binder).

I understand this is true for GNAT, but found no rule in the RM (we can
forget annex E here).

Thierry Bernier