C | |
| call_interface [Pdg_aux] |
Abstract view of a call frontier.
|
N | |
| node [Pdg_aux] |
Refinement of a PDG node: we add an indication of which zone is really
impacted
|
| nodes [Compute_impact] | |
| nodes_origin [Reason_graph] | |
R | |
| reason [Reason_graph] | |
| reason_graph [Reason_graph] | |
| reason_type [Reason_graph] |
Why is a node impacted.
|
| result [Compute_impact] | |
T | |
| t [Reason_graph.Printer.E] | |
| t [Reason_graph.Printer.V] | |
| t [Reason_graph.Printer] |