|
428
|
1 ;; Copyright (C) 1998 Free Software Foundation, Inc.
|
|
|
2
|
|
|
3 ;; Author: Martin Buchholz <martin@xemacs.org>
|
|
|
4 ;; Maintainer: Martin Buchholz <martin@xemacs.org>
|
|
|
5 ;; Created: 1998
|
|
|
6 ;; Keywords: tests, database
|
|
|
7
|
|
|
8 ;; This file is part of XEmacs.
|
|
|
9
|
|
|
10 ;; XEmacs is free software; you can redistribute it and/or modify it
|
|
|
11 ;; under the terms of the GNU General Public License as published by
|
|
|
12 ;; the Free Software Foundation; either version 2, or (at your option)
|
|
|
13 ;; any later version.
|
|
|
14
|
|
|
15 ;; XEmacs is distributed in the hope that it will be useful, but
|
|
|
16 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
18 ;; General Public License for more details.
|
|
|
19
|
|
|
20 ;; You should have received a copy of the GNU General Public License
|
|
|
21 ;; along with XEmacs; see the file COPYING. If not, write to the Free
|
|
|
22 ;; Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
|
|
|
23 ;; 02111-1307, USA.
|
|
|
24
|
|
|
25 ;;; Synched up with: Not in FSF.
|
|
|
26
|
|
|
27 ;;; Commentary:
|
|
|
28
|
|
|
29 ;;; Test hash tables implementation
|
|
|
30 ;;; See test-harness.el
|
|
|
31
|
|
|
32 (condition-case err
|
|
|
33 (require 'test-harness)
|
|
|
34 (file-error
|
|
|
35 (when (and (boundp 'load-file-name) (stringp load-file-name))
|
|
|
36 (push (file-name-directory load-file-name) load-path)
|
|
|
37 (require 'test-harness))))
|
|
|
38
|
|
|
39 ;; Test all combinations of make-hash-table keywords
|
|
|
40 (dolist (test '(eq eql equal))
|
|
|
41 (dolist (size '(0 1 100))
|
|
|
42 (dolist (rehash-size '(1.1 9.9))
|
|
|
43 (dolist (rehash-threshold '(0.2 .9))
|
|
442
|
44 (dolist (weakness '(nil key value key-or-value key-and-value))
|
|
428
|
45 (dolist (data '(() (1 2) (1 2 3 4)))
|
|
|
46 (let ((ht (make-hash-table
|
|
|
47 :test test
|
|
|
48 :size size
|
|
|
49 :rehash-size rehash-size
|
|
|
50 :rehash-threshold rehash-threshold
|
|
|
51 :weakness weakness)))
|
|
|
52 (Assert (equal ht (car (let ((print-readably t))
|
|
|
53 (read-from-string (prin1-to-string ht))))))
|
|
|
54 (Assert (eq test (hash-table-test ht)))
|
|
|
55 (Assert (<= size (hash-table-size ht)))
|
|
|
56 (Assert (eql rehash-size (hash-table-rehash-size ht)))
|
|
|
57 (Assert (eql rehash-threshold (hash-table-rehash-threshold ht)))
|
|
|
58 (Assert (eq weakness (hash-table-weakness ht))))))))))
|
|
|
59
|
|
|
60 (loop for (fun weakness) in '((make-hashtable nil)
|
|
442
|
61 (make-weak-hashtable key-and-value)
|
|
428
|
62 (make-key-weak-hashtable key)
|
|
|
63 (make-value-weak-hashtable value))
|
|
|
64 do (Assert (eq weakness (hash-table-weakness (funcall fun 10)))))
|
|
|
65
|
|
|
66 (loop for (type weakness) in '((non-weak nil)
|
|
442
|
67 (weak key-and-value)
|
|
428
|
68 (key-weak key)
|
|
|
69 (value-weak value))
|
|
|
70 do (Assert (equal (make-hash-table :type type)
|
|
|
71 (make-hash-table :weakness weakness))))
|
|
|
72
|
|
|
73 (Assert (not (equal (make-hash-table :weakness nil)
|
|
|
74 (make-hash-table :weakness t))))
|
|
|
75
|
|
|
76 (let ((ht (make-hash-table :size 20 :rehash-threshold .75 :test 'eq))
|
|
|
77 (size 80))
|
|
|
78 (Assert (hashtablep ht))
|
|
|
79 (Assert (hash-table-p ht))
|
|
|
80 (Assert (eq 'eq (hash-table-test ht)))
|
|
|
81 (Assert (eq 'non-weak (hash-table-type ht)))
|
|
|
82 (Assert (eq 'non-weak (hashtable-type ht)))
|
|
|
83 (Assert (eq 'nil (hash-table-weakness ht)))
|
|
|
84 (dotimes (j size)
|
|
|
85 (puthash j (- j) ht)
|
|
|
86 (Assert (eq (gethash j ht) (- j)))
|
|
|
87 (Assert (= (hash-table-count ht) (1+ j)))
|
|
|
88 (Assert (= (hashtable-fullness ht) (hash-table-count ht)))
|
|
|
89 (puthash j j ht)
|
|
|
90 (Assert (eq (gethash j ht 'foo) j))
|
|
|
91 (Assert (= (hash-table-count ht) (1+ j)))
|
|
|
92 (setf (gethash j ht) (- j))
|
|
|
93 (Assert (eq (gethash j ht) (- j)))
|
|
|
94 (Assert (= (hash-table-count ht) (1+ j))))
|
|
|
95
|
|
|
96 (clrhash ht)
|
|
|
97 (Assert (= 0 (hash-table-count ht)))
|
|
|
98
|
|
|
99 (dotimes (j size)
|
|
|
100 (puthash j (- j) ht)
|
|
|
101 (Assert (eq (gethash j ht) (- j)))
|
|
|
102 (Assert (= (hash-table-count ht) (1+ j))))
|
|
|
103
|
|
|
104 (let ((k-sum 0) (v-sum 0))
|
|
|
105 (maphash #'(lambda (k v) (incf k-sum k) (incf v-sum v)) ht)
|
|
|
106 (print k-sum)
|
|
|
107 (print v-sum)
|
|
|
108 (Assert (= k-sum (/ (* size (- size 1)) 2)))
|
|
|
109 (Assert (= v-sum (- k-sum))))
|
|
|
110
|
|
|
111 (let ((count size))
|
|
|
112 (dotimes (j size)
|
|
|
113 (remhash j ht)
|
|
|
114 (Assert (eq (gethash j ht) nil))
|
|
|
115 (Assert (eq (gethash j ht 'foo) 'foo))
|
|
|
116 (Assert (= (hash-table-count ht) (decf count))))))
|
|
|
117
|
|
|
118 (let ((ht (make-hash-table :size 30 :rehash-threshold .25 :test 'equal))
|
|
|
119 (size 70))
|
|
|
120 (Assert (hashtablep ht))
|
|
|
121 (Assert (hash-table-p ht))
|
|
|
122 (Assert (>= (hash-table-size ht) (/ 30 .25)))
|
|
|
123 (Assert (eql .25 (hash-table-rehash-threshold ht)))
|
|
|
124 (Assert (eq 'equal (hash-table-test ht)))
|
|
|
125 (Assert (eq (hash-table-test ht) (hashtable-test-function ht)))
|
|
|
126 (Assert (eq 'non-weak (hash-table-type ht)))
|
|
|
127 (dotimes (j size)
|
|
|
128 (puthash (int-to-string j) (- j) ht)
|
|
|
129 (Assert (eq (gethash (int-to-string j) ht) (- j)))
|
|
|
130 (Assert (= (hash-table-count ht) (1+ j)))
|
|
|
131 (puthash (int-to-string j) j ht)
|
|
|
132 (Assert (eq (gethash (int-to-string j) ht 'foo) j))
|
|
|
133 (Assert (= (hash-table-count ht) (1+ j))))
|
|
|
134
|
|
|
135 (clrhash ht)
|
|
|
136 (Assert (= 0 (hash-table-count ht)))
|
|
|
137 (Assert (equal ht (copy-hash-table ht)))
|
|
|
138
|
|
|
139 (dotimes (j size)
|
|
|
140 (setf (gethash (int-to-string j) ht) (- j))
|
|
|
141 (Assert (eq (gethash (int-to-string j) ht) (- j)))
|
|
|
142 (Assert (= (hash-table-count ht) (1+ j))))
|
|
|
143
|
|
|
144 (let ((count size))
|
|
|
145 (dotimes (j size)
|
|
|
146 (remhash (int-to-string j) ht)
|
|
|
147 (Assert (eq (gethash (int-to-string j) ht) nil))
|
|
|
148 (Assert (eq (gethash (int-to-string j) ht 'foo) 'foo))
|
|
|
149 (Assert (= (hash-table-count ht) (decf count))))))
|
|
|
150
|
|
|
151 (let ((iterations 5) (one 1.0) (two 2.0))
|
|
|
152 (flet ((check-copy
|
|
|
153 (ht)
|
|
|
154 (let ((copy-of-ht (copy-hash-table ht)))
|
|
|
155 (Assert (equal ht copy-of-ht))
|
|
|
156 (Assert (not (eq ht copy-of-ht)))
|
|
|
157 (Assert (eq (hash-table-count ht) (hash-table-count copy-of-ht)))
|
|
|
158 (Assert (eq (hash-table-type ht) (hash-table-type copy-of-ht)))
|
|
|
159 (Assert (eq (hash-table-size ht) (hash-table-size copy-of-ht)))
|
|
|
160 (Assert (eql (hash-table-rehash-size ht) (hash-table-rehash-size copy-of-ht)))
|
|
|
161 (Assert (eql (hash-table-rehash-threshold ht) (hash-table-rehash-threshold copy-of-ht))))))
|
|
|
162
|
|
|
163 (let ((ht (make-hash-table :size 100 :rehash-threshold .6 :test 'eq)))
|
|
|
164 (dotimes (j iterations)
|
|
|
165 (puthash (+ one 0.0) t ht)
|
|
|
166 (puthash (+ two 0.0) t ht)
|
|
444
|
167 (puthash (cons 1 2) t ht)
|
|
|
168 (puthash (cons 3 4) t ht))
|
|
428
|
169 (Assert (eq (hashtable-test-function ht) 'eq))
|
|
|
170 (Assert (eq (hash-table-test ht) 'eq))
|
|
|
171 (Assert (= (* iterations 4) (hash-table-count ht)))
|
|
|
172 (Assert (eq nil (gethash 1.0 ht)))
|
|
444
|
173 (Assert (eq nil (gethash '(1 . 2) ht)))
|
|
428
|
174 (check-copy ht)
|
|
|
175 )
|
|
|
176
|
|
|
177 (let ((ht (make-hash-table :size 100 :rehash-threshold .6 :test 'eql)))
|
|
|
178 (dotimes (j iterations)
|
|
|
179 (puthash (+ one 0.0) t ht)
|
|
|
180 (puthash (+ two 0.0) t ht)
|
|
444
|
181 (puthash (cons 1 2) t ht)
|
|
|
182 (puthash (cons 3 4) t ht))
|
|
428
|
183 (Assert (eq (hashtable-test-function ht) 'eql))
|
|
|
184 (Assert (eq (hash-table-test ht) 'eql))
|
|
|
185 (Assert (= (+ 2 (* 2 iterations)) (hash-table-count ht)))
|
|
|
186 (Assert (eq t (gethash 1.0 ht)))
|
|
444
|
187 (Assert (eq nil (gethash '(1 . 2) ht)))
|
|
428
|
188 (check-copy ht)
|
|
|
189 )
|
|
|
190
|
|
|
191 (let ((ht (make-hash-table :size 100 :rehash-threshold .6 :test 'equal)))
|
|
|
192 (dotimes (j iterations)
|
|
|
193 (puthash (+ one 0.0) t ht)
|
|
|
194 (puthash (+ two 0.0) t ht)
|
|
444
|
195 (puthash (cons 1 2) t ht)
|
|
|
196 (puthash (cons 3 4) t ht))
|
|
428
|
197 (Assert (eq (hashtable-test-function ht) 'equal))
|
|
|
198 (Assert (eq (hash-table-test ht) 'equal))
|
|
|
199 (Assert (= 4 (hash-table-count ht)))
|
|
|
200 (Assert (eq t (gethash 1.0 ht)))
|
|
444
|
201 (Assert (eq t (gethash '(1 . 2) ht)))
|
|
428
|
202 (check-copy ht)
|
|
|
203 )
|
|
|
204
|
|
|
205 ))
|
|
|
206
|
|
|
207 ;; Test that weak hash-tables are properly handled
|
|
|
208 (loop for (weakness expected-count expected-k-sum expected-v-sum) in
|
|
|
209 '((nil 6 38 25)
|
|
|
210 (t 3 6 9)
|
|
|
211 (key 4 38 9)
|
|
|
212 (value 4 6 25))
|
|
|
213 do
|
|
|
214 (let* ((ht (make-hash-table :weakness weakness))
|
|
|
215 (my-obj (cons ht ht)))
|
|
|
216 (garbage-collect)
|
|
|
217 (puthash my-obj 1 ht)
|
|
|
218 (puthash 2 my-obj ht)
|
|
|
219 (puthash 4 8 ht)
|
|
|
220 (puthash (cons ht ht) 16 ht)
|
|
|
221 (puthash 32 (cons ht ht) ht)
|
|
|
222 (puthash (cons ht ht) (cons ht ht) ht)
|
|
|
223 (let ((k-sum 0) (v-sum 0))
|
|
|
224 (maphash #'(lambda (k v)
|
|
|
225 (when (integerp k) (incf k-sum k))
|
|
|
226 (when (integerp v) (incf v-sum v)))
|
|
|
227 ht)
|
|
|
228 (Assert (eq 38 k-sum))
|
|
|
229 (Assert (eq 25 v-sum)))
|
|
|
230 (Assert (eq 6 (hash-table-count ht)))
|
|
|
231 (garbage-collect)
|
|
|
232 (Assert (eq expected-count (hash-table-count ht)))
|
|
|
233 (let ((k-sum 0) (v-sum 0))
|
|
|
234 (maphash #'(lambda (k v)
|
|
|
235 (when (integerp k) (incf k-sum k))
|
|
|
236 (when (integerp v) (incf v-sum v)))
|
|
|
237 ht)
|
|
|
238 (Assert (eq expected-k-sum k-sum))
|
|
|
239 (Assert (eq expected-v-sum v-sum)))))
|
|
|
240
|
|
|
241 ;;; Test the ability to puthash and remhash the current elt of a maphash
|
|
|
242 (let ((ht (make-hash-table :test 'eql)))
|
|
|
243 (dotimes (j 100) (setf (gethash j ht) (- j)))
|
|
|
244 (maphash #'(lambda (k v)
|
|
|
245 (if (oddp k) (remhash k ht) (puthash k (- v) ht)))
|
|
|
246 ht)
|
|
|
247 (let ((k-sum 0) (v-sum 0))
|
|
|
248 (maphash #'(lambda (k v) (incf k-sum k) (incf v-sum v)) ht)
|
|
|
249 (Assert (= (* 50 49) k-sum))
|
|
|
250 (Assert (= v-sum k-sum))))
|
|
|
251
|
|
|
252 ;;; Test reading and printing of hash-table objects
|
|
|
253 (let ((h1 #s(hashtable weakness t rehash-size 3.0 rehash-threshold .2 test eq data (1 2 3 4)))
|
|
|
254 (h2 #s(hash-table weakness t rehash-size 3.0 rehash-threshold .2 test eq data (1 2 3 4)))
|
|
|
255 (h3 (make-hash-table :weakness t :rehash-size 3.0 :rehash-threshold .2 :test 'eq)))
|
|
|
256 (Assert (equal h1 h2))
|
|
|
257 (Assert (not (equal h1 h3)))
|
|
|
258 (puthash 1 2 h3)
|
|
|
259 (puthash 3 4 h3)
|
|
|
260 (Assert (equal h1 h3)))
|
|
|
261
|
|
|
262 ;;; Testing equality of hash tables
|
|
|
263 (Assert (equal (make-hash-table :test 'eql :size 300 :rehash-threshold .9 :rehash-size 3.0)
|
|
|
264 (make-hash-table :test 'eql)))
|
|
|
265 (Assert (not (equal (make-hash-table :test 'eq)
|
|
|
266 (make-hash-table :test 'equal))))
|
|
|
267 (let ((h1 (make-hash-table))
|
|
|
268 (h2 (make-hash-table)))
|
|
|
269 (Assert (equal h1 h2))
|
|
|
270 (Assert (not (eq h1 h2)))
|
|
|
271 (puthash 1 2 h1)
|
|
|
272 (Assert (not (equal h1 h2)))
|
|
|
273 (puthash 1 2 h2)
|
|
|
274 (Assert (equal h1 h2))
|
|
|
275 (puthash 1 3 h2)
|
|
|
276 (Assert (not (equal h1 h2)))
|
|
|
277 (clrhash h1)
|
|
|
278 (Assert (not (equal h1 h2)))
|
|
|
279 (clrhash h2)
|
|
|
280 (Assert (equal h1 h2))
|
|
|
281 )
|
|
|
282
|
|
|
283 ;;; Test sxhash
|
|
|
284 (Assert (= (sxhash "foo") (sxhash "foo")))
|
|
|
285 (Assert (= (sxhash '(1 2 3)) (sxhash '(1 2 3))))
|
