[ < ] [ > ]   [ << ] [ 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:

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 May, 6 2015 using texi2html