public String toString() {
StringBuffer buf = new StringBuffer();
IntEnumer it = elements();
buf.append("{");
while (it.hasMoreElements()) {
if (buf.length() > 1) buf.append(",");
buf.append(it.nextInt());
}
buf.append("}");
return buf.toString();
}
public synchronized int[] keyArray() {
int[] _keys = new int[this.size()];
IntEnumer en = this.keys();
for (int i = 0; i < _keys.length; i++) _keys[i] = en.nextInt();
return _keys;
}
public int[] getArray() {
int[] _keys = new int[this.size()];
IntEnumer en = this.elements();
for (int i = 0; i < _keys.length; i++) _keys[i] = en.nextInt();
return _keys;
}
