Class type ReportGeneric.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 : ReportStat.all -> 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 : ReportStat.all -> string

Should return the file summary for passed statistics.

method point : int -> int -> Common.point_kind -> string

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