StaticCFG::InterproceduralCFG Class Reference

#include <interproceduralCFG.h>

Inheritance diagram for StaticCFG::InterproceduralCFG:

Collaboration diagram for StaticCFG::InterproceduralCFG:

Public Member Functions
	InterproceduralCFG ()
	InterproceduralCFG (SgNode *node, bool is_filtered=false)
SgNode *	getEntry ()
SgIncidenceDirectedGraph *	getGraph ()
SgGraphNode *	getGraphNode (CFGNode n)
virtual void	buildCFG ()
	Build CFG according to the 'is_filtered_' flag. More...
virtual void	buildFullCFG ()
	Build CFG for debugging. More...
virtual void	buildFilteredCFG ()
	Build filtered CFG which only contains interesting nodes. More...
Public Member Functions inherited from StaticCFG::CFG
	CFG ()
CFGNode	toCFGNode (SgGraphNode *node)
	Turn a graph node into a CFGNode which is defined in VirtualCFG namespace. More...
SgGraphNode *	toGraphNode (CFGNode &n)
	Turn a CFG node into a GraphNode which is defined in VirtualCFG namespace. More...
	CFG (SgNode *node, bool is_filtered=false)
	The constructor building the CFG. More...
SgIncidenceDirectedGraph *	getGraph () const
	Get the pointer pointing to the graph used by static CFG. More...
virtual	~CFG ()
void	setStart (SgNode *node)
	Set the start node for graph building. More...
SgGraphNode *	getEntry () const
	Get the entry node of the CFG. More...
SgGraphNode *	getExit () const
	Get the exit node of the CFG. More...
bool	isFilteredCFG () const
void	setFiltered (bool flag)
std::vector < SgDirectedGraphEdge * >	getOutEdges (SgGraphNode *node)
std::vector < SgDirectedGraphEdge * >	getInEdges (SgGraphNode *node)
SgGraphNode *	cfgForBeginning (SgNode *node)
SgGraphNode *	cfgForEnd (SgNode *node)
void	cfgToDot (SgNode *node, const std::string &file_name)
	Output the graph to a DOT file. More...

Public Attributes
std::map< CFGNode, SgGraphNode * >	alNodes
CFGNode	neededStart

Protected Member Functions
virtual void	buildCFG (CFGNode n, std::map< CFGNode, SgGraphNode * > &all_nodes, std::set< CFGNode > &explored, ClassHierarchyWrapper *classHierarchy)
Protected Member Functions inherited from StaticCFG::CFG
template<class NodeT , class EdgeT >
void	buildCFG (NodeT n, std::map< NodeT, SgGraphNode * > &all_nodes, std::set< NodeT > &explored)
void	clearNodesAndEdges ()
	Delete all nodes and edges in the graph and release memories. More...
virtual void	processNodes (std::ostream &o, SgGraphNode *n, std::set< SgGraphNode * > &explored)
virtual void	printNodePlusEdges (std::ostream &o, SgGraphNode *node)
virtual void	printNode (std::ostream &o, SgGraphNode *node)
virtual void	printEdge (std::ostream &o, SgDirectedGraphEdge *edge, bool isInEdge)

Additional Inherited Members
Static Public Member Functions inherited from StaticCFG::CFG
static int	getIndex (SgGraphNode *node)
	Get the index of a CFG node. More...
Protected Attributes inherited from StaticCFG::CFG
SgIncidenceDirectedGraph *	graph_
	The graph data structure holding the CFG. More...
std::map< CFGNode, SgGraphNode * >	all_nodes_
	A map from CFGNode in virtualCFG to node from staticCFG. More...
SgNode *	start_
	The start node to begin CFG build. More...
SgGraphNode *	entry_
	The entry node. More...
SgGraphNode *	exit_
	The exit node. More...
bool	is_filtered_
	A flag shows whether this CFG is filtered or not. More...

Detailed Description

Definition at line 23 of file interproceduralCFG.h.

Constructor & Destructor Documentation

StaticCFG::InterproceduralCFG::InterproceduralCFG ( )

inline

Definition at line 31 of file interproceduralCFG.h.

StaticCFG::InterproceduralCFG::InterproceduralCFG ( SgNode *  node, bool  is_filtered = false  )

inline

Definition at line 34 of file interproceduralCFG.h.

Member Function Documentation

virtual void StaticCFG::InterproceduralCFG::buildCFG ( CFGNode  n, std::map< CFGNode, SgGraphNode * > &  all_nodes, std::set< CFGNode > &  explored, ClassHierarchyWrapper *  classHierarchy  )

protectedvirtual

SgNode* StaticCFG::InterproceduralCFG::getEntry ( )

inline

Definition at line 41 of file interproceduralCFG.h.

Referenced by instantiateGraph().

SgIncidenceDirectedGraph* StaticCFG::InterproceduralCFG::getGraph ( )

inline

Definition at line 45 of file interproceduralCFG.h.

Referenced by yicesCheck().

SgGraphNode* StaticCFG::InterproceduralCFG::getGraphNode ( CFGNode  n)

inline

Definition at line 49 of file interproceduralCFG.h.

virtual void StaticCFG::InterproceduralCFG::buildCFG ( )

inlinevirtual

Build CFG according to the 'is_filtered_' flag.

Reimplemented from StaticCFG::CFG.

Definition at line 53 of file interproceduralCFG.h.

virtual void StaticCFG::InterproceduralCFG::buildFullCFG ( )

virtual

Build CFG for debugging.

Reimplemented from StaticCFG::CFG.

virtual void StaticCFG::InterproceduralCFG::buildFilteredCFG ( )

virtual

Build filtered CFG which only contains interesting nodes.

Reimplemented from StaticCFG::CFG.

Member Data Documentation

std::map<CFGNode, SgGraphNode*> StaticCFG::InterproceduralCFG::alNodes

Definition at line 57 of file interproceduralCFG.h.

CFGNode StaticCFG::InterproceduralCFG::neededStart

Definition at line 58 of file interproceduralCFG.h.

---

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

• interproceduralCFG.h