From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 21 Feb 93 22:54:59 GMT From: gate.ready.com!taurus.cs.nps.navy.mil!spear@decwrl.dec.com (Jon Spear) Subject: Re: Ada Coding Rules Message-ID: List-Id: In article <1993Feb18.114045.11990@hsacsd.signaal.nl> jacobs@hsacsd.signaal.nl writes: > >We are looking to literature and/or tools for Ada Coding Rules. > >These rules should cover (at least) the following topics like: > - the layout of the source code files (headers, indentation, etc.) > - naming conventions (for all kind of identifiers) > - the use of Ada (avoidance of complex constructions, side-effects). > >Also experiences of other people using this kind of coding rules is welcome. > >For information: we develop large real-time Air Traffic Control systems, mainl y >coded in Ada. This has been mentioned before in this newsgroup, but if you haven't already gotten it, you should take a look at: _Ada_Quality_and_Style:_ Guidelines_for_Professional_Programmers_, SPC-91061-CMC, Version 02.01.01, dated December 1992. This is about 200 pages of Ada guidelines with rationale, references and examples. Most of them are pretty good ideas (IMHO). There are many comments on how conformance with the guidelines could (or couldn't) be automatically checked, but they don't point to any style auditing programs [are there any out there?]. It doesn't address all your topics, but is a good start. You can FTP it as compressed postscript files from ajpo.sei.cmu.edu:/public/adastyle/, or can order paper copies (cost unknown) from: National Technical Information Service: Commerce Dept. 5285 Port Royal Rd. Springfield, VA 22161 (703)487-4650 Please let us know of other coding guides or auditors that might be available. -Jon -- | Jon L. Spear (spear@cs.nps.navy.mil) : With computers we can make | | Dept of Comp Sci, Code CS/Sj, x2830 : billions of misteaks each second. |