Next: Style-Related Rules [Contents][Index]
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 Guide Contains: | ||
• What You Should Know Before Reading This Guide: |
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]
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]