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

S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy (auth.)3540693351, 9783540693352

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.

Table of contents :
Front Matter….Pages –
Section 1: General….Pages 1-8
Section 2: Lexical Elements….Pages 9-18
Section 3: Declarations and Types….Pages 19-85
Section 4: Names and Expressions….Pages 87-122
Section 5: Statements….Pages 123-132
Section 6: Subprograms….Pages 133-147
Section 7: Packages….Pages 149-163
Section 8: Visibility Rules….Pages 165-179
Section 9: Tasks and Synchronization….Pages 181-218
Section 10: Program Structure and Compilation Issues….Pages 219-234
Section 11: Exceptions….Pages 235-246
Section 12: Generic Units….Pages 247-265
Section 13: Representation Issues….Pages 267-304
Front Matter….Pages 305-305
Annex A (normative): Predefined Language Environment….Pages 307-470
Annex B (normative): Interface to Other Languages….Pages 471-498
Annex C (normative): Systems Programming….Pages 499-514
Annex D (normative): Real-Time Systems….Pages 515-551
Annex E (normative): Distributed Systems….Pages 553-565
Annex F (normative): Information Systems….Pages 568-583
Annex G (normative): Numerics….Pages 583-618
Front Matter….Pages 305-305
Annex H (normative): High Integrity Systems….Pages 619-626
Annex J (normative): Obsolescent Features….Pages 627-634
Annex K (informative): Language-Defined Attributes….Pages 635-649
Annex L (informative): Language-Defined Pragmas….Pages 651-652
Annex M (informative): Summary of Documentation Requirements….Pages 653-668
Annex N (informative): Glossary….Pages 669-673
Annex P (informative): Syntax Summary….Pages 675-702
Annex Q (informative): Language-Defined Entities….Pages 703-722
Back Matter….Pages –