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

GNATcheck Reference Manual

GNATcheck Reference Manual
Coding Standard Verifier

The GNAT Pro Ada Compiler
GNAT Pro Version 17.0w
Configuration level: 244281
Date: 2015/11/30

Copyright (C) 2009-2014, 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. Rule exemption  
7. Predefined Rules  
8. Example of gnatcheck Usage  
A. List of Rules  
B. GNU Free Documentation License  

 -- 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 Rule exemption
6.1 Using pragma Annotate to Control Rule Exemption  
6.2 gnatcheck Annotations Rules  

Predefined Rules
7.1 Style-Related Rules  
7.2 Feature Usage Rules  
7.3 Metrics-Related Rules  
7.4 SPARK Ada Rules  

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

This document was generated by GNAT Mailserver on February, 12 2016 using texi2html