This document contains thirteen clauses, fifteen
annexes, and an index.
of the Ada language consists of:
Clauses 1 through 13
following Specialized Needs Annexes
define features that are needed
by certain application areas:
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 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.
following Annexes are informative:
Each clause is divided into subclauses that have
a common structure. Each clause and subclause first introduces its subject.
After the introductory text, text is labeled with the following headings:
Name Resolution Rules
rules that are used in name resolution, including overload resolution.
that are enforced at compile time.
construct is legal
if it obeys all of the Legality Rules.
of the compile-time effect of each construct.
that are enforced before running a partition.
partition is legal if its compilation units are legal and it obeys all
of the Post-Compilation Rules.
definition of the run-time effect of each construct.
Bounded (Run-Time) Errors
that result in bounded (run-time) errors (see 1.1.5
that result in erroneous execution (see 1.1.5
Additional requirements for conforming
Documentation requirements for
Metrics that are specified for
the time/space properties of the execution of certain language constructs.
Additional permissions given
to the implementer.
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.
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.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe