Index of modules

C
Compute_impact
D
DatatypeReason [Reason_graph]
Dot [Reason_graph]
E
E [Reason_graph.Printer]
H
Hashtbl [Datatype.S_with_collections]
I
Impact
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
P
Pdg_aux
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
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]