This module allows the batch reporting of coverage analysis. Beforehand the module tracker needs to be used to produce the coverage analysis. The predicate cover_batch/1 can then be used to generate a number of files that list and summarize the results in HTML format. The reporting tool makes an additional assumption about the source names:
source --> package "/" module.
The first level HTML page will thus present the analysis grouped by packages. The second level HTML page will thus present the analysis of a package grouped by modules. The current implementation shows hit and miss counts not only as numbers but also as coloured bars. Furthermore links to the original source clauses will be generated.
The following cover predicates are provided: