public ExceptionChecker pushCatchAllThrowable() {
ExceptionChecker ec = this.push();
ec.throwsSet = new SubtypeSet(ts.CheckedThrowable());
ec.catchAllThrowable = true;
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;
}
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(UncaughtReporter reporter) {
ExceptionChecker ec = this.push();
ec.reporter = reporter;
ec.throwsSet = new SubtypeSet(ts.CheckedThrowable());
return ec;
}
