Backstroke Namespace Reference

Classes
class	CFG
	A class holding a Control Flow Graph. More...
struct	FullCFGNodeFilter
struct	InterestingCFGNodeFilter

Typedefs
typedef CFG< FullCFGNodeFilter >	FullCFG
	A full CFG without any filtered nodes. More...
typedef CFG < InterestingCFGNodeFilter >	FilteredCFG
	A filtered CFG which only contains interesting nodes and edges. More...

Functions
template<class CFGNodeType >
void	writeCFGNode (std::ostream &out, const CFGNodeType &cfgNode)
	This function helps to write the DOT file for vertices. More...
template<class CFGEdgeType >
void	writeCFGEdge (std::ostream &out, const CFGEdgeType &e)
	This function helps to write the DOT file for edges. More...

Typedef Documentation

typedef CFG<FullCFGNodeFilter> Backstroke::FullCFG

A full CFG without any filtered nodes.

Definition at line 92 of file graphTemplate.h.

typedef CFG<InterestingCFGNodeFilter> Backstroke::FilteredCFG

A filtered CFG which only contains interesting nodes and edges.

Definition at line 96 of file graphTemplate.h.

Function Documentation

template<class CFGNodeType >

void Backstroke::writeCFGNode	(	std::ostream &	out,
		const CFGNodeType &	cfgNode
	)

This function helps to write the DOT file for vertices.

Definition at line 25 of file graphTemplate.h.

References SgNode::class_name(), isSgCaseOptionStmt(), isSgDefaultOptionStmt(), isSgExpression(), isSgFunctionDefinition(), isSgInitializedName(), isSgScopeStatement(), isSgStatement(), and SgNode::unparseToString().

Referenced by Backstroke::CFG< CFGNodeFilter >::writeGraphNode().

template<class CFGEdgeType >

void Backstroke::writeCFGEdge	(	std::ostream &	out,
		const CFGEdgeType &	e
	)

This function helps to write the DOT file for edges.

Definition at line 69 of file graphTemplate.h.

References escapeString().

Referenced by Backstroke::CFG< CFGNodeFilter >::writeGraphEdge().