cz::muni::stanse::automatonchecker::CheckerErrorBuilder Class Reference

Provides static method buildErrorList which compute the checker-errors from automata states at PattenLocations assigned to matching source code locacions by use of error transition rules defined in XML automata definition file. More...

List of all members.

Static Package Functions

static CheckingResult buildErrorList (final Map< CFGNode, Pair< PatternLocation, PatternLocation >> edgeLocationDictionary, final LazyInternalStructures internals, final java.util.List< FalsePositivesDetector > detectors, final CheckerErrorReceiver errReceiver, final AutomatonCheckerLogger monitor, final String automatonName)

Computes a list of all checker-errors, which can be recognized by error transition rules (defined in XML automata definition file) from automata states at PattenLocations assigned to matching source code locacions.

Detailed Description

Provides static method buildErrorList which compute the checker-errors from automata states at PattenLocations assigned to matching source code locacions by use of error transition rules defined in XML automata definition file.

Class is not intended to be instantiated.

See also:: cz.muni.stanse.checker.CheckerError
cz.muni.stanse.automatonchecker.AutomatonChecker

Member Function Documentation

static CheckingResult cz::muni::stanse::automatonchecker::CheckerErrorBuilder::buildErrorList	(	final Map< CFGNode, Pair< PatternLocation, PatternLocation >>	edgeLocationDictionary,
		final LazyInternalStructures	internals,
		final java.util.List< FalsePositivesDetector >	detectors,
		final CheckerErrorReceiver	errReceiver,
		final AutomatonCheckerLogger	monitor,
		final String	automatonName
	)			`[inline, static, package]`

Computes a list of all checker-errors, which can be recognized by error transition rules (defined in XML automata definition file) from automata states at PattenLocations assigned to matching source code locacions.

Parameters:

edgeLocationDictionary

Dictionary, which provides mapping from CFGNodes (i.e. reference to souce code locations) to related PatternLocations.

Returns:: List of checker-errors recognized from automata states at PatternLocations.

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

src/cz/muni/stanse/automatonchecker/CheckerErrorBuilder.java


Static Package Functions
static CheckingResult	buildErrorList (final Map< CFGNode, Pair< PatternLocation, PatternLocation >> edgeLocationDictionary, final LazyInternalStructures internals, final java.util.List< FalsePositivesDetector > detectors, final CheckerErrorReceiver errReceiver, final AutomatonCheckerLogger monitor, final String automatonName)
	Computes a list of all checker-errors, which can be recognized by error transition rules (defined in XML automata definition file) from automata states at PattenLocations assigned to matching source code locacions.