| (++) [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.
|
A | |
| add [ReportStat] | add x y returns the sum of statistics x and y.
|
| all_point_kinds [Common] |
The list of all point kinds, in ascending order.
|
C | |
| char_of_point_kind [Common] |
Conversion from point kind into 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.
|
| 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.
|
F | |
| files [ReportArgs] |
Files to gather (runtime data).
|
I | |
| init [Runtime] | init file indicates that the file file is part of the application that
has been instrumented.
|
M | |
| make [ReportXML] |
Returns a converter for XML output.
|
| make [ReportText] |
Returns a converter for bare text output.
|
| make [ReportStat] |
Returns empty statistics for all point kinds.
|
| make [ReportCSV] |
Returns a converter for CSV output, the passed string being the separator.
|
| make_emma [ReportXML] |
Returns a converter for XML output, using EMMA format.
|
| mark [Runtime] | mark file point indicates that the point identified by the integer
point in the file file has been visited.
|
| 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 either both files
are either opened or 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,
and resolver associates the actual path to a given filename.
|
| 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 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]).
|
| 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.
|
T | |
| tab_size [ReportArgs] |
Tabulation size (HTML only).
|
| title [ReportArgs] |
Page title (HTML only).
|
| 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 | |
| verbose [ReportArgs] |
Whether verbose mode is activated.
|
| version [ReportUtils] |
The Bisect version, as a string.
|
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.
|