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'`. If `gnatcheck` is called with a project file, the report file is located in the object directory defined by the project file (or in the directory where the argument project file is located if no object directory is defined), if ``--subdirs'` option is specified, the file is placed in the subrirectory of this directory specified by this option. Otherwise 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;

The references to the list of checked sources and applied rules are references to the text files that contain the corresponding information. These files could be either files supplied as `gnatcheck` parameters or files created by `gnatcheck`; in the latter case these files are located in the same directory as the report file.

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

This document was generated by GNAT Mailserver on April, 10 2014 using texi2html