From aac5e17cfe68ee67688b3d7c4b5919e48e6883e8 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Thu, 12 Mar 2009 21:13:04 +0000
Subject: [PATCH] allows application of change set to reachability set toggle
 whether to keep the source states or not

---
 Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index 6f77ac1a..1ecd3b11 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
@@ -166,7 +166,7 @@ public class ReachabilitySet extends Canonical {
   }
 
 
-  public ReachabilitySet applyChangeSet(ChangeTupleSet C) {
+  public ReachabilitySet applyChangeSet(ChangeTupleSet C, boolean keepSourceState) {
     assert C != null;
 
     ReachabilitySet rsOut = new ReachabilitySet();
@@ -187,11 +187,11 @@ public class ReachabilitySet extends Canonical {
 	}
       }
 
-      if( !changeFound ) {
+      if( keepSourceState || !changeFound ) {
 	rsOut.possibleReachabilities.add( tts );
       }
     }
-
+    
     return rsOut.makeCanonical();
   }
 
-- 
2.34.1