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 [ReportCSV]

Returns a converter for CSV output, the passed string being the separator.

make [ReportDump]

Returns a converter for dump output.

make [ReportXMLEmma]

Returns a converter for XML output, using EMMA format.

make [ReportXML]

Returns a converter for XML output.

make [ReportText]

Returns a converter for bare text output, the passed boolean indicates whether only summary should be output.

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.

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 [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 [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_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 [CombineLexer]
string_of_error [Combine]

Converts the passed error into a string.

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.