Next: Adding the Results of Compiler Checks to gnatcheck Output, Previous: General gnatcheck Switches, Up: Verifying Properties Using gnatcheck
The following options control the processing performed by gnatcheck.
The default behavior is that all the rule checks are disabled.
A rule file is a text file containing a set of rule options. The file may contain empty lines and Ada-style comments (comment lines and end-of-line comments). The rule file has free format; that is, you do not have to start a new rule option on a new line.
A rule file may contain other -from=rule_option_filename options, each such option being replaced with the content of the corresponding rule file during the rule files 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), the processing of rule files is interrupted and a part of their content is ignored.