clang  8.0.0svn
Public Member Functions | List of all members
clang::ento::BugReporterContext Class Reference

#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"

Public Member Functions

 BugReporterContext (GRBugReporter &br, InterExplodedGraphMap &Backmap)
 
virtual ~BugReporterContext ()=default
 
GRBugReportergetBugReporter ()
 
ExplodedGraphgetGraph ()
 
ProgramStateManagergetStateManager ()
 
SValBuildergetSValBuilder ()
 
ASTContextgetASTContext ()
 
SourceManagergetSourceManager ()
 
AnalyzerOptionsgetAnalyzerOptions ()
 
NodeMapClosuregetNodeResolver ()
 

Detailed Description

Definition at line 557 of file BugReporter.h.

Constructor & Destructor Documentation

◆ BugReporterContext()

clang::ento::BugReporterContext::BugReporterContext ( GRBugReporter br,
InterExplodedGraphMap Backmap 
)
inline

Definition at line 564 of file BugReporter.h.

Referenced by CompactPathDiagnostic(), and removePiecesWithInvalidLocations().

◆ ~BugReporterContext()

virtual clang::ento::BugReporterContext::~BugReporterContext ( )
virtualdefault

Member Function Documentation

◆ getAnalyzerOptions()

AnalyzerOptions& clang::ento::BugReporterContext::getAnalyzerOptions ( )
inline

Definition at line 589 of file BugReporter.h.

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

Referenced by CompactPathDiagnostic().

◆ getASTContext()

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

◆ getBugReporter()

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

Definition at line 569 of file BugReporter.h.

◆ getGraph()

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

Definition at line 571 of file BugReporter.h.

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

Referenced by CompactPathDiagnostic().

◆ getNodeResolver()

NodeMapClosure& clang::ento::BugReporterContext::getNodeResolver ( )
inline

Definition at line 593 of file BugReporter.h.

◆ getSourceManager()

SourceManager& clang::ento::BugReporterContext::getSourceManager ( )
inline

◆ getStateManager()

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

◆ getSValBuilder()

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

Definition at line 577 of file BugReporter.h.


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