HashSet

[IRC.git] / Robust / src / ClassLibrary / HashMap.java

diff --git a/Robust/src/ClassLibrary/HashMap.java b/Robust/src/ClassLibrary/HashMap.java
index beb895f62803d4b02cc07be850be48f5920d898a..2d6201de66faa7f9937e4c82a5d922f8ba50e649 100644 (file)
--- a/Robust/src/ClassLibrary/HashMap.java
+++ b/Robust/src/ClassLibrary/HashMap.java
@@ -53,13 +53,13 @@ public class HashMap {
     Object remove(Object key) {
        int bin=key.hashCode()%table.length;
        HashEntry ptr=table[bin];
-       if (ptr.key==key) {
+       if (ptr.key.equals(key)) {
            table[bin]=ptr.next;
            numItems--;
            return ptr.value;
        }
        while(ptr.next!=null) {
-           if (ptr.next.key==key) {
+           if (ptr.next.key.equals(key)) {
                Object oldvalue=ptr.value;
                ptr.next=ptr.next.next;
                numItems--;
@@ -73,7 +73,7 @@ public class HashMap {
        int bin=key.hashCode()%table.length;
        HashEntry ptr=table[bin];
        while(ptr!=null) {
-           if (ptr.key==key) {
+           if (ptr.key.equals(key)) {
                return ptr.value;
            }
        }
@@ -84,7 +84,7 @@ public class HashMap {
        int bin=key.hashCode()%table.length;
        HashEntry ptr=table[bin];
        while(ptr!=null) {
-           if (ptr.key==key) {
+           if (ptr.key.equals(key)) {
                return true;
            }
        }
@@ -100,7 +100,7 @@ public class HashMap {
        int bin=key.hashCode()%table.length;
        HashEntry ptr=table[bin];
        while(ptr!=null) {
-           if (ptr.key==key) {
+           if (ptr.key.equals(key)) {
                Object oldvalue=ptr.value;
                ptr.value=value;
                return oldvalue;