411 REFERENCE · Wikibooks
Ada Programming/Coding standards
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Coding standards
__TOC__
Introduction
Each project should follow a specific coding standard to ease readability and maintenance of the source code, and reduce the insertion of errors. Depending on the requirements of the project, a set of guidelines can help to achieve the desired level of performance, portability, code complexity...
There are many ASIS tools that can be used to check automatically the adherence of Ada source code to the guidelines.
Tools
AdaControl (Rules)
gnatcheck
GNAT Pretty-Printer
The GNAT Metric Tool gnatmetric
Coding guidelines
Ada Quality & Style Guide: Guidelines for Professional Programmers
ISO/IEC TR 15942:2000, Guide for the use of the Ada programming language in high integrity systems, First edition (2000-03-01). ISO Freely Available Standards
https://gds.gsfc.nasa.gov/code_standards_ada.pdf https://stephe-leake.org/ada/code_standards_ada.pdf 2014-04-14 Goddard Dynamic Simulator — Ada Coding Standard 2015-08-07 Leake Stephen 2013-10-18 PDF
ESA BSSC
Ada Coding Standard
BSSC(98)3 Issue 1
1998
ftp://ftp.estec.esa.nl/pub/wm/anonymous/wme/bssc/bssc983.pdf
http://everyspec.com/ESA/download.php?spec=BSSC_98-3_I1_1998.029383.pdf
2024
2015-08-06
GNAT Coding Style: A Guide for GNAT Developers
GCC online documentation
Free Software Foundation
http://gcc.gnu.org/onlinedocs/gnat-style/
2009-01-19 (PDF)
See also
Other wikibooks
Ada Style Guide
Wikibook
Ada Programming
Ada Quality and Style Guide
1 Introduction
External links
Introduction to Coding Standards
Coding standards