cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator Class Reference

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

[legend]

List of all members.

Package Functions
abstract boolean	isApplicable (XMLAutomatonDefinition definition, boolean isInterprocediral)
abstract FalsePositivesDetector	create (XMLAutomatonDefinition definition, LazyInternalStructures internals, boolean isInterprocediral, final Map< CFGNode, Pair< PatternLocation, PatternLocation >> nodeLocationDictionary)

---

Member Function Documentation

abstract boolean cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator::isApplicable	(	XMLAutomatonDefinition	definition,
		boolean	isInterprocediral
	)			[package, pure virtual]

abstract FalsePositivesDetector cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator::create	(	XMLAutomatonDefinition	definition,
		LazyInternalStructures	internals,
		boolean	isInterprocediral,
		final Map< CFGNode, Pair< PatternLocation, PatternLocation >>	nodeLocationDictionary
	)			[package, pure virtual]

Implemented in cz::muni::stanse::automatonchecker::FPDConditionalPathsMismatchCreator, cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlockCreator, cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilterCreator, cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilterCreator, cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilterCreator, cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilterCreator, and cz::muni::stanse::automatonchecker::FPDNoreturnFunctionsCreator.

---

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

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