J.13 Dependence Restriction Identifiers
1/2
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.
Static Semantics
2/2
3/2
Semantic dependence on the predefined package Asynchronous_Task_Control
is not allowed.
4/2
Semantic dependence on the predefined generic function Unchecked_Conversion
is not allowed.
5/2
No_Unchecked_Deallocation
Semantic dependence on the predefined generic procedure Unchecked_Deallocation
is not allowed.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe