Index of modules


C
Compute_impact
Initial

D
DatatypeReason [Reason_graph]
Dot [Reason_graph]

E
E [Reason_graph.Printer]

H
Hashtbl [Datatype.S_with_collections]

I
Impact
Impact analysis.

K
Key [Datatype.Hashtbl]
Datatype for the keys of the hashtbl.
Key [Datatype.Map]
Datatype for the keys of the map.

M
Make [Datatype.Hashtbl]
Build a datatype of the hashtbl according to the datatype of values in the hashtbl.
Make [Datatype.Map]
Build a datatype of the map according to the datatype of values in the map.
Map [Datatype.S_with_collections]

N
NS [Pdg_aux]
Sets of pairs Node.t * Zone.t, with a special semantics for zones: add n z (add n z' empty) results in (n, Zone.join z z') instead of a set with two different elements.
NodeSet [Reason_graph]

O
Options
Use pragmas of given function.

P
Pdg_aux
Useful functions that are not directly accessible through the other Pdg modules.
Pragma [Options]
Use pragmas of given function.
Print [Options]
Print the impacted stmt on stdout.
Printer [Reason_graph]

R
Reason [Reason_graph]
Reasons for impact are expressed as sets (n', n, reason)
Reason [Options]
Build the graphs that explains why a node is impacted.
ReasonType [Reason_graph]
Reason_graph
Why is a node impacted.
Register
Register [Impact]
Impact analysis.
Register_gui
Extension of the GUI for the impact plugin.

S
Set [Datatype.S_with_collections]
Skip [Options]
Consider that the variables in the string are not impacted
Slicing [Options]
Slicing from the impacted stmt.

U
Upward [Options]
Also compute impact within callers

V
V [Reason_graph.Printer]