Type-erased base for summary analyses. More...

Inheritance diagram for clang::ssaf::SummaryAnalysisBase:

Public Member Functions
virtual SummaryName	summaryName () const =0
	SummaryName of the EntitySummary type this analysis consumes.
Public Member Functions inherited from clang::ssaf::AnalysisBase
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
	SummaryAnalysisBase ()
Protected Member Functions inherited from clang::ssaf::AnalysisBase
	AnalysisBase (Kind K)

Friends
class	AnalysisDriver

Detailed Description

Type-erased base for summary analyses.

Not subclassed directly – use SummaryAnalysis<ResultT, EntitySummaryT>. A summary analysis processes per-entity EntitySummary objects from the LUSummary one at a time, accumulating whole-program data into an AnalysisResult.

Definition at line 38 of file SummaryAnalysis.h.

Constructor & Destructor Documentation

clang::ssaf::SummaryAnalysisBase::SummaryAnalysisBase ( )

inlineprotected

Definition at line 42 of file SummaryAnalysis.h.

virtual SummaryName clang::ssaf::SummaryAnalysisBase::summaryName ( ) const

pure virtual

SummaryName of the EntitySummary type this analysis consumes.

Used by the driver to route entities from the LUSummary.

friend

Definition at line 39 of file SummaryAnalysis.h.

Referenced by AnalysisDriver.

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

include/clang/ScalableStaticAnalysisFramework/Core/WholeProgramAnalysis/SummaryAnalysis.h