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:
Restriction_Warningsare given), use the rule named
Restrictionswith the same parameters as pragma
Style_Checks. A parameter of this rule can be either
All_Checks, which enables all the style checks, or a string that has exactly the same structure and semantics as the
string_LITERALparameter of GNAT pragma
Style_Checks(for further information about this pragma, please refer to the GNAT Reference Manual).
Warningswith a parameter that is a valid static_string_expression argument of GNAT pragma
Warnings(for further information about this pragma, please refer to the GNAT Reference Manual).