/** the number of entries with a non-null value */
public int size() { return size; }
+ public Object[] dumpkeys() {
+ Object[] ret = new Object[size];
+ int j = 0;
+ for(int i=0; i<keys1.length; i++)
+ if (keys1[i]!=null)
+ ret[j++] = keys1[i];
+ return ret;
+ }
+
public Object[] vals() {
Object[] ret = new Object[size()];
int j = 0;
}
/** returns all the primary keys in the table */
- public Enumeration keys() { return new HashEnum(); }
+ public java.util.Enumeration enumerateKeys() { return new HashEnum(); }
public Hash() { this(25, 3); }
public Hash(int initialcapacity, int loadFactor) {