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

Namespaces
namespace	cz::muni::stanse::checker
Classes
class	cz::muni::stanse::checker::CheckerError
	Represent output from checkers, which is the error found in the source file (reprezented by set of CFGs). More...