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 push(Collection<Type> catchableTypes) {
ExceptionChecker ec = this.push();
ec.catchable = CollectionFactory.newHashSet(catchableTypes);
ec.throwsSet = new SubtypeSet(ts.CheckedThrowable());
return ec;
}
public ExceptionChecker push(Type catchableType) {
ExceptionChecker ec = this.push();
ec.catchable = Collections.<Type>singleton(catchableType);
ec.throwsSet = new SubtypeSet(ts.CheckedThrowable());
return ec;
}
