1.3 Terms and Definitions
Terms are defined throughout this document, indicated
type. Terms explicitly defined in this document are
not to be presumed to refer implicitly to similar terms defined elsewhere.
Mathematical terms not defined in this document are to be interpreted
according to the CRC Concise Encyclopedia of Mathematics, Second Edition
Other terms not defined in this document are to be interpreted according
to the Webster's Third New International Dictionary of the English
. Informal descriptions of some terms are also given below in
Annex N, “Glossary”
Discussion: The index contains an entry
for every defined term.
The definitions found in this subclause are short,
descriptive definitions. These are most useful for comprehension when
an exact meaning is not needed. More formal, detailed definitions are
found in the body of the Reference Manual; these are needed to determine
the exact application of rules to constructs and entities.
To see the difference, consider “aliased
view”. The descriptive definition is “a view of an object
that can be designated by an access value”. The formal definition
is a lengthy paragraph in 3.10 that defines
10 separate constructs as aliased views. In order to reason about a language
rule that requires an aliased view in a particular context, one needs
to look at the list of constructs in order to determine if the object
in hand is actually an aliased view. The descriptive definition is no
help in this case.
Each term defined in this subclause is marked like
this in the body of the AARM near its detailed formal definition.
Here are some AARM-only definitions:
The Ada Rapporteur Group (ARG)
interprets the Ada Reference Manual.
Ada Issue (AI) is a numbered ruling from the ARG. Ada Issues created
for Ada 83 are denoted as "AI83", while Ada Issues created
for Ada 95 are denoted as "AI95" in this document. Similarly,
Ada Issues created for Ada 2005 are denoted as "AI05",
Ada Issues created for Ada 2012 are denoted as "AI12", and
Ada Issues created for Ada 2022 are denoted as "AI22"
The Ada Commentary Integration
Document (ACID) is an edition of the Ada 83 RM in which clearly marked
insertions and deletions indicate the effect of integrating the approved
The Uniformity Rapporteur
Group (URG) issued recommendations intended to increase uniformity across
Ada implementations. The functions of the URG have been assumed by the
A Uniformity Issue (UI)
was a numbered recommendation from the URG. A Defect Report and Response
is an official query to WG9 about an error in the standard. Defect Reports
are processed by the ARG, and are referenced here by their ISO numbers:
8652/nnnn. Most changes to the Ada 95 standard include reference(s) to
the Defect Report(s) that prompted the change.
Ada Conformity Assessment Test Suite (ACATS)
is a set of tests
intended to check the conformity of Ada implementations to this standard.
This set of tests was previously known as the Ada Compiler Validation
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe