add Hash.dumpkeys() that takes a preallocated array (may be of different element...
[org.ibex.util.git] / src / org / ibex / util / Hash.java
index 95d636b..40729d8 100644 (file)
@@ -47,7 +47,9 @@ public class Hash implements java.io.Serializable {
     public int size() { return size; }
 
     public Object[] dumpkeys() {
     public int size() { return size; }
 
     public Object[] dumpkeys() {
-        Object[] ret = new Object[size];
+        return dumpkeys(new Object[size]);
+    }
+    public Object[] dumpkeys(Object[] ret) {
         int j = 0;
         for(int i=0; i<keys1.length; i++)
             if (keys1[i]!=null)
         int j = 0;
         for(int i=0; i<keys1.length; i++)
             if (keys1[i]!=null)