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] |