clang: clang::ento::BugReporterContext Class Reference

clang API Documentation

#include <BugReporter.h>

List of all members.

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

Detailed Description

Definition at line 526 of file BugReporter.h.

Constructor & Destructor Documentation

clang::ento::BugReporterContext::BugReporterContext ( GRBugReporter & br ) [inline]

Definition at line 530 of file BugReporter.h.

virtual clang::ento::BugReporterContext::~BugReporterContext ( ) [inline, virtual]

Definition at line 532 of file BugReporter.h.

Member Function Documentation

ASTContext& clang::ento::BugReporterContext::getASTContext ( ) [inline]

Definition at line 546 of file BugReporter.h.

References clang::ento::BugReporter::getContext().

GRBugReporter& clang::ento::BugReporterContext::getBugReporter ( ) [inline]

Definition at line 534 of file BugReporter.h.

Referenced by clang::ento::LikelyFalsePositiveSuppressionBRVisitor::getEndPath(), and clang::ento::ConditionBRVisitor::VisitNodeImpl().

ExplodedGraph& clang::ento::BugReporterContext::getGraph ( ) [inline]

Definition at line 536 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 550 of file BugReporter.h.

References clang::ento::BugReporter::getSourceManager().

Referenced by clang::ento::BugReporterVisitor::getDefaultEndPath(), clang::ento::LikelyFalsePositiveSuppressionBRVisitor::getEndPath(), clang::ento::ConditionBRVisitor::VisitConditionVariable(), clang::ento::FindLastStoreBRVisitor::VisitNode(), clang::ento::TrackConstraintBRVisitor::VisitNode(), clang::ento::NilReceiverBRVisitor::VisitNode(), and clang::ento::ConditionBRVisitor::VisitTrueTest().

ProgramStateManager& clang::ento::BugReporterContext::getStateManager ( ) [inline]

Definition at line 538 of file BugReporter.h.

References clang::ento::GRBugReporter::getStateManager().

Referenced by getSValBuilder(), clang::ento::FindLastStoreBRVisitor::VisitNode(), and clang::ento::UndefOrNullArgVisitor::VisitNode().

SValBuilder& clang::ento::BugReporterContext::getSValBuilder ( ) [inline]

Definition at line 542 of file BugReporter.h.

References getStateManager(), and clang::ento::ProgramStateManager::getSValBuilder().

The documentation for this class was generated from the following files: