Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1

The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be approved by ISO in late 2006 or early 2007. Both the Technical Corrigendum 1 and the Amendment 1 list only the changes made to the International Standard.

The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically. In naming this version, we have chosen the vernacular term Ada 2005 used by the Ada community to refer to the interesting extensions made to the language Ada by the Amendment 1.

Section 1: General.- Section 1: General.- Section 2: Lexical Elements.- Section 3: Declarations and Types.- Section 4: Names and Expressions.- Section 5: Statements.- Section 6: Subprograms.- Section 7: Packages.- Section 8: Visibility Rules.- Section 9: Tasks and Synchronization.- Section 10: Program Structure and Compilation Issues.- Section 11: Exceptions.- Section 12: Generic Units.- Section 13: Representation Issues.- The Standard Libraries.- Annex A (normative): Predefined Language Environment.- Annex B (normative): Interface to Other Languages.- Annex C (normative): Systems Programming.- Annex D (normative): Real-Time Systems.- Annex E (normative): Distributed Systems.- Annex F (normative): Information Systems.- Annex G (normative): Numerics.- Annex H (normative): High Integrity Systems.- Annex J (normative): Obsolescent Features.- Annex K (informative): Language-Defined Attributes.- Annex L (informative): Language-Defined Pragmas.- Annex M (informative): Summary of Documentation Requirements.- Annex N (informative): Glossary.- Annex P (informative): Syntax Summary.- Annex Q (informative): Language-Defined Entities.