souffle::ast::analysis::Analysis Class Reference

Abstract class for a AST Analysis. More...

#include <Analysis.h>

Inheritance diagram for souffle::ast::analysis::Analysis:

Collaboration diagram for souffle::ast::analysis::Analysis:

Public Member Functions
	Analysis (std::string identifier)
virtual const std::string &	getName () const
	get name of the analysis More...
virtual void	print (std::ostream &) const
	print the analysis result in HTML format More...
virtual void	run (const TranslationUnit &)=0
	run analysis for a Ast translation unit More...
virtual	~Analysis ()=default

Protected Attributes
const std::string	identifier

Friends
std::ostream &	operator<< (std::ostream &out, const Analysis &other)
	define output stream operator More...

Detailed Description

Abstract class for a AST Analysis.

Definition at line 38 of file Analysis.h.

Constructor & Destructor Documentation

Analysis()

souffle::ast::analysis::Analysis::Analysis ( std::string  identifier )

inline

Definition at line 40 of file Analysis.h.

~Analysis()

virtual souffle::ast::analysis::Analysis::~Analysis ( )

virtualdefault

Member Function Documentation

getName()

virtual const std::string& souffle::ast::analysis::Analysis::getName ( ) const

inlinevirtual

get name of the analysis

Definition at line 50 of file Analysis.h.

         :
    const std::string identifier;

print()

virtual void souffle::ast::analysis::Analysis::print ( std::ostream &  ) const

inlinevirtual

print the analysis result in HTML format

Reimplemented in souffle::ast::analysis::SCCGraphAnalysis, souffle::ast::analysis::ClauseNormalisationAnalysis, souffle::ast::analysis::RelationScheduleAnalysis, souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis, souffle::ast::analysis::ProfileUseAnalysis, souffle::ast::analysis::RelationDetailCacheAnalysis, souffle::ast::analysis::TypeAnalysis, souffle::ast::analysis::PrecedenceGraphAnalysis, souffle::ast::analysis::RecursiveClausesAnalysis, souffle::ast::analysis::RedundantRelationsAnalysis, souffle::ast::analysis::TypeEnvironmentAnalysis, souffle::ast::analysis::IOTypeAnalysis, souffle::ast::analysis::PolymorphicObjectsAnalysis, and souffle::ast::analysis::FunctorAnalysis.

Definition at line 47 of file Analysis.h.

run()

virtual void souffle::ast::analysis::Analysis::run ( const TranslationUnit &  )

pure virtual

run analysis for a Ast translation unit

Implemented in souffle::ast::analysis::ClauseNormalisationAnalysis, souffle::ast::analysis::RelationScheduleAnalysis, souffle::ast::analysis::ComponentLookupAnalysis, souffle::ast::analysis::SCCGraphAnalysis, souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis, souffle::ast::analysis::RelationDetailCacheAnalysis, souffle::ast::analysis::ProfileUseAnalysis, souffle::ast::analysis::SumTypeBranchesAnalysis, souffle::ast::analysis::TypeAnalysis, souffle::ast::analysis::AuxiliaryArityAnalysis, souffle::ast::analysis::RecursiveClausesAnalysis, souffle::ast::analysis::RedundantRelationsAnalysis, souffle::ast::analysis::TypeEnvironmentAnalysis, souffle::ast::analysis::PrecedenceGraphAnalysis, souffle::ast::analysis::FunctorAnalysis, souffle::ast::analysis::IOTypeAnalysis, and souffle::ast::analysis::PolymorphicObjectsAnalysis.

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  out, const Analysis &  other  )

friend

define output stream operator

Definition at line 55 of file Analysis.h.

Field Documentation

identifier

const std::string souffle::ast::analysis::Analysis::identifier

protected

Definition at line 61 of file Analysis.h.

---

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

• ast/analysis/Analysis.h