J.13 Dependence Restriction Identifiers
The following restrictions involve dependence on
specific language-defined units. The more general restriction No_Dependence
(see 13.12.1) should be used for this purpose.
Semantic dependence on the predefined package Asynchronous_Task_Control
is not allowed.
Semantic dependence on the predefined generic function
Unchecked_Conversion is not allowed.
Semantic dependence on the predefined generic procedure
Unchecked_Deallocation is not allowed.
Wording Changes from Ada 95
This clause is new. These restrictions are replaced
by the more general No_Dependence (see 13.12.1).
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe