| ROSE 0.11.145.354
    | 
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.