From: crispen@hiwaay.net (Bob Crispen)
Subject: Re: [Q] Tools for Ada Quality and Style
Date: 1996/04/27
Date: 1996-04-27T00:00:00+00:00 [thread overview]
Message-ID: <4ltjat$dao@parlor.hiwaay.net> (raw)
In-Reply-To: 767968529wnr@diphi.demon.co.uk
JP Thornley <jpt@diphi.demon.co.uk> wrote:
>We are currently looking at redoing our standards and are likely to base
>them closely on these. [Ada Quality & Style]
>What would also be very useful is a pretty-printer (or a conformance
>checker) that can implement the standards we end up with. I have found
>one tool on the Walnut Creek CD-ROM - I don't have this available at
>present but I think it is called NAPPI (IIRC its from NASA and dates
>from around 1988).
>Does anyone have any experience of using this (is it a good base for a
>tailored pretty-printer)? Alternatively does anyone know of any other
>similar tools. (Note that we will be using Ada 83 for some time yet as
>well as Ada 95).
Try http://hiwaay.net/~crispen/us/our_computer.html
There's a version in C that does Ada 83 prettifying and a version in
Ada 95 that does Ada 95 prettifying. They're both in source code
form, and I haven't uploaded them to the PAL because they're really
not high enough quality or elaborate enough (IMHO). But I use them
all the time and have them mapped to function keys in vi.
Note that all these little tools handle is capitalization and some
spacing within a line.
There's another little tool there that aligns colons in a "paragraph"
that I also use a bunch.
I use something similar at work, but these were developed on my own
time.
Bob Crispen
crispen@hiwaay.net
Speaking for myself, not my company
next prev parent reply other threads:[~1996-04-27 0:00 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-04-17 0:00 Ada naming conventions? Bob Crispen
1996-04-17 0:00 ` Michael F Brenner
1996-04-25 0:00 ` [Q] Tools for Ada Quality and Style JP Thornley
1996-04-26 0:00 ` Ken Garlington
1996-04-27 0:00 ` Bob Crispen [this message]
1996-04-28 0:00 ` Robert Dewar
1996-04-29 0:00 ` JP Thornley
1996-04-30 0:00 ` Ken Garlington
1996-04-30 0:00 ` Peter Milliken
1996-04-30 0:00 ` Ken Garlington
1996-04-30 0:00 ` Robert Dewar
1996-05-05 0:00 ` Geert Bosch
1996-05-07 0:00 ` Peter Milliken
1996-04-30 0:00 ` David Sanderson, IV
1996-05-01 0:00 ` [Q] Tools for Ada Quality and Style [LONG] Laurent Guerby
1996-05-02 0:00 ` Robert Dewar
1996-05-02 0:00 ` Robert A Duff
1996-05-02 0:00 ` Robert A Duff
1996-05-02 0:00 ` Robert Dewar
1996-04-30 0:00 ` [Q] Tools for Ada Quality and Style Laurent Guerby
1996-04-30 0:00 ` Robert A Duff
1996-04-30 0:00 ` Frank Falk
1996-04-30 0:00 ` David Weller
1996-05-04 0:00 ` LJMetzger
1996-05-04 0:00 ` Robert Dewar
1996-05-06 0:00 ` Rolf Ebert
-- strict thread matches above, loose matches on Subject: below --
1996-04-30 0:00 Bob Crispen
1996-04-30 0:00 ` Robert Dewar
1996-05-01 0:00 ` Bob Kitzberger
1996-05-02 0:00 ` Robert Dewar
1996-05-02 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox