VirtualCFG::CFGPath Class Reference

#include <virtualCFG.h>

Public Member Functions
	CFGPath (CFGEdge e)
	CFGPath (const CFGPath &a, const CFGPath &b)
	CFGPath ()
std::string	toString () const
std::string	toStringForDebugging () const
std::string	id () const
CFGNode	source () const
CFGNode	target () const
EdgeConditionKind	condition () const
SgExpression *	caseLabel () const
SgExpression *	conditionBasedOn () const
std::vector< SgInitializedName * >	scopesBeingExited () const
std::vector< SgInitializedName * >	scopesBeingEntered () const
bool	operator== (const CFGPath &o) const
bool	operator!= (const CFGPath &o) const
bool	operator< (const CFGPath &o) const
	An arbitrary order, so we can use this in std::set and std::map. More...
const std::vector< CFGEdge > &	getEdges () const
	Returns the edges in the path, starting at the source and ending at the target. More...

Private Attributes
std::vector< CFGEdge >	edges

Detailed Description

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.

Definition at line 154 of file virtualCFG.h.

Constructor & Destructor Documentation

VirtualCFG::CFGPath::CFGPath ( CFGEdge  e)

inline

Definition at line 159 of file virtualCFG.h.

VirtualCFG::CFGPath::CFGPath ( const CFGPath &  a, const CFGPath &  b  )

inline

Definition at line 161 of file virtualCFG.h.

References edges.

VirtualCFG::CFGPath::CFGPath ( )

inline

Definition at line 169 of file virtualCFG.h.

Member Function Documentation

std::string VirtualCFG::CFGPath::toString

(

)

const

Referenced by VirtualCFG::DataflowEdge::toString(), VirtualCFG::FilteredCFGEdge< FilterFunction >::toString(), and VirtualCFG::InterestingEdge::toString().

std::string VirtualCFG::CFGPath::toStringForDebugging

(

)

const

Referenced by VirtualCFG::DataflowEdge::toStringForDebugging(), VirtualCFG::FilteredCFGEdge< FilterFunction >::toStringForDebugging(), and VirtualCFG::InterestingEdge::toStringForDebugging().

std::string VirtualCFG::CFGPath::id

(

)

const

Referenced by VirtualCFG::DataflowEdge::id(), VirtualCFG::FilteredCFGEdge< FilterFunction >::id(), and VirtualCFG::InterestingEdge::id().

CFGNode VirtualCFG::CFGPath::source ( ) const

inline

Definition at line 177 of file virtualCFG.h.

References edges.

Referenced by VirtualCFG::FilteredCFGNode< FilterFunction >::inEdges(), VirtualCFG::DataflowEdge::source(), VirtualCFG::FilteredCFGEdge< FilterFunction >::source(), and VirtualCFG::InterestingEdge::source().

CFGNode VirtualCFG::CFGPath::target ( ) const

inline

Definition at line 179 of file virtualCFG.h.

References edges.

Referenced by VirtualCFG::FilteredCFGNode< FilterFunction >::outEdges(), VirtualCFG::DataflowEdge::target(), VirtualCFG::FilteredCFGEdge< FilterFunction >::target(), and VirtualCFG::InterestingEdge::target().

EdgeConditionKind VirtualCFG::CFGPath::condition ( ) const

inline

Definition at line 181 of file virtualCFG.h.

References VirtualCFG::eckUnconditional, and edges.

Referenced by VirtualCFG::DataflowEdge::condition(), VirtualCFG::FilteredCFGEdge< FilterFunction >::condition(), and VirtualCFG::InterestingEdge::condition().

SgExpression* VirtualCFG::CFGPath::caseLabel ( ) const

inline

Definition at line 189 of file virtualCFG.h.

References edges.

Referenced by VirtualCFG::DataflowEdge::caseLabel(), VirtualCFG::FilteredCFGEdge< FilterFunction >::caseLabel(), and VirtualCFG::InterestingEdge::caseLabel().

SgExpression* VirtualCFG::CFGPath::conditionBasedOn ( ) const

inline

Definition at line 196 of file virtualCFG.h.

References edges.

Referenced by VirtualCFG::DataflowEdge::conditionBasedOn(), and VirtualCFG::InterestingEdge::conditionBasedOn().

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

inline

Definition at line 203 of file virtualCFG.h.

References edges.

Referenced by VirtualCFG::DataflowEdge::scopesBeingExited(), VirtualCFG::FilteredCFGEdge< FilterFunction >::scopesBeingExited(), and VirtualCFG::InterestingEdge::scopesBeingExited().

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

inline

Definition at line 211 of file virtualCFG.h.

References edges.

Referenced by VirtualCFG::DataflowEdge::scopesBeingEntered(), VirtualCFG::FilteredCFGEdge< FilterFunction >::scopesBeingEntered(), and VirtualCFG::InterestingEdge::scopesBeingEntered().

bool VirtualCFG::CFGPath::operator== ( const CFGPath &  o) const

inline

Definition at line 219 of file virtualCFG.h.

References edges.

bool VirtualCFG::CFGPath::operator!= ( const CFGPath &  o) const

inline

Definition at line 220 of file virtualCFG.h.

References edges.

bool VirtualCFG::CFGPath::operator< ( const CFGPath &  o) const

inline

An arbitrary order, so we can use this in std::set and std::map.

Definition at line 223 of file virtualCFG.h.

References edges.

const std::vector<CFGEdge>& VirtualCFG::CFGPath::getEdges ( ) const

inline

Returns the edges in the path, starting at the source and ending at the target.

Definition at line 236 of file virtualCFG.h.

References edges.

Member Data Documentation

std::vector<CFGEdge> VirtualCFG::CFGPath::edges

private

Definition at line 155 of file virtualCFG.h.

Referenced by caseLabel(), CFGPath(), condition(), conditionBasedOn(), getEdges(), operator!=(), operator<(), operator==(), scopesBeingEntered(), scopesBeingExited(), source(), and target().

---

The documentation for this class was generated from the following file:

• virtualCFG.h