cz::muni::stanse::codestructures::InterproceduralCFGsNavigator Class Reference

Inheritance diagram for cz::muni::stanse::codestructures::InterproceduralCFGsNavigator:

[legend]

Collaboration diagram for cz::muni::stanse::codestructures::InterproceduralCFGsNavigator:

[legend]

List of all members.

Public Member Functions
	InterproceduralCFGsNavigator (final Collection< CFGHandle > CFGs, final ElementCFGdictionary cfgDict)
	InterproceduralCFGsNavigator (final InterproceduralCFGsNavigator source)
boolean	isCallNode (final CFGNode node)
boolean	isStartNode (final CFGNode node)
boolean	isEndNode (final CFGNode node)
CFGNode	getCalleeStart (final CFGNode node)
CFGNode	getCalleeEnd (final CFGNode node)
HashSet< CFGNode >	getCallersFromStart (final CFGNode node)
HashSet< CFGNode >	getCallersFromEnd (final CFGNode node)
Set< CFGNode >	callSites ()

---

Constructor & Destructor Documentation

cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::InterproceduralCFGsNavigator	(	final Collection< CFGHandle >	CFGs,
		final ElementCFGdictionary	cfgDict
	)			[inline]

cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::InterproceduralCFGsNavigator

(

final InterproceduralCFGsNavigator

source

)

[inline]

---

Member Function Documentation

boolean cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::isCallNode

(

final CFGNode

node

)

[inline]

Implements cz::muni::stanse::codestructures::CFGsNavigator.

boolean cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::isStartNode

(

final CFGNode

node

)

[inline]

Implements cz::muni::stanse::codestructures::CFGsNavigator.

boolean cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::isEndNode

(

final CFGNode

node

)

[inline]

Implements cz::muni::stanse::codestructures::CFGsNavigator.

CFGNode cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::getCalleeStart

(

final CFGNode

node

)

[inline]

Implements cz::muni::stanse::codestructures::CFGsNavigator.

CFGNode cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::getCalleeEnd

(

final CFGNode

node

)

[inline]

Implements cz::muni::stanse::codestructures::CFGsNavigator.

HashSet<CFGNode> cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::getCallersFromStart

(

final CFGNode

node

)

[inline]

Implements cz::muni::stanse::codestructures::CFGsNavigator.

HashSet<CFGNode> cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::getCallersFromEnd

(

final CFGNode

node

)

[inline]

Implements cz::muni::stanse::codestructures::CFGsNavigator.

Set<CFGNode> cz::muni::stanse::codestructures::InterproceduralCFGsNavigator::callSites

(

)

[inline]

Implements cz::muni::stanse::codestructures::CFGsNavigator.

---

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

• src/cz/muni/stanse/codestructures/InterproceduralCFGsNavigator.java