X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Futil%2FToHTML.java;h=fe3b3a3890640d9bb4ac6684ba78f20f47df89ad;hb=74e53cbf7227f5958ff7495abe31cb0462d62c4e;hp=bec40bf467bd4f47fc4073a7faa84502862d362e;hpb=e2bfdb3f53cd40b7e3c92ce27ac473b7585c6177;p=sbp.git

diff --git a/src/edu/berkeley/sbp/util/ToHTML.java b/src/edu/berkeley/sbp/util/ToHTML.java
index bec40bf..fe3b3a3 100644
--- a/src/edu/berkeley/sbp/util/ToHTML.java
+++ b/src/edu/berkeley/sbp/util/ToHTML.java
@@ -8,10 +8,15 @@ public interface ToHTML {
     public static class HTML {
         private final StringBuffer sb;
         public HTML(StringBuffer sb) { this.sb = sb; }
+
         public void append(String s) {
             /* FIXME */
             sb.append(s);
         }
+
+        public void entity(int entity) { sb.append("&#"+entity+";"); }
+        public void entity(String entity) { sb.append("&"+entity+";"); }
+
         public void append(Object o) {
             if (o==null)                    append("<tt><font color=red>null</font></tt>");
             else if (o instanceof ToHTML)   ((ToHTML)o).toHTML(this);
@@ -28,17 +33,31 @@ public interface ToHTML {
             }
         }
 
-        public void tag(String s, Object o) {
+        public void tag(String s) {
+            sb.append("<");
+            append(s);
+            sb.append("/>");
+        }
+        public void tag(String s, Object o) { tag(s, null, o); }
+        public void tag(String s, Object[] attrs, Object o) {
             if (s != null) {
-                append("<");
+                sb.append("<");
                 append(s);
-                append(">");
+                if (attrs != null)
+                    for(int i=0; i<attrs.length; i+=2) {
+                        sb.append(' ');
+                        append(attrs[i]);
+                        sb.append("=\'");
+                        append(attrs[i+1]);
+                        sb.append("\'");
+                    }
+                sb.append(">");
             }
             append(o);
             if (s != null) {
-                append("</");
+                sb.append("</");
                 append(s);
-                append(">");
+                sb.append(">");
             }
         }