From: JP Thornley <jpt@diphi.demon.co.uk>
Subject: [Q] Tools for Ada Quality and Style
Date: 1996/04/25
Date: 1996-04-25T00:00:00+00:00 [thread overview]
Message-ID: <767968529wnr@diphi.demon.co.uk> (raw)
In-Reply-To: 9604172134.AA27114@eight-ball
In article: <9604172134.AA27114@eight-ball> Bob Crispen
<revbob@EIGHT-BALL.HV.BOEING.COM> writes:
>
[in reply to a query about Ada standards]
>
> Ada Quality & Style, from
>
> http://sw-eng.falls-church.va.us/AdaIC/docs/style-guide/
>
> One there for Ada 95 and one for Ada 83. Accept no substitutes.
>
We are currently looking at redoing our standards and are likely to base
them closely on these.
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).
Thanks in advance.
Phil Thornley
--
------------------------------------------------------------------------
| JP Thornley EMail jpt@diphi.demon.co.uk |
------------------------------------------------------------------------
next prev parent reply other threads:[~1996-04-25 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 ` JP Thornley [this message]
1996-04-26 0:00 ` [Q] Tools for Ada Quality and Style Ken Garlington
1996-04-27 0:00 ` Bob Crispen
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 ` David Sanderson, IV
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-05-01 0:00 ` [Q] Tools for Ada Quality and Style [LONG] Laurent Guerby
1996-05-02 0:00 ` Robert A Duff
1996-05-02 0:00 ` Robert Dewar
1996-05-02 0:00 ` Robert Dewar
1996-05-02 0:00 ` Robert A Duff
1996-04-30 0:00 ` [Q] Tools for Ada Quality and Style Laurent Guerby
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-04-30 0:00 ` Robert A Duff
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