| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
gnatcheck
The gnatcheck tool is an ASIS-based utility that checks properties
of Ada source files according to a given set of semantic rules.
In order to check compliance with a given rule, gnatcheck has to
semantically analyze the Ada sources.
Therefore, checks can only be performed on
legal Ada units. Moreover, when a unit depends semantically upon units located
outside the current directory, the source search path has to be provided when
calling gnatcheck, either through a specified project file or
through gnatcheck switches.
For full details, refer to GNATcheck Reference Manual document.
| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |