23.1 Format of the Report File

The gnatcheck tool outputs on stdout all messages concerning rule violations. 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.