run ooojava and rcrpointer that print out effects and annotate them with the source...

[IRC.git] / Robust / src / Analysis / Disjoint / ProcessStateMachines.java

diff --git a/Robust/src/Analysis/Disjoint/ProcessStateMachines.java b/Robust/src/Analysis/Disjoint/ProcessStateMachines.java
index 4c0ef14e94a75c5ba11c05486273eb3718bbab0f..0c29cdd184ac4a1e4cb46ca967e8ecbd5b36ff8e 100644 (file)
--- a/Robust/src/Analysis/Disjoint/ProcessStateMachines.java
+++ b/Robust/src/Analysis/Disjoint/ProcessStateMachines.java
@@ -324,11 +324,11 @@ public class ProcessStateMachines {
       if( (effectType & Effect.read)  != 0 &&
           (effectType & Effect.write) != 0
           ) {
-        allocAndFieldRW.add(new Effect(af.getFirst(),
-                                       Effect.read,
-                                       af.getSecond()
-                                       )
-                            );
+        allocAndFieldRW.add( new Effect( af.getFirst(),
+                                         Effect.read,
+                                         af.getSecond(),
+                                         null )
+                             );
       }
     }