public void dump(CodeWriter w) {
Map<Object, Object> cache = new java.util.HashMap<Object, Object>();
cache.put(theType, theType);
w.write("Type " + rawName + " {");
w.allowBreak(2);
w.begin(0);
w.write("Compiled with polyglot version " + compilerVersion + ". ");
w.allowBreak(0);
w.write("Last modified: " + timestamp.toString() + ". ");
w.allowBreak(0);
w.write(theType.toString());
w.allowBreak(4);
w.write("<" + theType.getClass().toString() + ">");
w.allowBreak(0);
dumpObject(w, theType, cache);
w.allowBreak(0);
w.end();
w.allowBreak(0);
w.write("}");
w.newline(0);
}
