1 package edu.berkeley.sbp.util;
2 import edu.berkeley.sbp.*;
3 import edu.berkeley.sbp.util.*;
6 import java.lang.reflect.*;
8 public abstract class PrintableTree<T extends PrintableTree> implements Iterable<T>, ToJava /*, ToHTML*/ {
10 protected abstract String headToString();
11 protected abstract String headToJava();
12 protected abstract String left();
13 protected abstract String right();
14 protected abstract boolean ignoreSingleton();
16 private static final int MAXCHARS=40;
18 private boolean basic() { return toString().length() < MAXCHARS; }
19 public String toPrettyString() { return toPrettyString("\n"); }
20 private String toPrettyString(String nl) {
21 String str = toString();
22 if (str.length() < MAXCHARS) return str;
23 String head = headToString();
24 StringBuffer ret = new StringBuffer();
26 Iterator<T> iterator = iterator();
27 if (!iterator.hasNext()) return head==null ? (left()+right()) : head;
28 PrintableTree t0 = iterator.next();
29 if (!iterator.hasNext() && ignoreSingleton())
30 return t0.toPrettyString(nl);
32 ret.append(head==null?(left()+" "):(head+":"+nl));
36 String s = t.basic() ? t.toString() : t.toPrettyString(nl+" ");
38 if (!t.basic()) ret.append(nl);
39 if (s.length()+len>MAXCHARS) { ret.append(nl); len = 0; }
40 else { ret.append(" "); len++; }
46 if (head==null) ret.append(" "+right());
47 return ret.toString();
50 public String toString() {
51 StringBuffer ret = new StringBuffer();
55 String q = t==null ? "null" : t.toString();
56 if (q.length() > 0) { ret.append(q); ret.append(" "); }
58 if (count==1 && ignoreSingleton()) return ret.toString().trim();
59 String tail = ret.toString().trim();
60 String head = headToString();
61 String h = (head!=null && !head.toString().equals("")) ? (tail.length() > 0 ? head+":" : head+"") : "";
62 if (tail.length() > 0) tail = left() + tail + right();
66 /** append Java code to <tt>sb</tt> which evaluates to this instance */
67 public void toJava(StringBuffer sb) {
68 sb.append("new "+this.getClass().getName()+"(null, ");
69 String head = headToJava();
70 sb.append(head==null ? "null" : "\"" + head + "\"");
71 sb.append(", new "+this.getClass().getName()+"[] { ");
74 if (!first) sb.append(",\n ");
75 if (t==null) sb.append("null");