Public Member Functions | |
| DOTGraphTraits (bool isSimple=false) | |
Static Public Member Functions | |
| static std::string | getNodeAttributes (const ExplodedNode *N, void *) |
| static std::string | getNodeLabel (const ExplodedNode *N, void *) |
Detailed Description
template<>
struct llvm::DOTGraphTraits< ExplodedNode * >
Definition at line 1826 of file ExprEngine.cpp.
Constructor & Destructor Documentation
| llvm::DOTGraphTraits< ExplodedNode * >::DOTGraphTraits | ( | bool | isSimple = false | ) | [inline] |
Definition at line 1829 of file ExprEngine.cpp.
Member Function Documentation
| static std::string llvm::DOTGraphTraits< ExplodedNode * >::getNodeAttributes | ( | const ExplodedNode * | N, |
| void * | |||
| ) | [inline, static] |
Definition at line 1833 of file ExprEngine.cpp.
References GraphPrintCheckerState.
| static std::string llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel | ( | const ExplodedNode * | N, |
| void * | |||
| ) | [inline, static] |
Definition at line 1854 of file ExprEngine.cpp.
References clang::ProgramPoint::BlockEntranceKind, clang::ProgramPoint::BlockExitKind, clang::ProgramPoint::CallEnterKind, clang::ProgramPoint::CallExitBeginKind, clang::ProgramPoint::CallExitEndKind, clang::ProgramPoint::EpsilonKind, clang::CFGBlock::getBlockID(), clang::LocationContext::getDecl(), clang::BlockEdge::getDst(), clang::SourceManager::getExpansionColumnNumber(), clang::SourceManager::getExpansionLineNumber(), clang::ProgramPoint::getKind(), clang::CFGBlock::getLabel(), clang::ProgramPoint::getLocationContext(), clang::Stmt::getLocStart(), clang::BlockEdge::getSrc(), clang::Stmt::getStmtClassName(), clang::ProgramPoint::getTag(), clang::ProgramPointTag::getTagDescription(), clang::CFGBlock::getTerminator(), GraphPrintCheckerState, GraphPrintSourceManager, clang::SourceLocation::isFileID(), clang::ProgramPoint::PostStmtPurgeDeadSymbolsKind, clang::ProgramPoint::PreStmtPurgeDeadSymbolsKind, clang::Stmt::printPretty(), clang::CFGBlock::printTerminator(), and clang::CFGBlock::succ_begin().
The documentation for this struct was generated from the following file: