Added minimum size analysis.

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

diff --git a/Repair/RepairCompiler/MCC/CLI.java b/Repair/RepairCompiler/MCC/CLI.java
index bd64dd30e3a2d992d2c6d621d857945978bfb0b4..7a38d83066ff4a605133cdf2ccefcb1e78e4769c 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.14 2005/02/20 20:31:28 bdemsky Exp $</tt>
+ * @version <tt>$Id: CLI.java,v 1.16 2005/10/02 05:13:26 bdemsky Exp $</tt>
  */
 public class CLI {
     /**
@@ -103,12 +103,13 @@ public class CLI {
            System.out.println("-depth depthnum constraintnum -- generate dependency graph from constraintnum with depth of depthnum");
            System.out.println("-depthconj depthnum constraintnum conjunctionnum -- generate dependency graph from constraintnum with depth of depthnum");
            System.out.println("-instrument -- generate instrumentation code");
-           System.out.println("-aggressivesearch");
-           System.out.println("-prunequantifiernodes");
-           System.out.println("-cplusplus");
-           System.out.println("-time");
-           System.out.println("-omitcomp");
-           System.out.println("-mergenodes");
+           System.out.println("-aggressivesearch -- search for one repair per constraint");
+           System.out.println("-prunequantifiernodes -- prune nodes that satisfy constraint by decreasing scope");
+           System.out.println("-cplusplus -- properly set up c++ classes");
+           System.out.println("-time -- generate timing code");
+           System.out.println("-omitcomp -- omit compensation updates");
+           System.out.println("-mergenodes -- omit nodes for simpler role dependence graphs");
+           System.out.println("-debuggraph -- add edge labels and support to debug graph");
            System.exit(-1);
        }
 
@@ -120,6 +121,8 @@ public class CLI {
                 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")) {