From: adam <adam@megacz.com>
Date: Mon, 26 Mar 2007 05:39:35 +0000 (-0400)
Subject: remove unused code from CommandLine
X-Git-Tag: tag_for_25-Mar~20
X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=4a2fc4e4d421c3cf290e43a57928a9721f1d6524

remove unused code from CommandLine

darcs-hash:20070326053935-5007d-4241dfa34d4ec61862c0812b1268f822a504f4e5.gz
---

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);
         }
     }
-
-
+    */
 }