gnatcheck - GNAT rule checking tool

gnatcheck  checks  the  conformance  of  Ada  source text with rules and produces a report file for later
       analysis as well as on standard output.

       In the first form, gnatcheck examines the specified Ada source files (wildcards are allowed).

       In the second form, gnatcheck examines the Ada source files listed in the specified file.

       gnatcheck is an ASIS application developed on top of the ASIS implementation for GNAT.  As such, it reads
       tree files (*.adt) produced by the compiler to accomplish its goals, and invokes gnatgcc for this.

       gnatcheck - GNAT rule checking tool

-a     Process RTL units.

       -cargsgcc_switches
              Pass gcc_switches to GCC when producing the tree files.

       -d     Debug mode.

       -dd    Progress indicator mode, for use in the GNAT Programming Studio.

       -h     Print the list of built-in rules.

       -l     Full source location chains in report file.

       -q     Quiet mode: do not report detections on standard output.

       -rulesrule_switchesrule_switches can be any combination of the following:

              -from=file
                     Read rule options from file+ALL   Turn all rules on.

              -ALL   Turn all rules off.

              +Rrule_id[:param[,param...]]
                     Turn the specified rule on, passing it optional parameters.

              -Rrule_id
                     Turn the specified rule off.

              +Rrule_id[:param[,param...]]
                     Turn off some of the checks for the specified rule.

              rule_id is any of the rules listed with the -h option.

       -s     Short form of the report file.

       -sn    Include only section n (n in 1 .. 3) in the report file.

       -v     Verbose mode.

gnat(1), asistant(1), gnat2xml(1), gnatelim(1), gnatmetric(1), gnatpp(1), gnatstub(1), gnattest(1)

       Documentation about the ASIS tools may be found in /usr/share/doc/asis-doc/ if the  asis-doc  package  is
       installed.   The reference documentation about ASIS is excluded due to license problems, but may be found
       in various formats at http://libre.adacore.com/developers/documentation.

Debian GNU/Linux                                   2014-08-09                                       GNATCHECK(1)

gnatcheck [OPTION]... filename [-cargsgcc_switches] [-rulesrule_switches]

       gnatcheck [OPTION]... -files=filename [-cargsgcc_switches] [-rulesrule_switches]