GNATcheck Reference Manual: gnatcheck Rule Options

[ < ] | [ > ] |  | [ << ] | [ Up ] | [ >> ] |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

# 4. `gnatcheck` Rule Options

The following options control the processing performed by `gnatcheck`.

``-ALL'`
  Turn all the rule checks OFF.

``+Rrule_id[:param]'`
  Turn on the check for a specified rule with the specified parameter, if any. rule_id must be the identifier of one of the currently implemented rules (use ``-h'` for the list of implemented rules). Rule identifiers are not case-sensitive. The param item must be a string representing a valid parameter(s) for the specified rule. If it contains any space characters then this string must be enclosed in quotation marks.

``-Rrule_id[:param]'`
  Turn off the check for a specified rule with the specified parameter, if any.

``-from=rule_option_filename'`
  Read the rule options from the text file rule_option_filename, referred to as a "coding standard file" below.

The default behavior is that all the rule checks are disabled.

If more then one rule option is specified for the same rule, these options are summed together. If a new option contradicts the rule settings specified by previous options for this rule, the new option overrides the previous settings.

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] | [ ? ]

This document was generated by GNAT Mailserver on November, 5 2011 using texi2html