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.2 required=5.0 tests=BAYES_00,FROM_WORDY, INVALID_MSGID,XPRIO autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,66752102482bbdca,start X-Google-Attributes: gid103376,public From: "Ken Garlington" Subject: Required Metrics Date: 2000/04/29 Message-ID: <5DDO4.2237$wb7.194854@news.flash.net>#1/1 X-Deja-AN: 617207748 X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 X-Complaints-To: abuse@flash.net X-Trace: news.flash.net 957023809 216.215.89.38 (Sat, 29 Apr 2000 10:56:49 CDT) Organization: FlashNet Communications, http://www.flash.net X-MSMail-Priority: Normal NNTP-Posting-Date: Sat, 29 Apr 2000 10:56:49 CDT Newsgroups: comp.lang.ada Date: 2000-04-29T00:00:00+00:00 List-Id: 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?