J.13 Dependence Restriction Identifiers

danger

This Reference Manual output has not been verified, and may contain omissions or errors. Report any problems on the tracking issue

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.

Wording Changes from Ada 95

5.a/3

This subclause is new. These restrictions are replaced by the more general No_Dependence (see 13.12.1).