Module ReportXML


module ReportXML: sig .. end
This module defines the output to XML.

val dtd : string list
The dtd defining the XML output.
val make : unit -> ReportGeneric.converter
Returns a converter for XML output.
val make_emma : unit -> ReportGeneric.converter
Returns a converter for XML output, using EMMA format.

EMMA is a Java code coverage available at http://emma.sourceforge.net/. The returned converter only outputs overall statistics, and generated files are intended to be used by reporintg tools like the EMMA plugin for the Hudson continuous integration server (available at http://hudson-ci.org/).