Consolidated Ada Reference Manual. Language and Standard Libraries 综合ada参考手册. 语言和标准图书馆

This consolidated version of the Ada Reference Manual enhances the International Standard ISO/IEC 8652:1995（E）for the programming language Ada by incorporating the Technical Corrigendum 1 approved by ISO in February 2001.The Technical Corrigendum 1 lists the individual changes that need to be made to the text of ISO/IEC 8652:1995（E）to correct errors, omissions or inconsistencies.The enhanced Ada Reference Manual presents and updates the International Standard for Ada in a user-friendly way and thus will replace the former version as an indispensible working companion for anybody using Ada professionally or learning and studying the language systematically.

Table of Contents
Foreword to this version of the Ada Reference Manual
Foreword
Introduction
Section 1: General
　1.1 Scope
　　1.1.1 Extent
　　1.1.2 Structure
　　1.1.3 Conformity of an Implementation with the Standard
　　1.1.4 Method of Description and Syntax Notation
　　1.1.5 Classification of Errors
　1.2 Normative References
　1.3 Definitions
Section 2: Lexical Elements
　2.1 Character Set
　2.2 Lexical Elements Separators and Delimiters
　2.3 Identifiers
　2.4 Numeric Literals
　　2.4.1 Decimal Literals
　　2.4.2 Based Literals
　2.5 Character Literals
　2.6 String Literals
　2.7 Comments
　2.8 Pragmas
　2.9 Reserved Words
Section 3: Declarations and Types
　3.1 Declarations
　3.2 Types and Subtypes
　　3.2.1 Type Declarations
　　3.2.2 Subtype Declarations
　　3.2.3 Classification of Operations
　3.3 Objects and Named Numbers
　　3.3.1 Object Declarations
　　3.3.2 Number Declarations
　3.4 Derived Types and Classes
　　3.4.1 Derivation Classes
　3.5 Scalar Types
　　3.5.1 Enumeration Types
　　3.5.2 Character Types
　　3.5.3 Boolean Types
　　3.5.4 Integer Types
　　3.5.5 Operations of Discrete Types
　　3.5.6 Real Types
　　3.5.7 Floating Point Types
　　3.5.8 Operations of Floating Point Types
　　3.5.9 Fixed Point Types
　　3.5.10 Operations of Fixed Point Types
　3.6 Array Types
　　3.6.1 Index Constraints and Discrete Ranges
　　3.6.2 Operations of Array Types
　　3.6.3 String Types
　3.7 Discriminants
　　3.7.1 Discriminant Constraints
　　3.7.2 Operations of Discriminated Types
　3.8 Record Types
　　3.8.1 Variant Parts and Discrete Choices
　3.9 Tagged Types and Type Extensions
　　3.9.1 Type Extensions
　　3.9.2 Dispatching Operations of Tagged Types
　　3.9.3 Abstract Types and Subprograms
　3.10 Access Types
　　3.10.1 Incomplete Type Declarations
　　3.10.2 Operations of Access Types
　3.11 Declarative Parts
　　3.11.1 Completions of Declarations
Section 4: Names and Expressions
　41 Names
　　4.1.1 Indexed Components
　　4.1.2 Slices
　　4.1.3 Selected Components
　　4.14 Attributes
　4.2 Literals
　4.3 Aggregates
　　4.31 Record Aggregates
　　4.3.2 Extension Aggregates
　　4.3.3 Array Aggregates
　4.4 Expressions
　4.5 Operators anu Expression Evaluation
　　4.5.1 Logical Operators and Short-circuit Control Forms
　　4.5.2 Relational Operators and Membership Tests
　　4.5.3 Binary Adding Operators
　　4.5.4 Unary Adding Operators
　　4.5.5 Multiplying Operators
　　4.5.6 Highest Precedence Operators
　4.6 Type Conversions
　4.7 Qualified Expressions
　4.8 Allocators
　4.9 Static Expressions and Static Subtypes
　　4.9.1 Statically Matching Constraints and Subtypes
Section 5: Statements
　5.1 Simple and Compound Statements-Sequences of Statements
　5.2 Assignment Statements
　5.3 If Statements
　5.4 Case Statements
　5.5 Loop Statements
　5.6 Block Statements
　5.7 Exit Statements
　5.8 Goto Statements
Section 6：Subprograms
Section 7：Packages
Section 8：Visibility Rules
Section 9：Tasks and Synchronization
Section 10：Program Structure and Compilation lssues
Section 11：Exceptions
Section 12：Generic Units
Section 13：Representation lssues
The Standard Libraries