changes: mainly fixed problems of a tertiary node, pc loc checking, flow edges of...

[IRC.git] / Robust / src / Analysis / SSJava / DeltaLocation.java

diff --git a/Robust/src/Analysis/SSJava/DeltaLocation.java b/Robust/src/Analysis/SSJava/DeltaLocation.java
index d4795153db489e7999a838feb120f86568fafc3d..2a627ea057d60400fd05d973963d7f1ac36ae3d9 100644 (file)
--- a/Robust/src/Analysis/SSJava/DeltaLocation.java
+++ b/Robust/src/Analysis/SSJava/DeltaLocation.java
@@ -52,4 +52,24 @@ public class DeltaLocation extends CompositeLocation {
     return clone;
   }
 
+  public boolean equals(Object o) {
+
+    if (!(o instanceof DeltaLocation)) {
+      return false;
+    }
+
+    DeltaLocation deltaLoc = (DeltaLocation) o;
+
+    if (deltaLoc.getTuple().equals(getTuple()) && deltaLoc.getNumDelta() == numDelta) {
+      return true;
+    } else {
+      return false;
+    }
+
+  }
+
+  public int hashCode() {
+    return locTuple.hashCode() + numDelta;
+  }
+
 }