From: adam <adam@megacz.com>
Date: Sat, 17 Mar 2007 08:51:20 +0000 (+0000)
Subject: add Hash.dumpkeys() that takes a preallocated array (may be of different element... 
X-Git-Url: http://git.megacz.com/?p=org.ibex.util.git;a=commitdiff_plain;h=f716713c2bbd7eb4b0a1a9d3a0cff22644df864f

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

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
--- 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)