added ToHTML

darcs-hash:20060112072013-5007d-48538a5df896800d0963a6c470a3c0853443e23a.gz

diff --git a/src/edu/berkeley/sbp/util/PrintableTree.java b/src/edu/berkeley/sbp/util/PrintableTree.java
index f0947fb..73b7f02 100644 (file)
--- a/src/edu/berkeley/sbp/util/PrintableTree.java
+++ b/src/edu/berkeley/sbp/util/PrintableTree.java
@@ -5,7 +5,7 @@ import java.io.*;
 import java.util.*;
 import java.lang.reflect.*;
 
-public abstract class PrintableTree<T extends PrintableTree> implements Iterable<T>, ToJava {
+public abstract class PrintableTree<T extends PrintableTree> implements Iterable<T>, ToJava /*, ToHTML*/ {
 
     protected abstract String headToString();
     protected abstract String headToJava();    

diff --git a/src/edu/berkeley/sbp/util/ToHTML.java b/src/edu/berkeley/sbp/util/ToHTML.java
new file mode 100644 (file)
index 0000000..4415e3d
--- /dev/null
+++ b/src/edu/berkeley/sbp/util/ToHTML.java
@@ -0,0 +1,7 @@
+package edu.berkeley.sbp.util;
+import java.io.*;
+import java.util.*;
+
+public interface ToHTML {
+    public void ToHTML(PrintWriter p);
+}