- private static final int MAXDEPTH=3;
- public int depth() {
- int depth = headToString()==null ? 0 : 1;
- int ret = depth;
- for(T t : this) ret = Math.max(ret, depth+t.depth());
- return ret;
- }
- public String toString(int indent0, int cur, int limit) {
- int indent = indent0;
- String s = toString();
- if (depth()<MAXDEPTH && s.length() < limit-cur) return s;
+ private boolean basic() { return toString().length() < MAXCHARS; }
+ public String toPrettyString() { return toPrettyString("\n"); }
+ public StringBuffer toPrettyString(StringBuffer sb) { sb.append(this); return sb; }
+ private String toPrettyString(String nl) {
+ String str = toString();
+ if (str.length() < MAXCHARS) return str;
+ String head = headToString();