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.
(--) [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 difference of the passed arrays, using (--) to subtract elements.
__ocaml_lex_comment_rec [CombineLexer]
__ocaml_lex_string_rec [CombineLexer]
__ocaml_lex_tables [CombineLexer]
__ocaml_lex_token_rec [CombineLexer]

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

C
char_of_point_kind [Common]
Conversion from point kind into (lowercase) character.
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.
combine_expr [ReportArgs]
Expression used to combine data files.
comment [CombineLexer]
current_time [ReportUtils]
Returns the current time as a string, using the following format: "2001-01-01 01:01:01".

D
dtd [ReportXML]
The DTD defining the XML output.

E
eval [Combine]
eval s parses and evaluates expression s, returning a data set.

F
fail [CombineLexer]
files [ReportArgs]
Files to gather (runtime data).

I
incr_line [CombineLexer]
init [Runtime]
init file indicates that the file file is part of the application that has been instrumented.
init_with_array [Runtime]
init file marks unsafe indicates that the file file is part of the application that has been instrumented, using the passed array marks to store marks.

M
make [ReportStat]
Returns empty statistics for all point kinds.
make [ReportXMLEmma]
Returns a converter for XML output, using EMMA format.
make [ReportDump]
Returns a converter for dump output.
make [ReportCSV]
Returns a converter for CSV output, the passed string being the separator.
make [ReportText]
Returns a converter for bare text output, the passed boolean indicates whether only summary should be output.
make [ReportXML]
Returns a converter for XML output.
mark [Runtime]
mark file point indicates that the point identified by the integer point in the file file has been visited.
mark_array [Runtime]
mark_array file points is equivalent to Array.iter (mark file) points.
mkdirs [ReportUtils]
Creates the directory whose path is passed, and all necessary parent directories.

N
no_folding [ReportArgs]
Whether folding is disabled (HTML only).
no_navbar [ReportArgs]
Whether navigation bar is disabled (HTML only).

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 files are either both opened or both closed.
output [ReportGeneric]
output verbose file conv resolver data writes the element for data to file file using conv for data conversion, verbose for verbose output.
output [ReportHTML]
output verbose dir tab_size title no_navbar no_folding resolver data writes all the HTML files for data in the directory dir.
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.
outputs [ReportArgs]
Selected output kinds.

P
parse [ReportArgs]
Parses the command-line.
point_kind_of_char [Common]
Conversion from (lowercase) character into point kind.

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
search_path [ReportArgs]
Search path for files.
separator [ReportArgs]
Separator (CSV only).
split [ReportUtils]
split p [e1; ...; en] returns ([e1; ...; e(i-1)], [ei; ...; en]) where i 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]).
start [CombineParser]
string [CombineLexer]
string_of_error [Combine]
Converts the passed error into a string.
string_of_error [CombineLexer]
string_of_point_kind [Common]
Conversion from point kind into string.
sum [ReportStat]
sum l is a fold over l elements with function add, using the value returned by make as the initial value.
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.
summary_only [ReportArgs]
Whether to ouput onlly summary (text only).

T
tab_size [ReportArgs]
Tabulation size (HTML only).
title [ReportArgs]
Page title (HTML only).
to_string [CombineAST]
Converts the passed expression into a string.
token [CombineLexer]
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
value [Version]
The current version of Bisect as a string.
verbose [ReportArgs]
Whether verbose mode is activated.

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.