Class CFGPath

• Defined in File virtualCFG.h

Class Documentation

class CFGPath

Public Functions

inline CFGPath(CFGEdge e)

inline CFGPath(const CFGPath &a, const CFGPath &b)

inline CFGPath()

std::string toString() const

std::string toStringForDebugging() const

std::string id() const

inline CFGNode source() const

inline CFGNode target() const

inline EdgeConditionKind condition() const

inline SgExpression *caseLabel() const

inline SgExpression *conditionBasedOn() const

inline std::vector<SgInitializedName*> scopesBeingExited() const

inline std::vector<SgInitializedName*> scopesBeingEntered() const

inline bool operator==(const CFGPath &o) const

inline bool operator!=(const CFGPath &o) const

inline bool operator<(const CFGPath &o) const

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

inline const std::vector<CFGEdge> &getEdges() const

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