Ada 2012 Language Reference Manual (original) (raw)

Consolidated Ada 2012 Language Reference Manual

The documents on this page consolidate Ada Standard (published as International Standard ISO/IEC 8652:2012) and the 2016 corrections of Technical Corrigendum 1 (published as ISO/IEC 8652:2012/Cor 1:2016). The revisions and corrections were produced by the ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group (ARG). This document is often known as the Ada Reference Manual. Related documents are also found on this page. 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 original Ada 2012 standard can be found here. A nearly final draft of the Technical Corrigendum can be found here; this is just a list of changes and is not very useful by itself. 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.

• Consolidated Ada 2012 Language Reference Manual (LRM)
  The consolidated Ada Reference Manual, consisting of the Ada 2012 Ada Reference Manual (corresponding to the International Standard - ISO/IEC 8652:2012(E)), as updated by the 2016 corrections (corresponding to Technical Corrigendum 1 - ISO/IEC 8652:2012/Cor 1:2016).
  Also available for download as: Stephen Leake has created a version in Emacs info format; find it on his site.
• Rationale Update for Ada 2012
  The update (or "Ratlet" as it was known during its construction) provides an overview of the changes to Ada 2012 introduced by Corrigendum, examples of their use, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association. The update is available on-line in HTML and PDF formats.
• Consolidated 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 of and various annotations on the Ada 2012 LRM. This consolidated edition includes the all of the changes in the 3rd Edition of the Ada Reference Manual, and from the 2016 corrections, 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.