cz::muni::stanse::automatonchecker::CallSiteCFGNavigator Class Reference

Inheritance diagram for cz::muni::stanse::automatonchecker::CallSiteCFGNavigator:

[legend]

Collaboration diagram for cz::muni::stanse::automatonchecker::CallSiteCFGNavigator:

[legend]

List of all members.

Public Member Functions
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 ()
Package Functions
	CallSiteCFGNavigator (final CFGsNavigator navigator, final CallSiteDetector callDetector)

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::CallSiteCFGNavigator::CallSiteCFGNavigator	(	final CFGsNavigator	navigator,
		final CallSiteDetector	callDetector
	)			[inline, package]

---

Member Function Documentation

boolean cz::muni::stanse::automatonchecker::CallSiteCFGNavigator::isCallNode

(

final CFGNode

node

)

[inline]

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

boolean cz::muni::stanse::automatonchecker::CallSiteCFGNavigator::isStartNode

(

final CFGNode

node

)

[inline]

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

boolean cz::muni::stanse::automatonchecker::CallSiteCFGNavigator::isEndNode

(

final CFGNode

node

)

[inline]

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

CFGNode cz::muni::stanse::automatonchecker::CallSiteCFGNavigator::getCalleeStart

(

final CFGNode

node

)

[inline]

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

CFGNode cz::muni::stanse::automatonchecker::CallSiteCFGNavigator::getCalleeEnd

(

final CFGNode

node

)

[inline]

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

HashSet<CFGNode> cz::muni::stanse::automatonchecker::CallSiteCFGNavigator::getCallersFromStart

(

final CFGNode

node

)

[inline]

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

HashSet<CFGNode> cz::muni::stanse::automatonchecker::CallSiteCFGNavigator::getCallersFromEnd

(

final CFGNode

node

)

[inline]

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

Set<CFGNode> cz::muni::stanse::automatonchecker::CallSiteCFGNavigator::callSites

(

)

[inline]

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

---

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

• src/cz/muni/stanse/automatonchecker/CallSiteCFGNavigator.java