StaticCFG Namespace Reference

Classes
class	CustomFilteredCFG
	A CFG implementation with Custom filters. More...
class	InterproceduralCFG
class	CFG
class	CFGNodeAttribute
	This class stores index of each node as an attribuite of SgGraphNode. More...
class	CFGEdgeAttribute
struct	DefaultFilter
struct	InterestingCFGNodeFilter
class	ControlFlowGraph

Typedefs
typedef boost::function< bool(const VirtualCFG::CFGNode &)>	CFGNodeFilter
typedef VirtualCFG::FilteredCFGNode < CFGNodeFilter >	CFGNode
typedef VirtualCFG::FilteredCFGEdge < CFGNodeFilter >	CFGEdge
typedef boost::shared_ptr < CFGNode >	CFGNodePtr
typedef boost::shared_ptr < CFGEdge >	CFGEdgePtr

Functions
std::vector < SgDirectedGraphEdge * >	outEdges (SgGraphNode *node)
std::vector < SgDirectedGraphEdge * >	inEdges (SgGraphNode *node)
void	writeCFGNode (std::ostream &out, const CFGNode &cfgNode)
	This function helps to write the DOT file for vertices. More...
void	writeCFGEdge (std::ostream &out, const CFGEdge &e)
	This function helps to write the DOT file for edges. More...

Typedef Documentation

typedef boost::function<bool(const VirtualCFG::CFGNode&)> StaticCFG::CFGNodeFilter

Definition at line 23 of file cong_staticCFG.h.

typedef VirtualCFG::FilteredCFGNode<CFGNodeFilter> StaticCFG::CFGNode

Definition at line 26 of file cong_staticCFG.h.

typedef VirtualCFG::FilteredCFGEdge<CFGNodeFilter> StaticCFG::CFGEdge

Definition at line 27 of file cong_staticCFG.h.

typedef boost::shared_ptr<CFGNode> StaticCFG::CFGNodePtr

Definition at line 29 of file cong_staticCFG.h.

typedef boost::shared_ptr<CFGEdge> StaticCFG::CFGEdgePtr

Definition at line 30 of file cong_staticCFG.h.

Function Documentation

std::vector<SgDirectedGraphEdge*> StaticCFG::outEdges

(

SgGraphNode *

node)

Referenced by ssa_private::CFG< CFGNodeT, CFGEdgeT >::buildCFG(), Backstroke::CFG< CFGNodeFilter >::buildCFG(), DominatorTreesAndDominanceFrontiers::TemplatedDominanceFrontier< CFGFilterFunction >::buildFrontier(), SgGraphTraversal< CFG >::computeOrder(), SgGraphTraversal< CFG >::computeSubGraphs(), DominatorTreesAndDominanceFrontiers::TemplatedDominatorTree< CFGFilterFunction >::depthFirstSearch(), VirtualCFG::printNodePlusEdges(), SgGraphTraversal< CFG >::printNodePlusEdgesForAnalysis(), and VirtualCFG::CfgToDotImpl< NodeT, EdgeT, Debug >::processNodes().

std::vector<SgDirectedGraphEdge*> StaticCFG::inEdges

(

SgGraphNode *

node)

Referenced by SgGraphTraversal< CFG >::computeOrder(), VirtualCFG::printNodePlusEdges(), and VirtualCFG::CfgToDotImpl< NodeT, EdgeT, Debug >::processNodes().

void StaticCFG::writeCFGNode	(	std::ostream &	out,
		const CFGNode &	cfgNode
	)

This function helps to write the DOT file for vertices.

Referenced by SDG::ControlDependenceGraph::writeGraphNode(), and SDG::ProgramDependenceGraph::writeGraphNode().

void StaticCFG::writeCFGEdge	(	std::ostream &	out,
		const CFGEdge &	e
	)

This function helps to write the DOT file for edges.