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