Gnatcheck Reference Manual

The gnatcheck tool in GNAT Pro can be used to enforce coding conventions by analyzing Ada source programs with respect to a set of rules supplied at tool invocation. This manual describes the complete set of predefined rules that gnatcheck can take as input.

Gnatcheck Reference Manual live docs »

Last Updated: 3/1/2021
Posted on: 8/25/2017