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

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index f7a5721ac255b1b980618a8a273ee16641b9c4ff..08b2b7a81db5d54ca334d6ccb9187c02aa3dd26e 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
@@ -243,6 +243,10 @@ public class ReachabilitySet extends Canonical {
 
 
     public boolean equals( Object o ) {
+       if( o == null ) {
+           return false;
+       }
+
        if( !(o instanceof ReachabilitySet) ) {
            return false;
        }