projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Options to print prettier graphs...
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
CLI.java
diff --git
a/Repair/RepairCompiler/MCC/CLI.java
b/Repair/RepairCompiler/MCC/CLI.java
index febfd744040537deb30a6f6c48d240b85989b389..7da685b666a37c0b92afc3af0c80d3ae1ba853f6 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/CLI.java
+++ b/
Repair/RepairCompiler/MCC/CLI.java
@@
-11,7
+11,7
@@
import MCC.IR.DebugItem;
* files.
*
* @author le01, 6.035 Staff (<tt>6.035-staff@mit.edu</tt>)
* files.
*
* @author le01, 6.035 Staff (<tt>6.035-staff@mit.edu</tt>)
- * @version <tt>$Id: CLI.java,v 1.1
2 2004/08/16 20:53:53
bdemsky Exp $</tt>
+ * @version <tt>$Id: CLI.java,v 1.1
3 2005/02/04 20:14:52
bdemsky Exp $</tt>
*/
public class CLI {
/**
*/
public class CLI {
/**
@@
-107,6
+107,7
@@
public class CLI {
System.out.println("-prunequantifiernodes");
System.out.println("-cplusplus");
System.out.println("-time");
System.out.println("-prunequantifiernodes");
System.out.println("-cplusplus");
System.out.println("-time");
+ System.out.println("-omitcomp");
System.exit(-1);
}
System.exit(-1);
}
@@
-116,6
+117,8
@@
public class CLI {
debug = true;
} else if (args[i].equals("-checkonly")) {
Compiler.REPAIR=false;
debug = true;
} else if (args[i].equals("-checkonly")) {
Compiler.REPAIR=false;
+ } else if (args[i].equals("-omitcomp")) {
+ Compiler.OMITCOMP=true;
} else if (args[i].equals("-depth")) {
Compiler.debuggraphs.add(new DebugItem(Integer.parseInt(args[i+1]),Integer.parseInt(args[i+2])));
i+=2;
} else if (args[i].equals("-depth")) {
Compiler.debuggraphs.add(new DebugItem(Integer.parseInt(args[i+1]),Integer.parseInt(args[i+2])));
i+=2;