Backstroke Namespace Reference

Classes
struct	FullCFGNodeFilter
struct	InterestingCFGNodeFilter
class	CFG
	A class holding a Control Flow Graph. More...
Typedefs
typedef CFG< FullCFGNodeFilter >	FullCFG
	A full CFG without any filtered nodes.
typedef CFG< InterestingCFGNodeFilter >	FilteredCFG
	A filtered CFG which only contains interesting nodes and edges.
Functions
template<class CFGNodeType>
void	writeCFGNode (std::ostream &out, const CFGNodeType &cfgNode)
	This function helps to write the DOT file for vertices.
template<class CFGEdgeType>
void	writeCFGEdge (std::ostream &out, const CFGEdgeType &e)
	This function helps to write the DOT file for edges.

---

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().

---