checkpoint

[sbp.git] / src / edu / berkeley / sbp / misc / MetaGrammar.java

diff --git a/src/edu/berkeley/sbp/misc/MetaGrammar.java b/src/edu/berkeley/sbp/misc/MetaGrammar.java
index 5ea2de3..900ee3f 100644 (file)
--- a/src/edu/berkeley/sbp/misc/MetaGrammar.java
+++ b/src/edu/berkeley/sbp/misc/MetaGrammar.java
@@ -25,9 +25,31 @@ public class MetaGrammar extends ReflectiveWalker {
     public static Union epsilon = new Union("()");
     static { epsilon.add(Sequence.empty); }
 
+    ////////////////////////////////////////////////////////////////////////////////
+
+    private Union g;
+    private HashMap<String,Union> nt;
+    private int anon = 0;
+    private Element dws;
+    private String startSymbol;
+
+    public MetaGrammar() { this("s"); }
+    public MetaGrammar(String s) { done(s); }
+    public Union done() { return done("s"); }
+    public Union done(String str) {
+        Union ret = g;
+        g = new Union(str);
+        startSymbol = str;
+        nt = new HashMap<String,Union>();
+        dropAll = new HashSet<Element>();
+        nt.put(str, g);
+        this.dws = Repeat.maximal(Repeat.many0(nonTerminal("w")));
+        return ret;
+    }
     // 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 +89,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 +100,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)); }
@@ -106,43 +125,16 @@ public class MetaGrammar extends ReflectiveWalker {
         return CharToken.set(ret);
     }
 
+    public PreSequence wrap(Object[] o)    { return new PreSequence(o, ""); }
+    public PreSequence rewrite(Object[] o) { return new PreSequence(o, null); }
 
-    ////////////////////////////////////////////////////////////////////////////////
-
-    private Union g;
-    private HashMap<String,Union> nt;
-    private int anon = 0;
-    private Element dws;
-    private String startSymbol;
-
-    public MetaGrammar() { this("s"); }
-    public MetaGrammar(String s) { done(s); }
-    public Union done() { return done("s"); }
-    public Union done(String str) {
-        Union ret = g;
-        g = new Union(str);
-        startSymbol = str;
-        nt = new HashMap<String,Union>();
-        dropAll = new HashSet<Element>();
-        nt.put(str, g);
-        this.dws = Repeat.maximal(Repeat.many0(nonTerminal("w")));
-        return ret;
+    public static class MyLift {
+        public final String s;
+        public MyLift(String s) { this.s = s; }
     }
-
-    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); }
-    public PreSequence rewrite(Object[] o, Object o2) {
-        Object[] o3 = new Object[o.length + 1];
-        System.arraycopy(o, 0, o3, 0, o.length);
-        o3[o3.length-1] = o2;
-        return rewrite(o3);
+    public static class MyDrop {
+        public final Object o;
+        public MyDrop(Object o) { this.o = o; }
     }
 
     public static class PreSequence {
@@ -240,15 +232,6 @@ public class MetaGrammar extends ReflectiveWalker {
         os.close();
     }
 
-    public static class MyLift {
-        public final String s;
-        public MyLift(String s) { this.s = s; }
-    }
-    public static class MyDrop {
-        public final Object o;
-        public MyDrop(Object o) { this.o = o; }
-    }
-
     public static final Tree meta =