A | |
all_point_kinds [Common] |
The list of all point kinds, in ascending order.
|
C | |
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 .
|
I | |
init [Runtime] | init file indicates that the file file is part of the application that
has been instrumented.
|
M | |
mark [Runtime] | mark file point indicates that the point identified by the integer
point in the file file has been visited.
|
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 | |
string_of_point_kind [Common] |
Conversion from point kind into 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.
|