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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,38fc011071df5a27 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-28 09:03:32 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!newsfeed.vmunix.org!newsfeed.stueberl.de!teaser.fr!enst.fr!not-for-mail From: "Robert C. Leif" Newsgroups: comp.lang.ada Subject: RE: Ideas for Ada 200X Date: Wed, 28 May 2003 09:03:09 -0700 Organization: ENST, France Message-ID: NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: avanie.enst.fr 1054137811 78976 137.194.161.2 (28 May 2003 16:03:31 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Wed, 28 May 2003 16:03:31 +0000 (UTC) To: "'Georg Bauhaus'" , Return-Path: X-Envelope-From: rleif@rleif.com X-Mailer: Microsoft Outlook, Build 11.0.4920 In-Reply-To: X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 Thread-Index: AcMlKLMALe2dLtHjTfGtSFzBKe0kBwACHDzA X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: comp.lang.ada mail to news gateway List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: archiver1.google.com comp.lang.ada:37915 Date: 2003-05-28T09:03:09-07:00 Bounded strings already exist in Ada and do not require any changes to = the standard. If necessary, a selected group of comment types can be = included in an annex; or better yet, the standard can provide a URL for suggested = items. An XML schema for Ada would be the first step for using conventional document processors to edit both Ada and documentation. It would also facilitate hyperlinks between the Ada sources and associated = documentation. Bob Leif -----Original Message----- From: Georg Bauhaus [mailto:sb463ba@d2-hrz.uni-duisburg.de]=20 Sent: Wednesday, May 28, 2003 3:55 AM To: comp.lang.ada@ada.eu.org Robert C. Leif wrote: : XML has formalized multiline comments. : .................... No it hasn't, only the schema fans have aggreed on annotation and documentation element types in Part 0 of the XSD. I think annotations in = a language are a good idea, but this form, IMO, renders *non-tool-based* document type design, or document type study, even less feasable by a human. Humans are much more important when it comes to = data descriptionthan omputing machines, aren't they? Domain specifics cannot easily be handled by (essentially) numbers of bits... Luckily, there is RELAX NG. : Therefore by analogy, one could create annotation and documentation = types in : Ada. These could be implemented as bounded strings. This would permit = the : compiler and tools like ASIS to have knowledge about the = documentation. How about a pragma like function foo(bar: String) return Natural; pragma Short_Description(foo, "the number of foos in bar"); georg