Mercurial > hg > xemacs-beta
annotate tests/automated/weak-tests.el @ 4575:eecd28508f4a
Add #'subr-arity, API taken from GNU, implementation our own.
lisp/ChangeLog addition:
2009-01-11 Aidan Kehoe <kehoea@parhasard.net>
* subr.el: Correct a comment, we now have #'syntax-after in
syntax.el.
(subr-arity): New.
Docstring and API taken initially from GNU's data.c, revision
1.275, GPLv2.
tests/ChangeLog addition:
2009-01-11 Aidan Kehoe <kehoea@parhasard.net>
* automated/lisp-tests.el ():
Test #'subr-arity, recently added to subr.el.
| author | Aidan Kehoe <kehoea@parhasard.net> |
|---|---|
| date | Sun, 11 Jan 2009 13:18:42 +0000 |
| parents | 7b628daa39d4 |
| children | 189fb67ca31a |
| rev | line source |
|---|---|
| 890 | 1 ;; Copyright (C) 1998 Free Software Foundation, Inc. |
| 2 | |
| 3 ;; Author: Mike Sperber <mike@xemacs.org> | |
| 4 ;; Maintainer: Mike Sperber <mike@xemacs.org> | |
| 5 ;; Created: 2002 | |
| 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 | |
| 1636 | 29 ;;; Test implementation of weak boxes, ephemerons, and weak lists |
| 890 | 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 (garbage-collect) | |
| 1636 | 40 |
| 41 ;; tests for weak-boxes | |
| 890 | 42 (let ((w (make-weak-box (cons 2 3)))) |
| 43 (Assert (equal (cons 2 3) (weak-box-ref w))) | |
| 44 (garbage-collect) | |
| 45 (Assert (not (weak-box-ref w)))) | |
| 46 | |
| 47 (garbage-collect) | |
| 48 | |
| 1636 | 49 ;; tests for ephemerons |
| 890 | 50 (let* ((p (cons 3 4)) |
| 51 (finalized-p nil) | |
| 52 (eph1 (make-ephemeron (cons 1 2) p | |
| 4021 | 53 #'(lambda (value) |
| 54 (setq finalized-p t)))) | |
| 890 | 55 (eph2 (make-ephemeron p p))) |
| 56 (Assert (eq p (ephemeron-ref (make-ephemeron (cons 1 2) p)))) | |
| 57 (Assert (ephemeron-p (make-ephemeron (cons 1 2) p))) | |
| 58 | |
| 59 (garbage-collect) | |
| 60 (garbage-collect) ; ensure the post-gc hook runs | |
| 61 | |
| 62 (Assert finalized-p) | |
| 63 (Assert (not (ephemeron-ref eph1))) | |
| 64 | |
| 65 (garbage-collect) | |
| 66 | |
| 67 (Assert (eq p (ephemeron-ref eph2)))) | |
| 68 | |
| 1636 | 69 (garbage-collect) |
| 70 | |
| 71 ;; tests for simple weak-lists | |
| 72 (let* ((a (cons 23 42)) | |
| 73 (b (cons 42 65)) | |
| 74 (testlist (list a b)) | |
| 75 (weaklist1 (make-weak-list 'simple)) | |
| 76 (weaklist2 (make-weak-list 'simple)) | |
| 77 (weaklist3 (make-weak-list 'simple)) | |
| 78 (weaklist4 (make-weak-list 'simple))) | |
| 79 (set-weak-list-list weaklist1 testlist) | |
| 80 (set-weak-list-list weaklist2 (list (cons 1 2) a b)) | |
| 81 (set-weak-list-list weaklist3 (list a (cons 1 2) b)) | |
| 82 (set-weak-list-list weaklist4 (list a b (cons 1 2))) | |
| 83 (Assert (weak-list-p weaklist1)) | |
| 84 (Assert (eq (weak-list-type weaklist1) 'simple)) | |
| 85 (Assert (weak-list-p weaklist2)) | |
| 86 (Assert (eq (weak-list-type weaklist2) 'simple)) | |
| 87 (Assert (weak-list-p weaklist3)) | |
| 88 (Assert (eq (weak-list-type weaklist3) 'simple)) | |
| 89 (Assert (weak-list-p weaklist4)) | |
| 90 (Assert (eq (weak-list-type weaklist4) 'simple)) | |
| 91 | |
| 92 (garbage-collect) | |
| 93 | |
| 94 (Assert (eq (weak-list-list weaklist1) testlist)) | |
| 95 (Assert (equal (weak-list-list weaklist2) testlist)) | |
| 96 (Assert (equal (weak-list-list weaklist3) testlist)) | |
| 97 (Assert (equal (weak-list-list weaklist4) testlist))) | |
| 98 | |
| 99 (garbage-collect) | |
| 100 | |
| 101 ;; tests for assoc weak-lists | |
| 102 (let* ((a (cons 23 42)) | |
| 103 (b (cons a a)) | |
| 104 (testlist (list b b)) | |
| 105 (weaklist1 (make-weak-list 'assoc)) | |
| 106 (weaklist2 (make-weak-list 'assoc)) | |
| 107 (weaklist3 (make-weak-list 'assoc)) | |
| 108 (weaklist4 (make-weak-list 'assoc))) | |
| 109 (set-weak-list-list weaklist1 testlist) | |
| 110 (set-weak-list-list weaklist2 (list b (cons (cons 1 2) a) b)) | |
| 111 (set-weak-list-list weaklist3 (list b (cons a (cons 1 2)) b)) | |
| 112 (set-weak-list-list weaklist4 (list b (cons (cons 1 2) (cons 3 4)) b)) | |
| 113 (Assert (weak-list-p weaklist1)) | |
| 114 (Assert (eq (weak-list-type weaklist1) 'assoc)) | |
| 115 (Assert (weak-list-p weaklist2)) | |
| 116 (Assert (eq (weak-list-type weaklist2) 'assoc)) | |
| 117 (Assert (weak-list-p weaklist3)) | |
| 118 (Assert (eq (weak-list-type weaklist3) 'assoc)) | |
| 119 (Assert (weak-list-p weaklist4)) | |
| 120 (Assert (eq (weak-list-type weaklist4) 'assoc)) | |
| 121 | |
| 122 (garbage-collect) | |
| 123 | |
| 124 (Assert (eq (weak-list-list weaklist1) testlist)) | |
| 125 (Assert (equal (weak-list-list weaklist2) testlist)) | |
| 126 (Assert (equal (weak-list-list weaklist3) testlist)) | |
| 127 (Assert (equal (weak-list-list weaklist4) testlist))) | |
| 128 | |
| 129 (garbage-collect) | |
| 130 | |
| 131 ;; tests for key-assoc weak-lists | |
| 132 (let* ((a (cons 23 42)) | |
| 133 (b (cons a a)) | |
| 134 (testlist (list b b)) | |
| 135 (weaklist1 (make-weak-list 'key-assoc)) | |
| 136 (weaklist2 (make-weak-list 'key-assoc)) | |
| 137 (weaklist3 (make-weak-list 'key-assoc)) | |
| 138 (weaklist4 (make-weak-list 'key-assoc))) | |
| 139 (set-weak-list-list weaklist1 testlist) | |
| 140 (set-weak-list-list weaklist2 (list b (cons (cons 1 2) a) b)) | |
| 141 (set-weak-list-list weaklist3 (list b (cons a (cons 1 2)) b)) | |
| 142 (set-weak-list-list weaklist4 (list b (cons (cons 1 2) (cons 3 4)) b)) | |
| 143 (Assert (weak-list-p weaklist1)) | |
| 144 (Assert (eq (weak-list-type weaklist1) 'key-assoc)) | |
| 145 (Assert (weak-list-p weaklist2)) | |
| 146 (Assert (eq (weak-list-type weaklist2) 'key-assoc)) | |
| 147 (Assert (weak-list-p weaklist3)) | |
| 148 (Assert (eq (weak-list-type weaklist3) 'key-assoc)) | |
| 149 (Assert (weak-list-p weaklist4)) | |
| 150 (Assert (eq (weak-list-type weaklist4) 'key-assoc)) | |
| 151 | |
| 152 (garbage-collect) | |
| 153 | |
| 154 (Assert (eq (weak-list-list weaklist1) testlist)) | |
| 155 (Assert (equal (weak-list-list weaklist2) testlist)) | |
| 156 (Assert (equal (weak-list-list weaklist3) (list b (cons a (cons 1 2)) b))) | |
| 157 (Assert (equal (weak-list-list weaklist4) testlist))) | |
| 158 | |
| 159 (garbage-collect) | |
| 160 | |
| 161 ;; tests for value-assoc weak-lists | |
| 162 (let* ((a (cons 23 42)) | |
| 163 (b (cons a a)) | |
| 164 (testlist (list b b)) | |
| 165 (weaklist1 (make-weak-list 'value-assoc)) | |
| 166 (weaklist2 (make-weak-list 'value-assoc)) | |
| 167 (weaklist3 (make-weak-list 'value-assoc)) | |
| 168 (weaklist4 (make-weak-list 'value-assoc))) | |
| 169 (set-weak-list-list weaklist1 testlist) | |
| 170 (set-weak-list-list weaklist2 (list b (cons (cons 1 2) a) b)) | |
| 171 (set-weak-list-list weaklist3 (list b (cons a (cons 1 2)) b)) | |
| 172 (set-weak-list-list weaklist4 (list b (cons (cons 1 2) (cons 3 4)) b)) | |
| 173 (Assert (weak-list-p weaklist1)) | |
| 174 (Assert (eq (weak-list-type weaklist1) 'value-assoc)) | |
| 175 (Assert (weak-list-p weaklist2)) | |
| 176 (Assert (eq (weak-list-type weaklist2) 'value-assoc)) | |
| 177 (Assert (weak-list-p weaklist3)) | |
| 178 (Assert (eq (weak-list-type weaklist3) 'value-assoc)) | |
| 179 (Assert (weak-list-p weaklist4)) | |
| 180 (Assert (eq (weak-list-type weaklist4) 'value-assoc)) | |
| 181 | |
| 182 (garbage-collect) | |
| 183 | |
| 184 (Assert (eq (weak-list-list weaklist1) testlist)) | |
| 185 (Assert (equal (weak-list-list weaklist2) (list b (cons (cons 1 2) a) b))) | |
| 186 (Assert (equal (weak-list-list weaklist3) testlist)) | |
| 187 (Assert (equal (weak-list-list weaklist4) testlist))) | |
| 188 | |
| 189 (garbage-collect) | |
| 190 | |
| 191 ;; tests for full-assoc weak-lists | |
| 192 (let* ((a (cons 23 42)) | |
| 193 (b (cons a a)) | |
| 194 (testlist (list b b)) | |
| 195 (weaklist1 (make-weak-list 'full-assoc)) | |
| 196 (weaklist2 (make-weak-list 'full-assoc)) | |
| 197 (weaklist3 (make-weak-list 'full-assoc)) | |
| 198 (weaklist4 (make-weak-list 'full-assoc))) | |
| 199 (set-weak-list-list weaklist1 testlist) | |
| 200 (set-weak-list-list weaklist2 (list b (cons (cons 1 2) a) b)) | |
| 201 (set-weak-list-list weaklist3 (list b (cons a (cons 1 2)) b)) | |
| 202 (set-weak-list-list weaklist4 (list b (cons (cons 1 2) (cons 3 4)) b)) | |
| 203 (Assert (weak-list-p weaklist1)) | |
| 204 (Assert (eq (weak-list-type weaklist1) 'full-assoc)) | |
| 205 (Assert (weak-list-p weaklist2)) | |
| 206 (Assert (eq (weak-list-type weaklist2) 'full-assoc)) | |
| 207 (Assert (weak-list-p weaklist3)) | |
| 208 (Assert (eq (weak-list-type weaklist3) 'full-assoc)) | |
| 209 (Assert (weak-list-p weaklist4)) | |
| 210 (Assert (eq (weak-list-type weaklist4) 'full-assoc)) | |
| 211 | |
| 212 (garbage-collect) | |
| 213 | |
| 214 (Assert (eq (weak-list-list weaklist1) testlist)) | |
| 215 (Assert (equal (weak-list-list weaklist2) (list b (cons (cons 1 2) a) b))) | |
| 216 (Assert (equal (weak-list-list weaklist3) (list b (cons a (cons 1 2)) b))) | |
| 217 (Assert (equal (weak-list-list weaklist4) testlist))) | |
| 218 | |
| 219 (garbage-collect) | |
|
1773
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
220 |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
221 ;; test the intended functionality of the fixpoint iteration used for marking |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
222 ;; weak data structures like the ephermerons. Basically this tests gc_internals |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
223 ;; to work properly but it also ensures the ephemerons behave according to the |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
224 ;; specification |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
225 |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
226 (let* ((inner_cons (cons 1 2)) |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
227 (weak1 (make-ephemeron inner_cons |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
228 (make-ephemeron inner_cons |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
229 (cons 1 2) |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
230 '(lambda (v) t)) |
| 4021 | 231 #'(lambda (v) t)))) |
|
1773
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
232 (Assert (ephemeron-ref (ephemeron-ref weak1))) |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
233 (garbage-collect) |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
234 ;; assure the inner ephis are still there |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
235 (Assert (ephemeron-ref (ephemeron-ref weak1))) |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
236 ;; delete the key reference and force cleaning up the garbage |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
237 (setq inner_cons (cons 3 4)) |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
238 (garbage-collect) |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
239 (Assert (not (ephemeron-ref weak1))) |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
240 ) |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
241 |
|
aa0db78e67c4
[xemacs-hg @ 2003-11-01 14:54:53 by kaltenbach]
kaltenbach
parents:
1758
diff
changeset
|
242 (garbage-collect) |