Mercurial > hg > xemacs-beta
annotate tests/automated/weak-tests.el @ 5013:ae48681c47fa
changes to VOID_TO_LISP et al.
-------------------- ChangeLog entries follow: --------------------
src/ChangeLog addition:
2010-02-08 Ben Wing <ben@xemacs.org>
* casetab.c (compute_canon_mapper):
* casetab.c (initialize_identity_mapper):
* casetab.c (compute_up_or_eqv_mapper):
* casetab.c (recompute_case_table):
* casetab.c (set_case_table):
* chartab.c (copy_mapper):
* chartab.c (copy_char_table_range):
* chartab.c (get_range_char_table_1):
* console.c (find_nonminibuffer_frame_not_on_console_predicate):
* console.c (find_nonminibuffer_frame_not_on_console):
* console.c (nuke_all_console_slots):
* device.c:
* device.c (find_nonminibuffer_frame_not_on_device_predicate):
* device.c (find_nonminibuffer_frame_not_on_device):
* dialog-msw.c (dialog_proc):
* dialog-msw.c (handle_question_dialog_box):
* dialog-x.c (maybe_run_dbox_text_callback):
* eval.c:
* eval.c (safe_run_hook_trapping_problems_1):
* eval.c (safe_run_hook_trapping_problems):
* event-msw.c:
* event-msw.c (mswindows_wnd_proc):
* event-msw.c (mswindows_find_frame):
* faces.c (update_face_inheritance_mapper):
* frame-msw.c (mswindows_init_frame_1):
* frame-msw.c (mswindows_get_mouse_position):
* frame-msw.c (mswindows_get_frame_parent):
* glade.c (connector):
* glade.c (Fglade_xml_signal_connect):
* glade.c (Fglade_xml_signal_autoconnect):
* glade.c (Fglade_xml_textdomain):
* glyphs-msw.c (mswindows_subwindow_instantiate):
* glyphs-msw.c (mswindows_widget_instantiate):
* glyphs.c (check_instance_cache_mapper):
* glyphs.c (check_window_subwindow_cache):
* glyphs.c (check_image_instance_structure):
* gui-x.c (snarf_widget_value_mapper):
* gui-x.c (popup_selection_callback):
* gui-x.c (button_item_to_widget_value):
* keymap.c (map_keymap_mapper):
* keymap.c (Fmap_keymap):
* menubar-gtk.c (__torn_off_sir):
* menubar-gtk.c (__activate_menu):
* menubar-gtk.c (menu_convert):
* menubar-gtk.c (__generic_button_callback):
* menubar-gtk.c (menu_descriptor_to_widget_1):
* menubar-msw.c:
* menubar-msw.c (EMPTY_ITEM_ID):
* menubar-x.c (menu_item_descriptor_to_widget_value_1):
* menubar-x.c (pre_activate_callback):
* menubar-x.c (command_builder_operate_menu_accelerator):
* menubar-x.c (command_builder_find_menu_accelerator):
* print.c (print_internal):
* process-unix.c (close_process_descs_mapfun):
* process.c (get_process_from_usid):
* process.c (init_process_io_handles):
* profile.c (sigprof_handler):
* profile.c (get_profiling_info_timing_maphash):
* profile.c (Fget_profiling_info):
* profile.c (set_profiling_info_timing_maphash):
* profile.c (mark_profiling_info_maphash):
* scrollbar-msw.c (mswindows_create_scrollbar_instance):
* scrollbar-msw.c (mswindows_free_scrollbar_instance):
* scrollbar-msw.c (mswindows_handle_scrollbar_event):
* specifier.c (recompute_cached_specifier_everywhere_mapfun):
* specifier.c (recompute_cached_specifier_everywhere):
* syntax.c (copy_to_mirrortab):
* syntax.c (copy_if_not_already_present):
* syntax.c (update_just_this_syntax_table):
* text.c (new_dfc_convert_now_damn_it):
* text.h (LISP_STRING_TO_EXTERNAL):
* tooltalk.c:
* tooltalk.c (tooltalk_message_callback):
* tooltalk.c (tooltalk_pattern_callback):
* tooltalk.c (Fcreate_tooltalk_message):
* tooltalk.c (Fcreate_tooltalk_pattern):
* ui-byhand.c (__generic_toolbar_callback):
* ui-byhand.c (generic_toolbar_insert_item):
* ui-byhand.c (__emacs_gtk_ctree_recurse_internal):
* ui-byhand.c (Fgtk_ctree_recurse):
* ui-gtk.c (__internal_callback_destroy):
* ui-gtk.c (__internal_callback_marshal):
* ui-gtk.c (Fgtk_signal_connect):
* ui-gtk.c (gtk_type_to_lisp):
* ui-gtk.c (lisp_to_gtk_type):
* ui-gtk.c (lisp_to_gtk_ret_type):
* lisp-disunion.h:
* lisp-disunion.h (NON_LVALUE):
* lisp-union.h:
* lisp.h (LISP_HASH):
Rename:
LISP_TO_VOID -> STORE_LISP_IN_VOID
VOID_TO_LISP -> GET_LISP_FROM_VOID
These new names are meant to clearly identify that the Lisp object
is the source and void the sink, and that they can't be used the
other way around -- they aren't exact opposites despite the old
names. The names are also important given the new functions
created just below. Also, clarify comments in lisp-union.h and
lisp-disunion.h about the use of the functions.
* lisp.h:
New functions STORE_VOID_IN_LISP and GET_VOID_FROM_LISP. These
are different from the above in that the source is a void *
(previously, you had to use make_opaque_ptr()).
* eval.c (restore_lisp_object):
* eval.c (record_unwind_protect_restoring_lisp_object):
* eval.c (struct restore_int):
* eval.c (restore_int):
* eval.c (record_unwind_protect_restoring_int):
* eval.c (free_pointer):
* eval.c (record_unwind_protect_freeing):
* eval.c (free_dynarr):
* eval.c (record_unwind_protect_freeing_dynarr):
* eval.c (unbind_to_1):
Use STORE_VOID_IN_LISP and GET_VOID_FROM_LISP to eliminate the
use of make_opaque_ptr() and mostly eliminate Lisp consing
entirely in the use of these various record_unwind_protect_*
functions as well as internal_bind_* (e.g. internal_bind_int).
* tests.c:
* tests.c (Ftest_store_void_in_lisp):
* tests.c (syms_of_tests):
* tests.c (vars_of_tests):
Add an C-assert-style test to test STORE_VOID_IN_LISP and
GET_VOID_FROM_LISP to make sure the same value comes back that
was put in.
| author | Ben Wing <ben@xemacs.org> |
|---|---|
| date | Mon, 08 Feb 2010 06:42:16 -0600 |
| parents | 189fb67ca31a |
| children | 0f66906b6e37 |
| 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)))) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
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))) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
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 | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
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)) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
84 (Assert-eq (weak-list-type weaklist1) 'simple) |
| 1636 | 85 (Assert (weak-list-p weaklist2)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
86 (Assert-eq (weak-list-type weaklist2) 'simple) |
| 1636 | 87 (Assert (weak-list-p weaklist3)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
88 (Assert-eq (weak-list-type weaklist3) 'simple) |
| 1636 | 89 (Assert (weak-list-p weaklist4)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
90 (Assert-eq (weak-list-type weaklist4) 'simple) |
| 1636 | 91 |
| 92 (garbage-collect) | |
| 93 | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
94 (Assert-eq (weak-list-list weaklist1) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
95 (Assert-equal (weak-list-list weaklist2) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
96 (Assert-equal (weak-list-list weaklist3) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
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)) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
114 (Assert-eq (weak-list-type weaklist1) 'assoc) |
| 1636 | 115 (Assert (weak-list-p weaklist2)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
116 (Assert-eq (weak-list-type weaklist2) 'assoc) |
| 1636 | 117 (Assert (weak-list-p weaklist3)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
118 (Assert-eq (weak-list-type weaklist3) 'assoc) |
| 1636 | 119 (Assert (weak-list-p weaklist4)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
120 (Assert-eq (weak-list-type weaklist4) 'assoc) |
| 1636 | 121 |
| 122 (garbage-collect) | |
| 123 | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
124 (Assert-eq (weak-list-list weaklist1) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
125 (Assert-equal (weak-list-list weaklist2) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
126 (Assert-equal (weak-list-list weaklist3) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
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)) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
144 (Assert-eq (weak-list-type weaklist1) 'key-assoc) |
| 1636 | 145 (Assert (weak-list-p weaklist2)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
146 (Assert-eq (weak-list-type weaklist2) 'key-assoc) |
| 1636 | 147 (Assert (weak-list-p weaklist3)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
148 (Assert-eq (weak-list-type weaklist3) 'key-assoc) |
| 1636 | 149 (Assert (weak-list-p weaklist4)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
150 (Assert-eq (weak-list-type weaklist4) 'key-assoc) |
| 1636 | 151 |
| 152 (garbage-collect) | |
| 153 | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
154 (Assert-eq (weak-list-list weaklist1) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
155 (Assert-equal (weak-list-list weaklist2) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
156 (Assert-equal (weak-list-list weaklist3) (list b (cons a (cons 1 2)) b)) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
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)) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
174 (Assert-eq (weak-list-type weaklist1) 'value-assoc) |
| 1636 | 175 (Assert (weak-list-p weaklist2)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
176 (Assert-eq (weak-list-type weaklist2) 'value-assoc) |
| 1636 | 177 (Assert (weak-list-p weaklist3)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
178 (Assert-eq (weak-list-type weaklist3) 'value-assoc) |
| 1636 | 179 (Assert (weak-list-p weaklist4)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
180 (Assert-eq (weak-list-type weaklist4) 'value-assoc) |
| 1636 | 181 |
| 182 (garbage-collect) | |
| 183 | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
184 (Assert-eq (weak-list-list weaklist1) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
185 (Assert-equal (weak-list-list weaklist2) (list b (cons (cons 1 2) a) b)) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
186 (Assert-equal (weak-list-list weaklist3) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
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)) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
204 (Assert-eq (weak-list-type weaklist1) 'full-assoc) |
| 1636 | 205 (Assert (weak-list-p weaklist2)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
206 (Assert-eq (weak-list-type weaklist2) 'full-assoc) |
| 1636 | 207 (Assert (weak-list-p weaklist3)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
208 (Assert-eq (weak-list-type weaklist3) 'full-assoc) |
| 1636 | 209 (Assert (weak-list-p weaklist4)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
210 (Assert-eq (weak-list-type weaklist4) 'full-assoc) |
| 1636 | 211 |
| 212 (garbage-collect) | |
| 213 | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
214 (Assert-eq (weak-list-list weaklist1) testlist) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
215 (Assert-equal (weak-list-list weaklist2) (list b (cons (cons 1 2) a) b)) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
diff
changeset
|
216 (Assert-equal (weak-list-list weaklist3) (list b (cons a (cons 1 2)) b)) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4366
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) |