CheckerErrorBuilder.java File Reference

Implements final class CheckerErrorBuilder which is responsible to compute all checker errors which can be translated from automata states at PaternLocations. More...

Classes
class	cz.muni.stanse.automatonchecker.CheckerErrorBuilder
	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.

Packages
package	cz.muni.stanse.automatonchecker

Detailed Description

Implements final class CheckerErrorBuilder which is responsible to compute all checker errors which can be translated from automata states at PaternLocations.

Copyright (c) 2008-2009 Marek Trtik

Licensed under GPLv2.