1. 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.

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.

What You Should Know Before Reading This Manual

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