VirtualCFG::CFGPath

Synopsis

Declared in <SageIII/virtualCFG/virtualCFG.h>

class CFGPath;

Member Functions

Name	Description
CFGPath [constructor]	Constructors
caseLabel
condition
conditionBasedOn
getEdges	Returns the edges in the path, starting at the source and ending at the target
id
scopesBeingEntered
scopesBeingExited
source
target
toString
toStringForDebugging
operator==	Equality operator
operator!=	Inequality operator
operator<	An arbitrary order, so we can use this in std::set and std::map

Private Data Members

Name

edges

Non-Member Functions

Name	Description
mergePaths
mergePathsReversed

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.

Created with MrDocs