23.2 General gnatcheck Switches
The following switches control the general gnatcheck behavior
- Process all units including those with read-only ALI files such as
those from GNAT Run-Time library.
- Print out the list of the currently implemented rules. For more details see
the README file in the gnatcheck sources.
- Use full source locations references in the report file. For a construct from
a generic instantiation a full source location is a chain from the location
of this construct in the generic unit to the place where this unit is
- Quiet mode. All the diagnoses about rule violations are placed in the
gnatcheck report file only, without duplicating in stdout.
- Short format of the report file (no version information, no list of applied
rules, no list of checked sources is included)
- Include the compiler-style section in the report file
- Include the section containing diagnoses ordered by rules in the report file
- Include the section containing diagnoses ordered by files and then by rules
in the report file
- Verbose mode; gnatcheck generates version information and then
a trace of sources being processed.
Note, that if either of the options -s1,
-s3 is specified,
then the gnatcheck report file will contain only sections
explicitly stated by these options.