/** the number of entries with a non-null value */
public int size() { return size; }
+ public Object[] vals() {
+ Object[] ret = new Object[size()];
+ int j = 0;
+ for(int i=0; i<vals.length; i++)
+ if (vals[i] != null && vals[i] != placeholder)
+ ret[j++] = vals[i];
+ return ret;
+ }
+
/** empties the table */
public void clear() {
size = 0;