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
Path: 
 g2news1.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!news.glorb.com!news2.glorb.com!news2.arglkargh.de!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada and Doxygen
Date: Wed, 3 Mar 2010 17:55:07 -0600
Organization: Jacob Sparre Andersen
Message-ID: <hmmsst$k7g$1@munin.nbi.dk>
References: <op.u8mib9tdvwnd5a@garhos>
 <4b84fb09$0$6579$9b4e6d93@newsspool3.arcor-online.net>
 <op.u8mpsskzvwnd5a@garhos> <u7hq1y0e5.fsf@stephe-leake.org>
 <op.u8oug5xjvwnd5a@garhos> <umxywwfef.fsf@stephe-leake.org>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1267660509 20720 69.95.181.76 (3 Mar 2010 23:55:09 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 3 Mar 2010 23:55:09 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5843
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
Xref: g2news1.google.com comp.lang.ada:9392
Date: 2010-03-03T17:55:07-06:00
List-Id: <comp.lang.ada>

"Stephen Leake" <stephen_leake@stephe-leake.org> wrote in message 
news:umxywwfef.fsf@stephe-leake.org...
...
> If I were to use a tool to produce separate documentation for Ada
> source code, I'd start with AdaBrowse
> (http://home.datacomm.ch/t_wolf/tw/ada95/adabrowse/); it uses ASIS, so
> it starts with all the information the compiler has.

Unrelated comment: ASIS (as implemented today) provides only a small subset 
of the information that the compiler has about a unit. For example, a 
compiler will be able to trivially determine if a view of a subtype is 
limited or non-limited; doing so accurately in ASIS takes many hundreds of 
lines of code. And ASIS provides no way to determine data layout at all 
(this is an intentional omission - but surely it comes under "information 
the compiler has").

The purpose behind the new ASIS Semantic Subsystem is to make much more (but 
far less than all!) of that information available to ASIS applications. But 
how knows when (or if) that subsystem will be widely implemented.

                                Randy Brukardt.