cz::muni::stanse::automatonchecker::FalsePositivesDetector Class Reference

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

[legend]

List of all members.

Package Functions
abstract int	getTraceImportance (final java.util.List< CFGNode > path, final java.util.Stack< CFGNode > cfgContext, final ErrorRule rule)
Static Package Functions
static int	getFalsePositiveImportance ()
static int	getBugImportance (int importance)
static int	getBugDefaultImportance ()

---

Member Function Documentation

static int cz::muni::stanse::automatonchecker::FalsePositivesDetector::getFalsePositiveImportance

(

)

[inline, static, package]

static int cz::muni::stanse::automatonchecker::FalsePositivesDetector::getBugImportance

(

int

importance

)

[inline, static, package]

static int cz::muni::stanse::automatonchecker::FalsePositivesDetector::getBugDefaultImportance

(

)

[inline, static, package]

abstract int cz::muni::stanse::automatonchecker::FalsePositivesDetector::getTraceImportance	(	final java.util.List< CFGNode >	path,
		final java.util.Stack< CFGNode >	cfgContext,
		final ErrorRule	rule
	)			[package, pure virtual]

Implemented in cz::muni::stanse::automatonchecker::FPDConditionalPathsMismatch, cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlock, cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilter, cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilter, cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilter, cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilter, and cz::muni::stanse::automatonchecker::FPDNoreturnFunctions.

---

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

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