23.1 Format of the Report File
The gnatcheck tool outputs on stdout all messages concerning
It also creates, in the current
directory, a text file named gnatcheck.out that
contains the complete report of the last gnatcheck run. This report contains:
- a list of the Ada source files being checked,
- a list of enabled and disabled rules,
- a list of the diagnostic messages, ordered in three different ways
and collected in three separate
sections. Section 1 contains the raw list of diagnostic messages. It
corresponds to the output going to stdout. Section 2 contains
messages ordered by rules.
Section 3 contains messages ordered by source files.