cz::muni::stanse::automatonchecker::CallSiteDetector Member List

This is the complete list of members for cz::muni::stanse::automatonchecker::CallSiteDetector, including all inherited members.

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