sdfg::analysis::TypeAnalysis Class Reference

#include <sdfg/analysis/type_analysis.h>

Inheritance diagram for sdfg::analysis::TypeAnalysis:

Public Member Functions
	TypeAnalysis (StructuredSDFG &sdfg)
	TypeAnalysis (StructuredSDFG &sdfg, structured_control_flow::ControlFlowNode *node, AnalysisManager &analysis_manager)
std::string	name () const override
const sdfg::types::IType *	get_outer_type (const std::string &container) const
Public Member Functions inherited from sdfg::analysis::Analysis
	Analysis (StructuredSDFG &sdfg)
	Analysis (StructuredSDFG &sdfg, const Options &options)
virtual	~Analysis ()=default
virtual bool	invalidate (structured_control_flow::ControlFlowNode &changed)
	Updates the analysis after a change confined to the subtree of changed.
	Analysis (const Analysis &a)=delete
Analysis &	operator= (const Analysis &)=delete

Protected Member Functions
void	run (analysis::AnalysisManager &analysis_manager) override
Protected Member Functions inherited from sdfg::analysis::Analysis
template<class T>
T	option (const OptionKey< T > &key, T fallback=T{}) const

Additional Inherited Members
Protected Attributes inherited from sdfg::analysis::Analysis
StructuredSDFG &	sdfg_
symbolic::Assumptions	additional_assumptions_
const Options *	options_ = &Options::empty()

Constructor & Destructor Documentation

TypeAnalysis() [1/2]

sdfg::analysis::TypeAnalysis::TypeAnalysis

(

StructuredSDFG &

sdfg

)

TypeAnalysis() [2/2]

sdfg::analysis::TypeAnalysis::TypeAnalysis	(	StructuredSDFG &	sdfg,
		structured_control_flow::ControlFlowNode *	node,
		AnalysisManager &	analysis_manager )

Member Function Documentation

get_outer_type()

const sdfg::types::IType * sdfg::analysis::TypeAnalysis::get_outer_type

(

const std::string &

container

)

const

name()

std::string sdfg::analysis::TypeAnalysis::name ( ) const

inlineoverridevirtual

Implements sdfg::analysis::Analysis.

run()

void sdfg::analysis::TypeAnalysis::run ( analysis::AnalysisManager & analysis_manager )

overrideprotectedvirtual

Implements sdfg::analysis::Analysis.

---

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

• sdfg/include/sdfg/analysis/type_analysis.h