Mercurial > hg > xemacs-beta
annotate tests/automated/weak-tests.el @ 5307:c096d8051f89
Have NATNUMP give t for positive bignums; check limits appropriately.
src/ChangeLog addition:
2010-11-20 Aidan Kehoe <kehoea@parhasard.net>
* abbrev.c (Fexpand_abbrev):
* alloc.c:
* alloc.c (Fmake_list):
* alloc.c (Fmake_vector):
* alloc.c (Fmake_bit_vector):
* alloc.c (Fmake_byte_code):
* alloc.c (Fmake_string):
* alloc.c (vars_of_alloc):
* bytecode.c (UNUSED):
* bytecode.c (Fbyte_code):
* chartab.c (decode_char_table_range):
* cmds.c (Fself_insert_command):
* data.c (check_integer_range):
* data.c (Fnatnump):
* data.c (Fnonnegativep):
* data.c (Fstring_to_number):
* elhash.c (hash_table_size_validate):
* elhash.c (decode_hash_table_size):
* eval.c (Fbacktrace_frame):
* event-stream.c (lisp_number_to_milliseconds):
* event-stream.c (Faccept_process_output):
* event-stream.c (Frecent_keys):
* event-stream.c (Fdispatch_event):
* events.c (Fmake_event):
* events.c (Fevent_timestamp):
* events.c (Fevent_timestamp_lessp):
* events.h:
* events.h (struct command_builder):
* file-coding.c (gzip_putprop):
* fns.c:
* fns.c (check_sequence_range):
* fns.c (Frandom):
* fns.c (Fnthcdr):
* fns.c (Flast):
* fns.c (Fnbutlast):
* fns.c (Fbutlast):
* fns.c (Fmember):
* fns.c (Ffill):
* fns.c (Freduce):
* fns.c (replace_string_range_1):
* fns.c (Freplace):
* font-mgr.c (Ffc_pattern_get):
* frame-msw.c (msprinter_set_frame_properties):
* glyphs.c (check_valid_xbm_inline):
* indent.c (Fmove_to_column):
* intl-win32.c (mswindows_multibyte_to_unicode_putprop):
* lisp.h:
* lisp.h (ARRAY_DIMENSION_LIMIT):
* lread.c (decode_mode_1):
* mule-ccl.c (ccl_get_compiled_code):
* number.h:
* process-unix.c (unix_open_multicast_group):
* process.c (Fset_process_window_size):
* profile.c (Fstart_profiling):
* unicode.c (Funicode_to_char):
Change NATNUMP to return 1 for positive bignums; changes uses of
it and of CHECK_NATNUM appropriately, usually by checking for an
integer in an appropriate range.
Add array-dimension-limit and use it in #'make-vector,
#'make-string. Add array-total-size-limit, array-rank-limit while
we're at it, for the sake of any Common Lisp-oriented code that
uses these limits.
Rename check_int_range to check_integer_range, have it take
Lisp_Objects (and thus bignums) instead.
Remove bignum_butlast(), just set int_n to an appropriately large
integer if N is a bignum.
Accept bignums in check_sequence_range(), change the functions
that use check_sequence_range() appropriately.
Move the definition of NATNUMP() to number.h; document why it's a
reasonable name, contradicting an old comment.
tests/ChangeLog addition:
2010-11-20 Aidan Kehoe <kehoea@parhasard.net>
* automated/lisp-tests.el:
* automated/lisp-tests.el (featurep):
* automated/lisp-tests.el (wrong-type-argument):
* automated/mule-tests.el (featurep):
Check for args-out-of-range errors instead of wrong-type-argument
errors in various places when code is handed a large bignum
instead of a fixnum.
Also check for the wrong-type-argument errors when giving the same
code a non-integer value.
| author | Aidan Kehoe <kehoea@parhasard.net> |
|---|---|
| date | Sat, 20 Nov 2010 16:49:11 +0000 |
| parents | 0f66906b6e37 |
| children | 308d34e9f07d |
| 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)))) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
43 (Assert (equal (cons 2 3) (weak-box-ref w))) |
| 890 | 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))) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
56 (Assert (eq p (ephemeron-ref (make-ephemeron (cons 1 2) p)))) |
| 890 | 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 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
67 (Assert (eq p (ephemeron-ref eph2)))) |
| 890 | 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)) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
84 (Assert (eq (weak-list-type weaklist1) 'simple)) |
| 1636 | 85 (Assert (weak-list-p weaklist2)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
86 (Assert (eq (weak-list-type weaklist2) 'simple)) |
| 1636 | 87 (Assert (weak-list-p weaklist3)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
88 (Assert (eq (weak-list-type weaklist3) 'simple)) |
| 1636 | 89 (Assert (weak-list-p weaklist4)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
90 (Assert (eq (weak-list-type weaklist4) 'simple)) |
| 1636 | 91 |
| 92 (garbage-collect) | |
| 93 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
94 (Assert (eq (weak-list-list weaklist1) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
95 (Assert (equal (weak-list-list weaklist2) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
96 (Assert (equal (weak-list-list weaklist3) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
97 (Assert (equal (weak-list-list weaklist4) testlist))) |
| 1636 | 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)) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
114 (Assert (eq (weak-list-type weaklist1) 'assoc)) |
| 1636 | 115 (Assert (weak-list-p weaklist2)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
116 (Assert (eq (weak-list-type weaklist2) 'assoc)) |
| 1636 | 117 (Assert (weak-list-p weaklist3)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
118 (Assert (eq (weak-list-type weaklist3) 'assoc)) |
| 1636 | 119 (Assert (weak-list-p weaklist4)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
120 (Assert (eq (weak-list-type weaklist4) 'assoc)) |
| 1636 | 121 |
| 122 (garbage-collect) | |
| 123 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
124 (Assert (eq (weak-list-list weaklist1) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
125 (Assert (equal (weak-list-list weaklist2) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
126 (Assert (equal (weak-list-list weaklist3) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
127 (Assert (equal (weak-list-list weaklist4) testlist))) |
| 1636 | 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)) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
144 (Assert (eq (weak-list-type weaklist1) 'key-assoc)) |
| 1636 | 145 (Assert (weak-list-p weaklist2)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
146 (Assert (eq (weak-list-type weaklist2) 'key-assoc)) |
| 1636 | 147 (Assert (weak-list-p weaklist3)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
148 (Assert (eq (weak-list-type weaklist3) 'key-assoc)) |
| 1636 | 149 (Assert (weak-list-p weaklist4)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
150 (Assert (eq (weak-list-type weaklist4) 'key-assoc)) |
| 1636 | 151 |
| 152 (garbage-collect) | |
| 153 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
154 (Assert (eq (weak-list-list weaklist1) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
155 (Assert (equal (weak-list-list weaklist2) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
156 (Assert (equal (weak-list-list weaklist3) (list b (cons a (cons 1 2)) b))) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
157 (Assert (equal (weak-list-list weaklist4) testlist))) |
| 1636 | 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)) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
174 (Assert (eq (weak-list-type weaklist1) 'value-assoc)) |
| 1636 | 175 (Assert (weak-list-p weaklist2)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
176 (Assert (eq (weak-list-type weaklist2) 'value-assoc)) |
| 1636 | 177 (Assert (weak-list-p weaklist3)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
178 (Assert (eq (weak-list-type weaklist3) 'value-assoc)) |
| 1636 | 179 (Assert (weak-list-p weaklist4)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
180 (Assert (eq (weak-list-type weaklist4) 'value-assoc)) |
| 1636 | 181 |
| 182 (garbage-collect) | |
| 183 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
184 (Assert (eq (weak-list-list weaklist1) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
185 (Assert (equal (weak-list-list weaklist2) (list b (cons (cons 1 2) a) b))) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
186 (Assert (equal (weak-list-list weaklist3) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
187 (Assert (equal (weak-list-list weaklist4) testlist))) |
| 1636 | 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)) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
204 (Assert (eq (weak-list-type weaklist1) 'full-assoc)) |
| 1636 | 205 (Assert (weak-list-p weaklist2)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
206 (Assert (eq (weak-list-type weaklist2) 'full-assoc)) |
| 1636 | 207 (Assert (weak-list-p weaklist3)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
208 (Assert (eq (weak-list-type weaklist3) 'full-assoc)) |
| 1636 | 209 (Assert (weak-list-p weaklist4)) |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
210 (Assert (eq (weak-list-type weaklist4) 'full-assoc)) |
| 1636 | 211 |
| 212 (garbage-collect) | |
| 213 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
214 (Assert (eq (weak-list-list weaklist1) testlist)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
215 (Assert (equal (weak-list-list weaklist2) (list b (cons (cons 1 2) a) b))) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
216 (Assert (equal (weak-list-list weaklist3) (list b (cons a (cons 1 2)) b))) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
217 (Assert (equal (weak-list-list weaklist4) testlist))) |
| 1636 | 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) |