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

diff --git a/Robust/src/ClassLibrary/HashMapIterator.java b/Robust/src/ClassLibrary/HashMapIterator.java
deleted file mode 100644
index 48dc9137..00000000
--- a/Robust/src/ClassLibrary/HashMapIterator.java
+++ /dev/null
@@ -1,46 +0,0 @@
-class HashMapIterator {
-  HashMap map;
-  int type;
-  int bin;
-  HashEntry he;
-
-  public HashMapIterator(HashMap map, int type) {
-    this.map=map;
-    this.type=type;
-    this.bin=0;
-    this.he=null;
-  }
-
-  public boolean hasNext() {
-    if (he!=null&&he.next!=null)
-      return true;
-    int i=bin;
-    while((i<map.table.length)&&map.table[i]==null)
-      i++;
-    return (i<map.table.length);
-  }
-
-  public Object next() {
-    if (he!=null&&he.next!=null) {
-      he=he.next;
-      Object o;
-      if (type==0)
-	o=he.key;
-      else
-	o=he.value;
-      return o;
-    }
-    while((bin<map.table.length)&&
-          (map.table[bin]==null))
-      bin++;
-    if (bin<map.table.length) {
-      he=map.table[bin++];
-      Object o;
-      if (type==0)
-	o=he.key;
-      else
-	o=he.value;
-      return o;
-    } else System.error();
-  }
-}