Index of values

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]

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.

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".

dtd [ReportXML]

The DTD defining the XML output.

eval [Combine]

eval s parses and evaluates expression s, returning a data set.

fail [CombineLexer]

files [ReportArgs]

Files to gather (runtime data).

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.

make [ReportDump]

Returns a converter for dump output.

make [ReportStat]

Returns empty statistics for all point kinds.

make [ReportXMLEmma]

Returns a converter for XML output, using EMMA format.

make [ReportXML]

Returns a converter for XML 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.

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.

no_folding [ReportArgs]

Whether folding is disabled (HTML only).

no_navbar [ReportArgs]

Whether navigation bar is disabled (HTML only).

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.

parse [ReportArgs]

Parses the command-line.

point_kind_of_char [Common]

Conversion from (lowercase) character into point kind.

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.

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).

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.

update [ReportStat]

update stats k b updates stats for point kind k.

url [ReportUtils]

The Bisect URL, as a string.

value [Version]

The current version of Bisect as a string.

verbose [ReportArgs]

Whether verbose mode is activated.

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.


(++) [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 [ReportDump]	Returns a converter for dump output.
make [ReportStat]	Returns empty statistics for all point kinds.
make [ReportXMLEmma]	Returns a converter for XML output, using EMMA format.
make [ReportXML]	Returns a converter for XML 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.
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.