GNATCHECK(1) | ASIS Tools | GNATCHECK(1) |
gnatcheck - GNAT rule checking tool
gnatcheck [OPTION]... filename [-cargs gcc_switches] [-rules rule_switches]
gnatcheck [OPTION]... -files=filename [-cargs gcc_switches] [-rules rule_switches]
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.
rule_id is any of the rules listed with the -h option.
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.
2014-08-09 | Debian GNU/Linux |