src/cz/muni/stanse/automatonchecker/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...


Namespaces

namespace  cz::muni::stanse::automatonchecker

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. More...


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.


Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6