VirtualCFG::CFGEdge
A control flow edge connecting two CFG nodes, with an edge condition to indicate edge types
Synopsis
Declared in <SageIII/virtualCFG/virtualCFG.h>
class CFGEdge;Member Functions
Name |
Description |
|
Constructors |
The label of the case represented by an eckCaseLabel edge |
|
The expression of the computed goto represented by the eckArithmeticIf* conditions |
|
The control flow condition that enables this edge |
|
The test or case key that is tested as a condition of this control flow edge |
|
ID to use for Dot, etc. |
|
Variables coming into scope across this edge (not extensively tested) |
|
Variables going out of scope across this edge (not extensively tested) |
|
The source (beginning) CFG node |
|
The target (ending) CFG node |
|
Pretty string for Dot node labels, etc. |
|
String for debugging graphs |
|
Compare equality of edges |
|
Compare disequality of edges |
|
operator<() has an arbitrary ordering, but allows these objects to be used with std::set and std::map |