#include <DependenceGraph.h>

Inheritance diagram for ControlDependenceGraph:

Collaboration diagram for ControlDependenceGraph:

Public Member Functions
	ControlDependenceGraph (SgFunctionDefinition head, InterproceduralInfo ii=NULL)

void	computeInterproceduralInformation (InterproceduralInfo *ii)

void	computeAdditionalFunctioncallDepencencies ()

	ControlDependenceGraph (SgFunctionDefinition head, InterproceduralInfo ii=NULL)

void	computeInterproceduralInformation (InterproceduralInfo *ii)

void	computeAdditionalFunctioncallDepencencies ()

Public Member Functions inherited from DependenceGraph
	DependenceGraph ()

virtual	~DependenceGraph ()

void	debugCoutNodeList ()

const char *	getEdgeName (EdgeType type)

DependenceNode *	createNode (DependenceNode::NodeType type, SgNode *identifyingNode)

DependenceNode *	createNode (SgNode *node)

void	deleteNode (DependenceNode *node)

DependenceNode *	getNode (SgNode *node)

DependenceNode *	getNode (DependenceNode::NodeType type, SgNode *identifyingNode)

DependenceNode *	getExistingNode (SgNode *node)

DependenceNode *	getExistingNode (DependenceNode::NodeType type, SgNode *identifyingNode)

InterproceduralInfo *	getInterprocedural ()

virtual void	establishEdge (DependenceNode from, DependenceNode to, EdgeType e=CONTROL)

virtual void	removeEdge (DependenceNode from, DependenceNode to, EdgeType e=CONTROL)

bool	edgeExists (DependenceNode from, DependenceNode to, EdgeType e)

bool	hasOutgingEdge (DependenceNode *src, EdgeType compare)

std::set< EdgeType >	edgeType (DependenceNode from, DependenceNode to)

virtual void	writeDot (char *filename)

	DependenceGraph ()

virtual	~DependenceGraph ()

void	debugCoutNodeList ()

const char *	getEdgeName (EdgeType type)

DependenceNode *	createNode (DependenceNode::NodeType type, SgNode *identifyingNode)

DependenceNode *	createNode (SgNode *node)

void	deleteNode (DependenceNode *node)

DependenceNode *	getNode (SgNode *node)

DependenceNode *	getNode (DependenceNode::NodeType type, SgNode *identifyingNode)

DependenceNode *	getExistingNode (SgNode *node)

DependenceNode *	getExistingNode (DependenceNode::NodeType type, SgNode *identifyingNode)

InterproceduralInfo *	getInterprocedural ()

virtual void	establishEdge (DependenceNode from, DependenceNode to, EdgeType e=CONTROL)

virtual void	removeEdge (DependenceNode from, DependenceNode to, EdgeType e=CONTROL)

bool	edgeExists (DependenceNode from, DependenceNode to, EdgeType e)

bool	hasOutgingEdge (DependenceNode *src, EdgeType compare)

std::set< EdgeType >	edgeType (DependenceNode from, DependenceNode to)

virtual void	writeDot (char *filename)

virtual void	writeDotAndHighlightAllowedEdgesOnly (char *filename, std::set< DependenceGraph::EdgeType >)

Public Member Functions inherited from SimpleDirectedGraph
	~SimpleDirectedGraph ()

std::set < SimpleDirectedGraphNode * >	getNodes ()
	get all the nodes in the graph More...

virtual void	addNode (SimpleDirectedGraphNode *node)
	Add a node to the graph. More...

virtual void	addLink (SimpleDirectedGraphNode from, SimpleDirectedGraphNode to)
	Add a link to the graph between "from" and to "to". More...

bool	nodeExists (SimpleDirectedGraphNode *node)
	Check if a node containing data is in the graph. More...

bool	linkExists (SimpleDirectedGraphNode from, SimpleDirectedGraphNode to)
	Check if a dependence is in the graph. More...

void	printGraph ()

std::set < SimpleDirectedGraphNode * >	getReachable (SimpleDirectedGraphNode *start, TraverseDirection dir)

	SimpleDirectedGraph ()

virtual	~SimpleDirectedGraph ()

std::set < SimpleDirectedGraphNode * >	getNodes ()
	get all the nodes in the graph More...

virtual void	addNode (SimpleDirectedGraphNode *node)
	Add a node to the graph. More...

virtual void	removeNode (SimpleDirectedGraphNode *node)

virtual void	removeLink (SimpleDirectedGraphNode from, SimpleDirectedGraphNode to)
	Remove a linkt between "from" and "to". More...

virtual void	addLink (SimpleDirectedGraphNode from, SimpleDirectedGraphNode to)
	Add a link to the graph between "from" and to "to". More...

bool	nodeExists (SimpleDirectedGraphNode *node)
	Check if a node containing data is in the graph. More...

bool	linkExists (SimpleDirectedGraphNode from, SimpleDirectedGraphNode to)
	Check if a dependence is in the graph. More...

void	printGraph ()

std::set < SimpleDirectedGraphNode * >	getReachable (SimpleDirectedGraphNode *start, TraverseDirection dir)

Private Member Functions
void	processDependence (int aID, int bID)

void	createSyntacticDependencies ()

void	addDependence (int source, int to, EdgeType edge=CONTROL)

void	buildCDG ()

void	_buildCDG ()

void	_buildInterprocedural ()

void	_addDependence (SgNode from, SgNode to)

void	processDependence (int aID, int bID)

void	createSyntacticDependencies ()

void	addDependence (int source, int to, EdgeType edge=CONTROL)

void	buildCDG ()

void	_buildCDG ()

void	_buildInterprocedural ()

void	_addDependence (SgNode from, SgNode to)

Private Attributes
Rose_STL_Container< SgNode * >	functionCalls

SliceCFGNode	source

SliceCFGNode	sink

SliceDominatorTree	dominatorTree

SgNode *	head

SgNode *	decl

SgNode *	def

Additional Inherited Members
Public Types inherited from DependenceGraph
enum	EdgeType { CONTROL = 0x1, CALL = 0x4, CALL_RETURN = 0x5, DATA = 0x2, SUMMARY = 0x3, PARAMETER_IN = 0x7, PARAMETER_OUT = 0x8, SYNTACTIC = 0xe, DATA_HELPER = 0x9, CONTROL_HELPER = 0xa, GLOBALVAR_HELPER = 0xb, COMPLETENESS_HELPER =0xc, BELONGS_TO = 0xd, DO_NOT_FOLLOW = 0x10, CONTROL = 0x1, CALL = 0x4, CALL_RETURN = 0x5, DATA = 0x2, SUMMARY = 0x3, PARAMETER_IN = 0x7, PARAMETER_OUT = 0x8, SYNTACTIC = 0xe, DATA_HELPER = 0x9, CONTROL_HELPER = 0xa, GLOBALVAR_HELPER = 0xb, COMPLETENESS_HELPER =0xc, BELONGS_TO = 0xd, DO_NOT_FOLLOW = 0x10 }

enum	EdgeType { CONTROL = 0x1, CALL = 0x4, CALL_RETURN = 0x5, DATA = 0x2, SUMMARY = 0x3, PARAMETER_IN = 0x7, PARAMETER_OUT = 0x8, SYNTACTIC = 0xe, DATA_HELPER = 0x9, CONTROL_HELPER = 0xa, GLOBALVAR_HELPER = 0xb, COMPLETENESS_HELPER =0xc, BELONGS_TO = 0xd, DO_NOT_FOLLOW = 0x10, CONTROL = 0x1, CALL = 0x4, CALL_RETURN = 0x5, DATA = 0x2, SUMMARY = 0x3, PARAMETER_IN = 0x7, PARAMETER_OUT = 0x8, SYNTACTIC = 0xe, DATA_HELPER = 0x9, CONTROL_HELPER = 0xa, GLOBALVAR_HELPER = 0xb, COMPLETENESS_HELPER =0xc, BELONGS_TO = 0xd, DO_NOT_FOLLOW = 0x10 }

Static Public Attributes inherited from DependenceGraph
static const char *	edgeNameArray [8]

Protected Types inherited from DependenceGraph
typedef std::pair < DependenceNode , DependenceNode >	Edge
	! InterproceduralInfo _interprocedural; More...

typedef std::pair < DependenceNode , DependenceNode >	Edge
	! InterproceduralInfo _interprocedural; More...

Protected Member Functions inherited from DependenceGraph
bool	isLibraryFunction (SgFunctionDeclaration *sgFD) const

bool	isLibraryFunction (SgFunctionDeclaration *sgFD) const

Protected Attributes inherited from DependenceGraph
bool	debugme

std::map< SgNode , DependenceNode >	sgNodeToDepNodeMap
	! std::map < DependenceNode , DependenceNode * >_depnode_map; More...

std::map < DependenceNode::NodeType, std::map< SgNode , DependenceNode > >	nodeTypeToDepNodeMapMap

std::map< EdgeType, std::set < Edge > >	edgeTypeMap

std::map< Edge, std::set < EdgeType > >	edgeMap

Detailed Description

Definition at line 906 of file DependenceGraph.h.

Constructor & Destructor Documentation

ControlDependenceGraph::ControlDependenceGraph	(	SgFunctionDefinition *	head,
		InterproceduralInfo *	ii = `NULL`
	)

ControlDependenceGraph::ControlDependenceGraph	(	SgFunctionDefinition *	head,
		InterproceduralInfo *	ii = `NULL`
	)

Member Function Documentation

void ControlDependenceGraph::computeInterproceduralInformation ( InterproceduralInfo * ii)

void ControlDependenceGraph::computeAdditionalFunctioncallDepencencies ( )

void ControlDependenceGraph::processDependence	(	int	aID,
		int	bID
	)

private

void ControlDependenceGraph::createSyntacticDependencies ( )

private

void ControlDependenceGraph::addDependence	(	int	source,
		int	to,
		EdgeType	edge = `CONTROL`
	)

private

void ControlDependenceGraph::buildCDG ( )

private

void ControlDependenceGraph::_buildCDG ( )

private

void ControlDependenceGraph::_buildInterprocedural ( )

private

void ControlDependenceGraph::_addDependence	(	SgNode *	from,
		SgNode *	to
	)

private

void ControlDependenceGraph::computeInterproceduralInformation ( InterproceduralInfo * ii)

void ControlDependenceGraph::computeAdditionalFunctioncallDepencencies ( )

void ControlDependenceGraph::processDependence	(	int	aID,
		int	bID
	)

private

void ControlDependenceGraph::createSyntacticDependencies ( )

private

void ControlDependenceGraph::addDependence	(	int	source,
		int	to,
		EdgeType	edge = `CONTROL`
	)

private

void ControlDependenceGraph::buildCDG ( )

private

void ControlDependenceGraph::_buildCDG ( )

private

void ControlDependenceGraph::_buildInterprocedural ( )

private

void ControlDependenceGraph::_addDependence	(	SgNode *	from,
		SgNode *	to
	)

private

Member Data Documentation

Rose_STL_Container< SgNode * > ControlDependenceGraph::functionCalls

private

Definition at line 951 of file DependenceGraph.h.

SliceCFGNode ControlDependenceGraph::source

private

Definition at line 955 of file DependenceGraph.h.

SliceCFGNode ControlDependenceGraph::sink

private

Definition at line 955 of file DependenceGraph.h.

SliceDominatorTree ControlDependenceGraph::dominatorTree

private

Definition at line 957 of file DependenceGraph.h.

SgNode * ControlDependenceGraph::head

private

Definition at line 963 of file DependenceGraph.h.

SgNode * ControlDependenceGraph::decl

private

Definition at line 964 of file DependenceGraph.h.

SgNode * ControlDependenceGraph::def

private

Definition at line 964 of file DependenceGraph.h.

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

Public Member Functions

Private Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation