X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FUpdateNode.java;h=89ffed905db057b1a0dd553c2269487e0a978e9b;hp=ee6bdac134c291c4ecd870f71e8324ee7b8e8de8;hb=87862c69c1cb47c83a858f0b6e52d9c0bc25913f;hpb=721bacd23e2b11ad31084b223dc1822c1e647eca

diff --git a/Repair/RepairCompiler/MCC/IR/UpdateNode.java b/Repair/RepairCompiler/MCC/IR/UpdateNode.java
index ee6bdac..89ffed9 100755
--- a/Repair/RepairCompiler/MCC/IR/UpdateNode.java
+++ b/Repair/RepairCompiler/MCC/IR/UpdateNode.java
@@ -44,14 +44,29 @@ class UpdateNode {
 	}
     }
 
-    public boolean checkupdates() {
+    public boolean checkupdates(State state) {
 	if (!checkconflicts()) /* Do we have conflicting concrete updates */
 	    return false;
+        if (!checknoupdates(state))
+            return false;
 	if (computeordering()) /* Ordering exists */
 	    return true;
 	return false;
     }
 
+    private boolean checknoupdates(State state) {
+        Set noupdate=state.noupdate;
+        for(int i=0;i<updates.size();i++) {
+	    Updates u=(Updates)updates.get(i);
+            if (u.isAbstract())
+                continue; /* Abstract updates don't change fields */
+            Descriptor d=u.getDescriptor();
+            if (noupdate.contains(d))
+                return false;
+        }
+        return true;
+    }
+
     private boolean computeordering() {
 	/* Build dependency graph between updates */
 	HashSet graph=new HashSet();