Class type Report_generic.converter

class type converter = object .. end

The class type defining a generic output.

method header : string

Should return the overall header for output.

method footer : string

Should return the overall footer for output.

method summary : Report_utils.counts -> string

Should return the overall summary for passed statistics.

method file_header : string -> string

Should return the header for passed file.

method file_footer : string -> string

Should return the footer for passed file.

method file_summary : Report_utils.counts -> string

Should return the file summary for passed statistics.

method point : int -> int -> string

point o n k should return the output for a given point, o being the offset, and n the number of visits.