- /** append Java code to <tt>sb</tt> which evaluates to this instance */
- public void toJava(StringBuffer sb) {
- sb.append("new Tree(null, ");
- sb.append(head==null ? "null" : "\"" + StringUtil.toJavaString(head+"") + "\"");
- sb.append(", new Tree[] { ");
- for(int i=0; i<children.length; i++) {
- if (children[i]==null) sb.append("null");
- else children[i].toJava(sb);
- if (i<children.length-1) sb.append(",\n ");
- }
- sb.append("})");
- }
-
- public String toString() {
- StringBuffer ret = new StringBuffer();
- for(int i=0; i<children.length; i++) {
- String q = children[i]==null ? "null" : children[i].toString();
- if (q.length() > 0) { ret.append(q); ret.append(" "); }
- }
- String tail = ret.toString().trim();
- String h = (head!=null && !head.toString().equals("")) ? (tail.length() > 0 ? head+":" : head+"") : "";
- if (tail.length() > 0) tail = "{" + tail + "}";
- return h + tail;
- }
-
-
+ protected String headToString() { return head==null?null:head.toString(); }
+ protected String headToJava() { return head==null?null:StringUtil.toJavaString(head+""); }