+++ /dev/null
-package edu.berkeley.sbp.tib;
-import edu.berkeley.sbp.*;
-import edu.berkeley.sbp.util.*;
-import edu.berkeley.sbp.*;
-import edu.berkeley.sbp.*;
-import edu.berkeley.sbp.Sequence.Position;
-import edu.berkeley.sbp.*;
-import java.io.*;
-import java.util.*;
-import java.lang.reflect.*;
-import java.lang.ref.*;
-
-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 }));
- }
-}
- */