cz::muni::stanse::automatonchecker::FalsePositivesDetectorFactory Class Reference

List of all members.

Static Package Functions
static List < FalsePositivesDetector >	getDetectors (final XMLAutomatonDefinition definition, final LazyInternalStructures internals, final Map< CFGNode, Pair< PatternLocation, PatternLocation >> nodeLocationDictionary)
	[static initializer]

---

Member Function Documentation

static List<FalsePositivesDetector> cz::muni::stanse::automatonchecker::FalsePositivesDetectorFactory::getDetectors	(	final XMLAutomatonDefinition	definition,
		final LazyInternalStructures	internals,
		final Map< CFGNode, Pair< PatternLocation, PatternLocation >>	nodeLocationDictionary
	)			[inline, static, package]

cz::muni::stanse::automatonchecker::FalsePositivesDetectorFactory::[static initializer]

(

)

[inline, static, package]

---

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

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