GNATcheck Reference Manual

The GNAT Ada Compiler
GNAT GPL Edition, Version 2013
Configuration level: 204126
Date: 2013/03/12

Copyright (C) 2009-2012, AdaCore

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with the Invariant Sections being "GNU Free Documentation License", with the Front-Cover Texts being "GNATcheck Reference Manual", and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

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

 -- The Detailed Node Listing --- About This Manual

What This Manual Contains
What You Should Know Before Reading This Manual

Introduction Format of the Report File General gnatcheck Switches gnatcheck Rule Options Adding the Results of Compiler Checks to gnatcheck Output Project-Wide Checks Rule exemption

7.1 Using pragma Annotate to Control Rule Exemption
7.2 gnatcheck Annotations Rules

Predefined Rules

8.1 Style-Related Rules
8.2 Feature Usage Rules
8.3 Metrics-Related Rules
8.4 SPARK Ada Rules

Example of gnatcheck Usage List of Rules GNU Free Documentation License Index