X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FDisjoint%2FDefiniteReachAnalysis.java;h=f22da374f78d6c9a4b298679567bbd10ccd76cd6;hb=9e453c5e61cfeee9082f562b59628244a7d51535;hp=5fec38af0d380f2b9a4b010fb5f168c8c1c3fbeb;hpb=d84945f5125d7b9a1dd69e9d16b8b53a92fa18ac;p=IRC.git

diff --git a/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java b/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
index 5fec38af..f22da374 100644
--- a/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
@@ -49,9 +49,10 @@ public class DefiniteReachAnalysis {
   public void store( FlatNode fn, 
                      TempDescriptor  x,
                      FieldDescriptor f,
-                     TempDescriptor  y ) {
+                     TempDescriptor  y,
+                    Set<EdgeKey> edgeKeysRemoved ) {
     DefiniteReachState state = makeIn( fn );
-    state.store( x, f, y );
+    state.store( x, f, y, edgeKeysRemoved );
     fn2state.put( fn, state ); 
   }
 
@@ -62,15 +63,16 @@ public class DefiniteReachAnalysis {
     fn2state.put( fn, state ); 
   }
 
-  // x is the return value, x = foo(...);
   public void methodCall( FlatNode fn, 
-                          TempDescriptor x ) {
+                          TempDescriptor retVal ) {
     DefiniteReachState state = makeIn( fn );
-    state.methodCall( x );
+    state.methodCall( retVal );
     fn2state.put( fn, state ); 
   }
 
 
+
+
   public void writeState( FlatNode fn, String outputName ) {
     DefiniteReachState state = makeIn( fn );
     try {