set up to count graph elements over every final graph for every analyzed method

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

diff --git a/Robust/src/Analysis/Disjoint/HeapRegionNode.java b/Robust/src/Analysis/Disjoint/HeapRegionNode.java
index 93621d23c0107e209248c95e37a11fe8753456c1..4790a4a609054120579c8d63a5cfa852f1c9c5b7 100644 (file)
--- a/Robust/src/Analysis/Disjoint/HeapRegionNode.java
+++ b/Robust/src/Analysis/Disjoint/HeapRegionNode.java
@@ -145,6 +145,9 @@ public class HeapRegionNode extends RefSrcNode {
     return isOutOfContext;
   }
 
+  public boolean isShadow() {
+    return id < 0;
+  }
 
   public Iterator<RefEdge> iteratorToReferencers() {
     return referencers.iterator();