cz::muni::stanse::automatonchecker::FPDNoreturnFunctions Class Reference

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

[legend]

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

[legend]

List of all members.

Package Functions
int	getTraceImportance (final java.util.List< CFGNode > path, final java.util.Stack< CFGNode > cfgContext, final ErrorRule rule)
Static Package Attributes
static final String[]	noreturns = { "__st_BUG_st__", "panic" }

---

Member Function Documentation

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

Implements cz::muni::stanse::automatonchecker::FalsePositivesDetector.

---

Member Data Documentation

final String [] cz::muni::stanse::automatonchecker::FPDNoreturnFunctions::noreturns = { "__st_BUG_st__", "panic" } [static, package]

---

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

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