Ada Programming/Coding standards

Computing » Computer Science » Computer Programming » Ada Programming

---

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 (Rules)
• GNAT Pretty-Printer
• The GNAT Metric Tool gnatmetric
• RainCode Engine
• RainCode Checker
• AdaSTAT

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
• Stephen Leake, NASA Flight Software Branch — Ada Coding Standard (2004-01-30)
• ESA BSSC (October 1998). Ada Coding Standard (BSSC(98)3 Issue 1 ed.). ftp://ftp.estec.esa.nl/pub/wm/wme/bssc/bssc983.pdf. Retrieved 2009-01-19. 
• "GNAT Coding Style: A Guide for GNAT Developers". GCC online documentation. Free Software Foundation. http://gcc.gnu.org/onlinedocs/gnat-style/. Retrieved 2009-01-19.  (PDF)

See also

Other wikibooks

• Ada Style Guide

Wikibook

• Ada Programming

Ada Quality and Style Guide

• Chapter 1: Introduction

External links

• Introduction to Coding Standards