removed illegal use of double-star
[sbp.git] / src / edu / berkeley / sbp / tib / Braces.java
1 package edu.berkeley.sbp.tib;
2 import edu.berkeley.sbp.*;
3 import edu.berkeley.sbp.util.*;
4 import edu.berkeley.sbp.*;
5 import edu.berkeley.sbp.*;
6 import edu.berkeley.sbp.Sequence.Position;
7 import edu.berkeley.sbp.*;
8 import java.io.*;
9 import java.util.*;
10 import java.lang.reflect.*;
11 import java.lang.ref.*;
12
13 public class Braces {}/*extends Union {
14
15     private static final Element left  = CharToken.string("{");
16     private static final Element right = CharToken.string("}");
17     
18     public static String join(Object[] e) {
19         StringBuffer ret = new StringBuffer();
20         for(int i=0; i<e.length; i++) {
21             if (i>0) ret.append(" ");
22             ret.append(e[i]);
23         }
24         return ret.toString();
25     }
26
27     public Braces(Element[] e, Element sep) {
28         super("{"+join(e)+"}");
29         Element[] e2 = new Element[sep == null ? e.length+2 : e.length + 4];
30         e2[0]           = left;
31         e2[e2.length-1] = right;
32         if (sep != null) {
33             e2[1] = sep;
34             e2[e2.length-2] = sep;
35         }
36         for(int i=0; i<e.length; i++) e2[i+(sep==null ? 1 : 2)] = e[i];
37         addAlternative(new Sequence.Singleton(e2));
38         addAlternative(new Sequence.Singleton(sep==null ? new Element[] { left, this, right} : new Element[] { left, sep, this, sep, right }));
39     }
40 }
41                       */