Ada 95 参考手册
TransWiki - W3CHINA.ORG开放翻译计划（OTP）
[编辑]
General
[编辑]
Scope
[编辑]
Extent
[编辑]
Structure
[编辑]
Conformity of an Implementation with the Standard
[编辑]
Method of Description and Syntax Notation
[编辑]
Classification of Errors
[编辑]
Normative References
[编辑]
Definitions
[编辑]
Lexical Elements
[编辑]
Character Set
[编辑]
Lexical Elements, Separators, and Delimiters
[编辑]
Identifiers
[编辑]
Numeric Literals
[编辑]
Decimal Literals
[编辑]
Based Literals
[编辑]
Character Literals
[编辑]
String Literals
[编辑]
Comments
[编辑]
Pragmas
[编辑]
Reserved Words
[编辑]
Declarations and Types
[编辑]
Declarations
[编辑]
Types and Subtypes
[编辑]
Type Declarations
[编辑]
Subtype Declarations
[编辑]
Classification of Operations
[编辑]
Objects and Named Numbers
[编辑]
Object Declarations
[编辑]
Number Declarations
[编辑]
Derived Types and Classes
[编辑]
Derivation Classes
[编辑]
Scalar Types
[编辑]
Enumeration Types
[编辑]
Character Types
[编辑]
Boolean Types
[编辑]
Integer Types
[编辑]
Operations of Discrete Types
[编辑]
Real Types
[编辑]
Floating Point Types
[编辑]
Operations of Floating Point Types
[编辑]
Fixed Point Types
[编辑]
Operations of Fixed Point Types
[编辑]
Array Types
[编辑]
Index Constraints and Discrete Ranges
[编辑]
Operations of Array Types
[编辑]
String Types
[编辑]
Discriminants
[编辑]
Discriminant Constraints
[编辑]
Operations of Discriminated Types
[编辑]
Record Types
[编辑]
Variant Parts and Discrete Choices
[编辑]
Tagged Types and Type Extensions
[编辑]
Type Extensions
[编辑]
Dispatching Operations of Tagged Types
[编辑]
Abstract Types and Subprograms
[编辑]
Access Types
[编辑]
Incomplete Type Declarations
[编辑]
Operations of Access Types
[编辑]
Declarative Parts
[编辑]
Completions of Declarations
[编辑]
Names and Expressions
[编辑]
Names
[编辑]
Indexed Components
[编辑]
Slices
[编辑]
Selected Components
[编辑]
Attributes
[编辑]
Literals
[编辑]
Aggregates
[编辑]
Record Aggregates
[编辑]
Extension Aggregates
[编辑]
Array Aggregates
[编辑]
Expressions
[编辑]
Operators and Expression Evaluation
[编辑]
Logical Operators and Short-circuit Control Forms
[编辑]
Relational Operators and Membership Tests
[编辑]
Binary Adding Operators
[编辑]
Unary Adding Operators
[编辑]
Multiplying Operators
[编辑]
Highest Precedence Operators
[编辑]
Type Conversions
[编辑]
Qualified Expressions
[编辑]
Allocators
[编辑]
Static Expressions and Static Subtypes
[编辑]
Statically Matching Constraints and Subtypes
[编辑]
Statements
[编辑]
Simple and Compound Statements - Sequences of Statements
[编辑]
Assignment Statements
[编辑]
If Statements
[编辑]
Case Statements
[编辑]
Loop Statements
[编辑]
Block Statements
[编辑]
Exit Statements
[编辑]
Goto Statements
[编辑]
Subprograms
[编辑]
Subprogram Declarations
[编辑]
Formal Parameter Modes
[编辑]
Subprogram Bodies
[编辑]
Conformance Rules
[编辑]
Inline Expansion of Subprograms
[编辑]
Subprogram Calls
[编辑]
Parameter Associations
[编辑]
Return Statements
[编辑]
Overloading of Operators
[编辑]
Packages
[编辑]
Package Specifications and Declarations
[编辑]
Package Bodies
[编辑]
Private Types and Private Extensions
[编辑]
Private Operations
[编辑]
Deferred Constants
[编辑]
Limited Types
[编辑]
User-Defined Assignment and Finalization
[编辑]
Completion and Finalization
[编辑]
Visibility Rules
[编辑]
Declarative Region
[编辑]
Scope of Declarations
[编辑]
Visibility
[编辑]
Use Clauses
[编辑]
Renaming Declarations
[编辑]
Object Renaming Declarations
[编辑]
Exception Renaming Declarations
[编辑]
Package Renaming Declarations
[编辑]
Subprogram Renaming Declarations
[编辑]
Generic Renaming Declarations
[编辑]
The Context of Overload Resolution
[编辑]
Tasks and Synchronization
[编辑]
Task Units and Task Objects
[编辑]
Task Execution - Task Activation
[编辑]
Task Dependence - Termination of Tasks
[编辑]
Protected Units and Protected Objects
[编辑]
Intertask Communication
[编辑]
Protected Subprograms and Protected Actions
[编辑]
Entries and Accept Statements
[编辑]
Entry Calls
[编辑]
Requeue Statements
[编辑]
Delay Statements, Duration, and Time
[编辑]
Select Statements
[编辑]
Selective Accept
[编辑]
Timed Entry Calls
[编辑]
Conditional Entry Calls
[编辑]
Asynchronous Transfer of Control
[编辑]
Abort of a Task - Abort of a Sequence of Statements
[编辑]
Task and Entry Attributes
[编辑]
Shared Variables
[编辑]
Example of Tasking and Synchronization
[编辑]
Program Structure and Compilation Issues
[编辑]
Separate Compilation
[编辑]
Compilation Units - Library Units
[编辑]
Context Clauses - With Clauses
[编辑]
Subunits of Compilation Units
[编辑]
The Compilation Process
[编辑]
Pragmas and Program Units
[编辑]
Environment-Level Visibility Rules
[编辑]
Program Execution
[编辑]
Elaboration Control
[编辑]
Exceptions
[编辑]
Exception Declarations
[编辑]
Exception Handlers
[编辑]
Raise Statements
[编辑]
Exception Handling
[编辑]
The Package Exceptions
[编辑]
Example of Exception Handling
[编辑]
Suppressing Checks
[编辑]
Exceptions and Optimization
[编辑]
Generic Units
[编辑]
Generic Declarations
[编辑]
Generic Bodies
[编辑]
Generic Instantiation
[编辑]
Formal Objects
[编辑]
Formal Types
[编辑]
Formal Private and Derived Types
[编辑]
Formal Scalar Types
[编辑]
Formal Array Types
[编辑]
Formal Access Types
[编辑]
Formal Subprograms
[编辑]
Formal Packages
[编辑]
Example of a Generic Package
[编辑]
Representation Issues
[编辑]
Representation Items
[编辑]
Pragma Pack
[编辑]
Representation Attributes
[编辑]
Enumeration Representation Clauses
[编辑]
Record Layout
[编辑]
Record Representation Clauses
[编辑]
Storage Place Attributes
[编辑]
Bit Ordering
[编辑]
Change of Representation
[编辑]
The Package System
[编辑]
The Package System.Storage_Elements
[编辑]
The Package System.Address_To_Access_Conversions
[编辑]
Machine Code Insertions
[编辑]
Unchecked Type Conversions
[编辑]
Data Validity
[编辑]
The Valid Attribute
[编辑]
Unchecked Access Value Creation
[编辑]
Storage Management
[编辑]
The Max_Size_In_Storage_Elements Attribute
[编辑]
Unchecked Storage Deallocation
[编辑]
Pragma Controlled
[编辑]
Pragma Restrictions
[编辑]
Streams
[编辑]
The Package Streams
[编辑]
Stream-Oriented Attributes
[编辑]
