Flag each use of the specified pragmas. The pragmas to be detected
are named in the rule's parameters.
This rule has the following parameters:
- For the +R option
- Adds the specified pragma to the set of pragmas to be
checked and sets the checks for all the specified pragmas
ON. Pragma_Name is treated as a name of a pragma. If it
does not correspond to any pragma name defined in the Ada
standard or to the name of a GNAT-specific pragma defined
in the GNAT Reference Manual, it is treated as the name of
- All the GNAT-specific pragmas are detected; this sets
the checks for all the specified pragmas ON.
- All pragmas are detected; this sets the rule ON.
- For the -R option
- Removes the specified pragma from the set of pragmas to be
checked without affecting checks for
other pragmas. Pragma_Name is treated as a name
of a pragma. If it does not correspond to any pragma
defined in the Ada standard or to any name defined in the
GNAT Reference Manual,
this option is treated as turning OFF detection of all
- Turn OFF detection of all GNAT-specific pragmas
- Clear the list of the pragmas to be detected and
turn the rule OFF.
Parameters are not case sensitive. If Pragma_Name does not have
the syntax of an Ada identifier and therefore can not be considered
as a pragma name, a diagnostic message is generated and the corresponding
parameter is ignored.
When more then one parameter is given in the same rule option, the parameters
must be separated by a comma.
If more then one option for this rule is specified for the gnatcheck
call, a new option overrides the previous one(s).
The +R option with no parameters turns the rule ON with the set of
pragmas to be detected defined by the previous rule options.
(By default this set is empty, so if the only option specified for the rule is
no parameter), then the rule is enabled, but it does not detect anything).
The -R option with no parameter turns the rule OFF, but it does not
affect the set of pragmas to be detected.