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 : Report_utils.counts -> 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 : 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.