CheckerError.java File Reference

Classes
class	cz.muni.stanse.checker.CheckerError
	Represents output from checkers, which is the error found in the source file (represented by a set of CFGs). More...

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