* files.
*
* @author le01, 6.035 Staff (<tt>6.035-staff@mit.edu</tt>)
- * @version <tt>$Id: CLI.java,v 1.11 2004/08/13 19:22:23 bdemsky Exp $</tt>
+ * @version <tt>$Id: CLI.java,v 1.13 2005/02/04 20:14:52 bdemsky Exp $</tt>
*/
public class CLI {
/**
System.out.println("-aggressivesearch");
System.out.println("-prunequantifiernodes");
System.out.println("-cplusplus");
+ System.out.println("-time");
+ System.out.println("-omitcomp");
System.exit(-1);
}
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;
i+=3;
} else if (args[i].equals("-debug")) {
Compiler.GENERATEDEBUGHOOKS=true;
+ } else if (args[i].equals("-time")) {
+ Compiler.TIME=true;
} else if (args[i].equals("-instrument")) {
Compiler.GENERATEINSTRUMENT=true;
} else if (args[i].equals("-aggressivesearch")) {