INCITS/ISO/IEC 8652 : 1995

Foreword
Introduction
1 General
   1.1 Scope
   1.2 Normative References
   1.3 Definitions
2 Lexical Elements
   2.1 Character Set
   2.2 Lexical Elements, Separators, and Delimiters
   2.3 Identifiers
   2.4 Numeric Literals
   2.5 Character Literals
   2.6 String Literals
   2.7 Comments
   2.8 Pragmas
   2.9 Reserved Words
3 Declarations and Types
   3.1 Declarations
   3.2 Types and Subtypes
   3.3 Objects and Named Numbers
   3.4 Derived Types and Classes
   3.5 Scalar Types
   3.6 Array Types
   3.7 Discriminants
   3.8 Record Types
   3.9 Tagged Types and Type Extensions
   3.10 Access Types
   3.11 Declarative Parts
4 Names and Expressions
   4.1 Names
   4.2 Literals
   4.3 Aggregates
   4.4 Expressions
   4.5 Operators and Expression Evaluation
   4.6 Type Conversions
   4.7 Qualified Expressions
   4.8 Allocators
   4.9 Static Expressions and Static Subtypes
5 Statements
   5.1 Simple and Compound Statements - Sequence 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
6 Subprograms
   6.1 Subprogram Declarations
   6.2 Formal Parameter Modes
   6.3 Subprogram Bodies
   6.4 Subprogram Calls
   6.5 Return Statements
   6.6 Overloading of Operators
7 Packages
   7.1 Package Specifications and Declarations
   7.2 Package Bodies
   7.3 Private Types and Private Extensions
   7.4 Deferred Constants
   7.5 Limited Types
   7.6 User-Defined Assignment and Finalization
8 Visibility Rules
   8.1 Declarative Region
   8.2 Scope of Declarations
   8.3 Visibility
   8.4 Use Clauses
   8.5 Renaming Declarations
   8.6 The Context of Overload Resolution
9 Tasks and Synchronization
   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 Intertask Communication
   9.6 Delay Statements, Duration, and Time
   9.7 Select Statements
   9.8 Abort of a Task - Abort of a Sequence of Statements
   9.9 Task and Entry Attributes
   9.10 Shared Variables
   9.11 Example of Tasking and Synchronization
10 Program Structure and Compilation Issues
   10.1 Separate Compilation
   10.2 Program Execution
11 Exceptions
   11.1 Exception Declarations
   11.2 Exception Handlers
   11.3 Raise Statements
   11.4 Exception Handling
   11.5 Suppressing Checks
   11.6 Exceptions and Optimization
12 Generic Units
   12.1 Generic Declarations
   12.2 Generic Bodies
   12.3 Generic Instantiation
   12.4 Formal Objects
   12.5 Formal Types
   12.6 Formal Subprograms
   12.7 Formal Packages
   12.8 Example of a Generic Package
13 Representation Issues
   13.1 Representation Items
   13.2 Pragma pack
   13.3 Representation Attributes
   13.4 Enumeration Representation Clauses
   13.5 Record Layout
   13.6 Change of Representation
   13.7 The Package System
   13.8 Machine Code Insertions
   13.9 Unchecked Type Conversions
   13.10 Unchecked Access Value Creation
   13.11 Storage Management
   13.12 Pragma Restrictions
   13.13 Streams
   13.14 Freezing Rules
Annexes
Annex A (normative) Predefined Language Environment
Annex B (normative) Interface to Other Languages
Annex C (normative) Systems Programming
Annex D (normative) Real-Time Systems
Annex E (normative) Distributed Systems
Annex F (normative) Information Systems
Annex G (normative) Numerics
Annex H (normative) Safety and Security
Annex J (normative) Obsolescent Features
Annex K (informative) Language-Defined Attributes
Annex L (informative) Language-Defined Pragmas
Annex M (informative) Implementation-Defined Characteristics
Annex N (informative) Glossary
Annex P (informative) Syntax Summary
Index