class type converter =object
..end
The class type defining a generic output.
method header : string
Should return the overall header for output.
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.
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.