Template Class FilteredCFGEdge#
Defined in File filteredCFG.h
Class Documentation#
-
template<typename FilterFunction>
class FilteredCFGEdge# Public Functions
-
inline FilteredCFGEdge()#
Need a default constructor to use with boost_graph.
Underlying path will be invalid.
-
inline void setFilter(const FilterFunction &f)#
-
inline std::string toString() const#
-
inline std::string toStringForDebugging() const#
-
inline std::string id() const#
-
inline FilteredCFGNode<FilterFunction> source() const#
-
inline FilteredCFGNode<FilterFunction> target() const#
-
inline EdgeConditionKind condition() const#
-
inline SgExpression *caseLabel() const#
-
inline std::vector<SgInitializedName*> scopesBeingExited() const#
-
inline std::vector<SgInitializedName*> scopesBeingEntered() const#
-
inline bool operator==(const FilteredCFGEdge<FilterFunction> &o) const#
-
inline bool operator!=(const FilteredCFGEdge<FilterFunction> &o) const#
-
inline bool operator<(const FilteredCFGEdge<FilterFunction> &o) const#
-
inline const CFGPath &getPath() const#
The underlying path in the full CFG represented by this edge in the filtered CFG.
-
inline FilteredCFGEdge(CFGPath p)
-
inline std::string toString() const
-
inline std::string toStringForDebugging() const
-
inline std::string id() const
-
inline FilteredCFGNode<FilterFunction> source() const
-
inline FilteredCFGNode<FilterFunction> target() const
-
inline EdgeConditionKind condition() const
-
inline SgExpression *caseLabel() const
-
inline std::vector<SgInitializedName*> scopesBeingExited() const
-
inline std::vector<SgInitializedName*> scopesBeingEntered() const
-
inline bool operator==(const FilteredCFGNode<FilterFunction> &o) const#
-
inline bool operator!=(const FilteredCFGNode<FilterFunction> &o) const#
-
inline bool operator<(const FilteredCFGNode<FilterFunction> &o) const#
-
inline FilteredCFGEdge()#