this.children = children2;
}
+ /** since Tree instances are immutable, we can cache this to make pretty-printing MUCH faster */
+ public String toString() {
+ if (toString!=null) return toString;
+ return toString = super.toString();
+ }
+ private String toString = null;
+
protected String headToString() { return head==null?null:head.toString(); }
protected String headToJava() { return head==null?null:StringUtil.toJavaString(head+""); }
}