Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
 
Annotated Ada Reference Manual (Ada 2022 with Amendment 1) — Legal 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} No_Asynchronous_Control 

Semantic dependence on the predefined package Asynchronous_Task_Control is not allowed.
4/2
{AI95-00394-01} No_Unchecked_Conversion 

Semantic dependence on the predefined generic function Unchecked_Conversion is not allowed.
5/2
{AI95-00394-01} No_Unchecked_Deallocation 

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

Wording Changes from Ada 95

5.a/3
{AI95-00394-01} {AI05-0299-1} This subclause is new. These restrictions are replaced by the more general No_Dependence (see 13.12.1). 
Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe