X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Ftib%2FTib.java;h=ae8c6e0e3844abc6f867d7203f58ae4f1dada30b;hb=d1504e1e7993703832063cf6bff6ead434b2fd17;hp=881fc88c3c3f99b23faaffa6fe02055845a251d5;hpb=1177435c53540af2247a2fbd7b6fbcf059accbb8;p=sbp.git diff --git a/src/edu/berkeley/sbp/tib/Tib.java b/src/edu/berkeley/sbp/tib/Tib.java index 881fc88..ae8c6e0 100644 --- a/src/edu/berkeley/sbp/tib/Tib.java +++ b/src/edu/berkeley/sbp/tib/Tib.java @@ -415,5 +415,36 @@ public class Tib implements Token.Stream { } } + /* +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; i0) 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