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