allows application of change set to reachability set toggle whether to keep the sourc...

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index 6f77ac1a6a7f7e7060a08a6014ff94ba4ae7329c..1ecd3b1114dc7ced6bcbc8840120d7b236448fa2 100644 (file)
--- 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();
   }