GNATcheck Reference Manual - Predefined Rules

Next:   [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.


Next: , Up: About This Manual   [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.


Previous: What This Guide Contains, Up: About This Manual   [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.


Previous: What This Guide Contains, Up: About This Manual   [Contents][Index]