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 3982 of file ExprEngine.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 3983 of file ExprEngine.cpp.

Member Function Documentation

getNodeLabel()

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

inlinestatic

Definition at line 4030 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::Indent(), clang::ento::ExplodedNode::isSink(), nodeHasBugReport(), clang::ProgramPoint::printJson(), and traverseHiddenNodes().

isNodeHidden()

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

inlinestatic

Definition at line 4026 of file ExprEngine.cpp.

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

Referenced by traverseHiddenNodes().

nodeHasBugReport()

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

inlinestatic

Definition at line 3985 of file ExprEngine.cpp.

References clang::ento::BugReporter::equivalenceClasses(), clang::ento::ExprEngine::getBugReporter(), clang::ento::ExplodedNode::getLocation(), clang::ento::ExplodedNode::getState(), and clang::sema::Report.

Referenced by getNodeLabel().

traverseHiddenNodes()

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 4007 of file ExprEngine.cpp.

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

Referenced by getNodeLabel().

---

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

• lib/StaticAnalyzer/Core/ExprEngine.cpp