clang API Documentation
#include <BugReporter.h>
Public Member Functions | |
| BugReporterContext (GRBugReporter &br) | |
| virtual | ~BugReporterContext () |
| GRBugReporter & | getBugReporter () |
| ExplodedGraph & | getGraph () |
| ProgramStateManager & | getStateManager () |
| SValBuilder & | getSValBuilder () |
| ASTContext & | getASTContext () |
| SourceManager & | getSourceManager () |
| virtual BugReport::NodeResolver & | getNodeResolver ()=0 |
Definition at line 418 of file BugReporter.h.
| clang::ento::BugReporterContext::BugReporterContext | ( | GRBugReporter & | br | ) | [inline] |
Definition at line 422 of file BugReporter.h.
| virtual clang::ento::BugReporterContext::~BugReporterContext | ( | ) | [inline, virtual] |
Definition at line 424 of file BugReporter.h.
| ASTContext& clang::ento::BugReporterContext::getASTContext | ( | ) | [inline] |
Definition at line 438 of file BugReporter.h.
References clang::ento::BugReporter::getContext().
Referenced by clang::ento::ConditionBRVisitor::VisitTerminator(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
| GRBugReporter& clang::ento::BugReporterContext::getBugReporter | ( | ) | [inline] |
Definition at line 426 of file BugReporter.h.
Referenced by clang::ento::ConditionBRVisitor::VisitNodeImpl().
| ExplodedGraph& clang::ento::BugReporterContext::getGraph | ( | ) | [inline] |
Definition at line 428 of file BugReporter.h.
References clang::ento::GRBugReporter::getGraph().
| virtual BugReport::NodeResolver& clang::ento::BugReporterContext::getNodeResolver | ( | ) | [pure virtual] |
| SourceManager& clang::ento::BugReporterContext::getSourceManager | ( | ) | [inline] |
Definition at line 442 of file BugReporter.h.
References clang::ento::BugReporter::getSourceManager().
Referenced by clang::ento::BugReporterVisitor::getDefaultEndPath(), clang::ento::ConditionBRVisitor::VisitConditionVariable(), clang::ento::ConditionBRVisitor::VisitNode(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
| ProgramStateManager& clang::ento::BugReporterContext::getStateManager | ( | ) | [inline] |
Definition at line 430 of file BugReporter.h.
References clang::ento::GRBugReporter::getStateManager().
Referenced by getSValBuilder().
| SValBuilder& clang::ento::BugReporterContext::getSValBuilder | ( | ) | [inline] |
Definition at line 434 of file BugReporter.h.
References getStateManager(), and clang::ento::ProgramStateManager::getSValBuilder().