* files.
*
* @author le01, 6.035 Staff (<tt>6.035-staff@mit.edu</tt>)
- * @version <tt>$Id: CLI.java,v 1.17 2005/10/12 17:43:10 bdemsky Exp $</tt>
+ * @version <tt>$Id: CLI.java,v 1.19 2005/10/17 00:29:13 bdemsky Exp $</tt>
*/
public class CLI {
/**
System.out.println("-mergenodes -- omit nodes for simpler role dependence graphs");
System.out.println("-debuggraph -- add edge labels and support to debug graph");
System.out.println("-rejectlengthchanges -- reject all updates which change the length of an array");
+ System.out.println("-printrepairs -- print log of repair actions");
+ System.out.println("-exactallocation -- application calls malloc for each struct and");
+ System.out.println(" allocates exactly the right amount of space.");
System.exit(-1);
}
debug = true;
} else if (args[i].equals("-checkonly")) {
Compiler.REPAIR=false;
+ } else if (args[i].equals("-exactallocation")) {
+ Compiler.EXACTALLOCATION=true;
} else if (args[i].equals("-omitcomp")) {
Compiler.OMITCOMP=true;
} else if (args[i].equals("-debuggraph")) {
Compiler.DEBUGGRAPH=true;
} else if (args[i].equals("-mergenodes")) {
Compiler.MERGENODES=true;
+ } else if (args[i].equals("-printrepairs")) {
+ Compiler.PRINTREPAIRS=true;
} else if (args[i].equals("-depth")) {
Compiler.debuggraphs.add(new DebugItem(Integer.parseInt(args[i+1]),Integer.parseInt(args[i+2])));
i+=2;