Index of modules


C
Compute_impact
Computation of the PDG nodes that are impacted by the "execution" of some initial PDG nodes.

D
DatatypeReason [Reason_graph]
Dot [Reason_graph]

E
E [Reason_graph.Printer]
Enabled [Register_gui]

F
FollowFocus [Register_gui]

H
Hashtbl [Datatype.S_with_collections]
Highlighted_stmt [Register_gui]

I
ImpactedNodes [Register_gui]
InitialNodes [Register_gui]

K
KFM [Compute_impact]
KFS [Compute_impact]
Key [Datatype.Hashtbl]
Datatype for the keys of the hashtbl.
Key [Datatype.Map]
Datatype for the keys of the map.
KfKfCall [Compute_impact]

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
NM [Compute_impact]
NS [Compute_impact]
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
find_call_input_nodes pdg_caller s ?z input find all the nodes of pdg_caller that define the pdg input input above the call statement s.
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.
ReasonGraph [Register_gui]
ReasonType [Reason_graph]
Reason_graph
Why is a node impacted.
Register
Register_gui
Extension of the GUI for the impact plugin.

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

U
Upward [Options]
Also compute impact within callers

V
V [Reason_graph.Printer]