From f716713c2bbd7eb4b0a1a9d3a0cff22644df864f Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Sat, 17 Mar 2007 08:51:20 +0000
Subject: [PATCH] add Hash.dumpkeys() that takes a preallocated array (may be
 of different element type)

darcs-hash:20070317085120-5007d-33b898828841ecbc423e92ec31a109bfc654f583.gz
---
 src/org/ibex/util/Hash.java |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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