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
3/2
Semantic dependence on the predefined package Asynchronous_Task_Control
is not allowed.
4/2
Semantic dependence on the predefined generic function Unchecked_Conversion
is not allowed.
5/2
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).
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe