From: "Nick Roberts" <nickroberts@adaos.worldonline.co.uk>
Subject: Re: Refactoring and Ada
Date: Wed, 6 Feb 2002 02:51:43 -0000
Date: 2002-02-06T02:51:43+00:00 [thread overview]
Message-ID: <a3q69j$18m3um$2@ID-25716.news.dfncis.de> (raw)
In-Reply-To: yZD78.8997$Bf6.3206761629@newssvr11.news.prodigy.com
"Pat Rogers" <progers@classwide.com> wrote in message
news:yZD78.8997$Bf6.3206761629@newssvr11.news.prodigy.com...
> "Nick Roberts" <nickroberts@adaos.worldonline.co.uk> wrote in message
> news:a3mtl6$18ase0$1@ID-25716.news.dfncis.de...
>
> <snip>
>
> > It does actually raise a question in my mind: why was pragma
Preelaborate
> > introduced in the first place?
>
> It came out of the Ada Run-Time Environment Working Group (ARTEWG) Catalog
of
> Interface Features and Options (CIFO) for Ada 83. A member had an
embedded
> air-to-air missile application that took too long to elaborate -- it was
already
> off the rail by then, but not quite ready to fly -- hence the pragma. A
number
> of Ada 95's real-time facilities can be traced to the CIFO. Some of it
was
> overkill, but much was very good.
>
> That doesn't answer your question of why the compiler cannot do it
> automatically, but I think the history is interesting.
Yes, extremely interesting!
In fact, I think I can answer my own question, very simply, having thought
about it (for about five minutes). You do indeed want to have explicit
directives saying "this library unit should be [preelaborated|pure]", so
that the compiler will give you a warning if it cannot be (violates one of
the restrictions). Simple. I really *should* think a bit more before opening
my virtual big fat mouth. Sorry.
PS: Many missiles nowadays are alive and active long before firing, showing
their radar or images to the pilot, giving lock-on status, and for all I
know offering philosophical arguments about the rights and wrongs of modern
warfare. (When they go off target, it's nothing to do with cloud cover, it's
a crisis of conscience ;-)
--
Nick Roberts
next prev parent reply other threads:[~2002-02-06 2:51 UTC|newest]
Thread overview: 75+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-01 15:13 Refactoring and Ada Paul Anderson
2002-02-02 17:48 ` Nick Roberts
2002-02-02 20:36 ` Pat Rogers
2002-02-03 0:21 ` Nick Roberts
2002-02-03 13:53 ` Robert Dewar
2002-02-03 19:23 ` Nick Roberts
2002-02-04 2:17 ` Robert Dewar
2002-02-04 20:48 ` Nick Roberts
2002-02-04 22:31 ` Pat Rogers
2002-02-04 22:43 ` Marin David Condic
2002-02-06 2:51 ` Nick Roberts [this message]
2002-02-03 18:50 ` Simon Wright
2002-02-04 4:32 ` Richard Riehle
2002-02-04 12:28 ` David C. Hoos, Sr.
2002-02-04 17:03 ` Richard Riehle
2002-02-06 17:19 ` Robert A Duff
2002-02-04 17:59 ` Robert Dewar
2002-02-04 18:50 ` Pascal Obry
2002-02-05 1:07 ` Robert Dewar
2002-02-05 1:44 ` Richard Riehle
2002-02-06 17:42 ` Robert A Duff
2002-02-06 17:32 ` Robert A Duff
2002-02-07 8:45 ` Dr. Michael Paus
2002-02-07 13:54 ` Pat Rogers
2002-02-03 13:48 ` Robert Dewar
2002-02-03 19:38 ` Nick Roberts
2002-02-04 2:20 ` Robert Dewar
2002-02-08 21:21 ` Paul Anderson
2002-02-03 9:45 ` Volkert
2002-02-04 0:06 ` Refactoring and Ada (tool I'd like to have...) David Emery
2002-02-08 9:24 ` Refactoring and Ada Martin Dowie
2002-02-08 15:15 ` Ted Dennison
2002-02-08 15:52 ` Pat Rogers
2002-02-08 16:07 ` OT : " martin.m.dowie
2002-02-08 17:11 ` Pat Rogers
2002-02-09 19:46 ` martin.m.dowie
2002-02-09 23:04 ` Pat Rogers
2002-02-10 13:57 ` Martin Dowie
2002-02-08 16:06 ` martin.m.dowie
2002-02-08 17:07 ` Pat Rogers
2002-02-09 19:48 ` martin.m.dowie
2002-02-09 23:05 ` Pat Rogers
2002-02-10 1:30 ` Marc A. Criley
2002-02-10 2:58 ` tmoran
2002-02-11 15:27 ` Marin David Condic
2002-02-12 19:16 ` Simon Wright
2002-02-15 19:43 ` Marin David Condic
2002-02-15 20:33 ` Matthew Heaney
2002-02-15 21:40 ` Larry Kilgallen
2002-02-19 16:54 ` Matthew Heaney
2002-02-19 19:39 ` Larry Kilgallen
2002-02-20 4:23 ` Richard Riehle
2002-02-20 5:20 ` Mark Biggar
2002-02-20 9:58 ` Pat Rogers
2002-02-20 17:14 ` Matthew Heaney
2002-02-20 17:18 ` Pat Rogers
2002-02-20 18:08 ` Matthew Heaney
2002-02-20 22:12 ` Pat Rogers
2002-02-23 22:48 ` Robert Dewar
2002-02-21 0:41 ` Randy Brukardt
2002-02-21 1:31 ` Pat Rogers
2002-02-22 14:37 ` Pat Rogers
2002-02-22 21:23 ` Randy Brukardt
2002-02-23 23:04 ` Robert Dewar
2002-02-25 20:26 ` Randy Brukardt
2002-02-23 23:21 ` Robert Dewar
2002-02-23 22:58 ` Robert Dewar
2002-02-23 22:55 ` Robert Dewar
2002-02-26 1:05 ` Nick Roberts
-- strict thread matches above, loose matches on Subject: below --
2002-02-05 6:15 Christoph Grein
2002-02-07 11:26 Christoph Grein
2002-02-07 18:31 ` Dr. Michael Paus
2002-02-08 12:45 ` Robert Dewar
2002-02-08 17:20 ` Dr. Michael Paus
2002-02-20 6:19 Christoph Grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox