git.chise.org Git - chise/xemacs-chise.git.1/blob - tests/automated/hash-table-tests.el

   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))
  44         (dolist (weakness '(nil key value key-or-value key-and-value))
  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)
  61                               (make-weak-hashtable key-and-value)
  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)
  67                                (weak key-and-value)
  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)
 167       (puthash (cons 1 2) t ht)
 168       (puthash (cons 3 4) t ht))
 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)))
 173     (Assert (eq nil (gethash '(1 . 2) ht)))
 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)
 181       (puthash (cons 1 2) t ht)
 182       (puthash (cons 3 4) t ht))
 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)))
 187     (Assert (eq nil (gethash '(1 . 2) ht)))
 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)
 195       (puthash (cons 1 2) t ht)
 196       (puthash (cons 3 4) t ht))
 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)))
 201     (Assert (eq t (gethash '(1 . 2) ht)))
 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))))