Ada 2005 Reference Manual
13.12.1 Language-Defined Restrictions
Static Semantics
The following restriction_identifiers are language-defined (additional restrictions are defined in the Specialized Needs Annexes):
No_Implementation_Attributes
There are no implementation-defined attributes. This restriction applies only to the current compilation or environment, not the entire partition.
No_Implementation_Pragmas
There are no implementation-defined pragmas or pragma arguments. This restriction applies only to the current compilation or environment, not the entire partition.
No_Obsolescent_Features
There is no use of language features defined in Annex J. It is implementation-defined if uses of the renamings of J.1 are detected by this restriction. This restriction applies only to the current compilation or environment, not the entire partition.
The following restriction_parameter_identifier is language defined:
No_Dependence
Specifies a library unit on which there are no semantic dependences.
Legality Rules
The restriction_parameter_argument of a No_Dependence restriction shall be a name; the name shall have the form of a full expanded name of a library unit, but need not denote a unit present in the environment.
Post-Compilation Rules
No compilation unit included in the partition shall depend semantically on the library unit identified by the name.
