- This International Standard contains thirteen sections, fourteen annexes,
and an index.
- The core of the Ada language consists of:
- Annex A, ``Predefined Language Environment''
- Annex B, ``Interface to Other Languages''
- The following Specialized Needs Annexes define features that are needed
by certain application areas:
- 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
- The following Annexes are informative:
- Annex K, ``Language-Defined Attributes''
- Annex L, ``Language-Defined Pragmas''
- Annex M, ``Implementation-Defined Characteristics''
- 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:
Name Resolution Rules
- Compile-time rules that are used in name resolution, including overload
- 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
- A definition of the run-time effect of each construct.
Bounded (Run-Time) Errors
- Situations that result in bounded (run-time) errors (see
- Situations that result in erroneous execution (see
- 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.
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Page last generated: 95-03-12