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 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: "Ken Garlington" Subject: Re: Required Metrics (GNAT et al) Date: 2000/05/01 Message-ID: <0PnP4.3696$wb7.344020@news.flash.net>#1/1 X-Deja-AN: 618033404 References: <5DDO4.2237$wb7.194854@news.flash.net> <8efg68$44u$1@slb1.atl.mindspring.net> <6EeP4.3473$wb7.310314@news.flash.net> <8eksr5$kf8$1@slb1.atl.mindspring.net> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 X-Complaints-To: abuse@flash.net X-Trace: news.flash.net 957221180 216.215.84.202 (Mon, 01 May 2000 17:46:20 CDT) Organization: FlashNet Communications, http://www.flash.net X-MSMail-Priority: Normal NNTP-Posting-Date: Mon, 01 May 2000 17:46:20 CDT Newsgroups: comp.lang.ada Date: 2000-05-01T00:00:00+00:00 List-Id: wrote in message news:8eksr5$kf8$1@slb1.atl.mindspring.net... > I'm not sure it would be practical to include, say, the VxWorks > metrics with the WinNT compiler, because there would be too many > references to VxWorks that would be easy to explain in the context of > the VxWorks documentation, but would make no sense in the WinNT docs. > > Metrics should be reproducible, but they would be reproducible only on > the platform that was validated. > > The metrics would have to be very hardware / OS / compiler > dependent. Well, I don't think there's any requirement to provide the _entire_ documentation suite, just the _metrics_ (formula, whatever) from the platform of choice. Using GNAT as an example, the documentation already defines some features that really only make sense on specific platforms (e.g. certain DEC Ada "emulations"), so there's certainly some precedent here. The standard already appears to recognize that the metrics depend upon context, so that shouldn't be an issue. > The more I think about this, the more I'm convinced it would be wrong > for a vendor to ship metrics with anything other than a validated > compiler. OK - does ACT do this? I wasn't aware you got different documentation for the supported version versus the public version.