From eaa3114f9dbf4e0d3431da50791b9d3199f445be Mon Sep 17 00:00:00 2001 From: adam Date: Sun, 27 May 2007 16:14:39 -0400 Subject: [PATCH 1/1] remove XTree darcs-hash:20070527201439-5007d-568ab2f315eb69243bd4bf2c7569f48e8c2525e3.gz --- src/edu/berkeley/sbp/meta/GrammarBuilder.java | 15 --------------- 1 file changed, 15 deletions(-) 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; - } - } } -- 1.7.10.4