projects
/
sbp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
29aee2e
)
remove unused code from CommandLine
author
adam
<adam@megacz.com>
Mon, 26 Mar 2007 05:39:35 +0000
(
01:39
-0400)
committer
adam
<adam@megacz.com>
Mon, 26 Mar 2007 05:39:35 +0000
(
01:39
-0400)
darcs-hash:
20070326053935
-5007d-
4241dfa34d4ec61862c0812b1268f822a504f4e5
.gz
src/edu/berkeley/sbp/misc/CommandLine.java
patch
|
blob
|
history
diff --git
a/src/edu/berkeley/sbp/misc/CommandLine.java
b/src/edu/berkeley/sbp/misc/CommandLine.java
index
ca9086d
..
943d410
100644
(file)
--- 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 {
import java.io.*;
public class CommandLine {
-
+ /*
public static void main(String[] argv) throws Throwable {
String grammarFile = argv[0];
String targetFile = argv[1];
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() {
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();
});
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);
}
}
System.exit(-1);
}
}
-
-
+ */
}
}