add Hash.dumpkeys() that takes a preallocated array (may be of different element...

darcs-hash:20070317085120-5007d-33b898828841ecbc423e92ec31a109bfc654f583.gz

diff --git a/src/org/ibex/util/Hash.java b/src/org/ibex/util/Hash.java
index 95d636b..40729d8 100644 (file)
--- a/src/org/ibex/util/Hash.java
+++ b/src/org/ibex/util/Hash.java
@@ -47,7 +47,9 @@ public class Hash implements java.io.Serializable {
     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)