Ada Reference ManualLegal Information
Contents   Index   References   Search   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.
NOTES
8/2
3  An implementation may support a similar On parameter on pragma Unsuppress (see 11.5). 

Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe