Ada Reference Manual
ISBN 0-9615336-6-8
1983
320 pages, Spiral Binding
$39.95 (US Dollars)

 Summary    Contents 

Table of Contents:

• Introduction
  • Scope of the Standard
  • Structure of the Standard
  • Design Goals and Sources
  • Language Summary
  • Method of Description and Syntax Notation
  • Classification of Errors
• Lexical Elements
  • Character Set
  • Lexical Elements, Separators, and Delimiters
  • Identifiers
  • Numeric Literals
  • Character Literals
  • String Literals
  • Comments
  • Pragmas
  • Reserved Words
  • Allowable Replacement of Characters
• Declarations and Types
  • Declarations
  • Objects and Named Numbers
  • Types and Subtypes
  • Derived Types
  • Scalar Types
  • Array Types
  • Record Types
  • Access Types
  • Declarative Parts
• Names and Expressions
  • Names
  • Literals
  • Aggregates
  • Expressions
  • Operators and Expression Evaluation
  • Type Conversions
  • Qualified Expressions
  • Allocators
  • Static Expressions and Static Subtypes
  • Universal Expressions
• Statements
  • Simple and Compound Statements - Sequences of Statements
  • Assignment Statements
  • If Statements
  • Case Statements
  • Loop Statements
  • Block Statements
  • Exit Statements
  • Return Statements
  • Goto Statements
• Subprograms
  • Subprogram Declarations
  • Formal Parameter Modes
  • Subprogram Bodies
  • Subprogram Calls
  • Function Subprograms
  • Parameter and Result Type Profile - Overloading of Subprograms
  • Overloading of Operators
• Packages
  • Package Structure
  • Package Specifications and Declarations
  • Package Bodies
  • Private Type and Deferred Constant Declarations
  • Example of a Table Management Package
  • Example of a Text Handling Package
• Visibility Rules
  • Declarative Regions
  • Scope of Declarations
  • Visibility
  • Use Clauses
  • Renaming Declarations
  • The Package Standard
  • The Context of Overload Resolution
• Tasks
  • Task Specifications and Task Bodies
  • Task Types and Task Objects
  • Task Execution - Task Activation
  • Task Dependence - Termination of Tasks
  • Entries, Entry Calls, and Accept Statements
  • Delay Statements, Duration, and Time
  • Select Statements
  • Priorities
  • Task and Entry Attributes
  • Abort Statements
  • Shared Variables
  • Example of Tasking
• Program Structure & Compilation Issues
  • Compilation Units - Library Units
  • Subunits of Compilation Units
  • Order of Compilation
  • The Program Library
  • Elaboration of Library Units
  • Program Optimization
• Exceptions
  • Exception Declarations
  • Exception Handlers
  • Raise Statements
  • Exception Handling
  • Exceptions Raised During Task Communication
  • Exceptions and Optimization
  • Supressing Checks
• Generic Units
  • Generic Declarations
  • Generic Bodies
  • Generic Instantiation
  • Example of a Generic Package
• Representation Clauses and Implementation-Dependent Features
  • Representation Clauses
  • Length Clauses
  • Enumeration Representation Clauses
  • Record Representation Clauses
  • Address Clauses
  • Change of Representation
  • The Package System
  • Machine Code Insertions
  • Interface to Other Languages
  • Unchecked Programming
• Input-Output
  • External Files and File Objects
  • Sequential and Direct Files
  • Text Input-Output
  • Exceptions in Input-Output
  • Specification of the Package IO_Exceptions
  • Low Level Input-Output
  • Example of Input-Output
• Annex Predefined Language Attributes
• Annex Predefined Language Pragmas
• Annex Predefined Language Environment
• Appendix Glossary
• Appendix Syntax Summary
• Appendix Implementation-Dependent Characteristics
• Index