Contents Index Search Related Documents Previous Next
J.10 Specific Suppression of Checks
1/2
Pragma Suppress can be used to suppress checks
on specific entities.
Syntax
2/2
The form of
a specific Suppress pragma is as
follows:
3/2
pragma Suppress(
identifier,
[On =>]
name);
Legality Rules
4/2
The
identifier
shall be the name of a check (see
11.5). The
name shall statically denote some
entity.
5/2
For a specific Suppress pragma
that is immediately within a package_specification,
the name shall denote an entity
(or several overloaded subprograms) declared immediately within the package_specification.
Static Semantics
6/2
A specific Suppress
pragma
applies to the named check from the place of the
pragma
to the end of the innermost enclosing declarative region, or, if the
pragma is given in a
package_specification,
to the end of the scope of the named entity. The
pragma
applies only to the named entity, or, for a subtype, on objects and values
of its type. A specific Suppress
pragma
suppresses the named check for any entities to which it applies (see
11.5). Which checks are associated with a
specific entity is not defined by this International Standard.
Implementation Permissions
7/2
An implementation is allowed to place restrictions
on specific Suppress pragmas.
8/2
3 An implementation may
support a similar On parameter on pragma
Unsuppress (see 11.5).
Contents Index Search Related Documents Previous Next Legal