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... |
Copyright (c) 2008-2009 Marek Trtik
Licensed under GPLv2.