2.4. gnatcheck module
GNAThub plug-in for the GNATcheck command-line tool.
It exports the GNATcheck class which implements the GNAThub.Plugin
interface. This allows GNAThub’s plug-in scanner to automatically find this
module and load it as part of the GNAThub default execution.
- class gnatcheck.GNATcheck[source]
Bases:
Plugin
,Runner
,Reporter
GNATcheck plugin for GNAThub.
Configures and executes GNATcheck, then analyzes the output.
- VALID_EXIT_CODES = (0, 1)