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,66752102482bbdca X-Google-Attributes: gid103376,public From: swhalen@netcom.com Subject: Re: Required Metrics Date: 2000/04/29 Message-ID: <8efg68$44u$1@slb1.atl.mindspring.net>#1/1 X-Deja-AN: 617279002 References: <5DDO4.2237$wb7.194854@news.flash.net> Organization: ? User-Agent: tin/pre-1.4-19990517 ("Psychonaut") (UNIX) (SunOS/4.1.4 (sun4m)) Newsgroups: comp.lang.ada Date: 2000-04-29T00:00:00+00:00 List-Id: Ken Garlington 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 . Steve -- {===--------------------------------------------------------------===} Steve Whalen swhalen@netcom.com {===--------------------------------------------------------------===}