ROSE 0.11.145.192
|
A control flow edge connecting two CFG nodes, with an edge condition to indicate edge types.
Definition at line 111 of file virtualCFG.h.
#include <virtualCFG/virtualCFG.h>
Public Member Functions | |
CFGEdge (CFGNode src, CFGNode tgt) | |
Constructor. | |
CFGEdge () | |
Default constructor. Used for compatibility with containers. | |
std::string | toString () const |
Pretty string for Dot node labels, etc. | |
std::string | toStringForDebugging () const |
String for debugging graphs. | |
std::string | id () const |
ID to use for Dot, etc. | |
CFGNode | source () const |
The source (beginning) CFG node. | |
CFGNode | target () const |
The target (ending) CFG node. | |
EdgeConditionKind | condition () const |
The control flow condition that enables this edge. | |
SgExpression * | caseLabel () const |
The label of the case represented by an eckCaseLabel edge. | |
unsigned int | computedGotoCaseIndex () const |
The expression of the computed goto represented by the eckArithmeticIf* conditions. | |
SgExpression * | conditionBasedOn () const |
The test or case key that is tested as a condition of this control flow edge. | |
std::vector< SgInitializedName * > | scopesBeingExited () const |
Variables going out of scope across this edge (not extensively tested) | |
std::vector< SgInitializedName * > | scopesBeingEntered () const |
Variables coming into scope across this edge (not extensively tested) | |
bool | operator== (const CFGEdge &o) const |
Compare equality of edges. | |
bool | operator!= (const CFGEdge &o) const |
Compare disequality of edges. | |
bool | operator< (const CFGEdge &o) const |
operator<() has an arbitrary ordering, but allows these objects to be used with std::set and std::map | |
Constructor.
Definition at line 115 of file virtualCFG.h.
References VirtualCFG::CFGNode::getNode().
|
inline |
Default constructor. Used for compatibility with containers.
Definition at line 118 of file virtualCFG.h.
|
inline |
The source (beginning) CFG node.
Definition at line 127 of file virtualCFG.h.
|
inline |
The target (ending) CFG node.
Definition at line 129 of file virtualCFG.h.
|
inline |
Compare equality of edges.
Definition at line 143 of file virtualCFG.h.
|
inline |
Compare disequality of edges.
Definition at line 145 of file virtualCFG.h.
|
inline |
operator<() has an arbitrary ordering, but allows these objects to be used with std::set and std::map
Definition at line 148 of file virtualCFG.h.