Added reachability classes, all of which are extensions of Canonical such that

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java b/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
index 1e28f9045410f029f1cf67a5c358773f16c512c1..08502304f90a84cda4dfaeb2b0a040211b2d340f 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
@@ -57,6 +57,7 @@ public class HeapRegionNode extends OwnershipNode {
        return id;
     }
 
+
     public boolean equals( HeapRegionNode hrn ) {
        assert hrn != null;
 
@@ -64,6 +65,7 @@ public class HeapRegionNode extends OwnershipNode {
            isSingleObject == hrn.isSingleObject() &&
            isFlagged      == hrn.isFlagged()      &&
            isNewSummary   == hrn.isNewSummary()   &&
+           alpha.equals( hrn.getAlpha() )         &&
            description.equals( hrn.getDescription() );
     }
 
@@ -116,6 +118,10 @@ public class HeapRegionNode extends OwnershipNode {
     }
 
 
+    public void setAlpha( ReachabilitySet alpha ) {
+       this.alpha = alpha;
+    }
+
     public ReachabilitySet getAlpha() {
        return alpha;
     }