+ } else if (args[i].equals("-removeconj")) {
+ if ((i+1)==args.length) {
+ throw new Error("No fieldname");
+ }
+ Compiler.removeconj.add(args[i+1]);
+ i++;
+ } 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;
+ } else if (args[i].equals("-depthconj")) {
+ Compiler.debuggraphs.add(new DebugItem(Integer.parseInt(args[i+1]),Integer.parseInt(args[i+2]),Integer.parseInt(args[i+3])));
+ i+=3;
+ } else if (args[i].equals("-rejectlengthchanges")) {
+ Compiler.REJECTLENGTH=true;
+ } 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;