clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT > Class Template Reference

Typed intermediate that concrete summary analyses inherit from. More...

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

Inheritance diagram for clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >:

Public Member Functions
AnalysisName	getAnalysisName () const final
	Used by AnalysisRegistry::Add to derive the registry entry name.
SummaryName	getSummaryName () const final
	SummaryName of the EntitySummary type this analysis consumes.
const std::vector< AnalysisName > &	getDependencyNames () const final
	AnalysisNames of all AnalysisResult dependencies.
virtual llvm::Error	add (EntityId Id, const EntitySummaryT &Summary)=0
	Called once per matching entity. Implement to accumulate data.
Public Member Functions inherited from clang::ssaf::AnalysisBase
virtual	~AnalysisBase ()=default

Protected Member Functions
const ResultT &	getResult () const &
	Read-only access to the result being built.
ResultT &	getResult () &
	Mutable access to the result being built.
Protected Member Functions inherited from clang::ssaf::SummaryAnalysisBase
	SummaryAnalysisBase ()
Protected Member Functions inherited from clang::ssaf::AnalysisBase
	AnalysisBase (Kind K)

Friends
class	AnalysisRegistry

Detailed Description

template<typename ResultT, typename EntitySummaryT>
class clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >

Typed intermediate that concrete summary analyses inherit from.

Concrete analyses must implement: llvm::Error add(EntityId Id, const EntitySummaryT &Summary) override; and may override initialize() and finalize().

The result being built is accessible via getResult() const & (read-only) and getResult() & (mutable) within the analysis implementation.

Definition at line 70 of file SummaryAnalysis.h.

Member Function Documentation

add()

template<typename ResultT, typename EntitySummaryT>

virtual llvm::Error clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >::add ( EntityId Id, const EntitySummaryT & Summary )

pure virtual

Called once per matching entity. Implement to accumulate data.

getAnalysisName()

template<typename ResultT, typename EntitySummaryT>

AnalysisName clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >::getAnalysisName ( ) const

inlinefinalvirtual

Used by AnalysisRegistry::Add to derive the registry entry name.

Implements clang::ssaf::AnalysisBase.

Definition at line 85 of file SummaryAnalysis.h.

getDependencyNames()

template<typename ResultT, typename EntitySummaryT>

const std::vector< AnalysisName > & clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >::getDependencyNames ( ) const

inlinefinalvirtual

AnalysisNames of all AnalysisResult dependencies.

Implements clang::ssaf::AnalysisBase.

Definition at line 91 of file SummaryAnalysis.h.

References clang::Empty.

getResult() [1/2]

template<typename ResultT, typename EntitySummaryT>

ResultT & clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >::getResult ( ) &

inlineprotected

Mutable access to the result being built.

Definition at line 104 of file SummaryAnalysis.h.

getResult() [2/2]

template<typename ResultT, typename EntitySummaryT>

const ResultT & clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >::getResult ( ) const &

inlineprotected

Read-only access to the result being built.

Definition at line 101 of file SummaryAnalysis.h.

getSummaryName()

template<typename ResultT, typename EntitySummaryT>

SummaryName clang::ssaf::SummaryAnalysis< ResultT, EntitySummaryT >::getSummaryName ( ) const

inlinefinalvirtual

SummaryName of the EntitySummary type this analysis consumes.

Used by the driver to route entities from the LUSummary.

Implements clang::ssaf::SummaryAnalysisBase.

Definition at line 87 of file SummaryAnalysis.h.

Friends And Related Symbol Documentation

AnalysisRegistry

template<typename ResultT, typename EntitySummaryT>

friend class AnalysisRegistry

friend

Definition at line 78 of file SummaryAnalysis.h.

References AnalysisRegistry.

Referenced by AnalysisRegistry.

---

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

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