Annotated Ada Reference ManualLegal Information
Contents   Index   References   Search   Previous   Next 

 J.13 Dependence Restriction Identifiers

1/2
{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).

Contents   Index   References   Search   Previous   Next 
Ada-Europe Sponsored by Ada-Europe