(++) [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 [ReportText] |
Returns a converter for bare text output, the passed boolean indicates
whether only summary should be output.
|
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 [ReportStat] |
Returns empty statistics for all point kinds.
|
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 [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.
|