From 50ce88df425daa0b6ee8777df6fce3ad5cc14c7f Mon Sep 17 00:00:00 2001 From: bdemsky Date: Mon, 31 May 2004 15:04:59 +0000 Subject: [PATCH] This should make Cristian a happy person... We do the right thing if the checkonly flag is set... --- Repair/RepairCompiler/MCC/IR/RepairGenerator.java | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java index 6074bbd..c096372 100755 --- a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java +++ b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java @@ -760,8 +760,17 @@ public class RepairGenerator { // for (int i = 0; i < constraints.size(); i++) { // Constraint constraint = (Constraint) constraints.elementAt(i); - for (Iterator i = termination.constraintdependence.computeOrdering().iterator(); i.hasNext();) { - Constraint constraint = (Constraint) ((GraphNode)i.next()).getOwner(); + Iterator i; + if (Compiler.REPAIR) + i=termination.constraintdependence.computeOrdering().iterator(); + else + i=state.vConstraints.iterator(); + for (; i.hasNext();) { + Constraint constraint; + if (Compiler.REPAIR) + constraint= (Constraint) ((GraphNode)i.next()).getOwner(); + else + constraint=(Constraint)i.next(); { final SymbolTable st = constraint.getSymbolTable(); -- 2.34.1