X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FCommandLine.java;h=943d4102e7888c694d4f4d9538d6ab93831fa5a5;hp=ca9086dd7dd82cd8256015bda1d3308717f7b477;hb=4a2fc4e4d421c3cf290e43a57928a9721f1d6524;hpb=9406152ce9e037b07b6b832b1535d17ee6aefa45

diff --git a/src/edu/berkeley/sbp/misc/CommandLine.java b/src/edu/berkeley/sbp/misc/CommandLine.java
index ca9086d..943d410 100644
--- a/src/edu/berkeley/sbp/misc/CommandLine.java
+++ b/src/edu/berkeley/sbp/misc/CommandLine.java
@@ -9,7 +9,7 @@ import edu.berkeley.sbp.chr.*;
 import java.io.*;
 
 public class CommandLine {
-
+    /*
     public static void main(String[] argv) throws Throwable {
         String grammarFile = argv[0];
         String targetFile = argv[1];
@@ -19,13 +19,11 @@ public class CommandLine {
             Tree<String> res = new CharParser(MetaGrammar.newInstance()).parse(new FileInputStream(grammarFile)).expand1();
             Union meta = Grammar.create(res, "s",
                                         new Grammar.Bindings() {
-                                            /*
-                                            public Sequence createSequence(Production p) {
-                                                Sequence ret = super.createSequence(p);
-                                                if (ret != null) return ret;
-                                                return Sequence.create(p.nonTerminal, p.elements, p.drops, false);
-                                            }
-                                            */
+                                            //public Sequence createSequence(Production p) {
+                                            //Sequence ret = super.createSequence(p);
+                                            //if (ret != null) return ret;
+                                            //return Sequence.create(p.nonTerminal, p.elements, p.drops, false);
+                                            //}
                                         });
             CharInput input = new CharInput(new FileInputStream(targetFile), "", true);
             Tree ret = new CharParser(meta).parse(input).expand1();
@@ -38,6 +36,5 @@ public class CommandLine {
             System.exit(-1);
         }
     }
-
-
+    */
 }