X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Ftib%2FTib.java;h=9b4b97489a37d1577e9be97867398ee9ef13bb82;hp=eabc9eea863f799604972b4a0cb3d1f135979988;hb=e4b4b7b0da38d93fc9160b0058a81c1fc7f6773b;hpb=6bee7f519f499a92a92a459fd2c903d85de0759c diff --git a/src/edu/berkeley/sbp/tib/Tib.java b/src/edu/berkeley/sbp/tib/Tib.java index eabc9ee..9b4b974 100644 --- a/src/edu/berkeley/sbp/tib/Tib.java +++ b/src/edu/berkeley/sbp/tib/Tib.java @@ -296,13 +296,17 @@ public class Tib implements Token.Stream { public Object walk(Tree tree) { String head = tree.head(); if (tree.numChildren()==0) return super.walk(tree); - if ("{".equals(head)) - return nonTerminal("braced"+(anon++), + if ("{".equals(head)) { + String s = "braced"+(anon++); + Union u = nonTerminal(s); + Union u2 = ((PreSequence)walk(tree, 0)).sparse(ws).buildUnion(); + u2.add(Sequence.singleton(new Element[] { u }, 0, null, null)); + return nonTerminal(s, new PreSequence[][] { new PreSequence[] { new PreSequence(new Element[] { CharToken.leftBrace, ws, - ((PreSequence)walk(tree, 0)).sparse(ws).buildUnion(), + u2, ws, CharToken.rightBrace }) @@ -310,6 +314,7 @@ public class Tib implements Token.Stream { }, false, false); + } return super.walk(tree); } }