ReachingDefinitionAnalysis Class Reference

#include <ReachingDefinition.h>

Inheritance diagram for ReachingDefinitionAnalysis:

Collaboration diagram for ReachingDefinitionAnalysis:

Public Member Functions
	ReachingDefinitionAnalysis ()
	~ReachingDefinitionAnalysis ()
void	operator() (AstInterface &fa, const AstNodePtr &h, FunctionSideEffectInterface *anal=0)
void	collect_ast (const ReachingDefinitions &repr, CollectObject< std::pair< AstNodePtr, AstNodePtr > > &collect)
const ReachingDefinitionGenerator *	get_generator () const
Public Member Functions inherited from DataFlowAnalysis< ReachingDefNode, ReachingDefinitions >
	DataFlowAnalysis ()
void	operator() (AstInterface &fa, const AstNodePtr &head)

Private Member Functions
virtual ReachingDefinitions	get_empty_data () const
virtual ReachingDefinitions	meet_data (const ReachingDefinitions &d1, const ReachingDefinitions &d2)
virtual void	FinalizeCFG (AstInterface &fa)

Private Attributes
ReachingDefinitionGenerator *	g
FunctionSideEffectInterface *	a
AstInterface::AstNodeList	pars

Additional Inherited Members
Public Types inherited from DataFlowAnalysis< ReachingDefNode, ReachingDefinitions >
typedef CFGImplTemplate < ReachingDefNode, CFGEdgeImpl > ::NodeIterator	NodeIterator
typedef CFGImplTemplate < ReachingDefNode, CFGEdgeImpl > ::EdgeIterator	EdgeIterator

Detailed Description

Definition at line 97 of file ReachingDefinition.h.

Constructor & Destructor Documentation

ReachingDefinitionAnalysis::ReachingDefinitionAnalysis ( )

inline

Definition at line 115 of file ReachingDefinition.h.

ReachingDefinitionAnalysis::~ReachingDefinitionAnalysis ( )

inline

Definition at line 116 of file ReachingDefinition.h.

Member Function Documentation

virtual ReachingDefinitions ReachingDefinitionAnalysis::get_empty_data ( ) const

inlineprivatevirtual

Implements DataFlowAnalysis< ReachingDefNode, ReachingDefinitions >.

Definition at line 104 of file ReachingDefinition.h.

virtual ReachingDefinitions ReachingDefinitionAnalysis::meet_data ( const ReachingDefinitions &  d1, const ReachingDefinitions &  d2  )

inlineprivatevirtual

Implements DataFlowAnalysis< ReachingDefNode, ReachingDefinitions >.

Definition at line 107 of file ReachingDefinition.h.

virtual void ReachingDefinitionAnalysis::FinalizeCFG ( AstInterface &  fa)

privatevirtual

Implements DataFlowAnalysis< ReachingDefNode, ReachingDefinitions >.

void ReachingDefinitionAnalysis::operator()	(	AstInterface &	fa,
		const AstNodePtr &	h,
		FunctionSideEffectInterface *	anal = 0
	)

void ReachingDefinitionAnalysis::collect_ast	(	const ReachingDefinitions &	repr,
		CollectObject< std::pair< AstNodePtr, AstNodePtr > > &	collect
	)

const ReachingDefinitionGenerator* ReachingDefinitionAnalysis::get_generator ( ) const

inline

Definition at line 126 of file ReachingDefinition.h.

Member Data Documentation

ReachingDefinitionGenerator* ReachingDefinitionAnalysis::g

private

Definition at line 100 of file ReachingDefinition.h.

FunctionSideEffectInterface* ReachingDefinitionAnalysis::a

private

Definition at line 101 of file ReachingDefinition.h.

AstInterface::AstNodeList ReachingDefinitionAnalysis::pars

private

Definition at line 102 of file ReachingDefinition.h.

---

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

• ReachingDefinition.h