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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a5449b9a03812b50 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-08-13 17:01:04 PST Newsgroups: comp.lang.ada Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp.abs.net!uunet!dca.uu.net!ash.uu.net!world!news From: Robert A Duff Subject: Re: GNAT documentation question Sender: news@world.std.com (Mr Usenet Himself) Message-ID: Date: Tue, 13 Aug 2002 23:59:57 GMT References: <3D417AB2.ADDD3F7A@boeing.com> <5ee5b646.0207281109.3894cc74@posting.google.com> NNTP-Posting-Host: shell01.theworld.com Organization: The World Public Access UNIX, Brookline, MA X-Newsreader: Gnus v5.7/Emacs 20.7 Xref: archiver1.google.com comp.lang.ada:27995 Date: 2002-08-13T23:59:57+00:00 List-Id: "Randy Brukardt" writes: > Robert Dewar wrote in message > <5ee5b646.0207281109.3894cc74@posting.google.com>... > >James Squire wrote in message > news:<3D417AB2.ADDD3F7A@boeing.com>... > >> "Grein, Christoph" wrote: > >> > > >> > BTW, you quote chapter and verse incorrectly, it should > >> > be A.13(15). > > > >By the way, it seems that this particular documentation > >requirement got omitted from Annex M, which is probably > >an oversight. > > No, I think it is intentional (Bob probably can tell us for sure). > A.13(15) is a "documentation requirement"; Annex M lists > "implementation-defined characteristics". They're not the same. I *think* you're right. I think I created Annex M by searching for "implementation-defined" and the like, and adding macro calls. Each macro call generates a comment in the AARM, and an entry in Annex M. But no, Bob cannot "tell us for sure". I don't remember. > Annex M also omits some of the other core "documentation requirements" > (J.7.1(12-13); A.5.2(44); as well as A.13(15)) but also includes others > (A.5.2(45), 13.11(22)), so it hard to tell what the intent is. (This is > also true for the specialled needs annexes; a large number of the > "documentation requirements" are not included in Annex M.) Which lends credence to this theory. > I think this will have to be taken to the ARG for a (short) discussion, > so the editor (me) can determine what fix is appropriate. I'm not sure it's worth fixing. Annex M is non-normative anyway. - Bob