Introduction
Instructions for Comment Submission
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
2.2 Lexical Elements, Separators, and Delimiters
3.2.3 Classification of Operations
3.5.5 Operations of Discrete Types
3.5.8 Operations of Floating Point Types
3.5.10 Operations of Fixed Point Types
3.6.1 Index Constraints and Discrete Ranges
3.6.2 Operations of Array Types
3.7.1 Discriminant Constraints
3.7.2 Operations of Discriminated Types
3.8.1 Variant Parts and Discrete Choices
3.9 Tagged Types and Type Extensions
3.9.2 Dispatching Operations of Tagged Types
3.9.3 Abstract Types and Subprograms
3.10.1 Incomplete Type Declarations
3.10.2 Operations of Access Types
3.11.1 Completions of Declarations
4.5 Operators and Expression Evaluation
4.5.1 Logical Operators and Short-circuit Control Forms
4.5.2 Relational Operators and Membership Tests
4.5.6 Highest Precedence Operators
4.9 Static Expressions and Static Subtypes
4.9.1 Statically Matching Constraints and Subtypes
5.1 Simple and Compound Statements - Sequences of Statements
6.3.2 Inline Expansion of Subprograms
7.1 Package Specifications and Declarations
7.3 Private Types and Private Extensions
7.6 User-Defined Assignment and Finalization
7.6.1 Completion and Finalization
8.5.1 Object Renaming Declarations
8.5.2 Exception Renaming Declarations
8.5.3 Package Renaming Declarations
8.5.4 Subprogram Renaming Declarations
8.5.5 Generic Renaming Declarations
8.6 The Context of Overload Resolution
9.1 Task Units and Task Objects
9.2 Task Execution - Task Activation
9.3 Task Dependence - Termination of Tasks
9.4 Protected Units and Protected Objects
9.5.1 Protected Subprograms and Protected Actions
9.5.2 Entries and Accept Statements
9.6 Delay Statements, Duration, and Time
9.7.4 Asynchronous Transfer of Control
9.8 Abort of a Task - Abort of a Sequence of Statements
9.11 Example of Tasking and Synchronization
Program Structure and Compilation Issues
10.1.1 Compilation Units - Library Units
10.1.2 Context Clauses - With Clauses
10.1.3 Subunits of Compilation Units
10.1.4 The Compilation Process
10.1.5 Pragmas and Program Units
10.1.6 Environment-Level Visibility Rules
11.4.2 Example of Exception Handling
11.6 Exceptions and Optimization
12.5.1 Formal Private and Derived Types
12.8 Example of a Generic Package
13.3 Representation Attributes
13.4 Enumeration Representation Clauses
13.5.1 Record Representation Clauses
13.5.2 Storage Place Attributes
13.7.1 The Package System.Storage_Elements
13.7.2 The Package System.Address_To_Access_Conversions
13.9 Unchecked Type Conversions
13.10 Unchecked Access Value Creation
13.11.1 The Max_Size_In_Storage_Elements Attribute
13.11.2 Unchecked Storage Deallocation
13.13.2 Stream-Oriented Attributes
Predefined Language Environment
A.3.2 The Package Characters.Handling
A.3.3 The Package Characters.Latin_1
A.4.2 The Package Strings.Maps
A.4.3 Fixed-Length String Handling
A.4.4 Bounded-Length String Handling
A.4.5 Unbounded-Length String Handling
A.4.6 String-Handling Sets and Mappings
A.5.2 Random Number Generation
A.5.3 Attributes of Floating Point Types
A.5.4 Attributes of Fixed Point Types
A.7 External Files and File Objects
A.8 Sequential and Direct Files
A.8.1 The Generic Package Sequential_IO
A.8.3 Sequential Input-Output Operations
A.8.4 The Generic Package Direct_IO
A.8.5 Direct Input-Output Operations
A.9 The Generic Package Storage_IO
A.10.3 Default Input, Output, and Error Files
A.10.4 Specification of Line and Page Lengths
A.10.5 Operations on Columns, Lines, and Pages
A.10.7 Input-Output of Characters and Strings
A.10.8 Input-Output for Integer Types
A.10.9 Input-Output for Real Types
A.10.10 Input-Output for Enumeration Types
A.12.1 The Package Streams.Stream_IO
A.12.2 The Package Text_IO.Text_Streams
A.12.3 The Package Wide_Text_IO.Text_Streams
A.13 Exceptions in Input-Output
B.3.1 The Package Interfaces.C.Strings
B.3.2 The Generic Package Interfaces.C.Pointers
C.1 Access to Machine Operations
C.2 Required Representation Support
C.3.1 Protected Procedure Handlers
C.4 Preelaboration Requirements
C.7 Task Identification and Attributes
C.7.1 The Package Task_Identification
C.7.2 The Package Task_Attributes
D.2.1 The Task Dispatching Model
D.2.2 The Standard Task Dispatching Policy
D.11 Asynchronous Task Control
D.12 Other Optimizations and Determinism Rules
E.2 Categorization of Library Units
E.2.1 Shared Passive Library Units
E.2.2 Remote Types Library Units
E.2.3 Remote Call Interface Library Units
E.3 Consistency of a Distributed System
E.4.2 Example of Use of a Remote Access-to-Class-Wide Type
E.5 Partition Communication Subsystem
F.1 Machine_Radix Attribute Definition Clause
F.3 Edited Output for Decimal Types
F.3.1 Picture String Formation
F.3.2 Edited Output Generation
F.3.3 The Package Text_IO.Editing
F.3.4 The Package Wide_Text_IO.Editing
G.1.2 Complex Elementary Functions
G.1.4 The Package Wide_Text_IO.Complex_IO
G.2 Numeric Performance Requirements
G.2.1 Model of Floating Point Arithmetic
G.2.2 Model-Oriented Attributes of Floating Point Types
G.2.3 Model of Fixed Point Arithmetic
G.2.4 Accuracy Requirements for the Elementary Functions
G.2.5 Performance Requirements for Random Number Generation
G.2.6 Accuracy Requirements for Complex Arithmetic
H.2 Documentation of Implementation Decisions
H.4 Safety and Security Restrictions
J.1 Renamings of Ada 83 Library Units
J.2 Allowed Replacements of Characters
J.9 The Storage_Size Attribute