clang 20.0.0git
Public Member Functions | Static 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]

Public Member Functions

 AnalysisManager (ASTContext &ctx, Preprocessor &PP, const PathDiagnosticConsumers &Consumers, StoreManagerCreator storemgr, ConstraintManagerCreator constraintmgr, CheckerManager *checkerMgr, AnalyzerOptions &Options, CodeInjector *injector=nullptr)
 
 ~AnalysisManager () override
 
void ClearContexts ()
 
AnalysisDeclContextManagergetAnalysisDeclContextManager ()
 
PreprocessorgetPreprocessor () override
 
StoreManagerCreator getStoreManagerCreator ()
 
AnalyzerOptionsgetAnalyzerOptions () override
 
ConstraintManagerCreator getConstraintManagerCreator ()
 
CheckerManagergetCheckerManager () const
 
ASTContextgetASTContext () override
 
SourceManagergetSourceManager () 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)
 
bool isInCodeFile (SourceLocation SL)
 
- Public Member Functions inherited from clang::ento::BugReporterData
virtual ~BugReporterData ()=default
 
virtual ArrayRef< PathDiagnosticConsumer * > getPathDiagnosticConsumers ()=0
 
virtual ASTContextgetASTContext ()=0
 
virtual SourceManagergetSourceManager ()=0
 
virtual AnalyzerOptionsgetAnalyzerOptions ()=0
 
virtual PreprocessorgetPreprocessor ()=0
 

Static Public Member Functions

static bool isInCodeFile (SourceLocation SL, const SourceManager &SM)
 

Public Attributes

AnalyzerOptionsoptions
 

Detailed Description

Definition at line 31 of file AnalysisManager.h.

Constructor & Destructor Documentation

◆ AnalysisManager()

AnalysisManager::AnalysisManager ( ASTContext ctx,
Preprocessor PP,
const PathDiagnosticConsumers Consumers,
StoreManagerCreator  storemgr,
ConstraintManagerCreator  constraintmgr,
CheckerManager checkerMgr,
AnalyzerOptions Options,
CodeInjector injector = nullptr 
)

◆ ~AnalysisManager()

AnalysisManager::~AnalysisManager ( )
override

Definition at line 51 of file AnalysisManager.cpp.

References FlushDiagnostics().

Member Function Documentation

◆ ClearContexts()

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

Definition at line 58 of file AnalysisManager.h.

References clang::AnalysisDeclContextManager::clear().

◆ FlushDiagnostics()

void AnalysisManager::FlushDiagnostics ( )

Definition at line 58 of file AnalysisManager.cpp.

Referenced by ~AnalysisManager().

◆ getAnalysis()

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

◆ getAnalysisDeclContext()

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

◆ getAnalysisDeclContextManager()

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

◆ getAnalyzerOptions()

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

◆ 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.

◆ getLangOpts()

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

Definition at line 90 of file AnalysisManager.h.

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

◆ 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 94 of file AnalysisManager.h.

◆ getPreprocessor()

Preprocessor & clang::ento::AnalysisManager::getPreprocessor ( )
inlineoverridevirtual

Implements clang::ento::BugReporterData.

Definition at line 66 of file AnalysisManager.h.

◆ getSourceManager()

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

◆ getStoreManagerCreator()

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

Definition at line 68 of file AnalysisManager.h.

◆ isInCodeFile() [1/2]

bool clang::ento::AnalysisManager::isInCodeFile ( SourceLocation  SL)
inline

◆ isInCodeFile() [2/2]

static bool clang::ento::AnalysisManager::isInCodeFile ( SourceLocation  SL,
const SourceManager SM 
)
inlinestatic

◆ shouldInlineCall()

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

◆ 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: