cz::muni::stanse::checker Namespace Reference

defines public abstract class Checker. More...


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


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.


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