This International Standard contains thirteen sections, fourteen annexes, and an index.
The core of the Ada language consists of:
- Sections 1 through 13
- Annex A, Predefined Language Environment
- Annex B, Interface to Other Languages
- Annex J, Obsolescent Features
The following Specialized Needs Annexes define features that are needed by certain application areas:
- Annex C, Systems Programming
- Annex D, Real-Time Systems
- Annex E, Distributed Systems
- Annex F, Information Systems
- Annex G, Numerics
- Annex H, Safety and Security
The core language and the Specialized Needs Annexes are normative, except that the material in each of the items listed below is informative:
- Text under a NOTES or Examples heading.
- Each clause or subclause whose title starts with the word Example or Examples.
All implementations shall conform to the core language. In addition, an implementation may conform separately to one or more Specialized Needs Annexes.
The following Annexes are informative:
- Annex K, Language-Defined Attributes
- Annex L, Language-Defined Pragmas
- Annex M, Implementation-Defined Characteristics
- Annex N, Glossary
- Annex P, Syntax Summary
Each section is divided into clauses and subclauses that have a common structure. Each section, clause, and subclause first introduces its subject. After the introductory text, text is labeled with the following headings:
- 1 Syntax
- 2 Name Resolution Rules
- 3 Legality Rules
- 4 Static Semantics
- 5 Post-Compilation Rules
- 6 Dynamic Semantics
- 7 Bounded (Run-Time) Errors
- 8 Erroneous Execution
- 9 Implementation Requirements
- 10 Documentation Requirements
- 11 Metrics
- 12 Implementation Permissions
- 13 Implementation Advice
- 14 Notes
- 15 Examples
Syntax rules (indented).
Name Resolution Rules
Compile-time rules that are used in name resolution, including overload resolution.
Rules that are enforced at compile time. A construct is legal if it obeys all of the Legality Rules.
A definition of the compile-time effect of each construct.
Rules that are enforced before running a partition. A partition is legal if its compilation units are legal and it obeys all of the Post-Compilation Rules.
A definition of the run-time effect of each construct.
Bounded (Run-Time) Errors
Situations that result in bounded (run-time) errors (see 1.1.5).
Situations that result in erroneous execution (see 1.1.5).
Additional requirements for conforming implementations.
Documentation requirements for conforming implementations.
Metrics that are specified for the time/space properties of the execution of certain language constructs.
Additional permissions given to the implementer.
Optional advice given to the implementer. The word should is used to indicate that the advice is a recommendation, not a requirement. It is implementation defined whether or not a given recommendation is obeyed.
1 Notes emphasize consequences of the rules described in the (sub)clause or elsewhere. This material is informative.
Examples illustrate the possible forms of the constructs described. This material is informative.
Copyright © 1992,1993,1994,1995 Intermetrics, Inc.
Copyright © 2000 The MITRE Corporation, Inc. Ada Reference Manual