[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

About This Manual

The gnatcheck tool in GNAT Pro can be used to enforce coding conventions by analyzing Ada source programs with respect to a set of rules supplied at tool invocation. This manual describes the complete set of predefined rules that gnatcheck can take as input.

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


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

What This Manual Contains

This manual contains a description of gnatcheck, an ASIS-based utility that checks properties of Ada source files according to a given set of semantic rules

The name of each rule (the "rule identifier") denotes the condition that is detected and flagged by gnatcheck. The rule identifier is used as a parameter of the `+R' or `-R' switch to gnatcheck.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

What You Should Know Before Reading This Manual

You should be familiar with the Ada language and with the usage of GNAT Pro in general; please refer to the GNAT Pro User's Guide.


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by GNAT Mailserver on September, 22 2012 using texi2html