[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [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
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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] | [ ? ] |
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] | [ ? ] |