public void dump(Object o) {
Set<Object> cache = CollectionFactory.newHashSet();
w.write("(");
dumpObject(o, cache);
w.write(")");
w.newline(0);
try {
w.flush();
} catch (IOException e) {
}
}
public TypeInputStream(InputStream in, TypeSystem ts, Map<Object, Object> cache)
throws IOException {
super(in);
enableResolveObject(true);
this.ts = ts;
this.reporter = ts.extensionInfo().getOptions().reporter;
this.cache = cache;
this.failed = false;
this.enableReplace = true;
this.placeHoldersUsed = CollectionFactory.newHashSet();
}
public ExceptionChecker push(Collection<Type> catchableTypes) {
ExceptionChecker ec = this.push();
ec.catchable = CollectionFactory.newHashSet(catchableTypes);
ec.throwsSet = new SubtypeSet(ts.CheckedThrowable());
return ec;
}
