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