(++) [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.
|