From a0fd6405370c91d57e61028ecf5a05e449f0ac8f Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Sat, 2 Jul 2005 08:18:27 +0000
Subject: [PATCH] added Hash.vals(); this is a temporary hack to be removed
 later

darcs-hash:20050702081827-5007d-278b844c42509dddc6db1330e1fa2ae093e46ab6.gz
---
 src/org/ibex/util/Hash.java |    9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/org/ibex/util/Hash.java b/src/org/ibex/util/Hash.java
index f0a0353..ae95978 100644
--- a/src/org/ibex/util/Hash.java
+++ b/src/org/ibex/util/Hash.java
@@ -46,6 +46,15 @@ public class Hash implements java.io.Serializable {
     /** the number of entries with a non-null value */
     public int size() { return size; }
 
+    public Object[] vals() {
+        Object[] ret = new Object[size()];
+        int j = 0;
+        for(int i=0; i<vals.length; i++)
+            if (vals[i] != null && vals[i] != placeholder)
+                ret[j++] = vals[i];
+        return ret;
+    }
+
     /** empties the table */
     public void clear() {
         size = 0;
-- 
1.7.10.4