VirtualCFG::FilteredCFGEdge

Synopsis

Declared in <SageIII/virtualCFG/filteredCFG.h>

template<typename FilterFunction>
class FilteredCFGEdge;

Member Functions

Name	Description
FilteredCFGEdge [constructor]	Need a default constructor to use with graph wrappers. Underlying path will be invalid.
caseLabel
condition
getPath	The underlying path in the full CFG represented by this edge in the filtered CFG.
id
scopesBeingEntered
scopesBeingExited
setFilter
source
target
toString
toStringForDebugging
operator==	Equality operators
operator!=	Inequality operators
operator<	Less‐than operators

Private Data Members

Name

filter

p

Created with MrDocs