DebugException.java

package minimization;

public class DebugException extends Exception
{
	//Exception used for debug and testing purposes.
	//Specifically, used for depth test
	
	private final Integer maxDepth;
			
	public DebugException (String message, Integer maxDepth)
	{
		super(message);
		this.maxDepth = maxDepth;
	}
	
	public DebugException (String message)
	{
		this(message, null);
	}
			
	public int getDepth()
	{
		return maxDepth;
	}
}