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

About This Manual

The gnatcheck tool in GNAT 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.


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

What This Guide Contains

This guide contains a description of each predefined gnatcheck rule, organized into categories.

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 Guide

You should be familiar with the Ada language and with the usage of GNAT in general and with the gnatcheck tool in particular; please refer to the GNAT User’s Guide.


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

This document was generated by root on March 13, 2014 using texi2html 1.82.