Index of modules

C
Compute_impact
D
DatatypeReason [Reason_graph]
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.

O
Options
P
Pdg_aux
Pragma [Options]

Use pragmas of given function.

Print [Options]

Print the impacted stmt on stdout.

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