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,16e3a8dd4f3ab3f3
X-Google-Attributes: gid103376,public
From: Ken Garlington <garlingtonke@lfwc.lockheed.com>
Subject: Re: Elaboration order
Date: 1996/03/21
Message-ID: <315151B0.7D84@lfwc.lockheed.com>#1/1
X-Deja-AN: 143612531
references: <314701A1.469D@lfwc.lockheed.com>
 <314D2E1C.5C72@lfwc.lockheed.com> <4in4am$klb@watnews1.watson.ibm.com>
 <4inpiv$alk@cliffy.lfwc.lockheed.com> <DoJqBL.362@world.std.com>
 <4ip58c$gqo@cliffy.lfwc.lockheed.com> <dewar.827341538@schonberg>
cc: ausnit@software.org
content-type: text/plain; charset=us-ascii
organization: Lockheed Martin Tactical Aircraft Systems
mime-version: 1.0
newsgroups: comp.lang.ada
x-mailer: Mozilla 2.0 (Macintosh; I; 68K)
Date: 1996-03-21T00:00:00+00:00
List-Id: <comp.lang.ada>

Robert Dewar wrote:
> 
> To minimize this risk, minimize or even eliminate ALL elaboration (it is
> not out of the question to rquire pragma Preelaborate in all units for
> a safety-critical application).

I agree with the sentiment, althought of course it _is_ somewhat counter-
productive to apply pragma Preelaborate to our current evnvironment, since we are
still using Ada 83!

I guess it's because of the rarity of a problem in this area, but I don't think
that this issue was addressed in the Ada (95) Quality and Style Guide, or other
generally-available style guides.

Also, I wonder if there's something here for a future revision of the safety
systems annex, or maybe as an HRG topic?

By the way, I am always amazed (pleasantly) at the volume and quality of answers
I get when I ask questions like this in c.l.a. Certainly worth the price!