ROSE  0.9.10.2
Public Member Functions | Public Attributes | List of all members
visitorTraversal Class Reference

Description

Definition at line 256 of file yicesParserLib.h.

Inheritance diagram for visitorTraversal:
Inheritance graph
[legend]
Collaboration diagram for visitorTraversal:
Collaboration graph
[legend]

Public Member Functions

void analyzePath (std::vector< VertexID > &pth)
 
- Public Member Functions inherited from SgGraphTraversal< CFGforT >
void constructPathAnalyzer (CFGforT *g, bool unbounded=false, Vertex end=0, Vertex begin=0, bool ns=true)
 
virtual void analyzePath (std::vector< Vertex > &pth)=0
 
std::vector< int > getInEdges (int &node, CFGforT *&g)
 
std::vector< int > getOutEdges (int &node, CFGforT *&g)
 
int getTarget (int &n, CFGforT *&g)
 
int getSource (int &n, CFGforT *&g)
 
 SgGraphTraversal (SgGraphTraversal &)
 
 SgGraphTraversal (const SgGraphTraversal &)
 
SgGraphTraversaloperator= (SgGraphTraversal &)
 
const SgGraphTraversaloperator= (const SgGraphTraversal &)
 
void firstPrepGraph (CFGforT *&g)
 
InheritedAttributeType traverse (SgGraphNode *basenode, SgIncidenceDirectedGraph *g, InheritedAttributeType inheritedValue, InheritedAttributeType nullInherit, SgGraphNode *endnode, bool insep=false, bool pcHk=false)
 

Public Attributes

int tltnodes
 
std::set< SgNode * > knownNodes
 
SgIncidenceDirectedGraphg
 
myGraph * orig
 
StaticCFG::CFGcfg
 
int pathnumber
 
- Public Attributes inherited from SgGraphTraversal< CFGforT >
std::map< Vertex, int > vertintmap
 
std::map< Edge, int > edgeintmap
 
std::map< int, Vertexintvertmap
 
std::map< int, Edgeintedgemap
 
int pathnum
 
std::set< std::map< int,
std::set< int > > > 
subpathmap
 
int loopNum
 
int nullNum
 
std::set< SgDirectedGraphEdge * > nullEdgesOrdered
 
std::map< SgGraphNode *, int > loopNumMap
 
std::map< SgGraphNode *, int > pathValMap
 
int nullloops
 
std::vector< std::vector
< SgGraphNode * > > 
looppaths
 
std::vector< std::vector
< SgGraphNode * > > 
iLoops
 
std::vector< SgGraphNode * > ifstatements
 
int nullEdgesPaths
 
int turns
 
int numnodes
 
SgGraphNodenullnode
 
std::map< SgGraphNode *, int > primenode
 
bool done
 
std::set< SgGraphNode * > lstN
 
std::map< SgGraphNode
*, std::vector< std::set< int > > > 
lstordmap
 
std::set< SgGraphNode * > solvedLoops
 
std::map< SgGraphNode
*, std::vector< SgGraphNode * > > 
checkednodes
 
std::map< SgGraphNode
*, std::set< SgGraphNode * > > 
downed
 
InheritedAttributeType nullInherit
 
std::set< SgGraphNode * > loopSet
 

Additional Inherited Members

- Public Types inherited from SgGraphTraversal< CFGforT >
typedef boost::graph_traits
< CFGforT >::vertex_descriptor 
Vertex
 
typedef boost::graph_traits
< CFGforT >::edge_descriptor 
Edge
 
typedef StackFrameVector
< SynthesizedAttributeType > 
SynthesizedAttributesList
 
- Protected Member Functions inherited from SgGraphTraversal< CFGforT >
virtual InheritedAttributeType evaluateInheritedAttribute (SgGraphNode *n, std::vector< InheritedAttributeType > inheritedValues)=0
 
virtual SynthesizedAttributeType evaluateSynthesizedAttribute (SgGraphNode *n, InheritedAttributeType in, SynthesizedAttributesList l)=0
 
virtual void pathAnalyze (std::vector< SgGraphNode * > &pth, bool loop=false, std::set< std::vector< SgGraphNode * > > &incloops=NULL)=0
 
SynthesizedAttributeType defaultSynthesizedAttribute (InheritedAttributeType)
 

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