Backstroke Namespace Reference

Classes

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

Typedefs

typedef CFG< FullCFGNodeFilterFullCFG
 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

A full CFG without any filtered nodes.

Definition at line 92 of file graphTemplate.h.

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 
) [inline]
template<class CFGEdgeType >
void Backstroke::writeCFGEdge ( std::ostream &  out,
const CFGEdgeType &  e 
) [inline]

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


Generated on 23 Sep 2015 for ROSE by  doxygen 1.6.1