VirtualCFG::CFGPath Class Reference

#include <virtualCFG.h>

List of all members.


Detailed Description

For internal use only.

A CFG path is a set of connected CFG edges; condition and variable information is combined across the edges in the path. Paths are used as parts of edges in filtered views of the CFG. They implement almost the same functions as CFG edges, and their functions are just forwarded to by filtered edge methods. This is an internal class.


Public Member Functions

 CFGPath (CFGEdge e)
 CFGPath (const CFGPath &a, const CFGPath &b)
std::string toString () const
std::string toStringForDebugging () const
std::string id () const
CFGNode source () const
CFGNode target () const
EdgeConditionKind condition () const
SgExpressioncaseLabel () const
SgExpressionconditionBasedOn () const
std::vector< SgInitializedName * > scopesBeingExited () const
std::vector< SgInitializedName * > scopesBeingEntered () const
bool operator== (const CFGPath &o) const
bool operator!= (const CFGPath &o) const

Private Attributes

std::vector< CFGEdgeedges


Constructor & Destructor Documentation

VirtualCFG::CFGPath::CFGPath ( CFGEdge  e  )  [inline]

VirtualCFG::CFGPath::CFGPath ( const CFGPath a,
const CFGPath b 
) [inline]


Member Function Documentation

std::string VirtualCFG::CFGPath::toString (  )  const

std::string VirtualCFG::CFGPath::toStringForDebugging (  )  const

std::string VirtualCFG::CFGPath::id (  )  const

CFGNode VirtualCFG::CFGPath::source (  )  const [inline]

CFGNode VirtualCFG::CFGPath::target (  )  const [inline]

EdgeConditionKind VirtualCFG::CFGPath::condition (  )  const [inline]

SgExpression* VirtualCFG::CFGPath::caseLabel (  )  const [inline]

SgExpression* VirtualCFG::CFGPath::conditionBasedOn (  )  const [inline]

std::vector<SgInitializedName*> VirtualCFG::CFGPath::scopesBeingExited (  )  const [inline]

std::vector<SgInitializedName*> VirtualCFG::CFGPath::scopesBeingEntered (  )  const [inline]

bool VirtualCFG::CFGPath::operator== ( const CFGPath o  )  const [inline]

bool VirtualCFG::CFGPath::operator!= ( const CFGPath o  )  const [inline]


Member Data Documentation

std::vector<CFGEdge> VirtualCFG::CFGPath::edges [private]


The documentation for this class was generated from the following file:
Generated on Mon Aug 30 21:43:28 2010 for ROSE by  doxygen 1.4.7