X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FHashMapIterator.java;h=d3516022cb21cd0665b1db95fa2c7a33922c1ebc;hb=7a1194cee8890aecb5ab17301dbd369d66c77d76;hp=48dc913711c4d2ef0feec5c0b558638ea8361016;hpb=ac6191b514c0e54b468623bf868134e1ce809df5;p=IRC.git

diff --git a/Robust/src/ClassLibrary/HashMapIterator.java b/Robust/src/ClassLibrary/HashMapIterator.java
index 48dc9137..d3516022 100644
--- a/Robust/src/ClassLibrary/HashMapIterator.java
+++ b/Robust/src/ClassLibrary/HashMapIterator.java
@@ -1,4 +1,4 @@
-class HashMapIterator {
+class HashMapIterator extends Iterator {
   HashMap map;
   int type;
   int bin;
@@ -25,9 +25,9 @@ class HashMapIterator {
       he=he.next;
       Object o;
       if (type==0)
-	o=he.key;
+        o=he.key;
       else
-	o=he.value;
+        o=he.value;
       return o;
     }
     while((bin<map.table.length)&&
@@ -37,10 +37,15 @@ class HashMapIterator {
       he=map.table[bin++];
       Object o;
       if (type==0)
-	o=he.key;
+        o=he.key;
       else
-	o=he.value;
+        o=he.value;
       return o;
     } else System.error();
   }
+
+  public void remove() {
+    System.out.println("HashMapIterator.remove() not implemented.");
+    System.exit(-1);
+  }
 }