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