visitorTraversal Class Reference

#include <yicesParserLib.h>

Inheritance diagram for visitorTraversal:

Collaboration diagram for visitorTraversal:

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 &)
	SgGraphTraversal ()
	SgGraphTraversal (const SgGraphTraversal &)
virtual	~SgGraphTraversal ()
virtual	~SgGraphTraversal ()
SgGraphTraversal &	operator= (SgGraphTraversal &)
const SgGraphTraversal &	operator= (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
SgIncidenceDirectedGraph *	g
myGraph *	orig
StaticCFG::CFG *	cfg
int	pathnumber
Public Attributes inherited from SgGraphTraversal< CFGforT >
std::map< Vertex, int >	vertintmap
std::map< Edge, int >	edgeintmap
std::map< int, Vertex >	intvertmap
std::map< int, Edge >	intedgemap
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
SgGraphNode *	nullnode
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)

Detailed Description

Definition at line 256 of file yicesParserLib.h.

Member Function Documentation

void visitorTraversal::analyzePath

(

std::vector< VertexID > &

pth)

Definition at line 434 of file yicesParserLib.h.

References calledMap, cfg, evalFunction(), forFlag, SgFunctionDeclaration::get_definition(), SgInitializedName::get_qualified_name(), SgFunctionDeclaration::get_qualified_name(), SgFunctionCallExp::getAssociatedFunctionDeclaration(), getExpr, getGraphNodeType(), VirtualCFG::CFGNode::getIndex(), SgName::getString(), IName, inconsistent, isSgFunctionCallExp(), nameOf, noAssert, notMap, opencfg, openg, openorig, pathnum, paths, propagateFunctionCall(), qst, rounds, StaticCFG::CFG::toCFGNode(), unknownFunctions, unknowns, unknownvdeclis, and usingNots.

Member Data Documentation

int visitorTraversal::tltnodes

Definition at line 259 of file yicesParserLib.h.

Referenced by yicesCheck().

std::set<SgNode*> visitorTraversal::knownNodes

Definition at line 262 of file yicesParserLib.h.

SgIncidenceDirectedGraph* visitorTraversal::g

Definition at line 265 of file yicesParserLib.h.

Referenced by yicesCheck().

myGraph* visitorTraversal::orig

Definition at line 266 of file yicesParserLib.h.

Referenced by yicesCheck().

StaticCFG::CFG* visitorTraversal::cfg

Definition at line 267 of file yicesParserLib.h.

Referenced by yicesCheck().

int visitorTraversal::pathnumber

Definition at line 268 of file yicesParserLib.h.

Referenced by yicesCheck().

---

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

• yicesParserLib.h