DFAnalysis Class Reference

#include <DFAnalysis.h>

Inheritance diagram for DFAnalysis:

Public Member Functions
	DFAnalysis ()
virtual	~DFAnalysis ()
virtual int	run ()=0
	Run the DFA analysis without debugging. More...
virtual int	run (bool debug)=0
virtual std::vector< std::pair < SgInitializedName *, SgNode * > >	getDefMultiMapFor (SgNode *node)=0
	get the Definition multimap of a specific SgNode. More...
virtual std::vector< std::pair < SgInitializedName *, SgNode * > >	getUseMultiMapFor (SgNode *node)=0
	get the Usage multimap of a specific SgNode. More...
virtual std::vector< SgNode * >	getDefFor (SgNode *node, SgInitializedName *initName)=0
	get the vector of defining nodes for a specific node and a initializedName. More...
virtual std::vector< SgNode * >	getUseFor (SgNode *node, SgInitializedName *initName)=0
	get the vector of usage nodes for a specific node and a initializedName. More...
virtual bool	isNodeGlobalVariable (SgInitializedName *node)=0
	return whether a node is a global node More...
virtual void	printDefMap ()=0
virtual void	printUseMap ()=0
virtual int	getDefSize ()=0
virtual int	getUseSize ()=0
virtual int	getIntForSgNode (SgNode *node)=0
virtual void	dfaToDOT ()=0
virtual std::map< SgNode *, std::vector< std::pair < SgInitializedName *, SgNode * > > >	getDefMap ()=0
virtual std::map< SgNode *, std::vector< std::pair < SgInitializedName *, SgNode * > > >	getUseMap ()=0
virtual void	setMaps (std::map< SgNode *, std::vector< std::pair< SgInitializedName *, SgNode * > > > def, std::map< SgNode *, std::vector< std::pair< SgInitializedName *, SgNode * > > > use)=0

Detailed Description

Definition at line 11 of file DFAnalysis.h.

Constructor & Destructor Documentation

DFAnalysis::DFAnalysis ( )

inline

Definition at line 14 of file DFAnalysis.h.

virtual DFAnalysis::~DFAnalysis ( )

inlinevirtual

Definition at line 15 of file DFAnalysis.h.

Member Function Documentation

virtual int DFAnalysis::run ( )

pure virtual

Run the DFA analysis without debugging.

Implemented in DefUseAnalysis.

virtual int DFAnalysis::run ( bool  debug)

pure virtual

Implemented in DefUseAnalysis.

virtual std::vector< std::pair <SgInitializedName* , SgNode*> > DFAnalysis::getDefMultiMapFor ( SgNode *  node)

pure virtual

get the Definition multimap of a specific SgNode.

Implemented in DefUseAnalysis.

virtual std::vector< std::pair <SgInitializedName* , SgNode*> > DFAnalysis::getUseMultiMapFor ( SgNode *  node)

pure virtual

get the Usage multimap of a specific SgNode.

Implemented in DefUseAnalysis.

virtual std::vector< SgNode* > DFAnalysis::getDefFor ( SgNode *  node, SgInitializedName *  initName  )

pure virtual

get the vector of defining nodes for a specific node and a initializedName.

Implemented in DefUseAnalysis.

virtual std::vector< SgNode* > DFAnalysis::getUseFor ( SgNode *  node, SgInitializedName *  initName  )

pure virtual

get the vector of usage nodes for a specific node and a initializedName.

Implemented in DefUseAnalysis.

virtual bool DFAnalysis::isNodeGlobalVariable ( SgInitializedName *  node)

pure virtual

return whether a node is a global node

Implemented in DefUseAnalysis.

virtual void DFAnalysis::printDefMap ( )

pure virtual

Implemented in DefUseAnalysis.

virtual void DFAnalysis::printUseMap ( )

pure virtual

Implemented in DefUseAnalysis.

virtual int DFAnalysis::getDefSize ( )

pure virtual

Implemented in DefUseAnalysis.

virtual int DFAnalysis::getUseSize ( )

pure virtual

Implemented in DefUseAnalysis.

virtual int DFAnalysis::getIntForSgNode ( SgNode *  node)

pure virtual

Implemented in DefUseAnalysis.

virtual void DFAnalysis::dfaToDOT ( )

pure virtual

Implemented in DefUseAnalysis.

virtual std::map< SgNode* , std::vector < std::pair <SgInitializedName* , SgNode*> > > DFAnalysis::getDefMap ( )

pure virtual

Implemented in DefUseAnalysis.

virtual std::map< SgNode* , std::vector < std::pair <SgInitializedName* , SgNode*> > > DFAnalysis::getUseMap ( )

pure virtual

Implemented in DefUseAnalysis.

virtual void DFAnalysis::setMaps ( std::map< SgNode *, std::vector< std::pair< SgInitializedName *, SgNode * > > >  def, std::map< SgNode *, std::vector< std::pair< SgInitializedName *, SgNode * > > >  use  )

pure virtual

Implemented in DefUseAnalysis.

---

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

• DFAnalysis.h