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 the GNAT Run-Time library.

-dd

Progress indicator mode (for use in GPS).

-h

List the predefined and user-defined rules. For more details see Predefined Rules.

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

-log

Duplicate all the output sent to stderr into a log file. The log file is named gnatcheck.log and is located in the current directory.

-mnnnn

Maximum number of diagnostics to be sent to stdout, where nnnn is in the range 0...1000; the default value is 500. Zero means that there is no limitation on the number of diagnostic messages to be output.

-q

Quiet mode. All the diagnostics about rule violations are placed in the gnatcheck report file only, without duplication on stdout.

-s

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

--include-file

Append the content of the specified text file to the report file

-t

Print out execution time.

-v

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

-o report_file

Set name of report file file to report_file .

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