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
{
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).
Sponsored by Ada-Europe