Man Linux: Main Page and Category List


       gnatcheck - The GNAT rule checking tool


       gnatcheck    [OPTION]...   filename   [-cargs   gcc_switches]   [-rules

       gnatcheck [OPTION]...  -files=filename  [-cargs  gcc_switches]  [-rules


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

       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.


       -a     Process RTL units.

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

       -rules rule_switches
              rule_switches can be any combination of the following:

                     Read rule options from file

              +ALL   Turn all rules on.

              -ALL   Turn all rules off.

                     Turn   the   specified   rule  on,  passing  it  optional

                     Turn the specified rule off.

                     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.


       gnatcheck was written by AdaCore (

       This manual  page  was  written  by  Ludovic  Brenta  <ludovic@ludovic->  for the Debian project, from information in the sources of


       gnatcheck is Copyright (c) 2004-2007 AdaCore

       This manual page is Copyright (C) 2008 Ludovic Brenta <ludovic@ludovic->.


       asistant(1), gnat(1), gnatelim(1), gnatmetric(1), gnatpp(1)

       The   full   documentation   for   gnatcheck   in  /usr/share/doc/asis-

       info asis_ug ASIS-for-GNAT User’s Guide

       info asis_rm ASIS-for-GNAT Reference Manual