clang::ssaf::AnalysisBase Class Reference

Minimal common base for both analysis kinds. More...

#include "clang/ScalableStaticAnalysisFramework/Core/WholeProgramAnalysis/AnalysisBase.h"

Inheritance diagram for clang::ssaf::AnalysisBase:

Public Member Functions
virtual	~AnalysisBase ()=default
virtual AnalysisName	analysisName () const =0
	Name of this analysis.
virtual const std::vector< AnalysisName > &	dependencyNames () const =0
	AnalysisNames of all AnalysisResult dependencies.
virtual std::unique_ptr< AnalysisResult >	result () &&=0
	Transfers ownership of the built result.

Protected Member Functions
	AnalysisBase (Kind K)

Friends
class	AnalysisDriver
class	DerivedAnalysisBase
class	SummaryAnalysisBase

Detailed Description

Minimal common base for both analysis kinds.

Not subclassed directly – use SummaryAnalysis<...> or DerivedAnalysis<...> instead.

Definition at line 32 of file AnalysisBase.h.

Constructor & Destructor Documentation

AnalysisBase()

clang::ssaf::AnalysisBase::AnalysisBase ( Kind K )

inlineexplicitprotected

Definition at line 41 of file AnalysisBase.h.

Referenced by clang::ssaf::DerivedAnalysisBase::DerivedAnalysisBase(), and clang::ssaf::SummaryAnalysisBase::SummaryAnalysisBase().

~AnalysisBase()

virtual clang::ssaf::AnalysisBase::~AnalysisBase ( )

virtualdefault

Member Function Documentation

analysisName()

virtual AnalysisName clang::ssaf::AnalysisBase::analysisName ( ) const

pure virtual

Name of this analysis.

Equal to ResultT::analysisName() in both typed intermediates.

Implemented in clang::ssaf::DerivedAnalysis< ResultT, DepResultTs >, and clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >.

dependencyNames()

virtual const std::vector< AnalysisName > & clang::ssaf::AnalysisBase::dependencyNames ( ) const

pure virtual

AnalysisNames of all AnalysisResult dependencies.

Implemented in clang::ssaf::DerivedAnalysis< ResultT, DepResultTs >, and clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >.

result()

virtual std::unique_ptr< AnalysisResult > clang::ssaf::AnalysisBase::result ( ) &&

pure virtual

Transfers ownership of the built result.

Called once after finalize(). The rvalue ref-qualifier enforces single use.

Friends And Related Symbol Documentation

AnalysisDriver

friend class AnalysisDriver

friend

Definition at line 33 of file AnalysisBase.h.

References AnalysisDriver.

Referenced by AnalysisDriver.

DerivedAnalysisBase

friend class DerivedAnalysisBase

friend

Definition at line 34 of file AnalysisBase.h.

References DerivedAnalysisBase.

Referenced by DerivedAnalysisBase.

SummaryAnalysisBase

friend class SummaryAnalysisBase

friend

Definition at line 35 of file AnalysisBase.h.

References SummaryAnalysisBase.

Referenced by SummaryAnalysisBase.

---

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

• include/clang/ScalableStaticAnalysisFramework/Core/WholeProgramAnalysis/AnalysisBase.h