Dependence Restriction Identifiers
Author: JTC1/SC22/WG9/ARG, by Randall Brukardt, ARG Editor

Ada Reference Manual — Legal Information

# 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
The following restriction_ identifiers exist:
3/2
No_Asynchronous_Control
Semantic dependence on the predefined package Asynchronous_Task_Control is not allowed.
4/2
No_Unchecked_Conversion
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.

Sponsored by Ada-Europe