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