| (++) [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 [ReportXML] |
Returns a converter for XML 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 [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 [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.
|