Package cz.muni.stanse.checker

defines public abstract class Checker. More...

Classes
class	Checker
class	CheckerCreator
class	CheckerError
	Represents output from checkers, which is the error found in the source file (represented by a 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

Detailed Description

defines public abstract class Checker.

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.