clang  3.9.0
Public Member Functions | List of all members
clang::ento::BugReporterContext Class Referenceabstract

#include <BugReporter.h>

Public Member Functions

 BugReporterContext (GRBugReporter &br)
 
virtual ~BugReporterContext ()
 
GRBugReportergetBugReporter ()
 
ExplodedGraphgetGraph ()
 
ProgramStateManagergetStateManager ()
 
SValBuildergetSValBuilder ()
 
ASTContextgetASTContext ()
 
SourceManagergetSourceManager ()
 
virtual BugReport::NodeResolvergetNodeResolver ()=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 ( )
inlinevirtual

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
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
ProgramStateManager& clang::ento::BugReporterContext::getStateManager ( )
inline
SValBuilder& clang::ento::BugReporterContext::getSValBuilder ( )
inline

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