ReturnValuePassingManager.java File Reference

Classes
class	cz.muni.stanse.codestructures.ReturnValuePassingManager

Packages
package	cz.muni.stanse.codestructures
	defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers.