checkpoint
[sbp.git] / src / edu / berkeley / sbp / tib / Tib.java
index 881fc88..ae8c6e0 100644 (file)
@@ -415,5 +415,36 @@ public class Tib implements Token.Stream<CharToken> {
         }
     }
 
+    /*
+public class Braces extends Union {
+
+    private static final Element left  = CharToken.string("{");
+    private static final Element right = CharToken.string("}");
+    
+    public static String join(Object[] e) {
+        StringBuffer ret = new StringBuffer();
+        for(int i=0; i<e.length; i++) {
+            if (i>0) ret.append(" ");
+            ret.append(e[i]);
+        }
+        return ret.toString();
+    }
+
+    public Braces(Element[] e, Element sep) {
+        super("{"+join(e)+"}");
+        Element[] e2 = new Element[sep == null ? e.length+2 : e.length + 4];
+        e2[0]           = left;
+        e2[e2.length-1] = right;
+        if (sep != null) {
+            e2[1] = sep;
+            e2[e2.length-2] = sep;
+        }
+        for(int i=0; i<e.length; i++) e2[i+(sep==null ? 1 : 2)] = e[i];
+        addAlternative(new Sequence.Singleton(e2));
+        addAlternative(new Sequence.Singleton(sep==null ? new Element[] { left, this, right} : new Element[] { left, sep, this, sep, right }));
+    }
+}
+                      */
+
 }