2.5. gnatcoverage module

GNAThub plug-in for the GNATcoverage command-line tool.

It exports the GNATcoverage 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 gnatcoverage.GNATcoverage

Bases: Plugin, Reporter

GNATcoverage plugin for GNAThub.

Parse the XML coverage report from the project root object directory.

__init__()

Initialize instance properties.

report()

Analyse the report files generated by GNATcoverage.

Finds the XML report in the object directory and parse it.

Sets the exec_status property according to the success of the analysis:

• GNAThub.EXEC_SUCCESS: on successful execution and analysis

• GNAThub.EXEC_FAILURE: on any error