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