From: adam <adam@megacz.com>
Date: Sun, 27 May 2007 20:14:39 +0000 (-0400)
Subject: remove XTree
X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=eaa3114f9dbf4e0d3431da50791b9d3199f445be

remove XTree

darcs-hash:20070527201439-5007d-568ab2f315eb69243bd4bf2c7569f48e8c2525e3.gz
---

diff --git a/src/edu/berkeley/sbp/meta/GrammarBuilder.java b/src/edu/berkeley/sbp/meta/GrammarBuilder.java
index 121f480..ec734f7 100644
--- a/src/edu/berkeley/sbp/meta/GrammarBuilder.java
+++ b/src/edu/berkeley/sbp/meta/GrammarBuilder.java
@@ -541,19 +541,4 @@ public class GrammarBuilder {
 
     }
 
-    public class XTree extends ElementNode {
-        public Seq body;
-        public XTree(Seq seq) { this.body = seq; }
-        public Element build(Context cx, NonTerminalNode cnt, boolean dropall) {
-            Union u = new Union(null, false);
-            Sequence s = body.build(cx, u, null, dropall);
-            Union u2 = new Union(null, false);
-            u2.add(Sequence.create(new Element[] {
-                CharAtom.leftBrace,
-                u,
-                CharAtom.rightBrace
-            }, 1));
-            return u2;
-        }
-    }
 }