Re: Required Metrics

[swhalen@netcom.com]

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 real-time
: clock, etc. paragraph D:2 states that "The metrics are documentation
: requirements; an implementation shall document the values of the
: language-defined metrics for at least one configuration of hardware or an
: underlying system supported by the implementation, and shall document 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'd say you don't know if it meets the documentation requirements
unless you have the documentation for _ALL_ of that vendor's
"implementations". I'd expect that for GNAT for example, that the
hardware implementation they "documented" would be one besides the two
I have documentation for (WinNT & Linux).

I'd expect the metrics documentation to be for a more "real-time"
hardware / OS combination. And I would expect to see the documentation
in the distribution for that platform, not distributed with all
platforms from that vendor. I'm also not sure I'd expect so see the
metrics with the documentation on a non-validated compiler (I fool
around with the public versions of GNAT mainly).

But then I'm no language lawyer, so my expectations are probably
meaningless <g>.

Steve

-- 
{===--------------------------------------------------------------===}
                Steve Whalen     swhalen@netcom.com
{===--------------------------------------------------------------===}