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+""); }
protected String left() { return "{"; }