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


J.13 Dependence Restriction Identifiers

1/2
{00394AI95−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
{00394AI95−00394−01} The following restriction_identifiers exist:

3/2
{00394AI95−00394−01} {Restrictions (No_Asynchronous_Control)} No_Asynchronous_Control

Semantic dependence on the predefined package Asynchronous_Task_Control is not allowed.

4/2
{00394AI95−00394−01} {Restrictions (No_Unchecked_Conversion)} No_Unchecked_Conversion

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

5/2
{00394AI95−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

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