X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FMetaGrammar.java;h=d160680dc9dfcb58718b9bcf712f0a9edd36158b;hp=5ea2de3e805aa9fdbeef463a7701851e2510f1be;hb=83de4a54d4e180843453a84daf7c6800fbc7edad;hpb=743c3e95b1e541982b104f690a3707e89fc10073

diff --git a/src/edu/berkeley/sbp/misc/MetaGrammar.java b/src/edu/berkeley/sbp/misc/MetaGrammar.java
index 5ea2de3..d160680 100644
--- a/src/edu/berkeley/sbp/misc/MetaGrammar.java
+++ b/src/edu/berkeley/sbp/misc/MetaGrammar.java
@@ -27,7 +27,8 @@ public class MetaGrammar extends ReflectiveWalker {
 
     // MetaGrammar //////////////////////////////////////////////////////////////////////////////
 
-    public Object      _star_(Element r)                                              { return rep(r, null, false, true); }
+    public PreSequence _equals__greater_(Object[] o, String s) { return new PreSequence(o, s); }
+    public Object      _star_(Element r)                                              { return Repeat.many0(r); }
     public Element     epsilon(Object o, Object b)                                    { return epsilon; }
     public Element     _rightparen_(Object e)                                         { return SELF; }
 
@@ -67,7 +68,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 rep(r, null, false, false); }
+    public Object   _plus_(final Element r) { return Repeat.many1(r); }
     public Object[] _slash_(Object[] o, Object sep) {
         if (o.length <= 1) return o;
         Object[] ret = new Object[o.length * 2 - 1];
@@ -78,10 +79,7 @@ public class MetaGrammar extends ReflectiveWalker {
         }
         return ret;
     }
-    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)); }
@@ -129,12 +127,9 @@ public class MetaGrammar extends ReflectiveWalker {
         return ret;
     }
 
-    public String stringify(String s) { return StringUtil.unescapify(s); }
-    public char unescape(char x, char c) { return unescape(c); }
-    public char unescape(char c) { return StringUtil.unescapify("\\"+c).charAt(0); }
     public PreSequence sequence(Object[] o) { return new PreSequence(o, null); }
 
-    public PreSequence _equals__greater_(Object[] o, String s) { return new PreSequence(o, s); }
+
     public PreSequence wrap(Object[] o) { return new PreSequence(o, ""); }
     public PreSequence mwrap(Object[] o) { return new PreSequence(o, ""); }
     public PreSequence rewrite(Object[] o) { return new PreSequence(o, null); }