From: Ted Dennison <dennison@telepath.com>
Subject: Re: Required Metrics
Date: 2000/05/01
Date: 2000-05-01T00:00:00+00:00 [thread overview]
Message-ID: <8ek4ea$5ta$1@nnrp1.deja.com> (raw)
In-Reply-To: 5DDO4.2237$wb7.194854@news.flash.net
In article <5DDO4.2237$wb7.194854@news.flash.net>,
"Ken Garlington" <Ken.Garlington@computer.org> wrote:
> In the Ada Reference Manual, paragraphs D.8:37-45 states that "The
> implementation shall document" a series of metrics related to the
...
> details of that configuration." However, although my compiler's
> reference manual claims that "The real-time systems annex is fully
> implemented", it goes on to say " Information on metrics is not yet
> available." Does a compiler fully implement the real-time systems
> annex if it does not meet the documentation requirements?
I remember asking almost this exact question here about a year and a
half ago. You can search deja for the thread. But the answer I remember
getting was that since there is (and can be) no test in the Ada
validation test suite for documentation requirements, implementors can
pretty much get away with murder here.
--
T.E.D.
http://www.telepath.com/~dennison/Ted/TED.html
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~2000-05-01 0:00 UTC|newest]
Thread overview: 68+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-04-29 0:00 Required Metrics Ken Garlington
2000-04-29 0:00 ` swhalen
2000-05-01 0:00 ` Required Metrics (GNAT et al) Ken Garlington
2000-05-01 0:00 ` swhalen
2000-05-01 0:00 ` Ken Garlington
2000-05-01 0:00 ` Ted Dennison [this message]
2000-05-01 0:00 ` Required Metrics Tucker Taft
2000-05-01 0:00 ` Ken Garlington
2000-05-02 0:00 ` Ted Dennison
2000-05-04 0:00 ` Robert Dewar
2000-05-04 0:00 ` Ted Dennison
2000-05-05 0:00 ` Ken Garlington
2000-05-05 0:00 ` Robert Dewar
2000-05-02 0:00 ` Ken Garlington
2000-05-02 0:00 ` Ted Dennison
2000-05-03 0:00 ` Robert Dewar
2000-05-03 0:00 ` Ken Garlington
2000-05-03 0:00 ` Robert A Duff
2000-05-04 0:00 ` Ken Garlington
2000-05-04 0:00 ` Robert Dewar
2000-05-04 0:00 ` Robert A Duff
2000-05-04 0:00 ` Robert Dewar
2000-05-05 0:00 ` Ken Garlington
2000-05-04 0:00 ` Robert Dewar
2000-05-04 0:00 ` Wes Groleau
2000-05-04 0:00 ` Ken Garlington
2000-05-05 0:00 ` Robert Dewar
2000-05-06 0:00 ` Ken Garlington
2000-05-06 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-06 0:00 ` Ken Garlington
2000-05-06 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-08 0:00 ` Ole-Hjalmar Kristensen
2000-05-06 0:00 ` Robert Dewar
2000-05-04 0:00 ` Robert Dewar
2000-05-04 0:00 ` Ken Garlington
2000-05-05 0:00 ` Robert Dewar
2000-05-01 0:00 ` Ken Garlington
2000-05-04 0:00 ` Robert Dewar
2000-05-05 0:00 ` Ken Garlington
2000-05-05 0:00 ` Robert Dewar
2000-05-05 0:00 ` Ted Dennison
2000-05-06 0:00 ` Robert Dewar
2000-05-07 0:00 ` Robert I. Eachus
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-07 0:00 ` Robert Dewar
2000-05-18 0:00 ` Robert I. Eachus
2000-05-18 0:00 ` Robert A Duff
2000-05-19 0:00 ` Robert I. Eachus
2000-05-21 0:00 ` Robert Dewar
2000-06-03 0:00 ` Robert I. Eachus
2000-05-08 0:00 ` Ole-Hjalmar Kristensen
2000-05-08 0:00 ` Robert Dewar
2000-05-08 0:00 ` Robert Dewar
2000-05-18 0:00 ` Robert I. Eachus
2000-05-18 0:00 ` Ken Garlington
2000-05-04 0:00 ` Roger Barnett
2000-05-05 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox