23.2 General gnatcheck Switches

The following switches control the general gnatcheck behavior

-a

Process all units including those with read-only ALI files such as those from GNAT Run-Time library.

-h

Print out the list of the currently implemented rules. For more details see the README file in the gnatcheck sources.

-l

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 instantiated.

-q

Quiet mode. All the diagnoses about rule violations are placed in the gnatcheck report file only, without duplicating in stdout.

-s

Short format of the report file (no version information, no list of applied rules, no list of checked sources is included)

-s1

Include the compiler-style section in the report file

-s2

Include the section containing diagnoses ordered by rules in the report file

-s3

Include the section containing diagnoses ordered by files and then by rules in the report file

-v

Verbose mode; gnatcheck generates version information and then a trace of sources being processed.

Note, that if either of the options -s1, -s2 or -s3 is specified, then the gnatcheck report file will contain only sections explicitly stated by these options.