108 |
t |
t |
109 |
(a b c d y f g)) |
(a b c d y f g)) |
110 |
|
|
111 |
|
(deftest replace-list.16 |
112 |
|
(let* ((x (copy-seq '(a b c d e f))) |
113 |
|
(y #(1 2 3)) |
114 |
|
(result (replace x y :start1 1))) |
115 |
|
(values (eqt x result) result)) |
116 |
|
t |
117 |
|
(a 1 2 3 e f)) |
118 |
|
|
119 |
|
(deftest replace-list.17 |
120 |
|
(let* ((x (copy-seq '(a b c d e f))) |
121 |
|
(y (make-array '(3) :initial-contents '(1 2 3) |
122 |
|
:fill-pointer t)) |
123 |
|
(result (replace x y :start1 1))) |
124 |
|
(values (eqt x result) result)) |
125 |
|
t |
126 |
|
(a 1 2 3 e f)) |
127 |
|
|
128 |
|
(deftest replace-list.18 |
129 |
|
(let* ((x (copy-seq '(a b c d e f))) |
130 |
|
(y (make-array '(6) :initial-contents '(1 2 3 4 5 6) |
131 |
|
:fill-pointer 3)) |
132 |
|
(result (replace x y :start1 1))) |
133 |
|
(values (eqt x result) result)) |
134 |
|
t |
135 |
|
(a 1 2 3 e f)) |
136 |
|
|
137 |
|
(deftest replace-list.19 |
138 |
|
(let* ((x (copy-seq '(a b c d e f))) |
139 |
|
(result (replace x x :start1 0 :end1 3 :start2 1 :end2 4))) |
140 |
|
(values (eqt x result) result)) |
141 |
|
t |
142 |
|
(b c d d e f)) |
143 |
|
|
144 |
|
(deftest replace-list.20 |
145 |
|
(let* ((x (copy-seq '(a b c d e f))) |
146 |
|
(result (replace x x :start1 1 :end1 4 :start2 0 :end2 3))) |
147 |
|
(values (eqt x result) result)) |
148 |
|
t |
149 |
|
(a a b c e f)) |
150 |
|
|
151 |
|
|
152 |
;;; Tests of vectors |
;;; Tests of vectors |
153 |
|
|
254 |
t |
t |
255 |
#(a b c d y f g)) |
#(a b c d y f g)) |
256 |
|
|
257 |
;;; tests on bit strings |
(deftest replace-vector.16 |
258 |
|
(let* ((x (copy-seq #(a b c d e f))) |
259 |
|
(y '(1 2 3)) |
260 |
|
(result (replace x y :start1 1))) |
261 |
|
(values (eqt x result) result)) |
262 |
|
t |
263 |
|
#(a 1 2 3 e f)) |
264 |
|
|
265 |
|
(deftest replace-vector.17 |
266 |
|
(let* ((x (copy-seq #(a b c d e f))) |
267 |
|
(y (make-array '(3) :initial-contents '(1 2 3) |
268 |
|
:fill-pointer t)) |
269 |
|
(result (replace x y :start1 1))) |
270 |
|
(values (eqt x result) result)) |
271 |
|
t |
272 |
|
#(a 1 2 3 e f)) |
273 |
|
|
274 |
|
(deftest replace-vector.18 |
275 |
|
(let* ((x (copy-seq #(a b c d e f))) |
276 |
|
(y (make-array '(6) :initial-contents '(1 2 3 4 5 6) |
277 |
|
:fill-pointer 3)) |
278 |
|
(result (replace x y :start1 1))) |
279 |
|
(values (eqt x result) result)) |
280 |
|
t |
281 |
|
#(a 1 2 3 e f)) |
282 |
|
|
283 |
|
(deftest replace-vector.19 |
284 |
|
(let* ((x (copy-seq #(a b c d e f))) |
285 |
|
(result (replace x x :start1 0 :end1 3 :start2 1 :end2 4))) |
286 |
|
(values (eqt x result) result)) |
287 |
|
t |
288 |
|
#(b c d d e f)) |
289 |
|
|
290 |
|
(deftest replace-vector.21 |
291 |
|
(let* ((x (copy-seq #(a b c d e f))) |
292 |
|
(result (replace x x :start1 1 :end1 4 :start2 0 :end2 3))) |
293 |
|
(values (eqt x result) result)) |
294 |
|
t |
295 |
|
#(a a b c e f)) |
296 |
|
|
297 |
|
;;; tests on bit vectors |
298 |
|
|
299 |
(deftest replace-bitstring.1 |
(deftest replace-bit-vector.1 |
300 |
(let* ((x (copy-seq #*1101001)) |
(let* ((x (copy-seq #*1101001)) |
301 |
(result (replace x #*011))) |
(result (replace x #*011))) |
302 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
303 |
t |
t |
304 |
#*0111001) |
#*0111001) |
305 |
|
|
306 |
(deftest replace-bitstring.2 |
(deftest replace-bit-vector.2 |
307 |
(let* ((x (copy-seq #*1101001)) |
(let* ((x (copy-seq #*1101001)) |
308 |
(result (replace x #*011 :start1 1))) |
(result (replace x #*011 :start1 1))) |
309 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
310 |
t |
t |
311 |
#*1011001) |
#*1011001) |
312 |
|
|
313 |
(deftest replace-bitstring.3 |
(deftest replace-bit-vector.3 |
314 |
(let* ((x (copy-seq #*1101001)) |
(let* ((x (copy-seq #*1101001)) |
315 |
(result (replace x #*011 :start1 4))) |
(result (replace x #*011 :start1 4))) |
316 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
317 |
t |
t |
318 |
#*1101011) |
#*1101011) |
319 |
|
|
320 |
(deftest replace-bitstring.4 |
(deftest replace-bit-vector.4 |
321 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
322 |
(result (replace x #*111 :start1 5))) |
(result (replace x #*111 :start1 5))) |
323 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
324 |
t |
t |
325 |
#*0000011) |
#*0000011) |
326 |
|
|
327 |
(deftest replace-bitstring.5 |
(deftest replace-bit-vector.5 |
328 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
329 |
(result (replace x #*100 :start1 6))) |
(result (replace x #*100 :start1 6))) |
330 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
331 |
t |
t |
332 |
#*0000001) |
#*0000001) |
333 |
|
|
334 |
(deftest replace-bitstring.6 |
(deftest replace-bit-vector.6 |
335 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
336 |
(result (replace x '(1 1 1) :start1 2))) |
(result (replace x '(1 1 1) :start1 2))) |
337 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
338 |
t |
t |
339 |
#*0011100) |
#*0011100) |
340 |
|
|
341 |
(deftest replace-bitstring.7 |
(deftest replace-bit-vector.7 |
342 |
(replace #* #*111) |
(replace #* #*111) |
343 |
#*) |
#*) |
344 |
|
|
345 |
(deftest replace-bitstring.8 |
(deftest replace-bit-vector.8 |
346 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
347 |
(result (replace x #*111 :end1 1))) |
(result (replace x #*111 :end1 1))) |
348 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
349 |
t |
t |
350 |
#*1000000) |
#*1000000) |
351 |
|
|
352 |
(deftest replace-bitstring.9 |
(deftest replace-bit-vector.9 |
353 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
354 |
(result (replace x #*110 :start1 3 :end1 4))) |
(result (replace x #*110 :start1 3 :end1 4))) |
355 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
356 |
t |
t |
357 |
#*0001000) |
#*0001000) |
358 |
|
|
359 |
(deftest replace-bitstring.10 |
(deftest replace-bit-vector.10 |
360 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
361 |
(result (replace x #*111 :start1 0 :end1 5))) |
(result (replace x #*111 :start1 0 :end1 5))) |
362 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
364 |
#*1110000) |
#*1110000) |
365 |
|
|
366 |
|
|
367 |
(deftest replace-bitstring.11 |
(deftest replace-bit-vector.11 |
368 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
369 |
(result (replace x #*011 :start2 1))) |
(result (replace x #*011 :start2 1))) |
370 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
371 |
t |
t |
372 |
#*1100000) |
#*1100000) |
373 |
|
|
374 |
(deftest replace-bitstring.12 |
(deftest replace-bit-vector.12 |
375 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
376 |
(result (replace x #*011 :start2 1 :end1 nil))) |
(result (replace x #*011 :start2 1 :end1 nil))) |
377 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
378 |
t |
t |
379 |
#*1100000) |
#*1100000) |
380 |
|
|
381 |
(deftest replace-bitstring.13 |
(deftest replace-bit-vector.13 |
382 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
383 |
(result (replace x #*011 :start2 1 :end2 nil))) |
(result (replace x #*011 :start2 1 :end2 nil))) |
384 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
385 |
t |
t |
386 |
#*1100000) |
#*1100000) |
387 |
|
|
388 |
(deftest replace-bitstring.14 |
(deftest replace-bit-vector.14 |
389 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
390 |
(result (replace x #*011 :start2 1 :end2 2))) |
(result (replace x #*011 :start2 1 :end2 2))) |
391 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
392 |
t |
t |
393 |
#*1000000) |
#*1000000) |
394 |
|
|
395 |
(deftest replace-bitstring.15 |
(deftest replace-bit-vector.15 |
396 |
(let* ((x (copy-seq #*0000000)) |
(let* ((x (copy-seq #*0000000)) |
397 |
(result (replace x #*011 :start1 4 :end1 5 :start2 1 :end2 2))) |
(result (replace x #*011 :start1 4 :end1 5 :start2 1 :end2 2))) |
398 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
399 |
t |
t |
400 |
#*0000100) |
#*0000100) |
401 |
|
|
402 |
|
(deftest replace-bit-vector.16 |
403 |
|
(let* ((x (copy-seq #*001011)) |
404 |
|
(y '(1 0 1)) |
405 |
|
(result (replace x y :start1 1))) |
406 |
|
(values (eqt x result) result)) |
407 |
|
t |
408 |
|
#*010111) |
409 |
|
|
410 |
|
(deftest replace-bit-vector.17 |
411 |
|
(let* ((x (copy-seq #*001011)) |
412 |
|
(y (make-array '(3) :initial-contents '(1 0 1) |
413 |
|
:fill-pointer t :element-type 'bit)) |
414 |
|
(result (replace x y :start1 1))) |
415 |
|
(values (eqt x result) result)) |
416 |
|
t |
417 |
|
#*010111) |
418 |
|
|
419 |
|
(deftest replace-bit-vector.18 |
420 |
|
(let* ((x (copy-seq #*001011)) |
421 |
|
(y (make-array '(6) :initial-contents '(1 0 1 0 0 1) |
422 |
|
:fill-pointer 3 |
423 |
|
:element-type 'bit)) |
424 |
|
(result (replace x y :start1 1))) |
425 |
|
(values (eqt x result) result)) |
426 |
|
t |
427 |
|
#*010111) |
428 |
|
|
429 |
|
(deftest replace-bit-vector.19 |
430 |
|
(let* ((x (copy-seq #*001011)) |
431 |
|
(result (replace x x :start1 0 :end1 3 :start2 1 :end2 4))) |
432 |
|
(values (eqt x result) result)) |
433 |
|
t |
434 |
|
#*010011) |
435 |
|
|
436 |
|
(deftest replace-bit-vector.21 |
437 |
|
(let* ((x (copy-seq #*001011)) |
438 |
|
(result (replace x x :start1 1 :end1 4 :start2 0 :end2 3))) |
439 |
|
(values (eqt x result) result)) |
440 |
|
t |
441 |
|
#*000111) |
442 |
|
|
443 |
;;; Tests on strings |
;;; Tests on strings |
444 |
|
|
445 |
(deftest replace-string.1 |
(deftest replace-string.1 |
544 |
(values (eqt x result) result)) |
(values (eqt x result) result)) |
545 |
t |
t |
546 |
"abcdyfg") |
"abcdyfg") |
547 |
|
|
548 |
|
(deftest replace-string.16 |
549 |
|
(let* ((x (copy-seq "abcdef")) |
550 |
|
(y (coerce "123" 'list)) |
551 |
|
(result (replace x y :start1 1))) |
552 |
|
(values (eqt x result) result)) |
553 |
|
t |
554 |
|
"a123ef") |
555 |
|
|
556 |
|
(deftest replace-string.17 |
557 |
|
(let* ((x (copy-seq "abcdef")) |
558 |
|
(y (make-array '(3) :initial-contents '(#\1 #\2 #\3) |
559 |
|
:fill-pointer t :element-type 'character)) |
560 |
|
(result (replace x y :start1 1))) |
561 |
|
(values (eqt x result) result)) |
562 |
|
t |
563 |
|
"a123ef") |
564 |
|
|
565 |
|
(deftest replace-string.18 |
566 |
|
(let* ((x (copy-seq "abcdef")) |
567 |
|
(y (make-array '(6) :initial-contents (coerce "123456" 'list) |
568 |
|
:fill-pointer 3 |
569 |
|
:element-type 'character)) |
570 |
|
(result (replace x y :start1 1))) |
571 |
|
(values (eqt x result) result)) |
572 |
|
t |
573 |
|
"a123ef") |
574 |
|
|
575 |
|
(deftest replace-string.19 |
576 |
|
(let* ((x (copy-seq "abcdef")) |
577 |
|
(result (replace x x :start1 0 :end1 3 :start2 1 :end2 4))) |
578 |
|
(values (eqt x result) result)) |
579 |
|
t |
580 |
|
"bcddef") |
581 |
|
|
582 |
|
(deftest replace-string.21 |
583 |
|
(let* ((x (copy-seq "abcdef")) |
584 |
|
(result (replace x x :start1 1 :end1 4 :start2 0 :end2 3))) |
585 |
|
(values (eqt x result) result)) |
586 |
|
t |
587 |
|
"aabcef") |