Next: , Previous: J.12, Up: Annex J


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.