Annotated
Ada Reference Manual
—
Legal Information
J.15.6 Pragma Unchecked_Union
Syntax
1/3
{
AI05-0229-1
} The form of a
pragma
Unchecked_Union, which is a representation pragma (see
13.1
), is as follows:
2/3
pragma
Unchecked_Union (
first_subtype_
local_name
);
Legality Rules
3/3
{
AI05-0229-1
} The
first_subtype_
local_name
of a
pragma
Unchecked_Union shall denote an unconstrained discriminated record subtype having a
variant_part
.
Static Semantics
4/3
{
AI05-0229-1
} A
pragma
Unchecked_Union specifies that the Unchecked_Union aspect (see
B.3.3
) for the type denoted by
first_subtype_
local_name
has the value True.
Wording Changes from Ada 2005
4.a/3
{
AI05-0229-1
} {
AI05-0299-1
} This subclause is new. Pragma Unchecked_Union was moved here from
B.3.3
; aspect Unchecked_Union lives there now.
Ada 2005 and 2012 Editions sponsored in part by
Ada-Europe
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe