VirtualCFG::CFGEdge Class Reference

#include <virtualCFG.h>

Collaboration diagram for VirtualCFG::CFGEdge:

[legend]List of all members.

---

Detailed Description

A control flow edge connecting two CFG nodes, with an edge condition to indicate edge types.

Public Member Functions
	CFGEdge (CFGNode src, CFGNode tgt)
	Constructor.
std::string	toString () const
	Pretty string for Dot node labels, etc.
std::string	toStringForDebugging () const
	String for debugging graphs.
std::string	id () const
	ID to use for Dot, etc.
CFGNode	source () const
	The source (beginning) CFG node.
CFGNode	target () const
	The target (ending) CFG node.
EdgeConditionKind	condition () const
	The control flow condition that enables this edge.
SgExpression *	caseLabel () const
	The label of the case represented by an eckCaseLabel edge.
unsigned int	computedGotoCaseIndex () const
	The expression of the computed goto represented by the eckArithmeticIf* conditions.
SgExpression *	conditionBasedOn () const
	The test or case key that is tested as a condition of this control flow edge.
std::vector< SgInitializedName * >	scopesBeingExited () const
	Variables going out of scope across this edge (not extensively tested).
std::vector< SgInitializedName * >	scopesBeingEntered () const
	Variables coming into scope across this edge (not extensively tested).
bool	operator== (const CFGEdge &o) const
	Compare equality of edges.
bool	operator!= (const CFGEdge &o) const
	Compare disequality of edges.
Private Attributes
CFGNode	src
CFGNode	tgt

---

Constructor & Destructor Documentation

VirtualCFG::CFGEdge::CFGEdge	(	CFGNode	src,
		CFGNode	tgt
	)			[inline]

Constructor.

---

Member Function Documentation

std::string VirtualCFG::CFGEdge::toString

(

)

const

Pretty string for Dot node labels, etc.

std::string VirtualCFG::CFGEdge::toStringForDebugging

(

)

const

String for debugging graphs.

std::string VirtualCFG::CFGEdge::id

(

)

const

ID to use for Dot, etc.

CFGNode VirtualCFG::CFGEdge::source

(

)

const [inline]

The source (beginning) CFG node.

CFGNode VirtualCFG::CFGEdge::target

(

)

const [inline]

The target (ending) CFG node.

EdgeConditionKind VirtualCFG::CFGEdge::condition

(

)

const

The control flow condition that enables this edge.

SgExpression* VirtualCFG::CFGEdge::caseLabel

(

)

const

The label of the case represented by an eckCaseLabel edge.

unsigned int VirtualCFG::CFGEdge::computedGotoCaseIndex

(

)

const

The expression of the computed goto represented by the eckArithmeticIf* conditions.

SgExpression* VirtualCFG::CFGEdge::conditionBasedOn

(

)

const

The test or case key that is tested as a condition of this control flow edge.

std::vector<SgInitializedName*> VirtualCFG::CFGEdge::scopesBeingExited

(

)

const

Variables going out of scope across this edge (not extensively tested).

std::vector<SgInitializedName*> VirtualCFG::CFGEdge::scopesBeingEntered

(

)

const

Variables coming into scope across this edge (not extensively tested).

bool VirtualCFG::CFGEdge::operator==

(

const CFGEdge &

o

)

const [inline]

Compare equality of edges.

bool VirtualCFG::CFGEdge::operator!=

(

const CFGEdge &

o

)

const [inline]

Compare disequality of edges.

---

Member Data Documentation

CFGNode VirtualCFG::CFGEdge::src [private]

CFGNode VirtualCFG::CFGEdge::tgt [private]

---

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

• virtualCFG.h

---