23.3 gnatcheck Rule Options

The following options control the processing performed by gnatcheck.

+ALL

Turn all the rule checks ON.

-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.

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.