Annotated Ada Reference Manual — Legal Information

J.13 Dependence Restriction Identifiers

{AI95-00394-01} 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

{AI95-00394-01} The following restriction_identifiers exist:

3/2

{AI95-00394-01} {Restrictions (No_Asynchronous_Control)} No_Asynchronous_Control

Semantic dependence on the predefined package Asynchronous_Task_Control is not allowed.

4/2

{AI95-00394-01} {Restrictions (No_Unchecked_Conversion)} No_Unchecked_Conversion

Semantic dependence on the predefined generic function Unchecked_Conversion is not allowed.

5/2

{AI95-00394-01} {Restrictions (No_Unchecked_Deallocation)} No_Unchecked_Deallocation

Semantic dependence on the predefined generic procedure Unchecked_Deallocation is not allowed.

Wording Changes from Ada 95

5.a/2

{AI95-00394-01} This clause is new. These restrictions are replaced by the more general No_Dependence (see 13.12.1).