Heap regions with no reachability token need to have the empty reachability set

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / ReferenceEdge.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java b/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java
index 81e557b0512a926c5759c5b3a250f16f36300db9..68a38cd81dc2635804a5355020c40942a8aad24e 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java
@@ -76,6 +76,12 @@ public class ReferenceEdge {
        return true;
     }
 
+
+    public boolean equalsIncludingBeta( ReferenceEdge edge ) {
+       return equals( edge ) && beta.equals( edge.beta );
+    }
+
+
     public int hashCode() {
        int hash = 0;