Description

template<class CFG>
class SgGraphTraversal< CFG >

Definition at line 82 of file graphProcessing.h.

Inheritance diagram for SgGraphTraversal< CFG >:

[legend]

Collaboration diagram for SgGraphTraversal< CFG >:

[legend]

Public Types
typedef boost::graph_traits< CFG >::vertex_descriptor	Vertex

typedef boost::graph_traits< CFG >::edge_descriptor	Edge

typedef StackFrameVector< SynthesizedAttributeType >	SynthesizedAttributesList

Public Member Functions
void	constructPathAnalyzer (CFG *g, bool unbounded=false, Vertex end=0, Vertex begin=0, bool ns=true)
	This is the function that is used by the user directly to start the algorithm.

virtual void	analyzePath (std::vector< Vertex > &pth)=0

std::vector< int >	getInEdges (int &node, CFG *&g)
	Gets out edges with integer inputs, internal use only SgGraphTraversal::getInEdges Input:

std::vector< int >	getOutEdges (int &node, CFG *&g)
	Gets out edges with integer inputs, internal use only SgGraphTraversal::getOutEdges Input:

int	getTarget (int &n, CFG *&g)
	Gets the target of an edge SgGraphTraversal::getTarget Input:

int	getSource (int &n, CFG *&g)
	Gets the source of an edge SgGraphTraversal::getSource Input:

	SgGraphTraversal (SgGraphTraversal &)

SgGraphTraversal &	operator= (SgGraphTraversal &)

void	firstPrepGraph (CFG *&g)
	DEPRECATED This is the function that preps the graph for traversal, currently this one isn't used but for many traversals on one visitor may necessitate.

	SgGraphTraversal (const SgGraphTraversal &)

const SgGraphTraversal &	operator= (const SgGraphTraversal &)

InheritedAttributeType	traverse (SgGraphNode basenode, SgIncidenceDirectedGraph g, InheritedAttributeType inheritedValue, InheritedAttributeType nullInherit, SgGraphNode *endnode, bool insep=false, bool pcHk=false)
	This is the function that is used by the user directly to start the algorithm.

Public Attributes
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

Protected Member Functions
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)

Member Typedef Documentation

◆ Vertex

template<class CFG >

typedef boost::graph_traits<CFG>::vertex_descriptor SgGraphTraversal< CFG >::Vertex

Definition at line 86 of file graphProcessing.h.

◆ Edge

template<class CFG >

typedef boost::graph_traits<CFG>::edge_descriptor SgGraphTraversal< CFG >::Edge

Definition at line 87 of file graphProcessing.h.

◆ SynthesizedAttributesList

template<class CFG >

typedef StackFrameVector<SynthesizedAttributeType> SgGraphTraversal< CFG >::SynthesizedAttributesList

Definition at line 137 of file graphProcessingSgIncGraph.h.

Constructor & Destructor Documentation

◆ SgGraphTraversal()

template<class InheritedAttributeType , class SynthesizedAttributeType >

SgGraphTraversal< InheritedAttributeType, SynthesizedAttributeType >::SgGraphTraversal ( )

Definition at line 191 of file graphProcessing.h.

◆ ~SgGraphTraversal()

template<class InheritedAttributeType , class SynthesizedAttributeType >

SgGraphTraversal< InheritedAttributeType, SynthesizedAttributeType >::~SgGraphTraversal ( )

virtual

Definition at line 209 of file graphProcessing.h.

Member Function Documentation

◆ constructPathAnalyzer()

template<class CFG >

void SgGraphTraversal< CFG >::constructPathAnalyzer	(	CFG *	g,
		bool	unbounded = `false`,
		Vertex	begin = `0`,
		Vertex	end = `0`,
		bool	ns = `true`
	)

This is the function that is used by the user directly to start the algorithm.

It is immediately available to the user

SgGraphTraversal::constructPathAnalyzer Input:

Parameters

[begin]	Vertex, starting node
[end]	Vertex, endnode
[g]	CFG* g, CFG calculated previously

Definition at line 1118 of file graphProcessing.h.

◆ getInEdges()

template<class CFG >

std::vector< int > SgGraphTraversal< CFG >::getInEdges	(	int &	node,
		CFG *&	g
	)

Gets out edges with integer inputs, internal use only SgGraphTraversal::getInEdges Input:

Parameters

[node]	int, integer representation of the node to get the in edges from
[g]	CFG* g, CFG

Definition at line 262 of file graphProcessing.h.

◆ getOutEdges()

template<class CFG >

std::vector< int > SgGraphTraversal< CFG >::getOutEdges	(	int &	node,
		CFG *&	g
	)

Gets out edges with integer inputs, internal use only SgGraphTraversal::getOutEdges Input:

Parameters

[node]	int, integer representation of the node to get the out edges from
[g]	CFG* g, CFG

Definition at line 294 of file graphProcessing.h.

◆ getTarget()

template<class CFG >

int SgGraphTraversal< CFG >::getTarget	(	int &	edge,
		CFG *&	g
	)

inline

Gets the target of an edge SgGraphTraversal::getTarget Input:

Parameters

[edge]	int& integer representation of edge in quesution
[g]	the CFG*& CFG used

Definition at line 244 of file graphProcessing.h.

◆ getSource()

template<class CFG >

int SgGraphTraversal< CFG >::getSource	(	int &	edge,
		CFG *&	g
	)

inline

Gets the source of an edge SgGraphTraversal::getSource Input:

Parameters

[edge]	int& integer representation of edge in question
[g]	CFG*& the CFG used

Definition at line 225 of file graphProcessing.h.

◆ operator=() [1/2]

template<class CFG >

SgGraphTraversal< CFG > & SgGraphTraversal< CFG >::operator= ( SgGraphTraversal< CFG > & other )

Definition at line 200 of file graphProcessing.h.

◆ firstPrepGraph()

template<class CFG >

void SgGraphTraversal< CFG >::firstPrepGraph ( CFG *& g )

DEPRECATED This is the function that preps the graph for traversal, currently this one isn't used but for many traversals on one visitor may necessitate.

SgGraphTraversal::firstPrepGraph Input:

Parameters

[g]	CFG*& g, CFG calculated previously

Definition at line 1375 of file graphProcessing.h.

◆ operator=() [2/2]

template<class InheritedAttributeType , class SynthesizedAttributeType >

const SgGraphTraversal< InheritedAttributeType, SynthesizedAttributeType > & SgGraphTraversal< InheritedAttributeType, SynthesizedAttributeType >::operator= ( const SgGraphTraversal< CFG > & other )

Definition at line 329 of file graphProcessingSgIncGraph.h.

◆ traverse()

template<class InheritedAttributeType , class SynthesizedAttributeType >

InheritedAttributeType SgGraphTraversal< InheritedAttributeType, SynthesizedAttributeType >::traverse	(	SgGraphNode *	n,
		SgIncidenceDirectedGraph *	g,
		InheritedAttributeType	inheritedValue,
		InheritedAttributeType	nullI,
		SgGraphNode *	endnode,
		bool	insep = `false`,
		bool	pCh = `false`
	)

This is the function that is used by the user directly to start the algorithm.

It is immediately available to the user

SgGraphTraversal::traverse Input:

Parameters

[n]	n starting node
[g]	SgIncidenceDirectedGraph* g, CFG calculated previously
[inheritedValue]	InheritedAttributeType inheritedValue, value of the starting node
[nullI]	InheritedAttributeType nullI, value of the null Attribute, i.e. what to attribute to a node with no value\
[endnode]	SgGraphNode* endnode, final node
[insep]	boolean to decide inseparability of the analysis function, not yet in use, set automatically to false
[pCh]	deprecated, set to false

Returns: InheritedAttributeType, the value of the attribute at the end node

Definition at line 359 of file graphProcessingSgIncGraph.h.

Referenced by SageInterface::annotateExpressionsWithUniqueNames().

◆ defaultSynthesizedAttribute()

template<class InheritedAttributeType , class SynthesizedAttributeType >

SynthesizedAttributeType SgGraphTraversal< InheritedAttributeType, SynthesizedAttributeType >::defaultSynthesizedAttribute ( InheritedAttributeType inh )

protected

Definition at line 1594 of file graphProcessingSgIncGraph.h.