Contents Index Search Related Documents Previous Next
13.12.1 Language-Defined Restrictions
Static Semantics
0.1/2
The following
restriction_identifiers are
language-defined (additional restrictions are defined in the Specialized
Needs Annexes):
0.2/2
- No_Implementation_Attributes
-
There are no implementation-defined attributes. This restriction applies
only to the current compilation or environment, not the entire partition.
0.3/2
- 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.
0.4/2
- 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.
1/2
The following
restriction_parameter_identifier
is language defined:
2/2
- No_Dependence
-
Specifies a library unit on which there are no semantic dependences.
Legality Rules
3/2
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
4/2
No compilation unit included in the partition
shall depend semantically on the library unit identified by the name.
Contents Index Search Related Documents Previous Next Legal