src/cz/muni/stanse/checker/CheckerException.java File Reference

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