strong updates, everything ready to do method calls

[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 e9fb24940ec7ed9143d4a2f62bc1a2b0128b5d59..2604b21fd23ac91eb76d062d086367c6bef8b56f 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
@@ -114,6 +114,11 @@ public class HeapRegionNode extends OwnershipNode {
        return clone.iterator();
     }
 
+    public int getNumReferencers() {
+       return referencers.size();
+    }
+
+
     public void addReferencer( ReferenceEdge edge ) {
        assert edge != null;