public ExceptionChecker push() { throwsSet(); // force an instantiation of the throwsset. ExceptionChecker ec = (ExceptionChecker) this.shallowCopy(); ec.outer = this; ec.catchable = null; ec.catchAllThrowable = false; return ec; }
public ExceptionChecker pushCatchAllThrowable() { ExceptionChecker ec = this.push(); ec.throwsSet = new SubtypeSet(ts.CheckedThrowable()); ec.catchAllThrowable = true; return ec; }