[Top] [Contents] [Index] [ ? ]

Short Table of Contents

About This Manual
1. Introduction
2. Format of the Report File
3. General gnatcheck Switches
4. gnatcheck Rule Options
5. Adding the Results of Compiler Checks to gnatcheck Output
6. Project-Wide Checks
7. Rule exemption
8. Predefined Rules
9. Example of gnatcheck Usage
A. List of Rules
B. GNU Free Documentation License
Index


This document was generated by GNAT Mailserver on May, 10 2012 using texi2html