Small changes to allow:

[repair.git] / Repair / RepairCompiler / MCC / CLI.java

diff --git a/Repair/RepairCompiler/MCC/CLI.java b/Repair/RepairCompiler/MCC/CLI.java
index febfd744040537deb30a6f6c48d240b85989b389..afd51e6a386a02c05789ef14052ef7330fe05699 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>)
- * @version <tt>$Id: CLI.java,v 1.12 2004/08/16 20:53:53 bdemsky Exp $</tt>
+ * @version <tt>$Id: CLI.java,v 1.15 2005/09/30 06:18:11 bdemsky Exp $</tt>
  */
 public class CLI {
     /**
@@ -21,13 +21,13 @@ public class CLI {
      * should be performed.
      */
     public boolean opts[];
-  
+
     /**
      * Vector of String containing the command-line arguments which could
      * not otherwise be parsed.
      */
     public Vector extras;
-  
+
     /**
      * Vector of String containing the optimizations which could not be
      * parsed.  It is okay to complain about anything in this list, even
@@ -39,7 +39,7 @@ public class CLI {
      * Name of the file to put the output in.
      */
     public String outfile;
-  
+
     /**
      * Name of the file to get input from.  This is null if the user didn't
      * provide a file name.
@@ -107,6 +107,9 @@ public class CLI {
            System.out.println("-prunequantifiernodes");
            System.out.println("-cplusplus");
            System.out.println("-time");
+           System.out.println("-omitcomp");
+           System.out.println("-mergenodes");
+           System.out.println("-debuggraph");
            System.exit(-1);
        }
 
@@ -116,6 +119,12 @@ public class CLI {
                 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("-debuggraph")) {
+                Compiler.DEBUGGRAPH=true;
+           } else if (args[i].equals("-mergenodes")) {
+                Compiler.MERGENODES=true;
            } else if (args[i].equals("-depth")) {
                Compiler.debuggraphs.add(new DebugItem(Integer.parseInt(args[i+1]),Integer.parseInt(args[i+2])));
                i+=2;
@@ -177,7 +186,7 @@ public class CLI {
         int i = 0;
         while (infile == null && i < extras.size()) {
             String fn = (String) extras.elementAt(i);
-         
+
             if (fn.charAt(0) != '-')
            {
                 infile = fn;