+// Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license
+
package edu.berkeley.sbp.util;
import edu.berkeley.sbp.*;
import edu.berkeley.sbp.util.*;
}
/** append Java code to <tt>sb</tt> which evaluates to this instance */
- public void toJava(StringBuffer sb) {
+ public void toJava(Appendable sb) throws IOException {
sb.append("new "+this.getClass().getName()+"(null, ");
String head = headToJava();
sb.append(head);
// this is here to keep it out of the javadoc for Tree<T>
- public GraphViz.Node toGraphViz(GraphViz gv) {
+ public GraphViz.StateNode toGraphViz(GraphViz gv) {
if (gv.hasNode(this)) return gv.createNode(this);
- GraphViz.Node n = gv.createNode(this);
+ GraphViz.StateNode n = gv.createNode(this);
n.label = head()==null ? "" : head().toString();
for(T t : this) n.edge(t, null);
return n;