llvm::DOTGraphTraits< ExplodedGraph * > Struct Reference

Inheritance diagram for llvm::DOTGraphTraits< ExplodedGraph * >:

Public Member Functions
	DOTGraphTraits (bool isSimple=false)

Static Public Member Functions
static bool	nodeHasBugReport (const ExplodedNode *N)
static bool	traverseHiddenNodes (const ExplodedNode *N, llvm::function_ref< void(const ExplodedNode *)> PreCallback, llvm::function_ref< void(const ExplodedNode *)> PostCallback, llvm::function_ref< bool(const ExplodedNode *)> Stop)
	PreCallback: callback before break.
static bool	isNodeHidden (const ExplodedNode *N, const ExplodedGraph *G)
static std::string	getNodeLabel (const ExplodedNode *N, ExplodedGraph *G)

Detailed Description

Definition at line 3812 of file ExprEngine.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

llvm::DOTGraphTraits< ExplodedGraph * >::DOTGraphTraits ( bool  isSimple = false )

inline

Definition at line 3813 of file ExprEngine.cpp.

Member Function Documentation

getNodeLabel()

static std::string llvm::DOTGraphTraits< ExplodedGraph * >::getNodeLabel ( const ExplodedNode *  N, ExplodedGraph *  G  )

inlinestatic

Definition at line 3860 of file ExprEngine.cpp.

References clang::ento::ExplodedNode::getID(), clang::ento::ExplodedNode::getLocation(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::ExplodedNode::getState(), clang::ProgramPoint::getTag(), clang::ento::ExplodedNode::isSink(), and clang::ProgramPoint::printJson().

isNodeHidden()

static bool llvm::DOTGraphTraits< ExplodedGraph * >::isNodeHidden ( const ExplodedNode *  N, const ExplodedGraph *  G  )

inlinestatic

Definition at line 3856 of file ExprEngine.cpp.

References clang::ento::ExplodedNode::isTrivial().

nodeHasBugReport()

static bool llvm::DOTGraphTraits< ExplodedGraph * >::nodeHasBugReport ( const ExplodedNode *  N )

inlinestatic

Definition at line 3815 of file ExprEngine.cpp.

References clang::Class, clang::ento::BugReporter::equivalenceClasses(), clang::ento::ExplodedNode::getLocation(), and clang::ento::ExplodedNode::getState().

traverseHiddenNodes()

static bool llvm::DOTGraphTraits< ExplodedGraph * >::traverseHiddenNodes ( const ExplodedNode *  N, llvm::function_ref< void(const ExplodedNode *)>  PreCallback, llvm::function_ref< void(const ExplodedNode *)>  PostCallback, llvm::function_ref< bool(const ExplodedNode *)>  Stop  )

inlinestatic

PreCallback: callback before break.

PostCallback: callback after break. Stop: stop iteration if returns true

Returns

Whether Stop ever returned true.

Definition at line 3837 of file ExprEngine.cpp.

References clang::ento::ExplodedNode::getFirstSucc(), and clang::ento::ExplodedNode::succ_size().

---

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

• lib/StaticAnalyzer/Core/ExprEngine.cpp