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.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM, INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3334f982144a667d X-Google-Attributes: gid103376,public From: Charles Hixson Subject: Re: javadoc => adadoc? Date: 1998/08/04 Message-ID: <35C7401E.54F17899@earthling.net>#1/1 X-Deja-AN: 377888798 Content-Transfer-Encoding: 7bit References: <6ptlbe$k3$1@nnrp1.dejanews.com> <6pvslq$poo@drn.newsguy.com> <6q4k5q$10uo$1@mdnews.btv.ibm.com> <35C5DAC4.F68DA421@earthling.net> <1998Aug4.073510.1@eisner> <6q7773$mhi$1@mdnews.btv.ibm.com> Content-Type: text/plain; charset=us-ascii Organization: http://extra.newsguy.com Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1998-08-04T00:00:00+00:00 List-Id: Brian Rogoff wrote: > ... snip ... > ... I found > that the psychological effect was the opposite of what was described; > programmers spent more time carefully documenting the code and keeping the > user level documentation up to date with the javadoc tool. > > There are a few other tools which would be nice in an Ada environment, > like an Ada version of LCLint from the Larch toolkit (*), or a more > general version of the SPARK analysis tools. > > -- Brian > > (*) http://www.sds.lcs.mit.edu/spd/larch/index.html Yes, the javaDoc structure seems to encourage keeping the documentation (annotations) up to date. The problem is that the extracted files are HTML, and there doesn't seem to be any decent way of presenting them off-line (and also, searching through html almost REQUIRES a search engine). What is needed is some way of marking index entries, and a way to generate (rtf?) text with the index entries tied to page numbers (which must be determined at print time). -- Charles Hixson charleshixson@earthling.net (510) 464-7733 or chixso@mtc.dst.ca.us