3.2.1 Type Declarations
A given type shall not have a subcomponent whose
type is the given type itself.
A type defined by a type_declaration
is a named
type; such a type has one or more nameable subtypes.
Certain other forms of declaration also include type
definitions as part of the declaration for an object. The type defined
by such a declaration is anonymous
— it has no nameable
For explanatory purposes, this document
sometimes refers to an anonymous type by a pseudo-name, written in italics,
and uses such pseudo-names at places where the syntax normally requires
For a named type whose first subtype is T, this document sometimes refers
to the type of T as simply “the type T”.
The only user-defined types that can be anonymous in the above sense
are array, access, task, and protected types. An anonymous array, task,
or protected type can be defined as part of an object_declaration
An anonymous access type can be defined as part of numerous other constructs.
To be honest: Class-wide, universal,
and root numeric types are full types.
We no longer talk about the
implicit declaration of basic operations. These are treated like an if_statement
— they don't need to be declared, but are still applicable to only
certain classes of types.
The predefined types
example the types Boolean, Wide_Character, Integer, root_integer
)] are the types that are defined in [a predefined
library package called] Standard[; this package also includes the [(implicit)]
declarations of their predefined operators]. [The package Standard is
described in A.1
Ramification: We use the term “predefined”
to refer to entities declared in the visible part of Standard, to implicitly
declared operators of a type whose semantics are defined by the language,
to Standard itself, and to the “predefined environment”.
We do not use this term to refer to library packages other than Standard.
For example Text_IO is a language-defined package, not a predefined package,
and Text_IO.Put_Line is not a predefined operation.
The elaboration of a full_type_declaration
consists of the elaboration of the full type definition.
elaboration of a full type definition creates a distinct type and its
Reason: The creation is associated with
the type definition, rather than the type declaration,
because there are types that are created by full type definitions that
are not immediately contained within a type declaration (e.g. an array
object declaration, a singleton task declaration, etc.).
Ramification: Any implicit declarations
that occur immediately following the full type definition are elaborated
where they (implicitly) occur.
Examples of type
(White, Red, Yellow, Green, Blue, Brown, Black)
range 1 .. 72
array(1 .. 10) of Integer
Examples of type
type Color is (White, Red, Yellow, Green, Blue, Brown, Black);
type Column is range 1 .. 72;
type Table is array(1 .. 10) of Integer;
NOTE Each of the above examples declares
a named type. The identifier given denotes the first subtype of the type.
Other named subtypes of the type can be declared with subtype_declaration
). Although names do not directly
denote types, a phrase like “the type Column” is sometimes
used in this document to refer to the type of Column, where Column denotes
the first subtype of the type. For an example of the definition of an
anonymous type, see the declaration of the array Color_Table in 3.3.1
its type is anonymous — it has no nameable subtypes.
Wording Changes from Ada 83
We have generalized the concept of first-named
subtype (now called simply “first subtype”) to cover all
kinds of types, for uniformity of description elsewhere. RM83 defined
first-named subtype in Section 13. We define first subtype here, because
it is now a more fundamental concept. We renamed the term, because in
Ada 95 some first subtypes have no name.
We no longer elaborate discriminant_part
because there is nothing to do, and it was complex to say that you only
wanted to elaborate it once for a private or incomplete type. This is
also consistent with the fact that subprogram specifications are not
elaborated (neither in Ada 83 nor in Ada 95). Note, however, that an
appearing in a discriminant_part
is elaborated at the full_type_declaration
(for a nonlimited type) or when an object with such a discriminant is
created (for a limited type).
Wording Changes from Ada 95
Added wording so that anonymous access types are always full types, even
if they appear in renames.
Added a definition of full view, so that all types have a well-defined
Extensions to Ada 2005
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe