[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
gnatcheck
Rule Options
The following options control the processing performed by
gnatcheck
.
The default behavior is that all the rule checks are disabled.
A coding standard file is a text file that contains a set of rule options described above. The file may contain empty lines and Ada-style comments (comment lines and end-of-line comments). There can be several rule options on a single line (separated by a space).
A coding standard file may reference other coding standard files by including more `-from=rule_option_filename' options, each such option being replaced with the content of the corresponding coding standard file during processing. In case a cycle is detected (that is, `rule_file_1' reads rule options from `rule_file_2', and `rule_file_2' reads (directly or indirectly) rule options from `rule_file_1'), processing fails with an error message.
[ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |