X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FMetaGrammar.java;h=5ea2de3e805aa9fdbeef463a7701851e2510f1be;hp=f210673f9162590146229a03021510937ed6cc01;hb=743c3e95b1e541982b104f690a3707e89fc10073;hpb=162ac7f4e4c0bdaf4fff995dceb3aa232c0cf8c7 diff --git a/src/edu/berkeley/sbp/misc/MetaGrammar.java b/src/edu/berkeley/sbp/misc/MetaGrammar.java index f210673..5ea2de3 100644 --- a/src/edu/berkeley/sbp/misc/MetaGrammar.java +++ b/src/edu/berkeley/sbp/misc/MetaGrammar.java @@ -27,7 +27,7 @@ public class MetaGrammar extends ReflectiveWalker { // MetaGrammar ////////////////////////////////////////////////////////////////////////////// - public Object _star_(Element r) { return new Rep(r, null, false, true).build(); } + public Object _star_(Element r) { return rep(r, null, false, true); } public Element epsilon(Object o, Object b) { return epsilon; } public Element _rightparen_(Object e) { return SELF; } @@ -67,7 +67,7 @@ public class MetaGrammar extends ReflectiveWalker { public Object _backslash__leftbrace_(String s) { return SELF; } public Object _leftbrace_(String s) { return SELF; } - public Object _plus_(final Element r) { return new Rep(r, null, false, false).build(); } + public Object _plus_(final Element r) { return rep(r, null, false, false); } public Object[] _slash_(Object[] o, Object sep) { if (o.length <= 1) return o; Object[] ret = new Object[o.length * 2 - 1]; @@ -78,10 +78,14 @@ public class MetaGrammar extends ReflectiveWalker { } return ret; } - public Object _plus__slash_(final Element r, Object s) { return new Rep(r, (Element)s, false, false).build(); } - public Object _star__slash_(final Element r, Object s) { return new Rep(r, (Element)s, false, true).build(); } - public Object _star__star_(final Element r) { return new Rep(r, null, true, true).build(); } - public Object _plus__plus_(final Element r) { return new Rep(r, null, true, false).build(); } + public Element rep(Element e, Element sep, boolean maximal, boolean zero) { + Element ret = zero ? Repeat.many0(e, sep) : Repeat.many1(e, sep); + return maximal ? Repeat.maximal(ret) : ret; + } + public Object _plus__slash_(final Element r, Element s) { return Repeat.many1(r, s); } + public Object _star__slash_(final Element r, Element s) { return Repeat.many0(r, s); } + public Object _star__star_(final Element r) { return Repeat.maximal(Repeat.many0(r)); } + public Object _plus__plus_(final Element r) { return Repeat.maximal(Repeat.many1(r)); } public Element _question_(final Element r) { return Repeat.maybe(r); } public MetaGrammar gram(Object o, MetaGrammar g, Object o2) { return g; } public MetaGrammar grammar(Object[] o) { return this; } @@ -140,24 +144,6 @@ public class MetaGrammar extends ReflectiveWalker { o3[o3.length-1] = o2; return rewrite(o3); } - - public static class PreBrace { - public final Object[] o; - public PreBrace(Object[] o) { this.o = o; } - } - - public static class Rep { - private final Element e; - private final Element s; - private final boolean maximal; - private final boolean zero; - public Rep(Element e, Element s, boolean maximal, boolean zero) { this.e = e; this.s = s; this.zero = zero; this.maximal = maximal;} - public Element build() { - Element sep = s; - Element ret = zero ? Repeat.many0(e, sep) : Repeat.many1(e, sep); - return maximal ? Repeat.maximal(ret) : ret; - } - } public static class PreSequence { public PreSequence not(Sequence s) { not.add(s); return this; }