clang
19.0.0git
|
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. More... | |
static bool | isNodeHidden (const ExplodedNode *N, const ExplodedGraph *G) |
static std::string | getNodeLabel (const ExplodedNode *N, ExplodedGraph *G) |
Definition at line 3829 of file ExprEngine.cpp.
|
inline |
Definition at line 3830 of file ExprEngine.cpp.
|
inlinestatic |
Definition at line 3877 of file ExprEngine.cpp.
|
inlinestatic |
Definition at line 3873 of file ExprEngine.cpp.
References clang::ento::ExplodedNode::isTrivial().
|
inlinestatic |
Definition at line 3832 of file ExprEngine.cpp.
References clang::Class, clang::ento::BugReporter::equivalenceClasses(), clang::ento::ExplodedNode::getLocation(), and clang::ento::ExplodedNode::getState().
|
inlinestatic |
PreCallback:
callback before break.
PostCallback:
callback after break. Stop:
stop iteration if returns true
Stop
ever returned true
. Definition at line 3854 of file ExprEngine.cpp.
References clang::ento::ExplodedNode::getFirstSucc(), and clang::ento::ExplodedNode::succ_size().