GNATcheck Reference Manual: Format of the Report File

[ < ] | [ > ] |  | [ << ] | [ Up ] | [ >> ] |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

# 2. Format of the Report File

The `gnatcheck` tool outputs on ``stderr'` all messages concerning rule violations except if running in quiet mode. It also creates a text file that contains the complete report of the last gnatcheck run. By default this file is named ``gnatcheck.out'` and it is located in the current directory; the ``-o'` option can be used to change the name and/or location of the report file. This report contains:

- general details of the `gnatcheck` run: date and time of the run, the version of the tool that has generated this report, full parameters of the `gnatcheck` invocation, reference to the list of checked sources and applied rules (coding standard);
- summary of the run (number of checked sources and detected violations);
- list of exempted coding standard violations;
- list of non-exempted coding standard violations;
- list of problems in the definition of exemption sections;
- list of language violations (compile-time errors) detected in processed sources;

[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

This document was generated by GNAT Mailserver on November, 5 2011 using texi2html