module Dive_types:sig
..end
type
node_kind =
| |
Scalar of |
| |
Composite of |
| |
Scattered of |
| |
Unknown of |
| |
Alarm of |
| |
AbsoluteMemory |
| |
String of |
| |
Error of |
typecallstack =
Callstack.t
type
node_locality = {
|
loc_file : |
|
loc_callstack : |
}
type
node_range =
| |
Empty |
| |
Singleton |
| |
Normal of |
| |
Wide |
type 'a
computation =
| |
NotDone |
| |
Partial of |
| |
Done |
type
node = {
|
node_key : |
|
node_kind : |
|
node_locality : |
|
mutable node_is_root : |
|
mutable : |
|
mutable node_values : |
|
mutable node_range : |
|
mutable node_writes_computation : |
|
mutable node_reads_computation : |
|
mutable node_writes_stmts : |
}
type
dependency_kind =
| |
Callee |
| |
Data |
| |
Address |
| |
Control |
| |
Composition |
type
dependency = {
|
dependency_key : |
|
dependency_kind : |
|
mutable dependency_origins : |
}
type
graph_diff = {
|
last_root : |
|
added_nodes : |
|
removed_nodes : |
}
type 'a
range = {
|
backward : |
|
forward : |
}
type
window = {
|
perception : |
|
horizon : |
}