{
AI95-00415-01}
{
AI12-0443-1}
Terms are defined throughout this document, indicated
by
italic 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
Language. Informal descriptions of some terms are also given below.
{
AI12-0443-1}
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.
{
AI12-0443-1}
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.
Discussion: Here are some AARM-only definitions:
The Ada Rapporteur Group (ARG)
interprets the Ada Reference Manual.
An
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 AIs.
The
Uniformity Rapporteur Group (URG) issued recommendations intended to
increase uniformity across Ada implementations. The functions of the
URG have been assumed by the ARG.
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.
The
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
Capability (ACVC).
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe