Index of values


(++) [ReportUtils]
Similar to (+) except that overflow is handled by returning: max_int if the result should be above max_int;, min_int if the result should be below min_int.
(+|) [ReportUtils]
Returns the sum of the passed arrays, using (++) to sum elements.

A
add [ReportStat]
add x y returns the sum of statistics x and y.
all_point_kinds [Common]
The list of all point kinds, in ascending order.

C
cmp_file_of_ml_file [Common]
cmp_file_of_ml_file f returns the name of the cmp file associated with the ml file named f.

I
init [Runtime]
init file indicates that the file file is part of the application that has been instrumented.

M
make [ReportStat]
Returns empty statistics for all point kinds.
mark [Runtime]
mark file point indicates that the point identified by the integer point in the file file has been visited.
mkdirs [ReportUtils]
Creates the directory whose path is passed, and all necessary parent directories.

O
open_both [ReportUtils]
open_both in_file out_file return a (i, o) couple where: i is an input channel for in_file;, o is an output channel for out_file. Raises an exception if an error occurs; ensures that either both files are either opened or closed.
output [ReportHTML]
output verbose dir tab_size title no_navbar no_folding data writes all the HTML files for data in the directory dir.
output [ReportGeneric]
output verbose file conv data writes the element for data to file file using conv for data conversion and verbose for verbose output.
output_bytes [ReportUtils]
output_bytes data filename creates the file filename and writes the bytes from data to it.
output_strings [ReportUtils]
output_strings lines mapping ch writes the elements of lines to the channel ch.

R
read_points [Common]
read_points f reads the point definitions associated with the source file named f.
read_runtime_data [Common]
read_runtime_data f reads the runtime data from file f.

S
split [ReportUtils]
split p [e1; ...; en] returns ([e1; ...; e(i-1)], [ei; ...; en]) where is is the lowest index such that (p ei) evaluates to false.
split_after [ReportUtils]
split_after k [e1; ...; en] returns ([e1; ...; ek], [e(k+1); ...; en]).
string_of_point_kind [Common]
Conversion from point kind into string.
sum [ReportStat]
sum l is a fold over l elements with function add.
summarize [ReportStat]
Returns a (count, total) couple where count and total are the sums of respectively all count and all total fields from the passed statistics.

T
try_finally [Common]
try_finally x f h implements the try/finally logic.
try_in_channel [Common]
try_in_channel bin filename f is equivalent to try_finally x f h where: x is an input channel for file filename, (opened in binary mode iff bin is true);, h just closes the input channel. Raises an exception if any error occurs.
try_out_channel [Common]
try_out_channel bin filename f is equivalent to try_finally x f h where: x is an output channel for file filename, (opened in binary mode iff bin is true);, h just closes the output channel. Raises an exception if any error occurs.

U
update [ReportStat]
update stats k b updates stats for point kind k.
url [ReportUtils]
The Bisect URL, as a string.

V
version [ReportUtils]
The Bisect version, as a string.

W
write_points [Common]
write_points oc pts f writes the point definitions pts to the output channel oc using the Bisect file format.
write_runtime_data [Common]
write_runtime_data oc d writes the runtime data d to the output channel oc using the Bisect file format.