[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 Mail server on January, 22 2011 using texi2html