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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Elaboration Question
Date: Tue, 6 Jan 2015 14:06:21 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <m8hf7u$u12$1@loke.gir.dk>
References: <Xeopw.842131$No4.595859@fx19.iad>
 <_3spw.995330$Fo3.305798@fx09.iad>
 <176076d0-ca97-46b5-8b6f-81e9289643c4@googlegroups.com>
 <b99580ed-aff8-41f2-a125-35a695827d85@googlegroups.com>
 <cgoihuF7sr6U1@mid.individual.net> <m8fhha$1ig$1@loke.gir.dk>
 <ch1k1hFicnqU1@mid.individual.net>
NNTP-Posting-Host: rrsoftware.com
X-Trace: loke.gir.dk 1420574782 30754 24.196.82.226 (6 Jan 2015 20:06:22 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 6 Jan 2015 20:06:22 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:24421
Date: 2015-01-06T14:06:21-06:00
List-Id: <comp.lang.ada>

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:ch1k1hFicnqU1@mid.individual.net...
> On 15-01-06 04:33 , Randy Brukardt wrote:
...
>>> This advice probably works in practice, but formally speaking, I cannot
>>> find a promise in the Ada RM (2012 version) that a Preelaborable library
>>> unit is free of elaboration code.
>>
>> You need to look in Annex C, specifically C.4 Preelaboration Requirements
>
> Ah yes, thanks for the correction. I missed C.4 because I was scanning the 
> RM Index for "preelabo", and the only reference to C.4 in the Index seems 
> to be for the term "load time".
>
> Kudos to you for making the Index so good that it is my preferred way to 
> search for RM info. Demerits to me for not searching in other ways, such 
> as by reading the table of contents :-)

Most of the credit for the index goes to Bob Duff, who originally created 
the index for the Ada 95 RM. I've just kept it up to date following his 
lead.

One thing we didn't index was the Table of Contents. The presumption was 
that people would look there first, but as you've proved, that's not always 
true.

I just added an index entry "preelaborated, implementation requirements, 
C.4(2)", which should help the next person that does as you did.

                                          Randy.