clang  6.0.0svn
Public Member Functions | Public Attributes | List of all members
clang::ento::AnalysisManager Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"

Inheritance diagram for clang::ento::AnalysisManager:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::AnalysisManager:
Collaboration graph
[legend]

Public Member Functions

 AnalysisManager (ASTContext &ctx, DiagnosticsEngine &diags, const LangOptions &lang, const PathDiagnosticConsumers &Consumers, StoreManagerCreator storemgr, ConstraintManagerCreator constraintmgr, CheckerManager *checkerMgr, AnalyzerOptions &Options, CodeInjector *injector=nullptr)
 
 ~AnalysisManager () override
 
void ClearContexts ()
 
AnalysisDeclContextManagergetAnalysisDeclContextManager ()
 
StoreManagerCreator getStoreManagerCreator ()
 
AnalyzerOptionsgetAnalyzerOptions () override
 
ConstraintManagerCreator getConstraintManagerCreator ()
 
CheckerManagergetCheckerManager () const
 
ASTContextgetASTContext () override
 
SourceManagergetSourceManager () override
 
DiagnosticsEnginegetDiagnostic () override
 
const LangOptionsgetLangOpts () const
 
ArrayRef< PathDiagnosticConsumer * > getPathDiagnosticConsumers () override
 
void FlushDiagnostics ()
 
bool shouldVisualize () const
 
bool shouldInlineCall () const
 
CFGgetCFG (Decl const *D)
 
template<typename T >
TgetAnalysis (Decl const *D)
 
ParentMapgetParentMap (Decl const *D)
 
AnalysisDeclContextgetAnalysisDeclContext (const Decl *D)
 
- Public Member Functions inherited from clang::ento::BugReporterData
virtual ~BugReporterData ()
 

Public Attributes

AnalyzerOptionsoptions
 

Detailed Description

Definition at line 31 of file AnalysisManager.h.

Constructor & Destructor Documentation

◆ AnalysisManager()

AnalysisManager::AnalysisManager ( ASTContext ctx,
DiagnosticsEngine diags,
const LangOptions lang,
const PathDiagnosticConsumers Consumers,
StoreManagerCreator  storemgr,
ConstraintManagerCreator  constraintmgr,
CheckerManager checkerMgr,
AnalyzerOptions Options,
CodeInjector injector = nullptr 
)

Definition at line 17 of file AnalysisManager.cpp.

◆ ~AnalysisManager()

AnalysisManager::~AnalysisManager ( )
override

Definition at line 39 of file AnalysisManager.cpp.

References FlushDiagnostics().

Member Function Documentation

◆ ClearContexts()

void clang::ento::AnalysisManager::ClearContexts ( )
inline

Definition at line 60 of file AnalysisManager.h.

References clang::AnalysisDeclContextManager::clear().

◆ FlushDiagnostics()

void AnalysisManager::FlushDiagnostics ( )

Definition at line 47 of file AnalysisManager.cpp.

Referenced by getPathDiagnosticConsumers(), and ~AnalysisManager().

◆ getAnalysis()

template<typename T >
T* clang::ento::AnalysisManager::getAnalysis ( Decl const *  D)
inline

◆ getAnalysisDeclContext()

AnalysisDeclContext* clang::ento::AnalysisManager::getAnalysisDeclContext ( const Decl D)
inline

Definition at line 126 of file AnalysisManager.h.

References clang::AnalysisDeclContextManager::getContext().

Referenced by isIdenticalStmt().

◆ getAnalysisDeclContextManager()

AnalysisDeclContextManager& clang::ento::AnalysisManager::getAnalysisDeclContextManager ( )
inline

Definition at line 64 of file AnalysisManager.h.

Referenced by mayInlineDecl().

◆ getAnalyzerOptions()

AnalyzerOptions& clang::ento::AnalysisManager::getAnalyzerOptions ( )
inlineoverridevirtual

Implements clang::ento::BugReporterData.

Definition at line 72 of file AnalysisManager.h.

References options.

◆ getASTContext()

ASTContext& clang::ento::AnalysisManager::getASTContext ( )
inlineoverridevirtual

◆ getCFG()

CFG* clang::ento::AnalysisManager::getCFG ( Decl const *  D)
inline

◆ getCheckerManager()

CheckerManager* clang::ento::AnalysisManager::getCheckerManager ( ) const
inline

Definition at line 80 of file AnalysisManager.h.

Referenced by clang::ento::ExprEngine::getCheckerManager().

◆ getConstraintManagerCreator()

ConstraintManagerCreator clang::ento::AnalysisManager::getConstraintManagerCreator ( )
inline

Definition at line 76 of file AnalysisManager.h.

◆ getDiagnostic()

DiagnosticsEngine& clang::ento::AnalysisManager::getDiagnostic ( )
inlineoverridevirtual

Implements clang::ento::BugReporterData.

Definition at line 90 of file AnalysisManager.h.

◆ getLangOpts()

const LangOptions& clang::ento::AnalysisManager::getLangOpts ( ) const
inline

◆ getParentMap()

ParentMap& clang::ento::AnalysisManager::getParentMap ( Decl const *  D)
inline

◆ getPathDiagnosticConsumers()

ArrayRef<PathDiagnosticConsumer*> clang::ento::AnalysisManager::getPathDiagnosticConsumers ( )
inlineoverridevirtual

Implements clang::ento::BugReporterData.

Definition at line 98 of file AnalysisManager.h.

References FlushDiagnostics().

◆ getSourceManager()

SourceManager& clang::ento::AnalysisManager::getSourceManager ( )
inlineoverridevirtual

◆ getStoreManagerCreator()

StoreManagerCreator clang::ento::AnalysisManager::getStoreManagerCreator ( )
inline

Definition at line 68 of file AnalysisManager.h.

◆ shouldInlineCall()

bool clang::ento::AnalysisManager::shouldInlineCall ( ) const
inline

Definition at line 109 of file AnalysisManager.h.

References clang::AnalyzerOptions::getIPAMode(), and clang::IPAK_None.

Referenced by mayInlineDecl().

◆ shouldVisualize()

bool clang::ento::AnalysisManager::shouldVisualize ( ) const
inline

Member Data Documentation

◆ options

AnalyzerOptions& clang::ento::AnalysisManager::options

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