VirtualCFG::FilteredCFGEdge< FilterFunction > Class Template Reference

Description

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

Definition at line 82 of file filteredCFG.h.

Public Member Functions
	FilteredCFGEdge (CFGPath p)
	FilteredCFGEdge ()
	Need a default constructor to use with boost_graph.
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
SgExpression *	caseLabel () 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 CFGPath &	getPath () const
	The underlying path in the full CFG represented by this edge in the filtered CFG.

Constructor & Destructor Documentation

FilteredCFGEdge() [1/2]

template<typename FilterFunction >

VirtualCFG::FilteredCFGEdge< FilterFunction >::FilteredCFGEdge ( CFGPath  p )

inline

Definition at line 88 of file filteredCFG.h.

FilteredCFGEdge() [2/2]

template<typename FilterFunction >

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

inline

Need a default constructor to use with boost_graph.

Underlying path will be invalid.

Definition at line 93 of file filteredCFG.h.

Member Function Documentation

setFilter()

template<typename FilterFunction >

void VirtualCFG::FilteredCFGEdge< FilterFunction >::setFilter ( const FilterFunction &  f )

inline

Definition at line 97 of file filteredCFG.h.

toString()

template<typename FilterFunction >

std::string VirtualCFG::FilteredCFGEdge< FilterFunction >::toString ( ) const

inline

Definition at line 102 of file filteredCFG.h.

toStringForDebugging()

template<typename FilterFunction >

std::string VirtualCFG::FilteredCFGEdge< FilterFunction >::toStringForDebugging ( ) const

inline

Definition at line 106 of file filteredCFG.h.

id()

template<typename FilterFunction >

std::string VirtualCFG::FilteredCFGEdge< FilterFunction >::id ( ) const

inline

Definition at line 110 of file filteredCFG.h.

source()

template<typename FilterFunction >

FilteredCFGNode< FilterFunction > VirtualCFG::FilteredCFGEdge< FilterFunction >::source ( ) const

inline

Definition at line 114 of file filteredCFG.h.

target()

template<typename FilterFunction >

FilteredCFGNode< FilterFunction > VirtualCFG::FilteredCFGEdge< FilterFunction >::target ( ) const

inline

Definition at line 118 of file filteredCFG.h.

condition()

template<typename FilterFunction >

EdgeConditionKind VirtualCFG::FilteredCFGEdge< FilterFunction >::condition ( ) const

inline

Definition at line 122 of file filteredCFG.h.

caseLabel()

template<typename FilterFunction >

SgExpression * VirtualCFG::FilteredCFGEdge< FilterFunction >::caseLabel ( ) const

inline

Definition at line 126 of file filteredCFG.h.

scopesBeingExited()

template<typename FilterFunction >

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

inline

Definition at line 130 of file filteredCFG.h.

scopesBeingEntered()

template<typename FilterFunction >

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

inline

Definition at line 134 of file filteredCFG.h.

operator==()

template<typename FilterFunction >

bool VirtualCFG::FilteredCFGEdge< FilterFunction >::operator== ( const FilteredCFGEdge< FilterFunction > &  o ) const

inline

Definition at line 138 of file filteredCFG.h.

operator!=()

template<typename FilterFunction >

bool VirtualCFG::FilteredCFGEdge< FilterFunction >::operator!= ( const FilteredCFGEdge< FilterFunction > &  o ) const

inline

Definition at line 142 of file filteredCFG.h.

operator<()

template<typename FilterFunction >

bool VirtualCFG::FilteredCFGEdge< FilterFunction >::operator< ( const FilteredCFGEdge< FilterFunction > &  o ) const

inline

Definition at line 146 of file filteredCFG.h.

getPath()

template<typename FilterFunction >

const CFGPath & VirtualCFG::FilteredCFGEdge< FilterFunction >::getPath ( ) const

inline

The underlying path in the full CFG represented by this edge in the filtered CFG.

Definition at line 152 of file filteredCFG.h.

---

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

• filteredCFG.h