Mercurial > hg > xemacs-beta

comparison tests/automated/weak-tests.el @ 5136:0f66906b6e37

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically -------------------- ChangeLog entries follow: -------------------- lisp/ChangeLog addition: 2010-03-12 Ben Wing <ben@xemacs.org> * test-harness.el (test-harness-from-buffer): Undo change of e.g. (Assert (equalp ...)) to (Assert-equalp ...). Get rid of `Assert-equalp' and friends, `Assert-test', and `Assert-test-not'. Instead, make `Assert' smart enough to do the equivalent functionality when an expression like (Assert (equalp ...)) is seen. tests/ChangeLog addition: 2010-03-12 Ben Wing <ben@xemacs.org> * automated/base64-tests.el (bt-base64-encode-string): * automated/base64-tests.el (bt-base64-decode-string): * automated/base64-tests.el (for): * automated/byte-compiler-tests.el: * automated/byte-compiler-tests.el (before-and-after-compile-equal): * automated/case-tests.el (downcase-string): * automated/case-tests.el (uni-mappings): * automated/ccl-tests.el (ccl-test-normal-expr): * automated/ccl-tests.el (ccl-test-map-instructions): * automated/ccl-tests.el (ccl-test-suites): * automated/database-tests.el (delete-database-files): * automated/extent-tests.el (let): * automated/extent-tests.el (insert): * automated/extent-tests.el (props): * automated/file-tests.el: * automated/file-tests.el (for): * automated/hash-table-tests.el (test): * automated/hash-table-tests.el (for): * automated/hash-table-tests.el (ht): * automated/hash-table-tests.el (iterations): * automated/hash-table-tests.el (h1): * automated/hash-table-tests.el (equal): * automated/hash-table-tests.el (=): * automated/lisp-tests.el: * automated/lisp-tests.el (eq): * automated/lisp-tests.el (test-setq): * automated/lisp-tests.el (my-vector): * automated/lisp-tests.el (x): * automated/lisp-tests.el (equal): * automated/lisp-tests.el (y): * automated/lisp-tests.el (featurep): * automated/lisp-tests.el (=): * automated/lisp-tests.el (six): * automated/lisp-tests.el (three): * automated/lisp-tests.el (one): * automated/lisp-tests.el (two): * automated/lisp-tests.el (five): * automated/lisp-tests.el (test1): * automated/lisp-tests.el (division-test): * automated/lisp-tests.el (for): * automated/lisp-tests.el (check-function-argcounts): * automated/lisp-tests.el (z): * automated/lisp-tests.el (eql): * automated/lisp-tests.el (test-harness-risk-infloops): * automated/lisp-tests.el (erase-buffer): * automated/lisp-tests.el (sym): * automated/lisp-tests.el (new-char): * automated/lisp-tests.el (new-load-file-name): * automated/lisp-tests.el (cl-floor): * automated/lisp-tests.el (foo): * automated/md5-tests.el (lambda): * automated/md5-tests.el (large-string): * automated/md5-tests.el (mapcar): * automated/md5-tests.el (insert): * automated/mule-tests.el: * automated/mule-tests.el (test-chars): * automated/mule-tests.el (existing-file-name): * automated/mule-tests.el (featurep): * automated/query-coding-tests.el (featurep): * automated/regexp-tests.el: * automated/regexp-tests.el (insert): * automated/regexp-tests.el (Assert): * automated/regexp-tests.el (=): * automated/regexp-tests.el (featurep): * automated/regexp-tests.el (text): * automated/regexp-tests.el (text1): * automated/regexp-tests.el ("aáa"): * automated/regexp-tests.el (eql): * automated/search-tests.el (insert): * automated/search-tests.el (featurep): * automated/search-tests.el (let): * automated/search-tests.el (boundp): * automated/symbol-tests.el: * automated/symbol-tests.el (name): * automated/symbol-tests.el (check-weak-list-unique): * automated/symbol-tests.el (string): * automated/symbol-tests.el (list): * automated/symbol-tests.el (foo): * automated/symbol-tests.el (eq): * automated/symbol-tests.el (fresh-keyword-name): * automated/symbol-tests.el (print-gensym): * automated/symbol-tests.el (mysym): * automated/syntax-tests.el (test-forward-word): * automated/syntax-tests.el (test-backward-word): * automated/syntax-tests.el (test-syntax-table): * automated/syntax-tests.el (with-syntax-table): * automated/syntax-tests.el (Skip-Test-Unless): * automated/syntax-tests.el (with): * automated/tag-tests.el (testfile): * automated/weak-tests.el (w): * automated/weak-tests.el (p): * automated/weak-tests.el (a): Undo change of e.g. (Assert (equalp ...)) to (Assert-equalp ...). Get rid of `Assert-equalp' and friends, `Assert-test', and `Assert-test-not'. Instead, make `Assert' smart enough to do the equivalent functionality when an expression like (Assert (equalp ...)) is seen.
author Ben Wing <ben@xemacs.org>
date Fri, 12 Mar 2010 18:27:51 -0600
parents 189fb67ca31a
children 308d34e9f07d
comparison
equal deleted inserted replaced
5113:b2dcf6a6d8ab 5136:0f66906b6e37
38 38
39 (garbage-collect) 39 (garbage-collect)
40 40
41 ;; tests for weak-boxes 41 ;; tests for weak-boxes
42 (let ((w (make-weak-box (cons 2 3)))) 42 (let ((w (make-weak-box (cons 2 3))))
43 (Assert-equal (cons 2 3) (weak-box-ref w)) 43 (Assert (equal (cons 2 3) (weak-box-ref w)))
44 (garbage-collect) 44 (garbage-collect)
45 (Assert (not (weak-box-ref w)))) 45 (Assert (not (weak-box-ref w))))
46 46
47 (garbage-collect) 47 (garbage-collect)
48 48
51 (finalized-p nil) 51 (finalized-p nil)
52 (eph1 (make-ephemeron (cons 1 2) p 52 (eph1 (make-ephemeron (cons 1 2) p
53 #'(lambda (value) 53 #'(lambda (value)
54 (setq finalized-p t)))) 54 (setq finalized-p t))))
55 (eph2 (make-ephemeron p p))) 55 (eph2 (make-ephemeron p p)))
56 (Assert-eq p (ephemeron-ref (make-ephemeron (cons 1 2) p))) 56 (Assert (eq p (ephemeron-ref (make-ephemeron (cons 1 2) p))))
57 (Assert (ephemeron-p (make-ephemeron (cons 1 2) p))) 57 (Assert (ephemeron-p (make-ephemeron (cons 1 2) p)))
58 58
59 (garbage-collect) 59 (garbage-collect)
60 (garbage-collect) ; ensure the post-gc hook runs 60 (garbage-collect) ; ensure the post-gc hook runs
61 61
62 (Assert finalized-p) 62 (Assert finalized-p)
63 (Assert (not (ephemeron-ref eph1))) 63 (Assert (not (ephemeron-ref eph1)))
64 64
65 (garbage-collect) 65 (garbage-collect)
66 66
67 (Assert-eq p (ephemeron-ref eph2))) 67 (Assert (eq p (ephemeron-ref eph2))))
68 68
69 (garbage-collect) 69 (garbage-collect)
70 70
71 ;; tests for simple weak-lists 71 ;; tests for simple weak-lists
72 (let* ((a (cons 23 42)) 72 (let* ((a (cons 23 42))
79 (set-weak-list-list weaklist1 testlist) 79 (set-weak-list-list weaklist1 testlist)
80 (set-weak-list-list weaklist2 (list (cons 1 2) a b)) 80 (set-weak-list-list weaklist2 (list (cons 1 2) a b))
81 (set-weak-list-list weaklist3 (list a (cons 1 2) 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))) 82 (set-weak-list-list weaklist4 (list a b (cons 1 2)))
83 (Assert (weak-list-p weaklist1)) 83 (Assert (weak-list-p weaklist1))
84 (Assert-eq (weak-list-type weaklist1) 'simple) 84 (Assert (eq (weak-list-type weaklist1) 'simple))
85 (Assert (weak-list-p weaklist2)) 85 (Assert (weak-list-p weaklist2))
86 (Assert-eq (weak-list-type weaklist2) 'simple) 86 (Assert (eq (weak-list-type weaklist2) 'simple))
87 (Assert (weak-list-p weaklist3)) 87 (Assert (weak-list-p weaklist3))
88 (Assert-eq (weak-list-type weaklist3) 'simple) 88 (Assert (eq (weak-list-type weaklist3) 'simple))
89 (Assert (weak-list-p weaklist4)) 89 (Assert (weak-list-p weaklist4))
90 (Assert-eq (weak-list-type weaklist4) 'simple) 90 (Assert (eq (weak-list-type weaklist4) 'simple))
91 91
92 (garbage-collect) 92 (garbage-collect)
93 93
94 (Assert-eq (weak-list-list weaklist1) testlist) 94 (Assert (eq (weak-list-list weaklist1) testlist))
95 (Assert-equal (weak-list-list weaklist2) testlist) 95 (Assert (equal (weak-list-list weaklist2) testlist))
96 (Assert-equal (weak-list-list weaklist3) testlist) 96 (Assert (equal (weak-list-list weaklist3) testlist))
97 (Assert-equal (weak-list-list weaklist4) testlist)) 97 (Assert (equal (weak-list-list weaklist4) testlist)))
98 98
99 (garbage-collect) 99 (garbage-collect)
100 100
101 ;; tests for assoc weak-lists 101 ;; tests for assoc weak-lists
102 (let* ((a (cons 23 42)) 102 (let* ((a (cons 23 42))
109 (set-weak-list-list weaklist1 testlist) 109 (set-weak-list-list weaklist1 testlist)
110 (set-weak-list-list weaklist2 (list b (cons (cons 1 2) a) b)) 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)) 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)) 112 (set-weak-list-list weaklist4 (list b (cons (cons 1 2) (cons 3 4)) b))
113 (Assert (weak-list-p weaklist1)) 113 (Assert (weak-list-p weaklist1))
114 (Assert-eq (weak-list-type weaklist1) 'assoc) 114 (Assert (eq (weak-list-type weaklist1) 'assoc))
115 (Assert (weak-list-p weaklist2)) 115 (Assert (weak-list-p weaklist2))
116 (Assert-eq (weak-list-type weaklist2) 'assoc) 116 (Assert (eq (weak-list-type weaklist2) 'assoc))
117 (Assert (weak-list-p weaklist3)) 117 (Assert (weak-list-p weaklist3))
118 (Assert-eq (weak-list-type weaklist3) 'assoc) 118 (Assert (eq (weak-list-type weaklist3) 'assoc))
119 (Assert (weak-list-p weaklist4)) 119 (Assert (weak-list-p weaklist4))
120 (Assert-eq (weak-list-type weaklist4) 'assoc) 120 (Assert (eq (weak-list-type weaklist4) 'assoc))
121 121
122 (garbage-collect) 122 (garbage-collect)
123 123
124 (Assert-eq (weak-list-list weaklist1) testlist) 124 (Assert (eq (weak-list-list weaklist1) testlist))
125 (Assert-equal (weak-list-list weaklist2) testlist) 125 (Assert (equal (weak-list-list weaklist2) testlist))
126 (Assert-equal (weak-list-list weaklist3) testlist) 126 (Assert (equal (weak-list-list weaklist3) testlist))
127 (Assert-equal (weak-list-list weaklist4) testlist)) 127 (Assert (equal (weak-list-list weaklist4) testlist)))
128 128
129 (garbage-collect) 129 (garbage-collect)
130 130
131 ;; tests for key-assoc weak-lists 131 ;; tests for key-assoc weak-lists
132 (let* ((a (cons 23 42)) 132 (let* ((a (cons 23 42))
139 (set-weak-list-list weaklist1 testlist) 139 (set-weak-list-list weaklist1 testlist)
140 (set-weak-list-list weaklist2 (list b (cons (cons 1 2) a) b)) 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)) 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)) 142 (set-weak-list-list weaklist4 (list b (cons (cons 1 2) (cons 3 4)) b))
143 (Assert (weak-list-p weaklist1)) 143 (Assert (weak-list-p weaklist1))
144 (Assert-eq (weak-list-type weaklist1) 'key-assoc) 144 (Assert (eq (weak-list-type weaklist1) 'key-assoc))
145 (Assert (weak-list-p weaklist2)) 145 (Assert (weak-list-p weaklist2))
146 (Assert-eq (weak-list-type weaklist2) 'key-assoc) 146 (Assert (eq (weak-list-type weaklist2) 'key-assoc))
147 (Assert (weak-list-p weaklist3)) 147 (Assert (weak-list-p weaklist3))
148 (Assert-eq (weak-list-type weaklist3) 'key-assoc) 148 (Assert (eq (weak-list-type weaklist3) 'key-assoc))
149 (Assert (weak-list-p weaklist4)) 149 (Assert (weak-list-p weaklist4))
150 (Assert-eq (weak-list-type weaklist4) 'key-assoc) 150 (Assert (eq (weak-list-type weaklist4) 'key-assoc))
151 151
152 (garbage-collect) 152 (garbage-collect)
153 153
154 (Assert-eq (weak-list-list weaklist1) testlist) 154 (Assert (eq (weak-list-list weaklist1) testlist))
155 (Assert-equal (weak-list-list weaklist2) testlist) 155 (Assert (equal (weak-list-list weaklist2) testlist))
156 (Assert-equal (weak-list-list weaklist3) (list b (cons a (cons 1 2)) b)) 156 (Assert (equal (weak-list-list weaklist3) (list b (cons a (cons 1 2)) b)))
157 (Assert-equal (weak-list-list weaklist4) testlist)) 157 (Assert (equal (weak-list-list weaklist4) testlist)))
158 158
159 (garbage-collect) 159 (garbage-collect)
160 160
161 ;; tests for value-assoc weak-lists 161 ;; tests for value-assoc weak-lists
162 (let* ((a (cons 23 42)) 162 (let* ((a (cons 23 42))
169 (set-weak-list-list weaklist1 testlist) 169 (set-weak-list-list weaklist1 testlist)
170 (set-weak-list-list weaklist2 (list b (cons (cons 1 2) a) b)) 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)) 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)) 172 (set-weak-list-list weaklist4 (list b (cons (cons 1 2) (cons 3 4)) b))
173 (Assert (weak-list-p weaklist1)) 173 (Assert (weak-list-p weaklist1))
174 (Assert-eq (weak-list-type weaklist1) 'value-assoc) 174 (Assert (eq (weak-list-type weaklist1) 'value-assoc))
175 (Assert (weak-list-p weaklist2)) 175 (Assert (weak-list-p weaklist2))
176 (Assert-eq (weak-list-type weaklist2) 'value-assoc) 176 (Assert (eq (weak-list-type weaklist2) 'value-assoc))
177 (Assert (weak-list-p weaklist3)) 177 (Assert (weak-list-p weaklist3))
178 (Assert-eq (weak-list-type weaklist3) 'value-assoc) 178 (Assert (eq (weak-list-type weaklist3) 'value-assoc))
179 (Assert (weak-list-p weaklist4)) 179 (Assert (weak-list-p weaklist4))
180 (Assert-eq (weak-list-type weaklist4) 'value-assoc) 180 (Assert (eq (weak-list-type weaklist4) 'value-assoc))
181 181
182 (garbage-collect) 182 (garbage-collect)
183 183
184 (Assert-eq (weak-list-list weaklist1) testlist) 184 (Assert (eq (weak-list-list weaklist1) testlist))
185 (Assert-equal (weak-list-list weaklist2) (list b (cons (cons 1 2) a) b)) 185 (Assert (equal (weak-list-list weaklist2) (list b (cons (cons 1 2) a) b)))
186 (Assert-equal (weak-list-list weaklist3) testlist) 186 (Assert (equal (weak-list-list weaklist3) testlist))
187 (Assert-equal (weak-list-list weaklist4) testlist)) 187 (Assert (equal (weak-list-list weaklist4) testlist)))
188 188
189 (garbage-collect) 189 (garbage-collect)
190 190
191 ;; tests for full-assoc weak-lists 191 ;; tests for full-assoc weak-lists
192 (let* ((a (cons 23 42)) 192 (let* ((a (cons 23 42))
199 (set-weak-list-list weaklist1 testlist) 199 (set-weak-list-list weaklist1 testlist)
200 (set-weak-list-list weaklist2 (list b (cons (cons 1 2) a) b)) 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)) 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)) 202 (set-weak-list-list weaklist4 (list b (cons (cons 1 2) (cons 3 4)) b))
203 (Assert (weak-list-p weaklist1)) 203 (Assert (weak-list-p weaklist1))
204 (Assert-eq (weak-list-type weaklist1) 'full-assoc) 204 (Assert (eq (weak-list-type weaklist1) 'full-assoc))
205 (Assert (weak-list-p weaklist2)) 205 (Assert (weak-list-p weaklist2))
206 (Assert-eq (weak-list-type weaklist2) 'full-assoc) 206 (Assert (eq (weak-list-type weaklist2) 'full-assoc))
207 (Assert (weak-list-p weaklist3)) 207 (Assert (weak-list-p weaklist3))
208 (Assert-eq (weak-list-type weaklist3) 'full-assoc) 208 (Assert (eq (weak-list-type weaklist3) 'full-assoc))
209 (Assert (weak-list-p weaklist4)) 209 (Assert (weak-list-p weaklist4))
210 (Assert-eq (weak-list-type weaklist4) 'full-assoc) 210 (Assert (eq (weak-list-type weaklist4) 'full-assoc))
211 211
212 (garbage-collect) 212 (garbage-collect)
213 213
214 (Assert-eq (weak-list-list weaklist1) testlist) 214 (Assert (eq (weak-list-list weaklist1) testlist))
215 (Assert-equal (weak-list-list weaklist2) (list b (cons (cons 1 2) a) b)) 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)) 216 (Assert (equal (weak-list-list weaklist3) (list b (cons a (cons 1 2)) b)))
217 (Assert-equal (weak-list-list weaklist4) testlist)) 217 (Assert (equal (weak-list-list weaklist4) testlist)))
218 218
219 (garbage-collect) 219 (garbage-collect)
220 220
221 ;; test the intended functionality of the fixpoint iteration used for marking 221 ;; test the intended functionality of the fixpoint iteration used for marking
222 ;; weak data structures like the ephermerons. Basically this tests gc_internals 222 ;; weak data structures like the ephermerons. Basically this tests gc_internals