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
