Structure
Author: JTC1/SC22/WG9/ARG, by Randall Brukardt, ARG Editor

Ada Reference Manual — Legal Information

# 1.1.2 Structure

1/3
This International Standard contains thirteen clauses, fifteen annexes, and an index.
2
The core of the Ada language consists of:
3/3
Clauses 1 through 13
4
Annex A, “Predefined Language Environment”
5
Annex B, “Interface to Other Languages”
6
Annex J, “Obsolescent Features”
7
The following Specialized Needs Annexes define features that are needed by certain application areas:
8
Annex C, “Systems Programming”
9
Annex D, “Real-Time Systems”
10
Annex E, “Distributed Systems”
11
Annex F, “Information Systems”
12
Annex G, “Numerics”
13
Annex H, “High Integrity Systems”
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/3
Each 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 Aspects and Attributes”
20
Annex L, “Language-Defined Pragmas”
21/3
Annex M, “Summary of Documentation Requirements”
22
Annex N, “Glossary”
23
Annex P, “Syntax Summary”
23.1/3
Annex Q, “Language-Defined Entities”
24/3
Each section 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:

#### Syntax

25
Syntax rules (indented).

#### Name Resolution Rules

26/3
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.
NOTES
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.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe