[ < ] | [ > ] | [ << ] | [ 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] | [ ? ] |
This document was generated by root on February 6, 2012 using texi2html 1.82.