Public Member Functions | |
| DOTGraphTraits (bool isSimple=false) | |
Static Public Member Functions | |
| static std::string | getNodeAttributes (const ExplodedNode *N, void *) |
| static void | printLocation (raw_ostream &Out, SourceLocation SLoc) |
| static std::string | getNodeLabel (const ExplodedNode *N, void *) |
Detailed Description
template<>
struct llvm::DOTGraphTraits< ExplodedNode * >
Definition at line 2399 of file ExprEngine.cpp.
Constructor & Destructor Documentation
| llvm::DOTGraphTraits< ExplodedNode * >::DOTGraphTraits | ( | bool | isSimple = false | ) | [inline] |
Definition at line 2402 of file ExprEngine.cpp.
Member Function Documentation
| static std::string llvm::DOTGraphTraits< ExplodedNode * >::getNodeAttributes | ( | const ExplodedNode * | N, |
| void * | |||
| ) | [inline, static] |
Definition at line 2406 of file ExprEngine.cpp.
References GraphPrintCheckerState.
| static std::string llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel | ( | const ExplodedNode * | N, |
| void * | |||
| ) | [inline, static] |
Definition at line 2437 of file ExprEngine.cpp.
References clang::ProgramPoint::BlockEdgeKind, clang::ProgramPoint::BlockEntranceKind, clang::ProgramPoint::BlockExitKind, AttributeLangSupport::C, clang::ProgramPoint::CallEnterKind, clang::ProgramPoint::CallExitBeginKind, clang::ProgramPoint::CallExitEndKind, clang::ProgramPoint::castAs(), clang::ProgramPoint::EpsilonKind, clang::CXXCtorInitializer::getAnyMember(), clang::ProgramPoint::getAs(), clang::CFGBlock::getBlockID(), clang::LocationContext::getDecl(), clang::ImplicitCallPoint::getDecl(), clang::BlockEdge::getDst(), clang::SourceManager::getExpansionColumnNumber(), clang::SourceManager::getExpansionLineNumber(), clang::ProgramPoint::getKind(), clang::CFGBlock::getLabel(), clang::QualType::getLocalUnqualifiedType(), clang::ento::ExplodedNode::getLocation(), clang::ImplicitCallPoint::getLocation(), clang::ProgramPoint::getLocationContext(), clang::Stmt::getLocStart(), clang::BlockEdge::getSrc(), clang::ento::ExplodedNode::getState(), clang::Stmt::getStmtClassName(), clang::ProgramPoint::getTag(), clang::ProgramPointTag::getTagDescription(), clang::CFGBlock::getTerminator(), clang::TypeSourceInfo::getType(), clang::CXXCtorInitializer::getTypeSourceInfo(), GraphPrintCheckerState, GraphPrintSourceManager, clang::SourceLocation::isFileID(), clang::ProgramPoint::PostImplicitCallKind, clang::ProgramPoint::PostInitializerKind, clang::ProgramPoint::PostStmtPurgeDeadSymbolsKind, clang::ProgramPoint::PreImplicitCallKind, clang::ProgramPoint::PreStmtPurgeDeadSymbolsKind, clang::QualType::print(), clang::Decl::print(), clang::Stmt::printPretty(), clang::CFGBlock::printTerminator(), S, and clang::CFGBlock::succ_begin().
| static void llvm::DOTGraphTraits< ExplodedNode * >::printLocation | ( | raw_ostream & | Out, |
| SourceLocation | SLoc | ||
| ) | [inline, static] |
Definition at line 2427 of file ExprEngine.cpp.
References clang::SourceManager::getExpansionColumnNumber(), clang::SourceManager::getExpansionLineNumber(), GraphPrintSourceManager, and clang::SourceLocation::isFileID().
The documentation for this struct was generated from the following file: