Mercurial > hg > xemacs-beta
annotate tests/automated/extent-tests.el @ 5146:88bd4f3ef8e4
make lrecord UID's have a separate UID space for each object, resurrect debug SOE code in extents.c
-------------------- ChangeLog entries follow: --------------------
src/ChangeLog addition:
2010-03-15 Ben Wing <ben@xemacs.org>
* alloc.c:
* alloc.c (c_readonly):
* alloc.c (deadbeef_memory):
* alloc.c (make_compiled_function):
* alloc.c (make_button_data):
* alloc.c (make_motion_data):
* alloc.c (make_process_data):
* alloc.c (make_timeout_data):
* alloc.c (make_magic_data):
* alloc.c (make_magic_eval_data):
* alloc.c (make_eval_data):
* alloc.c (make_misc_user_data):
* alloc.c (noseeum_make_marker):
* alloc.c (ADDITIONAL_FREE_string):
* alloc.c (common_init_alloc_early):
* alloc.c (init_alloc_once_early):
* bytecode.c (print_compiled_function):
* bytecode.c (mark_compiled_function):
* casetab.c:
* casetab.c (print_case_table):
* console.c:
* console.c (print_console):
* database.c (print_database):
* database.c (finalize_database):
* device-msw.c (sync_printer_with_devmode):
* device-msw.c (print_devmode):
* device-msw.c (finalize_devmode):
* device.c:
* device.c (print_device):
* elhash.c:
* elhash.c (print_hash_table):
* eval.c (print_multiple_value):
* eval.c (mark_multiple_value):
* events.c (deinitialize_event):
* events.c (print_event):
* events.c (event_equal):
* extents.c:
* extents.c (soe_dump):
* extents.c (soe_insert):
* extents.c (soe_delete):
* extents.c (soe_move):
* extents.c (extent_fragment_update):
* extents.c (print_extent_1):
* extents.c (print_extent):
* extents.c (vars_of_extents):
* frame.c:
* frame.c (print_frame):
* free-hook.c:
* free-hook.c (check_free):
* glyphs.c:
* glyphs.c (print_image_instance):
* glyphs.c (print_glyph):
* gui.c:
* gui.c (copy_gui_item):
* hash.c:
* hash.c (NULL_ENTRY):
* hash.c (KEYS_DIFFER_P):
* keymap.c (print_keymap):
* keymap.c (MARKED_SLOT):
* lisp.h:
* lrecord.h:
* lrecord.h (LISP_OBJECT_UID):
* lrecord.h (set_lheader_implementation):
* lrecord.h (struct old_lcrecord_header):
* lstream.c (print_lstream):
* lstream.c (finalize_lstream):
* marker.c (print_marker):
* marker.c (marker_equal):
* mc-alloc.c (visit_all_used_page_headers):
* mule-charset.c:
* mule-charset.c (print_charset):
* objects.c (print_color_instance):
* objects.c (print_font_instance):
* objects.c (finalize_font_instance):
* opaque.c (print_opaque):
* opaque.c (print_opaque_ptr):
* opaque.c (equal_opaque_ptr):
* print.c (internal_object_printer):
* print.c (enum printing_badness):
* rangetab.c (print_range_table):
* rangetab.c (range_table_equal):
* specifier.c (print_specifier):
* specifier.c (finalize_specifier):
* symbols.c:
* symbols.c (print_symbol_value_magic):
* tooltalk.c:
* tooltalk.c (print_tooltalk_message):
* tooltalk.c (print_tooltalk_pattern):
* window.c (print_window):
* window.c (debug_print_window):
(1) Make lrecord UID's have a separate UID space for each object.
Otherwise, with 20-bit UID's, we rapidly wrap around, especially
when common objects like conses and strings increment the UID value
for every object created. (Originally I tried making two UID spaces,
one for objects that always print readably and hence don't display
the UID, and one for other objects. But certain objects like markers
for which a UID is displayed are still generated rapidly enough that
UID overflow is a serious issue.) This also has the advantage of
making UID values smaller, hence easier to remember -- their main
purpose is to make it easier to keep track of different objects of
the same type when debugging code. Make sure we dump lrecord UID's
so that we don't have problems with pdumped and non-dumped objects
having the same UID.
(2) Display UID's consistently whenever an object (a) doesn't
consistently print readably (objects like cons and string, which
always print readably, can't display a UID), and (b) doesn't
otherwise have a unique property that makes objects of a
particular type distinguishable. (E.g. buffers didn't and still
don't print an ID, but the buffer name uniquely identifies the
buffer.) Some types, such as event, extent, compiled-function,
didn't always (or didn't ever) display an ID; others (such as
marker, extent, lstream, opaque, opaque-ptr, any object using
internal_object_printer()) used to display the actual machine
pointer instead.
(3) Rename NORMAL_LISP_OBJECT_UID to LISP_OBJECT_UID; make it work
over all Lisp objects and take a Lisp object, not a struct pointer.
(4) Some misc cleanups in alloc.c, elhash.c.
(5) Change code in events.c that "deinitializes" an event so that
it doesn't increment the event UID counter in the process. Also
use deadbeef_memory() to overwrite memory instead of doing the same
with custom code. In the process, make deadbeef_memory() in
alloc.c always available, and delete extraneous copy in mc-alloc.c.
Also capitalize all uses of 0xDEADBEEF. Similarly in elhash.c
call deadbeef_memory().
(6) Resurrect "debug SOE" code in extents.c. Make it conditional
on DEBUG_XEMACS and on a `debug-soe' variable, rather than on
SOE_DEBUG. Make it output to stderr, not stdout.
(7) Delete some custom print methods that were identical to
external_object_printer().
| author | Ben Wing <ben@xemacs.org> |
|---|---|
| date | Mon, 15 Mar 2010 16:35:38 -0500 |
| parents | 0f66906b6e37 |
| children | 308d34e9f07d |
| rev | line source |
|---|---|
| 468 | 1 ;; Copyright (C) 2001 Free Software Foundation, Inc. |
| 2 | |
| 3 ;; Author: Hrvoje Niksic <hniksic@xemacs.org> | |
| 4 ;; Maintainer: Hrvoje Niksic <hniksic@xemacs.org> | |
| 5 ;; Created: 1999 | |
| 6 ;; Keywords: tests | |
| 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 extents operations. | |
| 30 ;; See test-harness.el for instructions on how to run these tests. | |
| 31 | |
| 32 (eval-when-compile | |
| 33 (condition-case nil | |
| 34 (require 'test-harness) | |
| 35 (file-error | |
| 36 (push "." load-path) | |
| 37 (when (and (boundp 'load-file-name) (stringp load-file-name)) | |
| 38 (push (file-name-directory load-file-name) load-path)) | |
| 39 (require 'test-harness)))) | |
| 40 | |
| 41 | |
| 42 ;;----------------------------------------------------- | |
| 43 ;; Creating and attaching. | |
| 44 ;;----------------------------------------------------- | |
| 45 | |
| 46 (with-temp-buffer | |
| 47 (let ((extent (make-extent nil nil)) | |
| 48 (string "somecoolstring")) | |
| 49 | |
| 50 ;; Detached extent. | |
| 51 (Assert (extent-detached-p extent)) | |
| 52 | |
| 53 ;; Put it in a buffer. | |
| 54 (set-extent-endpoints extent 1 1 (current-buffer)) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
55 (Assert (eq (extent-object extent) (current-buffer))) |
| 468 | 56 |
| 57 ;; And then into another buffer. | |
| 58 (with-temp-buffer | |
| 59 (set-extent-endpoints extent 1 1 (current-buffer)) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
60 (Assert (eq (extent-object extent) (current-buffer)))) |
| 468 | 61 |
| 62 ;; Now that the buffer doesn't exist, extent should be detached | |
| 63 ;; again. | |
| 64 (Assert (extent-detached-p extent)) | |
| 65 | |
| 66 ;; This line crashes XEmacs 21.2.46 and prior. | |
| 67 (set-extent-endpoints extent 1 (length string) string) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
68 (Assert (eq (extent-object extent) string)) |
| 468 | 69 ) |
| 70 | |
| 71 (let ((extent (make-extent 1 1))) | |
| 72 ;; By default, extent should be closed-open | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
73 (Assert (eq (get extent 'start-closed) t)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
74 (Assert (eq (get extent 'start-open) nil)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
75 (Assert (eq (get extent 'end-open) t)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
76 (Assert (eq (get extent 'end-closed) nil)) |
| 468 | 77 |
| 78 ;; Make it closed-closed. | |
| 79 (set-extent-property extent 'end-closed t) | |
| 80 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
81 (Assert (eq (get extent 'start-closed) t)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
82 (Assert (eq (get extent 'start-open) nil)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
83 (Assert (eq (get extent 'end-open) nil)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
84 (Assert (eq (get extent 'end-closed) t)) |
| 468 | 85 |
| 86 ;; open-closed | |
| 87 (set-extent-property extent 'start-open t) | |
| 88 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
89 (Assert (eq (get extent 'start-closed) nil)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
90 (Assert (eq (get extent 'start-open) t)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
91 (Assert (eq (get extent 'end-open) nil)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
92 (Assert (eq (get extent 'end-closed) t)) |
| 468 | 93 |
| 94 ;; open-open | |
| 95 (set-extent-property extent 'end-open t) | |
| 96 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
97 (Assert (eq (get extent 'start-closed) nil)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
98 (Assert (eq (get extent 'start-open) t)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
99 (Assert (eq (get extent 'end-open) t)) |
|
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
100 (Assert (eq (get extent 'end-closed) nil))) |
| 468 | 101 |
| 102 ) | |
| 103 | |
| 104 ;;----------------------------------------------------- | |
| 105 ;; Insertion behavior. | |
| 106 ;;----------------------------------------------------- | |
| 107 | |
| 108 (defun et-range (extent) | |
| 109 "List (START-POSITION END-POSITION) of EXTENT." | |
| 110 (list (extent-start-position extent) | |
| 111 (extent-end-position extent))) | |
| 112 | |
| 113 (defun et-insert-at (string position) | |
| 114 "Insert STRING at POSITION in the current buffer." | |
| 115 (save-excursion | |
| 116 (goto-char position) | |
| 117 (insert string))) | |
| 118 | |
| 119 ;; Test insertion at the beginning, middle, and end of the extent. | |
| 120 | |
| 121 ;; closed-open | |
| 122 | |
| 123 (with-temp-buffer | |
| 124 (insert "###eee###") | |
| 125 (let ((e (make-extent 4 7))) | |
| 126 ;; current state: "###[eee)###" | |
| 127 ;; 123 456 789 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
128 (Assert (equal (et-range e) '(4 7))) |
| 468 | 129 |
| 130 (et-insert-at "xxx" 4) | |
| 131 | |
| 132 ;; current state: "###[xxxeee)###" | |
| 133 ;; 123 456789 012 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
134 (Assert (equal (et-range e) '(4 10))) |
| 468 | 135 |
| 136 (et-insert-at "yyy" 7) | |
| 137 | |
| 138 ;; current state: "###[xxxyyyeee)###" | |
| 139 ;; 123 456789012 345 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
140 (Assert (equal (et-range e) '(4 13))) |
| 468 | 141 |
| 142 (et-insert-at "zzz" 13) | |
| 143 | |
| 144 ;; current state: "###[xxxyyyeee)zzz###" | |
| 145 ;; 123 456789012 345678 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
146 (Assert (equal (et-range e) '(4 13))) |
| 468 | 147 )) |
| 148 | |
| 149 ;; closed-closed | |
| 150 | |
| 151 (with-temp-buffer | |
| 152 (insert "###eee###") | |
| 153 (let ((e (make-extent 4 7))) | |
| 154 (put e 'end-closed t) | |
| 155 | |
| 156 ;; current state: "###[eee]###" | |
| 157 ;; 123 456 789 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
158 (Assert (equal (et-range e) '(4 7))) |
| 468 | 159 |
| 160 (et-insert-at "xxx" 4) | |
| 161 | |
| 162 ;; current state: "###[xxxeee]###" | |
| 163 ;; 123 456789 012 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
164 (Assert (equal (et-range e) '(4 10))) |
| 468 | 165 |
| 166 (et-insert-at "yyy" 7) | |
| 167 | |
| 168 ;; current state: "###[xxxyyyeee]###" | |
| 169 ;; 123 456789012 345 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
170 (Assert (equal (et-range e) '(4 13))) |
| 468 | 171 |
| 172 (et-insert-at "zzz" 13) | |
| 173 | |
| 174 ;; current state: "###[xxxyyyeeezzz]###" | |
| 175 ;; 123 456789012345 678 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
176 (Assert (equal (et-range e) '(4 16))) |
| 468 | 177 )) |
| 178 | |
| 179 ;; open-closed | |
| 180 | |
| 181 (with-temp-buffer | |
| 182 (insert "###eee###") | |
| 183 (let ((e (make-extent 4 7))) | |
| 184 (put e 'start-open t) | |
| 185 (put e 'end-closed t) | |
| 186 | |
| 187 ;; current state: "###(eee]###" | |
| 188 ;; 123 456 789 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
189 (Assert (equal (et-range e) '(4 7))) |
| 468 | 190 |
| 191 (et-insert-at "xxx" 4) | |
| 192 | |
| 193 ;; current state: "###xxx(eee]###" | |
| 194 ;; 123456 789 012 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
195 (Assert (equal (et-range e) '(7 10))) |
| 468 | 196 |
| 197 (et-insert-at "yyy" 8) | |
| 198 | |
| 199 ;; current state: "###xxx(eyyyee]###" | |
| 200 ;; 123456 789012 345 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
201 (Assert (equal (et-range e) '(7 13))) |
| 468 | 202 |
| 203 (et-insert-at "zzz" 13) | |
| 204 | |
| 205 ;; current state: "###xxx(eyyyeezzz]###" | |
| 206 ;; 123456 789012345 678 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
207 (Assert (equal (et-range e) '(7 16))) |
| 468 | 208 )) |
| 209 | |
| 210 ;; open-open | |
| 211 | |
| 212 (with-temp-buffer | |
| 213 (insert "###eee###") | |
| 214 (let ((e (make-extent 4 7))) | |
| 215 (put e 'start-open t) | |
| 216 | |
| 217 ;; current state: "###(eee)###" | |
| 218 ;; 123 456 789 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
219 (Assert (equal (et-range e) '(4 7))) |
| 468 | 220 |
| 221 (et-insert-at "xxx" 4) | |
| 222 | |
| 223 ;; current state: "###xxx(eee)###" | |
| 224 ;; 123456 789 012 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
225 (Assert (equal (et-range e) '(7 10))) |
| 468 | 226 |
| 227 (et-insert-at "yyy" 8) | |
| 228 | |
| 229 ;; current state: "###xxx(eyyyee)###" | |
| 230 ;; 123456 789012 345 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
231 (Assert (equal (et-range e) '(7 13))) |
| 468 | 232 |
| 233 (et-insert-at "zzz" 13) | |
| 234 | |
| 235 ;; current state: "###xxx(eyyyee)zzz###" | |
| 236 ;; 123456 789012 345678 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
237 (Assert (equal (et-range e) '(7 13))) |
| 468 | 238 )) |
| 239 | |
| 240 | |
| 241 ;;----------------------------------------------------- | |
| 242 ;; Deletion behavior. | |
| 243 ;;----------------------------------------------------- | |
| 244 | |
| 245 (dolist (props '((start-closed t end-open t) | |
| 246 (start-closed t end-open nil) | |
| 247 (start-closed nil end-open nil) | |
| 248 (start-closed nil end-open t))) | |
| 249 ;; Deletion needs to behave the same regardless of the open-ness of | |
| 250 ;; the boundaries. | |
| 251 | |
| 252 (with-temp-buffer | |
| 253 (insert "xxxxxxxxxx") | |
| 254 (let ((e (make-extent 3 9))) | |
| 255 (set-extent-properties e props) | |
| 256 | |
| 257 ;; current state: xx[xxxxxx]xx | |
| 258 ;; 12 345678 90 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
259 (Assert (equal (et-range e) '(3 9))) |
| 468 | 260 |
| 261 (delete-region 1 2) | |
| 262 | |
| 263 ;; current state: x[xxxxxx]xx | |
| 264 ;; 1 234567 89 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
265 (Assert (equal (et-range e) '(2 8))) |
| 468 | 266 |
| 267 (delete-region 2 4) | |
| 268 | |
| 269 ;; current state: x[xxxx]xx | |
| 270 ;; 1 2345 67 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
271 (Assert (equal (et-range e) '(2 6))) |
| 468 | 272 |
| 273 (delete-region 1 3) | |
| 274 | |
| 275 ;; current state: [xxx]xx | |
| 276 ;; 123 45 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
277 (Assert (equal (et-range e) '(1 4))) |
| 468 | 278 |
| 279 (delete-region 3 5) | |
| 280 | |
| 281 ;; current state: [xx]x | |
| 282 ;; 12 3 | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
283 (Assert (equal (et-range e) '(1 3))) |
| 468 | 284 |
| 285 ))) | |
| 286 | |
| 287 ;;; #### Should have a test for read-only-ness and insertion and | |
| 288 ;;; deletion! | |
| 289 | |
| 290 ;;----------------------------------------------------- | |
| 291 ;; `detachable' property | |
| 292 ;;----------------------------------------------------- | |
| 293 | |
| 294 (dolist (props '((start-closed t end-open t) | |
| 295 (start-closed t end-open nil) | |
| 296 (start-closed nil end-open nil) | |
| 297 (start-closed nil end-open t))) | |
| 298 ;; `detachable' shouldn't relate to region properties, hence the | |
| 299 ;; loop. | |
| 300 (with-temp-buffer | |
| 301 (insert "###eee###") | |
| 302 (let ((e (make-extent 4 7))) | |
| 303 (set-extent-properties e props) | |
| 304 (Assert (get e 'detachable)) | |
| 305 | |
| 306 (Assert (not (extent-detached-p e))) | |
| 307 | |
| 308 (delete-region 4 5) | |
| 309 ;; ###ee### (not detached yet) | |
| 310 (Assert (not (extent-detached-p e))) | |
| 311 | |
| 312 (delete-region 4 6) | |
| 313 ;; ###### (should be detached now) | |
| 314 (Assert (extent-detached-p e)))) | |
| 315 | |
| 316 (with-temp-buffer | |
| 317 (insert "###eee###") | |
| 318 (let ((e (make-extent 4 7))) | |
| 319 (set-extent-properties e props) | |
| 320 (put e 'detachable nil) | |
| 321 (Assert (not (get e 'detachable))) | |
| 322 | |
| 323 (Assert (not (extent-detached-p e))) | |
| 324 | |
| 325 (delete-region 4 5) | |
| 326 ;; ###ee### | |
| 327 (Assert (not (extent-detached-p e))) | |
| 328 | |
| 329 (delete-region 4 6) | |
| 330 ;; ###[]### | |
| 331 (Assert (not (extent-detached-p e))) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
332 (Assert (equal (et-range e) '(4 4))) |
| 468 | 333 )) |
| 334 ) | |
| 335 | |
| 336 | |
| 337 ;;----------------------------------------------------- | |
| 338 ;; Zero-length extents. | |
| 339 ;;----------------------------------------------------- | |
| 340 | |
| 341 ;; closed-open (should stay put) | |
| 342 (with-temp-buffer | |
| 343 (insert "######") | |
| 344 (let ((e (make-extent 4 4))) | |
| 345 (et-insert-at "foo" 4) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
346 (Assert (equal (et-range e) '(4 4))))) |
| 468 | 347 |
| 348 ;; open-closed (should move) | |
| 349 (with-temp-buffer | |
| 350 (insert "######") | |
| 351 (let ((e (make-extent 4 4))) | |
| 352 (put e 'start-open t) | |
| 353 (put e 'end-closed t) | |
| 354 (et-insert-at "foo" 4) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
355 (Assert (equal (et-range e) '(7 7))))) |
| 468 | 356 |
| 357 ;; closed-closed (should extend) | |
| 358 (with-temp-buffer | |
| 359 (insert "######") | |
| 360 (let ((e (make-extent 4 4))) | |
| 361 (put e 'end-closed t) | |
| 362 (et-insert-at "foo" 4) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
363 (Assert (equal (et-range e) '(4 7))))) |
| 468 | 364 |
| 365 ;; open-open (illegal; forced to behave like closed-open) | |
| 366 (with-temp-buffer | |
| 367 (insert "######") | |
| 368 (let ((e (make-extent 4 4))) | |
| 369 (put e 'start-open t) | |
| 370 (et-insert-at "foo" 4) | |
|
5136
0f66906b6e37
Undo Assert-equal, Assert=, etc.; make `Assert' handle this automatically
Ben Wing <ben@xemacs.org>
parents:
4855
diff
changeset
|
371 (Assert (equal (et-range e) '(4 4))))) |