cz::muni::stanse::automatonchecker::CallSiteDetector Class Reference

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

[legend]

List of all members.

Package Functions
	CallSiteDetector (final CFGsNavigator navigator, final Map< CFGNode, Pair< PatternLocation, PatternLocation >> nodeLocationDictionary)
boolean	isCallNode (final CFGNode node)
HashSet< CFGNode >	callSites ()

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::CallSiteDetector::CallSiteDetector	(	final CFGsNavigator	navigator,
		final Map< CFGNode, Pair< PatternLocation, PatternLocation >>	nodeLocationDictionary
	)			[inline, package]

---

Member Function Documentation

boolean cz::muni::stanse::automatonchecker::CallSiteDetector::isCallNode

(

final CFGNode

node

)

[inline, package]

HashSet<CFGNode> cz::muni::stanse::automatonchecker::CallSiteDetector::callSites

(

)

[inline, package]

---

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

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