Ada 2012 Language Reference Manual (original) (raw)

The documents on this page describe the 2012 revision to the Ada Standard, usually known as Ada 2012. The revisions were produced by the ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group (ARG), and have been published as the International Standard ISO/IEC 8652:2012(E). This document is often known as the Ada Reference Manual. Related documents are also found on this page. Notes: For most purposes, the consolidated Ada 2012 Reference Manual (see below), that includes the corrections of Technical Corrigendum 1, should be used rather than these documents. These documents are not an official publication or work product of the ARG, but rather are provided as a service to the Ada community.

The Ada 2012 consolidated standard (that is, with the corrections of Technical Corrigendum 1) is availablehere. The (now replaced) Ada 2005 consolidated standard is available here.

Send editorial comments on the documents toagent@ada-auth.org. Editorial comments are those that do not change the meaning of the text, such a spelling errors, doubled words, etc. [Note: Please restrict comments on paragraph and page layout to the contents of the RM-Final.PDF file.]

Substantive comments should be submitted to the Ada-Comment mailing list (ada-comment@ada-auth.org) as outlined in Introduction of the Standard.

• Ada 2012 Language Reference Manual (LRM)
  The revised Ada Reference Manual, corresponding to the International Standard (ISO/IEC 8652:2012(E)). Also available for download as: Stephen Leake has created a version in Emacs info format; find it on his site.
• Ada 2012 Rationale
  The Rationale provides an overview of new Ada 2012 features, examples of their use, compatibility with Ada 95 and 2005, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association. The Rationale is available on-line in HTML and PDF formats.
• Annotated Ada 2012 Language Reference Manual (AARM)
  Intended primarily for compiler writers, conformance test writers, and others who wish to study the fine details, the AARM contains all of the text and various annotations in the Ada 2012 LRM. This 2012 edition includes the all of the changes in the 3rd Edition of the Ada Reference Manual as well as new and revised annotations.
  Also available for download as: Stephen Leake has created a version in Emacs info format; find it on his site.
• Ada Reference Manual Source Files
  The source files used to create the Ada Reference Manual are available here. These should be of interest only to editors of the ARM. These files are used as input to the formatting tool (available below), and are in a Scribe-like language.
• Ada Reference Manual Formatting Tool
  The Ada Reference Manual Formatting Tool converts the ARM source files into formatted text in commonly used formats, including HTML and RTF. The tool is written in Ada 95, and is available in source form under the GPL v3 license.