- (1)
- This International Standard contains thirteen sections, fourteen annexes,
and an index.
- (2)
- The core of the Ada language consists of:
- (3)
- (4)
- Annex A, ``Predefined Language Environment''
- (5)
- Annex B, ``Interface to Other Languages''
- (6)
- (7)
- The following Specialized Needs Annexes define features that are needed
by certain application areas:
- (8)
- (9)
- (10)
- (11)
- (12)
- (13)
- (14)
- The core language and the Specialized Needs Annexes are normative,
except that the material in each of the items listed below is informative:
- (15)
- Text under a NOTES or Examples heading.
- (16)
- Each clause or subclause whose title starts with the word
``Example'' or ``Examples''.
- (17)
- All implementations shall conform to the core language. In addition, an
implementation may conform separately to one or more Specialized Needs
Annexes.
- (18)
- The following Annexes are informative:
- (19)
- Annex K, ``Language-Defined Attributes''
- (20)
- Annex L, ``Language-Defined Pragmas''
- (21)
- Annex M, ``Implementation-Defined Characteristics''
- (22)
- (23)
- (24)
- 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:
- (25)
Name Resolution Rules
- (26)
- Compile-time rules that are used in name resolution, including overload
resolution.
Legality Rules
- (27)
- Rules that are enforced at compile time. A construct is legal if it
obeys all of the Legality Rules.
Static Semantics
- (28)
- A definition of the compile-time effect of each construct.
Post-Compilation Rules
- (29)
- 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.
Dynamic Semantics
- (30)
- A definition of the run-time effect of each construct.
Bounded (Run-Time) Errors
- (31)
- Situations that result in bounded (run-time) errors (see
1.1.5).
Erroneous Execution
- (32)
- Situations that result in erroneous execution (see
1.1.5).
Implementation Requirements
- (33)
- Additional requirements for conforming implementations.
Documentation Requirements
- (34)
- Documentation requirements for conforming implementations.
Metrics
- (35)
- Metrics that are specified for the time/space properties of the
execution of certain language constructs.
Implementation Permissions
- (36)
- Additional permissions given to the implementer.
Implementation Advice
- (37)
- 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.
-
- (38)
(1) Notes emphasize consequences of the rules described in the
(sub)clause or elsewhere. This material is informative.
Examples
- (39)
- 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
Copyright statement
Page last generated: 95-03-12