From: bdemsky <bdemsky>
Date: Sun, 2 Oct 2005 05:14:41 +0000 (+0000)
Subject: Quantifiers use relations!!!
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff_plain;h=3e4091248270631ee6dab18b323d0c441a4e4ae1;hp=494b62b8ddfc3c3a7282aab4ad96d0e10fb1d1bc;ds=sidebyside

Quantifiers use relations!!!
---

diff --git a/Repair/RepairCompiler/MCC/CLI.java b/Repair/RepairCompiler/MCC/CLI.java
index afd51e6..7a38d83 100755
--- 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.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 {
     /**
@@ -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("-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);
 	}
 
diff --git a/Repair/RepairCompiler/MCC/IR/SemanticChecker.java b/Repair/RepairCompiler/MCC/IR/SemanticChecker.java
index af4aa96..f450bb7 100755
--- a/Repair/RepairCompiler/MCC/IR/SemanticChecker.java
+++ b/Repair/RepairCompiler/MCC/IR/SemanticChecker.java
@@ -527,6 +527,7 @@ public class SemanticChecker {
                 return null;
             }
 
+            rd.addUsage(RelationDescriptor.IMAGE);
             rq.setRelation(rd);
             vd1.setType(rd.getDomain().getType());
 	    vd1.setSet(rd.getDomain());