Quantifiers use relations!!!
authorbdemsky <bdemsky>
Sun, 2 Oct 2005 05:14:41 +0000 (05:14 +0000)
committerbdemsky <bdemsky>
Sun, 2 Oct 2005 05:14:41 +0000 (05:14 +0000)
Repair/RepairCompiler/MCC/CLI.java
Repair/RepairCompiler/MCC/IR/SemanticChecker.java

index afd51e6..7a38d83 100755 (executable)
@@ -11,7 +11,7 @@ import MCC.IR.DebugItem;
  * files.
  *
  * @author  le01, 6.035 Staff (<tt>6.035-staff@mit.edu</tt>)
  * files.
  *
  * @author  le01, 6.035 Staff (<tt>6.035-staff@mit.edu</tt>)
- * @version <tt>$Id: CLI.java,v 1.15 2005/09/30 06:18:11 bdemsky Exp $</tt>
+ * @version <tt>$Id: CLI.java,v 1.16 2005/10/02 05:13:26 bdemsky Exp $</tt>
  */
 public class CLI {
     /**
  */
 public class CLI {
     /**
@@ -103,13 +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("-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("-debuggraph");
+           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);
        }
 
            System.exit(-1);
        }
 
index af4aa96..f450bb7 100755 (executable)
@@ -527,6 +527,7 @@ public class SemanticChecker {
                 return null;
             }
 
                 return null;
             }
 
+            rd.addUsage(RelationDescriptor.IMAGE);
             rq.setRelation(rd);
             vd1.setType(rd.getDomain().getType());
            vd1.setSet(rd.getDomain());
             rq.setRelation(rd);
             vd1.setType(rd.getDomain().getType());
            vd1.setSet(rd.getDomain());