cz::muni::stanse::automatonchecker::ErrorTracesListCreator Class Reference

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

[legend]

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

[legend]

List of all members.

Public Member Functions
boolean	visit (final List< CFGNode > path, final java.util.Stack< CFGNode > cfgContext)
boolean	onCFGchange (CFGNode from, CFGNode to)
AutomatonCheckerLogger	getMonitor ()
Package Functions
	ErrorTracesListCreator (final ErrorRule rule, final AutomatonStateTransferManager transferor, final Map< CFGNode, Pair< PatternLocation, PatternLocation >> nodeLocationDictionary, final CFGNode startNode, final LazyInternalStructures internals, final java.util.List< FalsePositivesDetector > detectors, final AutomatonCheckerLogger monitor)
Vector< CheckerErrorTrace >	getErrorTracesList ()
int	getTotalImportance ()
String	getFailMessage ()

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::ErrorTracesListCreator::ErrorTracesListCreator	(	final ErrorRule	rule,
		final AutomatonStateTransferManager	transferor,
		final Map< CFGNode, Pair< PatternLocation, PatternLocation >>	nodeLocationDictionary,
		final CFGNode	startNode,
		final LazyInternalStructures	internals,
		final java.util.List< FalsePositivesDetector >	detectors,
		final AutomatonCheckerLogger	monitor
	)			[inline, package]

---

Member Function Documentation

boolean cz::muni::stanse::automatonchecker::ErrorTracesListCreator::visit	(	final List< CFGNode >	path,
		final java.util.Stack< CFGNode >	cfgContext
	)			[inline]

boolean cz::muni::stanse::automatonchecker::ErrorTracesListCreator::onCFGchange	(	CFGNode	from,
		CFGNode	to
	)			[inline]

Reimplemented from cz::muni::stanse::codestructures::traversal::CFGPathVisitor.

Vector<CheckerErrorTrace> cz::muni::stanse::automatonchecker::ErrorTracesListCreator::getErrorTracesList

(

)

[inline, package]

int cz::muni::stanse::automatonchecker::ErrorTracesListCreator::getTotalImportance

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::ErrorTracesListCreator::getFailMessage

(

)

[inline, package]

AutomatonCheckerLogger cz::muni::stanse::automatonchecker::ErrorTracesListCreator::getMonitor

(

)

[inline]

---

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

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