Next: Project-Wide Checks, Previous: gnatcheck Rule Options, Up: Verifying Properties Using gnatcheck
The gnatcheck tool can include in the generated diagnostic messages and in the report file the results of the checks performed by the compiler. Though disabled by default, this effect may be obtained by using +R with the following rule identifiers and parameters:
Restrictions
or Restriction_Warnings
are given),
use the rule named
Restrictions
with the same parameters as pragma
Restrictions
or Restriction_Warnings
.
Style_Checks
. A parameter of this rule can be either All_Checks
,
which enables all the standard style checks that corresponds to -gnatyy
GNAT style check option, or a string that has exactly the same
structure and semantics as the string_LITERAL
parameter of GNAT pragma
Style_Checks
(for further information about this pragma,
see Pragma Style_Checks).
Warnings
with a parameter that is a valid
static_string_expression argument of GNAT pragma Warnings
(for further information about this pragma, see Pragma Warnings). Note, that in case of gnatcheck
's' parameter, that corresponds to the GNAT -gnatws option, disables
all the specific warnings, but not suppresses the warning mode,
and 'e' parameter, corresponding to -gnatwe that means
"treat warnings as errors", does not have any effect.
To disable a specific restriction check, use -RStyle_Checks
gnatcheck
option with the corresponding restriction name as a parameter. -R
is
not available for Style_Checks
and Warnings
options, to disable
warnings and style checks, use the corresponding warning and style options.