added Hash.vals(); this is a temporary hack to be removed later

darcs-hash:20050702081827-5007d-278b844c42509dddc6db1330e1fa2ae093e46ab6.gz

diff --git a/src/org/ibex/util/Hash.java b/src/org/ibex/util/Hash.java
index f0a0353..ae95978 100644 (file)
--- 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;