Classes | |
class | Checker |
class | CheckerCreator |
class | CheckerError |
Represent output from checkers, which is the error found in the source file (reprezented by set of CFGs). More... | |
class | CheckerErrorReceiver |
class | CheckerErrorTrace |
class | CheckerErrorTraceLocation |
class | CheckerException |
Defines base class for all the exceptions which can be thrown in concrete checkers. More... | |
class | CheckerFactory |
interface | CheckerProgressMonitor |
class | CheckingFailed |
class | CheckingResult |
class | CheckingSuccess |
defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers.
Copyright (c) 2009 Marek Trtik.
Copyright (c) 2008-2009 Marek Trtik.
Defines public final class CheckerError. It represents the error found in source program (reprezented by set of CFGs).
Copyright (c) 2008-2009 Marek Trtik
Licensed under GPLv2.
Licensed under GPLv2.