Public Member Functions | List of all members
VirtualCFG::FilteredCFGEdge< FilterFunction > Class Template Reference


template<typename FilterFunction>
class VirtualCFG::FilteredCFGEdge< FilterFunction >

Definition at line 13 of file filteredCFG.h.

Public Member Functions

 FilteredCFGEdge (CFGPath p)
 FilteredCFGEdge ()
 Need a default constructor to use with boost_graph. More...
void setFilter (const FilterFunction &f)
std::string toString () const
std::string toStringForDebugging () const
std::string id () const
FilteredCFGNode< FilterFunction > source () const
FilteredCFGNode< FilterFunction > target () const
EdgeConditionKind condition () const
SgExpressioncaseLabel () const
std::vector< SgInitializedName * > scopesBeingExited () const
std::vector< SgInitializedName * > scopesBeingEntered () const
bool operator== (const FilteredCFGEdge< FilterFunction > &o) const
bool operator!= (const FilteredCFGEdge< FilterFunction > &o) const
bool operator< (const FilteredCFGEdge< FilterFunction > &o) const
const CFGPathgetPath () const
 The underlying path in the full CFG represented by this edge in the filtered CFG.

Constructor & Destructor Documentation

template<typename FilterFunction>
VirtualCFG::FilteredCFGEdge< FilterFunction >::FilteredCFGEdge ( )

Need a default constructor to use with boost_graph.

Underlying path will be invalid.

Definition at line 93 of file filteredCFG.h.

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