H.4.1 Aspect No_Controlled_Parts
For a type, the following
type-related, operational aspect may be specified:
The type of this aspect is Boolean. If True, the type and any descendants
shall not have any controlled parts. If specified, the value of the expression
shall be static. If not specified, the value of this aspect is False.
The No_Controlled_Parts aspect is nonoverridable
If No_Controlled_Parts is True for a type, no component
of the type shall have a controlled part nor shall the type itself be
controlled. For the purposes of this rule, a type has a controlled part
if its full type has a controlled part; this is applied recursively.
In addition to the places where Legality Rules normally apply (see 12.3
this rule also applies in the private part of an instance of a generic
When enforcing the above rule within a generic body
G or within the body of a generic unit declared within the declarative
region of generic unit G, a generic formal private type of G
and a generic formal derived type of G whose ancestor is a tagged
type whose No_Controlled_Parts aspect is False are considered to have
a controlled part.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe