gnatcheck(1) [debian man page]
GNATCHECK(1) ASIS Tools GNATCHECK(1) NAME
gnatcheck - The GNAT rule checking tool SYNOPSIS
gnatcheck [OPTION]... filename [-cargs gcc_switches] [-rules rule_switches] gnatcheck [OPTION]... -files=filename [-cargs gcc_switches] [-rules rule_switches] DESCRIPTION
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. OPTIONS
-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: -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. AUTHOR gnatcheck was written by AdaCore (http://www.adacore.com). This manual page was written by Ludovic Brenta <ludovic@ludovic-brenta.org> for the Debian project, from information in the sources of gnatcheck. COPYRIGHT
gnatcheck is Copyright (c) 2004-2007 AdaCore This manual page is Copyright (C) 2008 Ludovic Brenta <ludovic@ludovic-brenta.org>. SEE ALSO
asistant(1), gnat(1), gnatelim(1), gnatmetric(1), gnatpp(1) The full documentation for gnatcheck in /usr/share/doc/asis-programs/README.gnatcheck. info asis_ug ASIS-for-GNAT User's Guide info asis_rm ASIS-for-GNAT Reference Manual GNU Ada Tools March 2008 GNATCHECK(1)
Check Out this Related Man Page
GNATMETRIC(1) ASIS Tools GNATMETRIC(1) NAME
gnatmetric - Ada metrics tool SYNOPSIS
gnatmetric [options] {filename | -files filename} [gcc_switches] DESCRIPTION
gnatmetric takes a set of compilable Ada sources as input, computes for them various programming metrics and generates the output. Argument Ada sources may be provided as command line arguments, or you can place the names of the Ada sources to compute the metrics for into a tex- tual file and to provide the name of this file as the parameter of -files option. OPTIONS
-v verbose mode -q quiet mode -dv generate debug output -dd generate string to be used as input for progress indicator -nocc do not compute the McCabe Cyclomatic Complexity -noec do not compute the Essential Complexity -nonl do not compute maximal loop nesting level -ne do not consider exit statements as gotos when computing Essential Complexity -nolocal do not compute detailed metrics for local program units Line metrics When not specified explicitly, all line metrics are set on, otherwise only specified metrics are computed: -la the number of all lines -lcode the number of code lines -lcomm the number of comment lines -leol the number of code lines also containing comments -lb the number of blank lines Element metrics When not specified explicitly, all element metrics are set on, otherwise only specified metrics are computed: -ed the total number of declarations -es the total number of statements -eps the number of public subprograms in a compilation unit -eas the number of all the subprograms in a compilation unit -ept the number of public types in a compilation unit -eat the number of all the types in a compilation unit -enu the maximal program unit nesting level -ec the maximal construct nesting level Output file control -d dirname put files with detailed metrics into dirname -x generate the XML output -nt do not generate the output in text form, implies '-x' -o file-suffix the suffix for the file to put the detailed metrics for a source file (file-suffix should begin with a dot) -og filename the name of the file to put the global metrics info into (if not set, this info is sent to Stdout) -ox filename the name of the file to put the XML output into, implies '-x' -sfn use short source file name in the output Input files filename the name of the Ada source file for which metrics should be computed. Wildcards are allowed. -files filename the name of the text file containing a list of Ada source files for which metrics should be computed. GCC switches gcc_switches Passed to gnatgcc as "-cargs gcc_switches". AUTHOR
ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the Software Engineering Laboratory of the Swiss Federal Institute of Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the Scientific Research Computer Center of Moscow State University (SRCC MSU), Russia, with funding partially provided by grants from the Swiss National Science Foundation and the Swiss Academy of Engineer- ing Sciences. ASIS-for-GNAT is now maintained by AdaCore (http://www.adacore.com). This manual page was written by Ludovic Brenta <ludovic@ludovic-brenta.org> for the Debian project, from the gnatmetric sources. COPYRIGHT
Copyright (c) 1995-2006, Free Software Foundation, Inc. SEE ALSO
asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatpp(1), gnatstub(1) /usr/share/doc/asis-programs/README.gnatmetric info asis_ug ASIS-for-GNAT User's Guide, provided by by package libasis-doc in the Info system, and in text, PDF and HTML formats in /usr/share/doc/libasis-doc. (asis-doc is in the non-free sec- tion of Debian). info asis_rm ASIS-for-GNAT Reference Manual, same package. GNU Ada Tools June 2006 GNATMETRIC(1)