Added fields to ReferenceEdgeProperties and combed over all classes that need proper...

[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 fdbe1fa9b69287b8d4ae7b88b5e0bab9161dc683..4b6464d29191eac78588d5be95d4405d5c040544 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
@@ -63,6 +63,9 @@ public class HeapRegionNode extends OwnershipNode {
 
 
     public boolean equals( Object o ) {
+       if( o == null ) {
+           return false;
+       }
 
        if( !( o instanceof HeapRegionNode) ) {
            return false;