X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=Robust%2Fsrc%2FClassLibrary%2FHashMapIterator.java;fp=Robust%2Fsrc%2FClassLibrary%2FHashMapIterator.java;h=0000000000000000000000000000000000000000;hb=cdcf09c40af1419fa42932aae249cb79b69b5daf;hp=70e1a405ccd52c7a4f43b47b008352c3518e9498;hpb=2f2cbbbc9385b82d891fabf62ab7e0c5cf364658;p=IRC.git

diff --git a/Robust/src/ClassLibrary/HashMapIterator.java b/Robust/src/ClassLibrary/HashMapIterator.java
deleted file mode 100644
index 70e1a405..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();
-    }
-}