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

Turn off the check for a specified rule