CheckerException.java File Reference

Classes
class	cz.muni.stanse.checker.CheckerException
	Defines base class for all the exceptions which can be thrown in concrete checkers. More...

Packages
package	cz.muni.stanse.checker
	defines public abstract class Checker.