From 3e4091248270631ee6dab18b323d0c441a4e4ae1 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Sun, 2 Oct 2005 05:14:41 +0000 Subject: [PATCH 1/1] Quantifiers use relations!!! --- Repair/RepairCompiler/MCC/CLI.java | 16 ++++++++-------- .../RepairCompiler/MCC/IR/SemanticChecker.java | 1 + 2 files changed, 9 insertions(+), 8 deletions(-) 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 (6.035-staff@mit.edu) - * @version $Id: CLI.java,v 1.15 2005/09/30 06:18:11 bdemsky Exp $ + * @version $Id: CLI.java,v 1.16 2005/10/02 05:13:26 bdemsky Exp $ */ 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()); -- 2.34.1