|
clang
5.0.0
|
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 void | printLocation2 (raw_ostream &Out, SourceLocation SLoc) |
| static std::string | getNodeLabel (const ExplodedNode *N, void *) |
Definition at line 2598 of file ExprEngine.cpp.
|
inline |
Definition at line 2601 of file ExprEngine.cpp.
|
inlinestatic |
Definition at line 2605 of file ExprEngine.cpp.
|
inlinestatic |
Definition at line 2626 of file ExprEngine.cpp.
References clang::LocationContext::Block, clang::ProgramPoint::BlockEdgeKind, clang::ProgramPoint::BlockEntranceKind, clang::ProgramPoint::BlockExitKind, AttributeLangSupport::C, clang::ProgramPoint::CallEnterKind, clang::ProgramPoint::CallExitBeginKind, clang::ProgramPoint::CallExitEndKind, clang::ProgramPoint::castAs(), E, 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::LocationContext::getKind(), clang::CFGBlock::getLabel(), clang::QualType::getLocalUnqualifiedType(), clang::ento::ExplodedNode::getLocation(), clang::ImplicitCallPoint::getLocation(), clang::ProgramPoint::getLocationContext(), clang::Stmt::getLocStart(), clang::LocationContext::getParent(), 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(), GraphPrintSourceManager, clang::SourceLocation::isFileID(), Label, 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, clang::LocationContext::Scope, clang::LocationContext::StackFrame, and clang::CFGBlock::succ_begin().
|
inlinestatic |
Definition at line 2610 of file ExprEngine.cpp.
References clang::SourceManager::getExpansionColumnNumber(), clang::SourceManager::getExpansionLineNumber(), GraphPrintSourceManager, and clang::SourceLocation::isFileID().
|
inlinestatic |
Definition at line 2619 of file ExprEngine.cpp.
References clang::SourceManager::getExpansionLineNumber(), GraphPrintSourceManager, clang::SourceLocation::isFileID(), clang::SourceManager::isInMainFile(), and clang::SourceLocation::print().
1.8.6