]> code.delx.au - gnu-emacs/blob - src/insdel.c
(replace_range_2): Fix bugs in adjusting markers and point.
[gnu-emacs] / src / insdel.c
1 /* Buffer insertion/deletion and gap motion for GNU Emacs.
2 Copyright (C) 1985, 86,93,94,95,97,98, 1999, 2000, 01, 2003, 2005
3 Free Software Foundation, Inc.
4
5 This file is part of GNU Emacs.
6
7 GNU Emacs is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs; see the file COPYING. If not, write to
19 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
21
22
23 #include <config.h>
24 #include "lisp.h"
25 #include "intervals.h"
26 #include "buffer.h"
27 #include "charset.h"
28 #include "window.h"
29 #include "blockinput.h"
30 #include "region-cache.h"
31
32 #ifndef NULL
33 #define NULL 0
34 #endif
35
36 static void insert_from_string_1 P_ ((Lisp_Object, int, int, int, int, int, int));
37 static void insert_from_buffer_1 ();
38 static void gap_left P_ ((int, int, int));
39 static void gap_right P_ ((int, int));
40 static void adjust_markers_gap_motion P_ ((int, int, int));
41 static void adjust_markers_for_insert P_ ((int, int, int, int, int));
42 void adjust_markers_for_delete P_ ((int, int, int, int));
43 static void adjust_markers_for_replace P_ ((int, int, int, int, int, int));
44 static void adjust_point P_ ((int, int));
45
46 Lisp_Object Fcombine_after_change_execute ();
47
48 /* Non-nil means don't call the after-change-functions right away,
49 just record an element in Vcombine_after_change_calls_list. */
50 Lisp_Object Vcombine_after_change_calls;
51
52 /* List of elements of the form (BEG-UNCHANGED END-UNCHANGED CHANGE-AMOUNT)
53 describing changes which happened while combine_after_change_calls
54 was nonzero. We use this to decide how to call them
55 once the deferral ends.
56
57 In each element.
58 BEG-UNCHANGED is the number of chars before the changed range.
59 END-UNCHANGED is the number of chars after the changed range,
60 and CHANGE-AMOUNT is the number of characters inserted by the change
61 (negative for a deletion). */
62 Lisp_Object combine_after_change_list;
63
64 /* Buffer which combine_after_change_list is about. */
65 Lisp_Object combine_after_change_buffer;
66
67 Lisp_Object Qinhibit_modification_hooks;
68
69 \f
70 /* Check all markers in the current buffer, looking for something invalid. */
71
72 static int check_markers_debug_flag;
73
74 #define CHECK_MARKERS() \
75 if (check_markers_debug_flag) \
76 check_markers (); \
77 else
78
79 void
80 check_markers ()
81 {
82 register struct Lisp_Marker *tail;
83 int multibyte = ! NILP (current_buffer->enable_multibyte_characters);
84
85 for (tail = BUF_MARKERS (current_buffer); tail; tail = tail->next)
86 {
87 if (tail->buffer->text != current_buffer->text)
88 abort ();
89 if (tail->charpos > Z)
90 abort ();
91 if (tail->bytepos > Z_BYTE)
92 abort ();
93 if (multibyte && ! CHAR_HEAD_P (FETCH_BYTE (tail->bytepos)))
94 abort ();
95 }
96 }
97 \f
98 /* Move gap to position CHARPOS.
99 Note that this can quit! */
100
101 void
102 move_gap (charpos)
103 int charpos;
104 {
105 move_gap_both (charpos, charpos_to_bytepos (charpos));
106 }
107
108 /* Move gap to byte position BYTEPOS, which is also char position CHARPOS.
109 Note that this can quit! */
110
111 void
112 move_gap_both (charpos, bytepos)
113 int charpos, bytepos;
114 {
115 if (bytepos < GPT_BYTE)
116 gap_left (charpos, bytepos, 0);
117 else if (bytepos > GPT_BYTE)
118 gap_right (charpos, bytepos);
119 }
120
121 /* Move the gap to a position less than the current GPT.
122 BYTEPOS describes the new position as a byte position,
123 and CHARPOS is the corresponding char position.
124 If NEWGAP is nonzero, then don't update beg_unchanged and end_unchanged. */
125
126 static void
127 gap_left (charpos, bytepos, newgap)
128 register int charpos, bytepos;
129 int newgap;
130 {
131 register unsigned char *to, *from;
132 register int i;
133 int new_s1;
134
135 if (!newgap)
136 BUF_COMPUTE_UNCHANGED (current_buffer, charpos, GPT);
137
138 i = GPT_BYTE;
139 to = GAP_END_ADDR;
140 from = GPT_ADDR;
141 new_s1 = GPT_BYTE;
142
143 /* Now copy the characters. To move the gap down,
144 copy characters up. */
145
146 while (1)
147 {
148 /* I gets number of characters left to copy. */
149 i = new_s1 - bytepos;
150 if (i == 0)
151 break;
152 /* If a quit is requested, stop copying now.
153 Change BYTEPOS to be where we have actually moved the gap to. */
154 if (QUITP)
155 {
156 bytepos = new_s1;
157 charpos = BYTE_TO_CHAR (bytepos);
158 break;
159 }
160 /* Move at most 32000 chars before checking again for a quit. */
161 if (i > 32000)
162 i = 32000;
163 #ifdef GAP_USE_BCOPY
164 if (i >= 128
165 /* bcopy is safe if the two areas of memory do not overlap
166 or on systems where bcopy is always safe for moving upward. */
167 && (BCOPY_UPWARD_SAFE
168 || to - from >= 128))
169 {
170 /* If overlap is not safe, avoid it by not moving too many
171 characters at once. */
172 if (!BCOPY_UPWARD_SAFE && i > to - from)
173 i = to - from;
174 new_s1 -= i;
175 from -= i, to -= i;
176 bcopy (from, to, i);
177 }
178 else
179 #endif
180 {
181 new_s1 -= i;
182 while (--i >= 0)
183 *--to = *--from;
184 }
185 }
186
187 /* Adjust markers, and buffer data structure, to put the gap at BYTEPOS.
188 BYTEPOS is where the loop above stopped, which may be what was specified
189 or may be where a quit was detected. */
190 adjust_markers_gap_motion (bytepos, GPT_BYTE, GAP_SIZE);
191 GPT_BYTE = bytepos;
192 GPT = charpos;
193 if (bytepos < charpos)
194 abort ();
195 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
196 QUIT;
197 }
198
199 /* Move the gap to a position greater than than the current GPT.
200 BYTEPOS describes the new position as a byte position,
201 and CHARPOS is the corresponding char position. */
202
203 static void
204 gap_right (charpos, bytepos)
205 register int charpos, bytepos;
206 {
207 register unsigned char *to, *from;
208 register int i;
209 int new_s1;
210
211 BUF_COMPUTE_UNCHANGED (current_buffer, charpos, GPT);
212
213 i = GPT_BYTE;
214 from = GAP_END_ADDR;
215 to = GPT_ADDR;
216 new_s1 = GPT_BYTE;
217
218 /* Now copy the characters. To move the gap up,
219 copy characters down. */
220
221 while (1)
222 {
223 /* I gets number of characters left to copy. */
224 i = bytepos - new_s1;
225 if (i == 0)
226 break;
227 /* If a quit is requested, stop copying now.
228 Change BYTEPOS to be where we have actually moved the gap to. */
229 if (QUITP)
230 {
231 bytepos = new_s1;
232 charpos = BYTE_TO_CHAR (bytepos);
233 break;
234 }
235 /* Move at most 32000 chars before checking again for a quit. */
236 if (i > 32000)
237 i = 32000;
238 #ifdef GAP_USE_BCOPY
239 if (i >= 128
240 /* bcopy is safe if the two areas of memory do not overlap
241 or on systems where bcopy is always safe for moving downward. */
242 && (BCOPY_DOWNWARD_SAFE
243 || from - to >= 128))
244 {
245 /* If overlap is not safe, avoid it by not moving too many
246 characters at once. */
247 if (!BCOPY_DOWNWARD_SAFE && i > from - to)
248 i = from - to;
249 new_s1 += i;
250 bcopy (from, to, i);
251 from += i, to += i;
252 }
253 else
254 #endif
255 {
256 new_s1 += i;
257 while (--i >= 0)
258 *to++ = *from++;
259 }
260 }
261
262 adjust_markers_gap_motion (GPT_BYTE + GAP_SIZE, bytepos + GAP_SIZE,
263 - GAP_SIZE);
264 GPT = charpos;
265 GPT_BYTE = bytepos;
266 if (bytepos < charpos)
267 abort ();
268 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
269 QUIT;
270 }
271 \f
272 /* Add AMOUNT to the byte position of every marker in the current buffer
273 whose current byte position is between FROM (exclusive) and TO (inclusive).
274
275 Also, any markers past the outside of that interval, in the direction
276 of adjustment, are first moved back to the near end of the interval
277 and then adjusted by AMOUNT.
278
279 When the latter adjustment is done, if AMOUNT is negative,
280 we record the adjustment for undo. (This case happens only for
281 deletion.)
282
283 The markers' character positions are not altered,
284 because gap motion does not affect character positions. */
285
286 int adjust_markers_test;
287
288 static void
289 adjust_markers_gap_motion (from, to, amount)
290 register int from, to, amount;
291 {
292 /* Now that a marker has a bytepos, not counting the gap,
293 nothing needs to be done here. */
294 #if 0
295 Lisp_Object marker;
296 register struct Lisp_Marker *m;
297 register int mpos;
298
299 marker = BUF_MARKERS (current_buffer);
300
301 while (!NILP (marker))
302 {
303 m = XMARKER (marker);
304 mpos = m->bytepos;
305 if (amount > 0)
306 {
307 if (mpos > to && mpos < to + amount)
308 {
309 if (adjust_markers_test)
310 abort ();
311 mpos = to + amount;
312 }
313 }
314 else
315 {
316 /* Here's the case where a marker is inside text being deleted.
317 AMOUNT can be negative for gap motion, too,
318 but then this range contains no markers. */
319 if (mpos > from + amount && mpos <= from)
320 {
321 if (adjust_markers_test)
322 abort ();
323 mpos = from + amount;
324 }
325 }
326 if (mpos > from && mpos <= to)
327 mpos += amount;
328 m->bufpos = mpos;
329 marker = m->chain;
330 }
331 #endif
332 }
333 \f
334 /* Adjust all markers for a deletion
335 whose range in bytes is FROM_BYTE to TO_BYTE.
336 The range in charpos is FROM to TO.
337
338 This function assumes that the gap is adjacent to
339 or inside of the range being deleted. */
340
341 void
342 adjust_markers_for_delete (from, from_byte, to, to_byte)
343 register int from, from_byte, to, to_byte;
344 {
345 Lisp_Object marker;
346 register struct Lisp_Marker *m;
347 register int charpos;
348
349 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
350 {
351 charpos = m->charpos;
352
353 if (charpos > Z)
354 abort ();
355
356 /* If the marker is after the deletion,
357 relocate by number of chars / bytes deleted. */
358 if (charpos > to)
359 {
360 m->charpos -= to - from;
361 m->bytepos -= to_byte - from_byte;
362 }
363 /* Here's the case where a marker is inside text being deleted. */
364 else if (charpos > from)
365 {
366 if (! m->insertion_type)
367 { /* Normal markers will end up at the beginning of the
368 re-inserted text after undoing a deletion, and must be
369 adjusted to move them to the correct place. */
370 XSETMISC (marker, m);
371 record_marker_adjustment (marker, from - charpos);
372 }
373 else if (charpos < to)
374 { /* Before-insertion markers will automatically move forward
375 upon re-inserting the deleted text, so we have to arrange
376 for them to move backward to the correct position. */
377 XSETMISC (marker, m);
378 record_marker_adjustment (marker, charpos - to);
379 }
380 m->charpos = from;
381 m->bytepos = from_byte;
382 }
383 /* Here's the case where a before-insertion marker is immediately
384 before the deleted region. */
385 else if (charpos == from && m->insertion_type)
386 {
387 /* Undoing the change uses normal insertion, which will
388 incorrectly make MARKER move forward, so we arrange for it
389 to then move backward to the correct place at the beginning
390 of the deleted region. */
391 XSETMISC (marker, m);
392 record_marker_adjustment (marker, to - from);
393 }
394 }
395 }
396
397 \f
398 /* Adjust markers for an insertion that stretches from FROM / FROM_BYTE
399 to TO / TO_BYTE. We have to relocate the charpos of every marker
400 that points after the insertion (but not their bytepos).
401
402 When a marker points at the insertion point,
403 we advance it if either its insertion-type is t
404 or BEFORE_MARKERS is true. */
405
406 static void
407 adjust_markers_for_insert (from, from_byte, to, to_byte, before_markers)
408 register int from, from_byte, to, to_byte;
409 int before_markers;
410 {
411 struct Lisp_Marker *m;
412 int adjusted = 0;
413 int nchars = to - from;
414 int nbytes = to_byte - from_byte;
415
416 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
417 {
418 /* In a single-byte buffer, a marker's two positions must be
419 equal. */
420 if (Z == Z_BYTE)
421 {
422 if (m->charpos != m->bytepos)
423 abort ();
424 }
425
426 if (m->bytepos == from_byte)
427 {
428 if (m->insertion_type || before_markers)
429 {
430 m->bytepos = to_byte;
431 m->charpos = to;
432 if (m->insertion_type)
433 adjusted = 1;
434 }
435 }
436 else if (m->bytepos > from_byte)
437 {
438 m->bytepos += nbytes;
439 m->charpos += nchars;
440 }
441 }
442
443 /* Adjusting only markers whose insertion-type is t may result in
444 - disordered start and end in overlays, and
445 - disordered overlays in the slot `overlays_before' of current_buffer. */
446 if (adjusted)
447 {
448 fix_start_end_in_overlays(from, to);
449 fix_overlays_before (current_buffer, from, to);
450 }
451 }
452
453 /* Adjust point for an insertion of NBYTES bytes, which are NCHARS characters.
454
455 This is used only when the value of point changes due to an insert
456 or delete; it does not represent a conceptual change in point as a
457 marker. In particular, point is not crossing any interval
458 boundaries, so there's no need to use the usual SET_PT macro. In
459 fact it would be incorrect to do so, because either the old or the
460 new value of point is out of sync with the current set of
461 intervals. */
462
463 static void
464 adjust_point (nchars, nbytes)
465 int nchars, nbytes;
466 {
467 BUF_PT (current_buffer) += nchars;
468 BUF_PT_BYTE (current_buffer) += nbytes;
469
470 /* In a single-byte buffer, the two positions must be equal. */
471 if (ZV == ZV_BYTE
472 && PT != PT_BYTE)
473 abort ();
474 }
475 \f
476 /* Adjust markers for a replacement of a text at FROM (FROM_BYTE) of
477 length OLD_CHARS (OLD_BYTES) to a new text of length NEW_CHARS
478 (NEW_BYTES). It is assumed that OLD_CHARS > 0, i.e., this is not
479 an insertion. */
480
481 static void
482 adjust_markers_for_replace (from, from_byte, old_chars, old_bytes,
483 new_chars, new_bytes)
484 int from, from_byte, old_chars, old_bytes, new_chars, new_bytes;
485 {
486 register struct Lisp_Marker *m;
487 int prev_to_byte = from_byte + old_bytes;
488 int diff_chars = new_chars - old_chars;
489 int diff_bytes = new_bytes - old_bytes;
490
491 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
492 {
493 if (m->bytepos >= prev_to_byte)
494 {
495 m->charpos += diff_chars;
496 m->bytepos += diff_bytes;
497 }
498 else if (m->bytepos > from_byte)
499 {
500 m->charpos = from;
501 m->bytepos = from_byte;
502 }
503 }
504
505 CHECK_MARKERS ();
506 }
507
508 \f
509 /* Make the gap NBYTES_ADDED bytes longer. */
510
511 void
512 make_gap_larger (nbytes_added)
513 int nbytes_added;
514 {
515 Lisp_Object tem;
516 int real_gap_loc;
517 int real_gap_loc_byte;
518 int old_gap_size;
519
520 /* If we have to get more space, get enough to last a while. */
521 nbytes_added += 2000;
522
523 /* Don't allow a buffer size that won't fit in an int
524 even if it will fit in a Lisp integer.
525 That won't work because so many places use `int'.
526
527 Make sure we don't introduce overflows in the calculation. */
528
529 if (Z_BYTE - BEG_BYTE + GAP_SIZE
530 >= (((EMACS_INT) 1 << (min (VALBITS, BITS_PER_INT) - 1)) - 1
531 - nbytes_added))
532 error ("Buffer exceeds maximum size");
533
534 enlarge_buffer_text (current_buffer, nbytes_added);
535
536 /* Prevent quitting in move_gap. */
537 tem = Vinhibit_quit;
538 Vinhibit_quit = Qt;
539
540 real_gap_loc = GPT;
541 real_gap_loc_byte = GPT_BYTE;
542 old_gap_size = GAP_SIZE;
543
544 /* Call the newly allocated space a gap at the end of the whole space. */
545 GPT = Z + GAP_SIZE;
546 GPT_BYTE = Z_BYTE + GAP_SIZE;
547 GAP_SIZE = nbytes_added;
548
549 /* Move the new gap down to be consecutive with the end of the old one.
550 This adjusts the markers properly too. */
551 gap_left (real_gap_loc + old_gap_size, real_gap_loc_byte + old_gap_size, 1);
552
553 /* Now combine the two into one large gap. */
554 GAP_SIZE += old_gap_size;
555 GPT = real_gap_loc;
556 GPT_BYTE = real_gap_loc_byte;
557
558 /* Put an anchor. */
559 *(Z_ADDR) = 0;
560
561 Vinhibit_quit = tem;
562 }
563
564
565 /* Make the gap NBYTES_REMOVED bytes shorter. */
566
567 void
568 make_gap_smaller (nbytes_removed)
569 int nbytes_removed;
570 {
571 Lisp_Object tem;
572 int real_gap_loc;
573 int real_gap_loc_byte;
574 int real_Z;
575 int real_Z_byte;
576 int real_beg_unchanged;
577 int new_gap_size;
578
579 /* Make sure the gap is at least 20 bytes. */
580 if (GAP_SIZE - nbytes_removed < 20)
581 nbytes_removed = GAP_SIZE - 20;
582
583 /* Prevent quitting in move_gap. */
584 tem = Vinhibit_quit;
585 Vinhibit_quit = Qt;
586
587 real_gap_loc = GPT;
588 real_gap_loc_byte = GPT_BYTE;
589 new_gap_size = GAP_SIZE - nbytes_removed;
590 real_Z = Z;
591 real_Z_byte = Z_BYTE;
592 real_beg_unchanged = BEG_UNCHANGED;
593
594 /* Pretend that the last unwanted part of the gap is the entire gap,
595 and that the first desired part of the gap is part of the buffer
596 text. */
597 bzero (GPT_ADDR, new_gap_size);
598 GPT += new_gap_size;
599 GPT_BYTE += new_gap_size;
600 Z += new_gap_size;
601 Z_BYTE += new_gap_size;
602 GAP_SIZE = nbytes_removed;
603
604 /* Move the unwanted pretend gap to the end of the buffer. This
605 adjusts the markers properly too. */
606 gap_right (Z, Z_BYTE);
607
608 enlarge_buffer_text (current_buffer, -nbytes_removed);
609
610 /* Now restore the desired gap. */
611 GAP_SIZE = new_gap_size;
612 GPT = real_gap_loc;
613 GPT_BYTE = real_gap_loc_byte;
614 Z = real_Z;
615 Z_BYTE = real_Z_byte;
616 BEG_UNCHANGED = real_beg_unchanged;
617
618 /* Put an anchor. */
619 *(Z_ADDR) = 0;
620
621 Vinhibit_quit = tem;
622 }
623
624 void
625 make_gap (nbytes_added)
626 int nbytes_added;
627 {
628 if (nbytes_added >= 0)
629 make_gap_larger (nbytes_added);
630 #if defined USE_MMAP_FOR_BUFFERS || defined REL_ALLOC || defined DOUG_LEA_MALLOC
631 else
632 make_gap_smaller (-nbytes_added);
633 #endif
634 }
635 \f
636 /* Copy NBYTES bytes of text from FROM_ADDR to TO_ADDR.
637 FROM_MULTIBYTE says whether the incoming text is multibyte.
638 TO_MULTIBYTE says whether to store the text as multibyte.
639 If FROM_MULTIBYTE != TO_MULTIBYTE, we convert.
640
641 Return the number of bytes stored at TO_ADDR. */
642
643 int
644 copy_text (from_addr, to_addr, nbytes,
645 from_multibyte, to_multibyte)
646 const unsigned char *from_addr;
647 unsigned char *to_addr;
648 int nbytes;
649 int from_multibyte, to_multibyte;
650 {
651 if (from_multibyte == to_multibyte)
652 {
653 bcopy (from_addr, to_addr, nbytes);
654 return nbytes;
655 }
656 else if (from_multibyte)
657 {
658 int nchars = 0;
659 int bytes_left = nbytes;
660 Lisp_Object tbl = Qnil;
661
662 /* We set the variable tbl to the reverse table of
663 Vnonascii_translation_table in advance. */
664 if (CHAR_TABLE_P (Vnonascii_translation_table))
665 {
666 tbl = Fchar_table_extra_slot (Vnonascii_translation_table,
667 make_number (0));
668 if (!CHAR_TABLE_P (tbl))
669 tbl = Qnil;
670 }
671
672 /* Convert multibyte to single byte. */
673 while (bytes_left > 0)
674 {
675 int thislen, c;
676 c = STRING_CHAR_AND_LENGTH (from_addr, bytes_left, thislen);
677 if (!SINGLE_BYTE_CHAR_P (c))
678 c = multibyte_char_to_unibyte (c, tbl);
679 *to_addr++ = c;
680 from_addr += thislen;
681 bytes_left -= thislen;
682 nchars++;
683 }
684 return nchars;
685 }
686 else
687 {
688 unsigned char *initial_to_addr = to_addr;
689
690 /* Convert single-byte to multibyte. */
691 while (nbytes > 0)
692 {
693 int c = *from_addr++;
694
695 if (c >= 0200)
696 {
697 c = unibyte_char_to_multibyte (c);
698 to_addr += CHAR_STRING (c, to_addr);
699 nbytes--;
700 }
701 else
702 /* Special case for speed. */
703 *to_addr++ = c, nbytes--;
704 }
705 return to_addr - initial_to_addr;
706 }
707 }
708
709 /* Return the number of bytes it would take
710 to convert some single-byte text to multibyte.
711 The single-byte text consists of NBYTES bytes at PTR. */
712
713 int
714 count_size_as_multibyte (ptr, nbytes)
715 const unsigned char *ptr;
716 int nbytes;
717 {
718 int i;
719 int outgoing_nbytes = 0;
720
721 for (i = 0; i < nbytes; i++)
722 {
723 unsigned int c = *ptr++;
724
725 if (c < 0200)
726 outgoing_nbytes++;
727 else
728 {
729 c = unibyte_char_to_multibyte (c);
730 outgoing_nbytes += CHAR_BYTES (c);
731 }
732 }
733
734 return outgoing_nbytes;
735 }
736 \f
737 /* Insert a string of specified length before point.
738 This function judges multibyteness based on
739 enable_multibyte_characters in the current buffer;
740 it never converts between single-byte and multibyte.
741
742 DO NOT use this for the contents of a Lisp string or a Lisp buffer!
743 prepare_to_modify_buffer could relocate the text. */
744
745 void
746 insert (string, nbytes)
747 register const unsigned char *string;
748 register int nbytes;
749 {
750 if (nbytes > 0)
751 {
752 int opoint = PT;
753 insert_1 (string, nbytes, 0, 1, 0);
754 signal_after_change (opoint, 0, PT - opoint);
755 update_compositions (opoint, PT, CHECK_BORDER);
756 }
757 }
758
759 /* Likewise, but inherit text properties from neighboring characters. */
760
761 void
762 insert_and_inherit (string, nbytes)
763 register const unsigned char *string;
764 register int nbytes;
765 {
766 if (nbytes > 0)
767 {
768 int opoint = PT;
769 insert_1 (string, nbytes, 1, 1, 0);
770 signal_after_change (opoint, 0, PT - opoint);
771 update_compositions (opoint, PT, CHECK_BORDER);
772 }
773 }
774
775 /* Insert the character C before point. Do not inherit text properties. */
776
777 void
778 insert_char (c)
779 int c;
780 {
781 unsigned char str[MAX_MULTIBYTE_LENGTH];
782 int len;
783
784 if (! NILP (current_buffer->enable_multibyte_characters))
785 len = CHAR_STRING (c, str);
786 else
787 {
788 len = 1;
789 str[0] = c;
790 }
791
792 insert (str, len);
793 }
794
795 /* Insert the null-terminated string S before point. */
796
797 void
798 insert_string (s)
799 const char *s;
800 {
801 insert (s, strlen (s));
802 }
803
804 /* Like `insert' except that all markers pointing at the place where
805 the insertion happens are adjusted to point after it.
806 Don't use this function to insert part of a Lisp string,
807 since gc could happen and relocate it. */
808
809 void
810 insert_before_markers (string, nbytes)
811 const unsigned char *string;
812 register int nbytes;
813 {
814 if (nbytes > 0)
815 {
816 int opoint = PT;
817
818 insert_1 (string, nbytes, 0, 1, 1);
819 signal_after_change (opoint, 0, PT - opoint);
820 update_compositions (opoint, PT, CHECK_BORDER);
821 }
822 }
823
824 /* Likewise, but inherit text properties from neighboring characters. */
825
826 void
827 insert_before_markers_and_inherit (string, nbytes)
828 const unsigned char *string;
829 register int nbytes;
830 {
831 if (nbytes > 0)
832 {
833 int opoint = PT;
834
835 insert_1 (string, nbytes, 1, 1, 1);
836 signal_after_change (opoint, 0, PT - opoint);
837 update_compositions (opoint, PT, CHECK_BORDER);
838 }
839 }
840
841 /* Subroutine used by the insert functions above. */
842
843 void
844 insert_1 (string, nbytes, inherit, prepare, before_markers)
845 register const unsigned char *string;
846 register int nbytes;
847 int inherit, prepare, before_markers;
848 {
849 insert_1_both (string, chars_in_text (string, nbytes), nbytes,
850 inherit, prepare, before_markers);
851 }
852
853 \f
854 #ifdef BYTE_COMBINING_DEBUG
855
856 /* See if the bytes before POS/POS_BYTE combine with bytes
857 at the start of STRING to form a single character.
858 If so, return the number of bytes at the start of STRING
859 which combine in this way. Otherwise, return 0. */
860
861 int
862 count_combining_before (string, length, pos, pos_byte)
863 const unsigned char *string;
864 int length;
865 int pos, pos_byte;
866 {
867 int len, combining_bytes;
868 const unsigned char *p;
869
870 if (NILP (current_buffer->enable_multibyte_characters))
871 return 0;
872
873 /* At first, we can exclude the following cases:
874 (1) STRING[0] can't be a following byte of multibyte sequence.
875 (2) POS is the start of the current buffer.
876 (3) A character before POS is not a multibyte character. */
877 if (length == 0 || CHAR_HEAD_P (*string)) /* case (1) */
878 return 0;
879 if (pos_byte == BEG_BYTE) /* case (2) */
880 return 0;
881 len = 1;
882 p = BYTE_POS_ADDR (pos_byte - 1);
883 while (! CHAR_HEAD_P (*p)) p--, len++;
884 if (! BASE_LEADING_CODE_P (*p)) /* case (3) */
885 return 0;
886
887 combining_bytes = BYTES_BY_CHAR_HEAD (*p) - len;
888 if (combining_bytes <= 0)
889 /* The character preceding POS is, complete and no room for
890 combining bytes (combining_bytes == 0), or an independent 8-bit
891 character (combining_bytes < 0). */
892 return 0;
893
894 /* We have a combination situation. Count the bytes at STRING that
895 may combine. */
896 p = string + 1;
897 while (!CHAR_HEAD_P (*p) && p < string + length)
898 p++;
899
900 return (combining_bytes < p - string ? combining_bytes : p - string);
901 }
902
903 /* See if the bytes after POS/POS_BYTE combine with bytes
904 at the end of STRING to form a single character.
905 If so, return the number of bytes after POS/POS_BYTE
906 which combine in this way. Otherwise, return 0. */
907
908 int
909 count_combining_after (string, length, pos, pos_byte)
910 const unsigned char *string;
911 int length;
912 int pos, pos_byte;
913 {
914 int opos_byte = pos_byte;
915 int i;
916 int bytes;
917 unsigned char *bufp;
918
919 if (NILP (current_buffer->enable_multibyte_characters))
920 return 0;
921
922 /* At first, we can exclude the following cases:
923 (1) The last byte of STRING is an ASCII.
924 (2) POS is the last of the current buffer.
925 (3) A character at POS can't be a following byte of multibyte
926 character. */
927 if (length > 0 && ASCII_BYTE_P (string[length - 1])) /* case (1) */
928 return 0;
929 if (pos_byte == Z_BYTE) /* case (2) */
930 return 0;
931 bufp = BYTE_POS_ADDR (pos_byte);
932 if (CHAR_HEAD_P (*bufp)) /* case (3) */
933 return 0;
934
935 i = length - 1;
936 while (i >= 0 && ! CHAR_HEAD_P (string[i]))
937 {
938 i--;
939 }
940 if (i < 0)
941 {
942 /* All characters in STRING are not character head. We must
943 check also preceding bytes at POS. We are sure that the gap
944 is at POS. */
945 unsigned char *p = BEG_ADDR;
946 i = pos_byte - 2;
947 while (i >= 0 && ! CHAR_HEAD_P (p[i]))
948 i--;
949 if (i < 0 || !BASE_LEADING_CODE_P (p[i]))
950 return 0;
951
952 bytes = BYTES_BY_CHAR_HEAD (p[i]);
953 return (bytes <= pos_byte - 1 - i + length
954 ? 0
955 : bytes - (pos_byte - 1 - i + length));
956 }
957 if (!BASE_LEADING_CODE_P (string[i]))
958 return 0;
959
960 bytes = BYTES_BY_CHAR_HEAD (string[i]) - (length - i);
961 bufp++, pos_byte++;
962 while (!CHAR_HEAD_P (*bufp)) bufp++, pos_byte++;
963
964 return (bytes <= pos_byte - opos_byte ? bytes : pos_byte - opos_byte);
965 }
966
967 #endif
968
969 \f
970 /* Insert a sequence of NCHARS chars which occupy NBYTES bytes
971 starting at STRING. INHERIT, PREPARE and BEFORE_MARKERS
972 are the same as in insert_1. */
973
974 void
975 insert_1_both (string, nchars, nbytes, inherit, prepare, before_markers)
976 register const unsigned char *string;
977 register int nchars, nbytes;
978 int inherit, prepare, before_markers;
979 {
980 if (nchars == 0)
981 return;
982
983 if (NILP (current_buffer->enable_multibyte_characters))
984 nchars = nbytes;
985
986 if (prepare)
987 /* Do this before moving and increasing the gap,
988 because the before-change hooks might move the gap
989 or make it smaller. */
990 prepare_to_modify_buffer (PT, PT, NULL);
991
992 if (PT != GPT)
993 move_gap_both (PT, PT_BYTE);
994 if (GAP_SIZE < nbytes)
995 make_gap (nbytes - GAP_SIZE);
996
997 #ifdef BYTE_COMBINING_DEBUG
998 if (count_combining_before (string, nbytes, PT, PT_BYTE)
999 || count_combining_after (string, nbytes, PT, PT_BYTE))
1000 abort ();
1001 #endif
1002
1003 /* Record deletion of the surrounding text that combines with
1004 the insertion. This, together with recording the insertion,
1005 will add up to the right stuff in the undo list. */
1006 record_insert (PT, nchars);
1007 MODIFF++;
1008
1009 bcopy (string, GPT_ADDR, nbytes);
1010
1011 GAP_SIZE -= nbytes;
1012 GPT += nchars;
1013 ZV += nchars;
1014 Z += nchars;
1015 GPT_BYTE += nbytes;
1016 ZV_BYTE += nbytes;
1017 Z_BYTE += nbytes;
1018 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1019
1020 if (GPT_BYTE < GPT)
1021 abort ();
1022
1023 /* The insert may have been in the unchanged region, so check again. */
1024 if (Z - GPT < END_UNCHANGED)
1025 END_UNCHANGED = Z - GPT;
1026
1027 adjust_overlays_for_insert (PT, nchars);
1028 adjust_markers_for_insert (PT, PT_BYTE,
1029 PT + nchars, PT_BYTE + nbytes,
1030 before_markers);
1031
1032 if (BUF_INTERVALS (current_buffer) != 0)
1033 offset_intervals (current_buffer, PT, nchars);
1034
1035 if (!inherit && BUF_INTERVALS (current_buffer) != 0)
1036 set_text_properties (make_number (PT), make_number (PT + nchars),
1037 Qnil, Qnil, Qnil);
1038
1039 adjust_point (nchars, nbytes);
1040
1041 CHECK_MARKERS ();
1042 }
1043 \f
1044 /* Insert the part of the text of STRING, a Lisp object assumed to be
1045 of type string, consisting of the LENGTH characters (LENGTH_BYTE bytes)
1046 starting at position POS / POS_BYTE. If the text of STRING has properties,
1047 copy them into the buffer.
1048
1049 It does not work to use `insert' for this, because a GC could happen
1050 before we bcopy the stuff into the buffer, and relocate the string
1051 without insert noticing. */
1052
1053 void
1054 insert_from_string (string, pos, pos_byte, length, length_byte, inherit)
1055 Lisp_Object string;
1056 register int pos, pos_byte, length, length_byte;
1057 int inherit;
1058 {
1059 int opoint = PT;
1060
1061 if (SCHARS (string) == 0)
1062 return;
1063
1064 insert_from_string_1 (string, pos, pos_byte, length, length_byte,
1065 inherit, 0);
1066 signal_after_change (opoint, 0, PT - opoint);
1067 update_compositions (opoint, PT, CHECK_BORDER);
1068 }
1069
1070 /* Like `insert_from_string' except that all markers pointing
1071 at the place where the insertion happens are adjusted to point after it. */
1072
1073 void
1074 insert_from_string_before_markers (string, pos, pos_byte,
1075 length, length_byte, inherit)
1076 Lisp_Object string;
1077 register int pos, pos_byte, length, length_byte;
1078 int inherit;
1079 {
1080 int opoint = PT;
1081
1082 if (SCHARS (string) == 0)
1083 return;
1084
1085 insert_from_string_1 (string, pos, pos_byte, length, length_byte,
1086 inherit, 1);
1087 signal_after_change (opoint, 0, PT - opoint);
1088 update_compositions (opoint, PT, CHECK_BORDER);
1089 }
1090
1091 /* Subroutine of the insertion functions above. */
1092
1093 static void
1094 insert_from_string_1 (string, pos, pos_byte, nchars, nbytes,
1095 inherit, before_markers)
1096 Lisp_Object string;
1097 register int pos, pos_byte, nchars, nbytes;
1098 int inherit, before_markers;
1099 {
1100 struct gcpro gcpro1;
1101 int outgoing_nbytes = nbytes;
1102 INTERVAL intervals;
1103
1104 /* Make OUTGOING_NBYTES describe the text
1105 as it will be inserted in this buffer. */
1106
1107 if (NILP (current_buffer->enable_multibyte_characters))
1108 outgoing_nbytes = nchars;
1109 else if (! STRING_MULTIBYTE (string))
1110 outgoing_nbytes
1111 = count_size_as_multibyte (SDATA (string) + pos_byte,
1112 nbytes);
1113
1114 GCPRO1 (string);
1115 /* Do this before moving and increasing the gap,
1116 because the before-change hooks might move the gap
1117 or make it smaller. */
1118 prepare_to_modify_buffer (PT, PT, NULL);
1119
1120 if (PT != GPT)
1121 move_gap_both (PT, PT_BYTE);
1122 if (GAP_SIZE < outgoing_nbytes)
1123 make_gap (outgoing_nbytes - GAP_SIZE);
1124 UNGCPRO;
1125
1126 /* Copy the string text into the buffer, perhaps converting
1127 between single-byte and multibyte. */
1128 copy_text (SDATA (string) + pos_byte, GPT_ADDR, nbytes,
1129 STRING_MULTIBYTE (string),
1130 ! NILP (current_buffer->enable_multibyte_characters));
1131
1132 #ifdef BYTE_COMBINING_DEBUG
1133 /* We have copied text into the gap, but we have not altered
1134 PT or PT_BYTE yet. So we can pass PT and PT_BYTE
1135 to these functions and get the same results as we would
1136 have got earlier on. Meanwhile, PT_ADDR does point to
1137 the text that has been stored by copy_text. */
1138 if (count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE)
1139 || count_combining_after (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE))
1140 abort ();
1141 #endif
1142
1143 record_insert (PT, nchars);
1144 MODIFF++;
1145
1146 GAP_SIZE -= outgoing_nbytes;
1147 GPT += nchars;
1148 ZV += nchars;
1149 Z += nchars;
1150 GPT_BYTE += outgoing_nbytes;
1151 ZV_BYTE += outgoing_nbytes;
1152 Z_BYTE += outgoing_nbytes;
1153 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1154
1155 if (GPT_BYTE < GPT)
1156 abort ();
1157
1158 /* The insert may have been in the unchanged region, so check again. */
1159 if (Z - GPT < END_UNCHANGED)
1160 END_UNCHANGED = Z - GPT;
1161
1162 adjust_overlays_for_insert (PT, nchars);
1163 adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
1164 PT_BYTE + outgoing_nbytes,
1165 before_markers);
1166
1167 offset_intervals (current_buffer, PT, nchars);
1168
1169 intervals = STRING_INTERVALS (string);
1170 /* Get the intervals for the part of the string we are inserting. */
1171 if (nbytes < SBYTES (string))
1172 intervals = copy_intervals (intervals, pos, nchars);
1173
1174 /* Insert those intervals. */
1175 graft_intervals_into_buffer (intervals, PT, nchars,
1176 current_buffer, inherit);
1177
1178 adjust_point (nchars, outgoing_nbytes);
1179 }
1180 \f
1181 /* Insert text from BUF, NCHARS characters starting at CHARPOS, into the
1182 current buffer. If the text in BUF has properties, they are absorbed
1183 into the current buffer.
1184
1185 It does not work to use `insert' for this, because a malloc could happen
1186 and relocate BUF's text before the bcopy happens. */
1187
1188 void
1189 insert_from_buffer (buf, charpos, nchars, inherit)
1190 struct buffer *buf;
1191 int charpos, nchars;
1192 int inherit;
1193 {
1194 int opoint = PT;
1195
1196 insert_from_buffer_1 (buf, charpos, nchars, inherit);
1197 signal_after_change (opoint, 0, PT - opoint);
1198 update_compositions (opoint, PT, CHECK_BORDER);
1199 }
1200
1201 static void
1202 insert_from_buffer_1 (buf, from, nchars, inherit)
1203 struct buffer *buf;
1204 int from, nchars;
1205 int inherit;
1206 {
1207 register Lisp_Object temp;
1208 int chunk, chunk_expanded;
1209 int from_byte = buf_charpos_to_bytepos (buf, from);
1210 int to_byte = buf_charpos_to_bytepos (buf, from + nchars);
1211 int incoming_nbytes = to_byte - from_byte;
1212 int outgoing_nbytes = incoming_nbytes;
1213 INTERVAL intervals;
1214
1215 /* Make OUTGOING_NBYTES describe the text
1216 as it will be inserted in this buffer. */
1217
1218 if (NILP (current_buffer->enable_multibyte_characters))
1219 outgoing_nbytes = nchars;
1220 else if (NILP (buf->enable_multibyte_characters))
1221 {
1222 int outgoing_before_gap = 0;
1223 int outgoing_after_gap = 0;
1224
1225 if (from < BUF_GPT (buf))
1226 {
1227 chunk = BUF_GPT_BYTE (buf) - from_byte;
1228 if (chunk > incoming_nbytes)
1229 chunk = incoming_nbytes;
1230 outgoing_before_gap
1231 = count_size_as_multibyte (BUF_BYTE_ADDRESS (buf, from_byte),
1232 chunk);
1233 }
1234 else
1235 chunk = 0;
1236
1237 if (chunk < incoming_nbytes)
1238 outgoing_after_gap
1239 = count_size_as_multibyte (BUF_BYTE_ADDRESS (buf,
1240 from_byte + chunk),
1241 incoming_nbytes - chunk);
1242
1243 outgoing_nbytes = outgoing_before_gap + outgoing_after_gap;
1244 }
1245
1246 /* Make sure point-max won't overflow after this insertion. */
1247 XSETINT (temp, outgoing_nbytes + Z);
1248 if (outgoing_nbytes + Z != XINT (temp))
1249 error ("Maximum buffer size exceeded");
1250
1251 /* Do this before moving and increasing the gap,
1252 because the before-change hooks might move the gap
1253 or make it smaller. */
1254 prepare_to_modify_buffer (PT, PT, NULL);
1255
1256 if (PT != GPT)
1257 move_gap_both (PT, PT_BYTE);
1258 if (GAP_SIZE < outgoing_nbytes)
1259 make_gap (outgoing_nbytes - GAP_SIZE);
1260
1261 if (from < BUF_GPT (buf))
1262 {
1263 chunk = BUF_GPT_BYTE (buf) - from_byte;
1264 if (chunk > incoming_nbytes)
1265 chunk = incoming_nbytes;
1266 /* Record number of output bytes, so we know where
1267 to put the output from the second copy_text. */
1268 chunk_expanded
1269 = copy_text (BUF_BYTE_ADDRESS (buf, from_byte),
1270 GPT_ADDR, chunk,
1271 ! NILP (buf->enable_multibyte_characters),
1272 ! NILP (current_buffer->enable_multibyte_characters));
1273 }
1274 else
1275 chunk_expanded = chunk = 0;
1276
1277 if (chunk < incoming_nbytes)
1278 copy_text (BUF_BYTE_ADDRESS (buf, from_byte + chunk),
1279 GPT_ADDR + chunk_expanded, incoming_nbytes - chunk,
1280 ! NILP (buf->enable_multibyte_characters),
1281 ! NILP (current_buffer->enable_multibyte_characters));
1282
1283 #ifdef BYTE_COMBINING_DEBUG
1284 /* We have copied text into the gap, but we have not altered
1285 PT or PT_BYTE yet. So we can pass PT and PT_BYTE
1286 to these functions and get the same results as we would
1287 have got earlier on. Meanwhile, GPT_ADDR does point to
1288 the text that has been stored by copy_text. */
1289 if (count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE)
1290 || count_combining_after (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE))
1291 abort ();
1292 #endif
1293
1294 record_insert (PT, nchars);
1295 MODIFF++;
1296
1297 GAP_SIZE -= outgoing_nbytes;
1298 GPT += nchars;
1299 ZV += nchars;
1300 Z += nchars;
1301 GPT_BYTE += outgoing_nbytes;
1302 ZV_BYTE += outgoing_nbytes;
1303 Z_BYTE += outgoing_nbytes;
1304 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1305
1306 if (GPT_BYTE < GPT)
1307 abort ();
1308
1309 /* The insert may have been in the unchanged region, so check again. */
1310 if (Z - GPT < END_UNCHANGED)
1311 END_UNCHANGED = Z - GPT;
1312
1313 adjust_overlays_for_insert (PT, nchars);
1314 adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
1315 PT_BYTE + outgoing_nbytes,
1316 0);
1317
1318 if (BUF_INTERVALS (current_buffer) != 0)
1319 offset_intervals (current_buffer, PT, nchars);
1320
1321 /* Get the intervals for the part of the string we are inserting. */
1322 intervals = BUF_INTERVALS (buf);
1323 if (outgoing_nbytes < BUF_Z_BYTE (buf) - BUF_BEG_BYTE (buf))
1324 {
1325 if (buf == current_buffer && PT <= from)
1326 from += nchars;
1327 intervals = copy_intervals (intervals, from, nchars);
1328 }
1329
1330 /* Insert those intervals. */
1331 graft_intervals_into_buffer (intervals, PT, nchars, current_buffer, inherit);
1332
1333 adjust_point (nchars, outgoing_nbytes);
1334 }
1335 \f
1336 /* Record undo information and adjust markers and position keepers for
1337 a replacement of a text PREV_TEXT at FROM to a new text of LEN
1338 chars (LEN_BYTE bytes) which resides in the gap just after
1339 GPT_ADDR.
1340
1341 PREV_TEXT nil means the new text was just inserted. */
1342
1343 void
1344 adjust_after_replace (from, from_byte, prev_text, len, len_byte)
1345 int from, from_byte, len, len_byte;
1346 Lisp_Object prev_text;
1347 {
1348 int nchars_del = 0, nbytes_del = 0;
1349
1350 #ifdef BYTE_COMBINING_DEBUG
1351 if (count_combining_before (GPT_ADDR, len_byte, from, from_byte)
1352 || count_combining_after (GPT_ADDR, len_byte, from, from_byte))
1353 abort ();
1354 #endif
1355
1356 if (STRINGP (prev_text))
1357 {
1358 nchars_del = SCHARS (prev_text);
1359 nbytes_del = SBYTES (prev_text);
1360 }
1361
1362 /* Update various buffer positions for the new text. */
1363 GAP_SIZE -= len_byte;
1364 ZV += len; Z+= len;
1365 ZV_BYTE += len_byte; Z_BYTE += len_byte;
1366 GPT += len; GPT_BYTE += len_byte;
1367 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1368
1369 if (nchars_del > 0)
1370 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1371 len, len_byte);
1372 else
1373 adjust_markers_for_insert (from, from_byte,
1374 from + len, from_byte + len_byte, 0);
1375
1376 if (! EQ (current_buffer->undo_list, Qt))
1377 {
1378 if (nchars_del > 0)
1379 record_delete (from, prev_text);
1380 record_insert (from, len);
1381 }
1382
1383 if (len > nchars_del)
1384 adjust_overlays_for_insert (from, len - nchars_del);
1385 else if (len < nchars_del)
1386 adjust_overlays_for_delete (from, nchars_del - len);
1387 if (BUF_INTERVALS (current_buffer) != 0)
1388 {
1389 offset_intervals (current_buffer, from, len - nchars_del);
1390 }
1391
1392 if (from < PT)
1393 adjust_point (len - nchars_del, len_byte - nbytes_del);
1394
1395 /* As byte combining will decrease Z, we must check this again. */
1396 if (Z - GPT < END_UNCHANGED)
1397 END_UNCHANGED = Z - GPT;
1398
1399 CHECK_MARKERS ();
1400
1401 if (len == 0)
1402 evaporate_overlays (from);
1403 MODIFF++;
1404 }
1405
1406 /* Like adjust_after_replace, but doesn't require PREV_TEXT.
1407 This is for use when undo is not enabled in the current buffer. */
1408
1409 void
1410 adjust_after_replace_noundo (from, from_byte, nchars_del, nbytes_del, len, len_byte)
1411 int from, from_byte, nchars_del, nbytes_del, len, len_byte;
1412 {
1413 #ifdef BYTE_COMBINING_DEBUG
1414 if (count_combining_before (GPT_ADDR, len_byte, from, from_byte)
1415 || count_combining_after (GPT_ADDR, len_byte, from, from_byte))
1416 abort ();
1417 #endif
1418
1419 /* Update various buffer positions for the new text. */
1420 GAP_SIZE -= len_byte;
1421 ZV += len; Z+= len;
1422 ZV_BYTE += len_byte; Z_BYTE += len_byte;
1423 GPT += len; GPT_BYTE += len_byte;
1424 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1425
1426 if (nchars_del > 0)
1427 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1428 len, len_byte);
1429 else
1430 adjust_markers_for_insert (from, from_byte,
1431 from + len, from_byte + len_byte, 0);
1432
1433 if (len > nchars_del)
1434 adjust_overlays_for_insert (from, len - nchars_del);
1435 else if (len < nchars_del)
1436 adjust_overlays_for_delete (from, nchars_del - len);
1437 if (BUF_INTERVALS (current_buffer) != 0)
1438 {
1439 offset_intervals (current_buffer, from, len - nchars_del);
1440 }
1441
1442 if (from < PT)
1443 adjust_point (len - nchars_del, len_byte - nbytes_del);
1444
1445 /* As byte combining will decrease Z, we must check this again. */
1446 if (Z - GPT < END_UNCHANGED)
1447 END_UNCHANGED = Z - GPT;
1448
1449 CHECK_MARKERS ();
1450
1451 if (len == 0)
1452 evaporate_overlays (from);
1453 MODIFF++;
1454 }
1455
1456 /* Record undo information, adjust markers and position keepers for an
1457 insertion of a text from FROM (FROM_BYTE) to TO (TO_BYTE). The
1458 text already exists in the current buffer but character length (TO
1459 - FROM) may be incorrect, the correct length is NEWLEN. */
1460
1461 void
1462 adjust_after_insert (from, from_byte, to, to_byte, newlen)
1463 int from, from_byte, to, to_byte, newlen;
1464 {
1465 int len = to - from, len_byte = to_byte - from_byte;
1466
1467 if (GPT != to)
1468 move_gap_both (to, to_byte);
1469 GAP_SIZE += len_byte;
1470 GPT -= len; GPT_BYTE -= len_byte;
1471 ZV -= len; ZV_BYTE -= len_byte;
1472 Z -= len; Z_BYTE -= len_byte;
1473 adjust_after_replace (from, from_byte, Qnil, newlen, len_byte);
1474 }
1475 \f
1476 /* Replace the text from character positions FROM to TO with NEW,
1477 If PREPARE is nonzero, call prepare_to_modify_buffer.
1478 If INHERIT, the newly inserted text should inherit text properties
1479 from the surrounding non-deleted text. */
1480
1481 /* Note that this does not yet handle markers quite right.
1482 Also it needs to record a single undo-entry that does a replacement
1483 rather than a separate delete and insert.
1484 That way, undo will also handle markers properly.
1485
1486 But if MARKERS is 0, don't relocate markers. */
1487
1488 void
1489 replace_range (from, to, new, prepare, inherit, markers)
1490 Lisp_Object new;
1491 int from, to, prepare, inherit, markers;
1492 {
1493 int inschars = SCHARS (new);
1494 int insbytes = SBYTES (new);
1495 int from_byte, to_byte;
1496 int nbytes_del, nchars_del;
1497 register Lisp_Object temp;
1498 struct gcpro gcpro1;
1499 INTERVAL intervals;
1500 int outgoing_insbytes = insbytes;
1501 Lisp_Object deletion;
1502
1503 CHECK_MARKERS ();
1504
1505 GCPRO1 (new);
1506 deletion = Qnil;
1507
1508 if (prepare)
1509 {
1510 int range_length = to - from;
1511 prepare_to_modify_buffer (from, to, &from);
1512 to = from + range_length;
1513 }
1514
1515 UNGCPRO;
1516
1517 /* Make args be valid */
1518 if (from < BEGV)
1519 from = BEGV;
1520 if (to > ZV)
1521 to = ZV;
1522
1523 from_byte = CHAR_TO_BYTE (from);
1524 to_byte = CHAR_TO_BYTE (to);
1525
1526 nchars_del = to - from;
1527 nbytes_del = to_byte - from_byte;
1528
1529 if (nbytes_del <= 0 && insbytes == 0)
1530 return;
1531
1532 /* Make OUTGOING_INSBYTES describe the text
1533 as it will be inserted in this buffer. */
1534
1535 if (NILP (current_buffer->enable_multibyte_characters))
1536 outgoing_insbytes = inschars;
1537 else if (! STRING_MULTIBYTE (new))
1538 outgoing_insbytes
1539 = count_size_as_multibyte (SDATA (new), insbytes);
1540
1541 /* Make sure point-max won't overflow after this insertion. */
1542 XSETINT (temp, Z_BYTE - nbytes_del + insbytes);
1543 if (Z_BYTE - nbytes_del + insbytes != XINT (temp))
1544 error ("Maximum buffer size exceeded");
1545
1546 GCPRO1 (new);
1547
1548 /* Make sure the gap is somewhere in or next to what we are deleting. */
1549 if (from > GPT)
1550 gap_right (from, from_byte);
1551 if (to < GPT)
1552 gap_left (to, to_byte, 0);
1553
1554 /* Even if we don't record for undo, we must keep the original text
1555 because we may have to recover it because of inappropriate byte
1556 combining. */
1557 if (! EQ (current_buffer->undo_list, Qt))
1558 deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
1559
1560 GAP_SIZE += nbytes_del;
1561 ZV -= nchars_del;
1562 Z -= nchars_del;
1563 ZV_BYTE -= nbytes_del;
1564 Z_BYTE -= nbytes_del;
1565 GPT = from;
1566 GPT_BYTE = from_byte;
1567 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1568
1569 if (GPT_BYTE < GPT)
1570 abort ();
1571
1572 if (GPT - BEG < BEG_UNCHANGED)
1573 BEG_UNCHANGED = GPT - BEG;
1574 if (Z - GPT < END_UNCHANGED)
1575 END_UNCHANGED = Z - GPT;
1576
1577 if (GAP_SIZE < insbytes)
1578 make_gap (insbytes - GAP_SIZE);
1579
1580 /* Copy the string text into the buffer, perhaps converting
1581 between single-byte and multibyte. */
1582 copy_text (SDATA (new), GPT_ADDR, insbytes,
1583 STRING_MULTIBYTE (new),
1584 ! NILP (current_buffer->enable_multibyte_characters));
1585
1586 #ifdef BYTE_COMBINING_DEBUG
1587 /* We have copied text into the gap, but we have not marked
1588 it as part of the buffer. So we can use the old FROM and FROM_BYTE
1589 here, for both the previous text and the following text.
1590 Meanwhile, GPT_ADDR does point to
1591 the text that has been stored by copy_text. */
1592 if (count_combining_before (GPT_ADDR, outgoing_insbytes, from, from_byte)
1593 || count_combining_after (GPT_ADDR, outgoing_insbytes, from, from_byte))
1594 abort ();
1595 #endif
1596
1597 if (! EQ (current_buffer->undo_list, Qt))
1598 {
1599 record_delete (from, deletion);
1600 record_insert (from, inschars);
1601 }
1602
1603 GAP_SIZE -= outgoing_insbytes;
1604 GPT += inschars;
1605 ZV += inschars;
1606 Z += inschars;
1607 GPT_BYTE += outgoing_insbytes;
1608 ZV_BYTE += outgoing_insbytes;
1609 Z_BYTE += outgoing_insbytes;
1610 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1611
1612 if (GPT_BYTE < GPT)
1613 abort ();
1614
1615 /* Adjust the overlay center as needed. This must be done after
1616 adjusting the markers that bound the overlays. */
1617 adjust_overlays_for_delete (from, nchars_del);
1618 adjust_overlays_for_insert (from, inschars);
1619
1620 /* Adjust markers for the deletion and the insertion. */
1621 if (markers)
1622 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1623 inschars, outgoing_insbytes);
1624
1625 offset_intervals (current_buffer, from, inschars - nchars_del);
1626
1627 /* Get the intervals for the part of the string we are inserting--
1628 not including the combined-before bytes. */
1629 intervals = STRING_INTERVALS (new);
1630 /* Insert those intervals. */
1631 graft_intervals_into_buffer (intervals, from, inschars,
1632 current_buffer, inherit);
1633
1634 /* Relocate point as if it were a marker. */
1635 if (from < PT)
1636 adjust_point ((from + inschars - (PT < to ? PT : to)),
1637 (from_byte + outgoing_insbytes
1638 - (PT_BYTE < to_byte ? PT_BYTE : to_byte)));
1639
1640 if (outgoing_insbytes == 0)
1641 evaporate_overlays (from);
1642
1643 CHECK_MARKERS ();
1644
1645 MODIFF++;
1646 UNGCPRO;
1647
1648 signal_after_change (from, nchars_del, GPT - from);
1649 update_compositions (from, GPT, CHECK_BORDER);
1650 }
1651 \f
1652 /* Replace the text from character positions FROM to TO with
1653 the text in INS of length INSCHARS.
1654 Keep the text properties that applied to the old characters
1655 (extending them to all the new chars if there are more new chars).
1656
1657 Note that this does not yet handle markers quite right.
1658
1659 If MARKERS is nonzero, relocate markers.
1660
1661 Unlike most functions at this level, never call
1662 prepare_to_modify_buffer and never call signal_after_change. */
1663
1664 void
1665 replace_range_2 (from, from_byte, to, to_byte, ins, inschars, insbytes, markers)
1666 int from, from_byte, to, to_byte;
1667 char *ins;
1668 int inschars, insbytes, markers;
1669 {
1670 int nbytes_del, nchars_del;
1671 Lisp_Object temp;
1672
1673 CHECK_MARKERS ();
1674
1675 nchars_del = to - from;
1676 nbytes_del = to_byte - from_byte;
1677
1678 if (nbytes_del <= 0 && insbytes == 0)
1679 return;
1680
1681 /* Make sure point-max won't overflow after this insertion. */
1682 XSETINT (temp, Z_BYTE - nbytes_del + insbytes);
1683 if (Z_BYTE - nbytes_del + insbytes != XINT (temp))
1684 error ("Maximum buffer size exceeded");
1685
1686 /* Make sure the gap is somewhere in or next to what we are deleting. */
1687 if (from > GPT)
1688 gap_right (from, from_byte);
1689 if (to < GPT)
1690 gap_left (to, to_byte, 0);
1691
1692 GAP_SIZE += nbytes_del;
1693 ZV -= nchars_del;
1694 Z -= nchars_del;
1695 ZV_BYTE -= nbytes_del;
1696 Z_BYTE -= nbytes_del;
1697 GPT = from;
1698 GPT_BYTE = from_byte;
1699 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1700
1701 if (GPT_BYTE < GPT)
1702 abort ();
1703
1704 if (GPT - BEG < BEG_UNCHANGED)
1705 BEG_UNCHANGED = GPT - BEG;
1706 if (Z - GPT < END_UNCHANGED)
1707 END_UNCHANGED = Z - GPT;
1708
1709 if (GAP_SIZE < insbytes)
1710 make_gap (insbytes - GAP_SIZE);
1711
1712 /* Copy the replacement text into the buffer. */
1713 bcopy (ins, GPT_ADDR, insbytes);
1714
1715 #ifdef BYTE_COMBINING_DEBUG
1716 /* We have copied text into the gap, but we have not marked
1717 it as part of the buffer. So we can use the old FROM and FROM_BYTE
1718 here, for both the previous text and the following text.
1719 Meanwhile, GPT_ADDR does point to
1720 the text that has been stored by copy_text. */
1721 if (count_combining_before (GPT_ADDR, insbytes, from, from_byte)
1722 || count_combining_after (GPT_ADDR, insbytes, from, from_byte))
1723 abort ();
1724 #endif
1725
1726 GAP_SIZE -= insbytes;
1727 GPT += inschars;
1728 ZV += inschars;
1729 Z += inschars;
1730 GPT_BYTE += insbytes;
1731 ZV_BYTE += insbytes;
1732 Z_BYTE += insbytes;
1733 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1734
1735 if (GPT_BYTE < GPT)
1736 abort ();
1737
1738 /* Adjust the overlay center as needed. This must be done after
1739 adjusting the markers that bound the overlays. */
1740 if (nchars_del != inschars)
1741 {
1742 adjust_overlays_for_insert (from, inschars);
1743 adjust_overlays_for_delete (from + inschars, nchars_del);
1744 }
1745
1746 /* Adjust markers for the deletion and the insertion. */
1747 if (markers
1748 && ! (nchars_del == 1 && inschars == 1 && nbytes_del == insbytes))
1749 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1750 inschars, insbytes);
1751
1752 offset_intervals (current_buffer, from, inschars - nchars_del);
1753
1754 /* Relocate point as if it were a marker. */
1755 if (from < PT && (nchars_del != inschars || nbytes_del != insbytes))
1756 {
1757 if (PT < to)
1758 /* PT was within the deleted text. Move it to FROM. */
1759 adjust_point (from - PT, from_byte - PT_BYTE);
1760 else
1761 adjust_point (inschars - nchars_del, insbytes - nbytes_del);
1762 }
1763
1764 if (insbytes == 0)
1765 evaporate_overlays (from);
1766
1767 CHECK_MARKERS ();
1768
1769 MODIFF++;
1770 }
1771 \f
1772 /* Delete characters in current buffer
1773 from FROM up to (but not including) TO.
1774 If TO comes before FROM, we delete nothing. */
1775
1776 void
1777 del_range (from, to)
1778 register int from, to;
1779 {
1780 del_range_1 (from, to, 1, 0);
1781 }
1782
1783 /* Like del_range; PREPARE says whether to call prepare_to_modify_buffer.
1784 RET_STRING says to return the deleted text. */
1785
1786 Lisp_Object
1787 del_range_1 (from, to, prepare, ret_string)
1788 int from, to, prepare, ret_string;
1789 {
1790 int from_byte, to_byte;
1791 Lisp_Object deletion;
1792 struct gcpro gcpro1;
1793
1794 /* Make args be valid */
1795 if (from < BEGV)
1796 from = BEGV;
1797 if (to > ZV)
1798 to = ZV;
1799
1800 if (to <= from)
1801 return Qnil;
1802
1803 if (prepare)
1804 {
1805 int range_length = to - from;
1806 prepare_to_modify_buffer (from, to, &from);
1807 to = min (ZV, from + range_length);
1808 }
1809
1810 from_byte = CHAR_TO_BYTE (from);
1811 to_byte = CHAR_TO_BYTE (to);
1812
1813 deletion = del_range_2 (from, from_byte, to, to_byte, ret_string);
1814 GCPRO1(deletion);
1815 signal_after_change (from, to - from, 0);
1816 update_compositions (from, from, CHECK_HEAD);
1817 UNGCPRO;
1818 return deletion;
1819 }
1820
1821 /* Like del_range_1 but args are byte positions, not char positions. */
1822
1823 void
1824 del_range_byte (from_byte, to_byte, prepare)
1825 int from_byte, to_byte, prepare;
1826 {
1827 int from, to;
1828
1829 /* Make args be valid */
1830 if (from_byte < BEGV_BYTE)
1831 from_byte = BEGV_BYTE;
1832 if (to_byte > ZV_BYTE)
1833 to_byte = ZV_BYTE;
1834
1835 if (to_byte <= from_byte)
1836 return;
1837
1838 from = BYTE_TO_CHAR (from_byte);
1839 to = BYTE_TO_CHAR (to_byte);
1840
1841 if (prepare)
1842 {
1843 int old_from = from, old_to = Z - to;
1844 int range_length = to - from;
1845 prepare_to_modify_buffer (from, to, &from);
1846 to = from + range_length;
1847
1848 if (old_from != from)
1849 from_byte = CHAR_TO_BYTE (from);
1850 if (to > ZV)
1851 {
1852 to = ZV;
1853 to_byte = ZV_BYTE;
1854 }
1855 else if (old_to == Z - to)
1856 to_byte = CHAR_TO_BYTE (to);
1857 }
1858
1859 del_range_2 (from, from_byte, to, to_byte, 0);
1860 signal_after_change (from, to - from, 0);
1861 update_compositions (from, from, CHECK_HEAD);
1862 }
1863
1864 /* Like del_range_1, but positions are specified both as charpos
1865 and bytepos. */
1866
1867 void
1868 del_range_both (from, from_byte, to, to_byte, prepare)
1869 int from, from_byte, to, to_byte, prepare;
1870 {
1871 /* Make args be valid */
1872 if (from_byte < BEGV_BYTE)
1873 from_byte = BEGV_BYTE;
1874 if (to_byte > ZV_BYTE)
1875 to_byte = ZV_BYTE;
1876
1877 if (to_byte <= from_byte)
1878 return;
1879
1880 if (from < BEGV)
1881 from = BEGV;
1882 if (to > ZV)
1883 to = ZV;
1884
1885 if (prepare)
1886 {
1887 int old_from = from, old_to = Z - to;
1888 int range_length = to - from;
1889 prepare_to_modify_buffer (from, to, &from);
1890 to = from + range_length;
1891
1892 if (old_from != from)
1893 from_byte = CHAR_TO_BYTE (from);
1894 if (to > ZV)
1895 {
1896 to = ZV;
1897 to_byte = ZV_BYTE;
1898 }
1899 else if (old_to == Z - to)
1900 to_byte = CHAR_TO_BYTE (to);
1901 }
1902
1903 del_range_2 (from, from_byte, to, to_byte, 0);
1904 signal_after_change (from, to - from, 0);
1905 update_compositions (from, from, CHECK_HEAD);
1906 }
1907
1908 /* Delete a range of text, specified both as character positions
1909 and byte positions. FROM and TO are character positions,
1910 while FROM_BYTE and TO_BYTE are byte positions.
1911 If RET_STRING is true, the deleted area is returned as a string. */
1912
1913 Lisp_Object
1914 del_range_2 (from, from_byte, to, to_byte, ret_string)
1915 int from, from_byte, to, to_byte, ret_string;
1916 {
1917 register int nbytes_del, nchars_del;
1918 Lisp_Object deletion;
1919
1920 CHECK_MARKERS ();
1921
1922 nchars_del = to - from;
1923 nbytes_del = to_byte - from_byte;
1924
1925 /* Make sure the gap is somewhere in or next to what we are deleting. */
1926 if (from > GPT)
1927 gap_right (from, from_byte);
1928 if (to < GPT)
1929 gap_left (to, to_byte, 0);
1930
1931 #ifdef BYTE_COMBINING_DEBUG
1932 if (count_combining_before (BUF_BYTE_ADDRESS (current_buffer, to_byte),
1933 Z_BYTE - to_byte, from, from_byte))
1934 abort ();
1935 #endif
1936
1937 if (ret_string || ! EQ (current_buffer->undo_list, Qt))
1938 deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
1939 else
1940 deletion = Qnil;
1941
1942 /* Relocate all markers pointing into the new, larger gap
1943 to point at the end of the text before the gap.
1944 Do this before recording the deletion,
1945 so that undo handles this after reinserting the text. */
1946 adjust_markers_for_delete (from, from_byte, to, to_byte);
1947
1948 if (! EQ (current_buffer->undo_list, Qt))
1949 record_delete (from, deletion);
1950 MODIFF++;
1951
1952 /* Relocate point as if it were a marker. */
1953 if (from < PT)
1954 adjust_point (from - (PT < to ? PT : to),
1955 from_byte - (PT_BYTE < to_byte ? PT_BYTE : to_byte));
1956
1957 offset_intervals (current_buffer, from, - nchars_del);
1958
1959 /* Adjust the overlay center as needed. This must be done after
1960 adjusting the markers that bound the overlays. */
1961 adjust_overlays_for_delete (from, nchars_del);
1962
1963 GAP_SIZE += nbytes_del;
1964 ZV_BYTE -= nbytes_del;
1965 Z_BYTE -= nbytes_del;
1966 ZV -= nchars_del;
1967 Z -= nchars_del;
1968 GPT = from;
1969 GPT_BYTE = from_byte;
1970 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1971
1972 if (GPT_BYTE < GPT)
1973 abort ();
1974
1975 if (GPT - BEG < BEG_UNCHANGED)
1976 BEG_UNCHANGED = GPT - BEG;
1977 if (Z - GPT < END_UNCHANGED)
1978 END_UNCHANGED = Z - GPT;
1979
1980 CHECK_MARKERS ();
1981
1982 evaporate_overlays (from);
1983
1984 return deletion;
1985 }
1986 \f
1987 /* Call this if you're about to change the region of BUFFER from
1988 character positions START to END. This checks the read-only
1989 properties of the region, calls the necessary modification hooks,
1990 and warns the next redisplay that it should pay attention to that
1991 area. */
1992
1993 void
1994 modify_region (buffer, start, end)
1995 struct buffer *buffer;
1996 int start, end;
1997 {
1998 struct buffer *old_buffer = current_buffer;
1999
2000 if (buffer != old_buffer)
2001 set_buffer_internal (buffer);
2002
2003 prepare_to_modify_buffer (start, end, NULL);
2004
2005 BUF_COMPUTE_UNCHANGED (buffer, start - 1, end);
2006
2007 if (MODIFF <= SAVE_MODIFF)
2008 record_first_change ();
2009 MODIFF++;
2010
2011 buffer->point_before_scroll = Qnil;
2012
2013 if (buffer != old_buffer)
2014 set_buffer_internal (old_buffer);
2015 }
2016 \f
2017 /* Check that it is okay to modify the buffer between START and END,
2018 which are char positions.
2019
2020 Run the before-change-function, if any. If intervals are in use,
2021 verify that the text to be modified is not read-only, and call
2022 any modification properties the text may have.
2023
2024 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
2025 by holding its value temporarily in a marker. */
2026
2027 void
2028 prepare_to_modify_buffer (start, end, preserve_ptr)
2029 int start, end;
2030 int *preserve_ptr;
2031 {
2032 if (!NILP (current_buffer->read_only))
2033 Fbarf_if_buffer_read_only ();
2034
2035 /* Let redisplay consider other windows than selected_window
2036 if modifying another buffer. */
2037 if (XBUFFER (XWINDOW (selected_window)->buffer) != current_buffer)
2038 ++windows_or_buffers_changed;
2039
2040 if (BUF_INTERVALS (current_buffer) != 0)
2041 {
2042 if (preserve_ptr)
2043 {
2044 Lisp_Object preserve_marker;
2045 struct gcpro gcpro1;
2046 preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil);
2047 GCPRO1 (preserve_marker);
2048 verify_interval_modification (current_buffer, start, end);
2049 *preserve_ptr = marker_position (preserve_marker);
2050 unchain_marker (XMARKER (preserve_marker));
2051 UNGCPRO;
2052 }
2053 else
2054 verify_interval_modification (current_buffer, start, end);
2055 }
2056
2057 #ifdef CLASH_DETECTION
2058 if (!NILP (current_buffer->file_truename)
2059 /* Make binding buffer-file-name to nil effective. */
2060 && !NILP (current_buffer->filename)
2061 && SAVE_MODIFF >= MODIFF)
2062 lock_file (current_buffer->file_truename);
2063 #else
2064 /* At least warn if this file has changed on disk since it was visited. */
2065 if (!NILP (current_buffer->filename)
2066 && SAVE_MODIFF >= MODIFF
2067 && NILP (Fverify_visited_file_modtime (Fcurrent_buffer ()))
2068 && !NILP (Ffile_exists_p (current_buffer->filename)))
2069 call1 (intern ("ask-user-about-supersession-threat"),
2070 current_buffer->filename);
2071 #endif /* not CLASH_DETECTION */
2072
2073 signal_before_change (start, end, preserve_ptr);
2074
2075 if (current_buffer->newline_cache)
2076 invalidate_region_cache (current_buffer,
2077 current_buffer->newline_cache,
2078 start - BEG, Z - end);
2079 if (current_buffer->width_run_cache)
2080 invalidate_region_cache (current_buffer,
2081 current_buffer->width_run_cache,
2082 start - BEG, Z - end);
2083
2084 Vdeactivate_mark = Qt;
2085 }
2086 \f
2087 /* These macros work with an argument named `preserve_ptr'
2088 and a local variable named `preserve_marker'. */
2089
2090 #define PRESERVE_VALUE \
2091 if (preserve_ptr && NILP (preserve_marker)) \
2092 preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil)
2093
2094 #define RESTORE_VALUE \
2095 if (! NILP (preserve_marker)) \
2096 { \
2097 *preserve_ptr = marker_position (preserve_marker); \
2098 unchain_marker (XMARKER (preserve_marker)); \
2099 }
2100
2101 #define PRESERVE_START_END \
2102 if (NILP (start_marker)) \
2103 start_marker = Fcopy_marker (start, Qnil); \
2104 if (NILP (end_marker)) \
2105 end_marker = Fcopy_marker (end, Qnil);
2106
2107 #define FETCH_START \
2108 (! NILP (start_marker) ? Fmarker_position (start_marker) : start)
2109
2110 #define FETCH_END \
2111 (! NILP (end_marker) ? Fmarker_position (end_marker) : end)
2112
2113 /* Signal a change to the buffer immediately before it happens.
2114 START_INT and END_INT are the bounds of the text to be changed.
2115
2116 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
2117 by holding its value temporarily in a marker. */
2118
2119 void
2120 signal_before_change (start_int, end_int, preserve_ptr)
2121 int start_int, end_int;
2122 int *preserve_ptr;
2123 {
2124 Lisp_Object start, end;
2125 Lisp_Object start_marker, end_marker;
2126 Lisp_Object preserve_marker;
2127 struct gcpro gcpro1, gcpro2, gcpro3;
2128
2129 if (inhibit_modification_hooks)
2130 return;
2131
2132 start = make_number (start_int);
2133 end = make_number (end_int);
2134 preserve_marker = Qnil;
2135 start_marker = Qnil;
2136 end_marker = Qnil;
2137 GCPRO3 (preserve_marker, start_marker, end_marker);
2138
2139 /* If buffer is unmodified, run a special hook for that case. */
2140 if (SAVE_MODIFF >= MODIFF
2141 && !NILP (Vfirst_change_hook)
2142 && !NILP (Vrun_hooks))
2143 {
2144 PRESERVE_VALUE;
2145 PRESERVE_START_END;
2146 call1 (Vrun_hooks, Qfirst_change_hook);
2147 }
2148
2149 /* Now run the before-change-functions if any. */
2150 if (!NILP (Vbefore_change_functions))
2151 {
2152 Lisp_Object args[3];
2153 Lisp_Object before_change_functions;
2154 Lisp_Object after_change_functions;
2155 struct gcpro gcpro1, gcpro2;
2156 struct buffer *old = current_buffer;
2157 struct buffer *new;
2158
2159 PRESERVE_VALUE;
2160 PRESERVE_START_END;
2161
2162 /* "Bind" before-change-functions and after-change-functions
2163 to nil--but in a way that errors don't know about.
2164 That way, if there's an error in them, they will stay nil. */
2165 before_change_functions = Vbefore_change_functions;
2166 after_change_functions = Vafter_change_functions;
2167 Vbefore_change_functions = Qnil;
2168 Vafter_change_functions = Qnil;
2169 GCPRO2 (before_change_functions, after_change_functions);
2170
2171 /* Actually run the hook functions. */
2172 args[0] = Qbefore_change_functions;
2173 args[1] = FETCH_START;
2174 args[2] = FETCH_END;
2175 run_hook_list_with_args (before_change_functions, 3, args);
2176
2177 /* "Unbind" the variables we "bound" to nil. Beware a
2178 buffer-local hook which changes the buffer when run (e.g. W3). */
2179 if (old != current_buffer)
2180 {
2181 new = current_buffer;
2182 set_buffer_internal (old);
2183 Vbefore_change_functions = before_change_functions;
2184 Vafter_change_functions = after_change_functions;
2185 set_buffer_internal (new);
2186 }
2187 else
2188 {
2189 Vbefore_change_functions = before_change_functions;
2190 Vafter_change_functions = after_change_functions;
2191 }
2192 UNGCPRO;
2193 }
2194
2195 if (current_buffer->overlays_before || current_buffer->overlays_after)
2196 {
2197 PRESERVE_VALUE;
2198 report_overlay_modification (FETCH_START, FETCH_END, 0,
2199 FETCH_START, FETCH_END, Qnil);
2200 }
2201
2202 if (! NILP (start_marker))
2203 free_marker (start_marker);
2204 if (! NILP (end_marker))
2205 free_marker (end_marker);
2206 RESTORE_VALUE;
2207 UNGCPRO;
2208 }
2209
2210 /* Signal a change immediately after it happens.
2211 CHARPOS is the character position of the start of the changed text.
2212 LENDEL is the number of characters of the text before the change.
2213 (Not the whole buffer; just the part that was changed.)
2214 LENINS is the number of characters in that part of the text
2215 after the change. */
2216
2217 void
2218 signal_after_change (charpos, lendel, lenins)
2219 int charpos, lendel, lenins;
2220 {
2221 if (inhibit_modification_hooks)
2222 return;
2223
2224 /* If we are deferring calls to the after-change functions
2225 and there are no before-change functions,
2226 just record the args that we were going to use. */
2227 if (! NILP (Vcombine_after_change_calls)
2228 && NILP (Vbefore_change_functions)
2229 && !current_buffer->overlays_before
2230 && !current_buffer->overlays_after)
2231 {
2232 Lisp_Object elt;
2233
2234 if (!NILP (combine_after_change_list)
2235 && current_buffer != XBUFFER (combine_after_change_buffer))
2236 Fcombine_after_change_execute ();
2237
2238 elt = Fcons (make_number (charpos - BEG),
2239 Fcons (make_number (Z - (charpos - lendel + lenins)),
2240 Fcons (make_number (lenins - lendel), Qnil)));
2241 combine_after_change_list
2242 = Fcons (elt, combine_after_change_list);
2243 combine_after_change_buffer = Fcurrent_buffer ();
2244
2245 return;
2246 }
2247
2248 if (!NILP (combine_after_change_list))
2249 Fcombine_after_change_execute ();
2250
2251 if (!NILP (Vafter_change_functions))
2252 {
2253 Lisp_Object args[4];
2254 Lisp_Object before_change_functions;
2255 Lisp_Object after_change_functions;
2256 struct buffer *old = current_buffer;
2257 struct buffer *new;
2258 struct gcpro gcpro1, gcpro2;
2259
2260 /* "Bind" before-change-functions and after-change-functions
2261 to nil--but in a way that errors don't know about.
2262 That way, if there's an error in them, they will stay nil. */
2263 before_change_functions = Vbefore_change_functions;
2264 after_change_functions = Vafter_change_functions;
2265 Vbefore_change_functions = Qnil;
2266 Vafter_change_functions = Qnil;
2267 GCPRO2 (before_change_functions, after_change_functions);
2268
2269 /* Actually run the hook functions. */
2270 args[0] = Qafter_change_functions;
2271 XSETFASTINT (args[1], charpos);
2272 XSETFASTINT (args[2], charpos + lenins);
2273 XSETFASTINT (args[3], lendel);
2274 run_hook_list_with_args (after_change_functions,
2275 4, args);
2276
2277 /* "Unbind" the variables we "bound" to nil. Beware a
2278 buffer-local hook which changes the buffer when run (e.g. W3). */
2279 if (old != current_buffer)
2280 {
2281 new = current_buffer;
2282 set_buffer_internal (old);
2283 Vbefore_change_functions = before_change_functions;
2284 Vafter_change_functions = after_change_functions;
2285 set_buffer_internal (new);
2286 }
2287 else
2288 {
2289 Vbefore_change_functions = before_change_functions;
2290 Vafter_change_functions = after_change_functions;
2291 }
2292 UNGCPRO;
2293 }
2294
2295 if (current_buffer->overlays_before || current_buffer->overlays_after)
2296 report_overlay_modification (make_number (charpos),
2297 make_number (charpos + lenins),
2298 1,
2299 make_number (charpos),
2300 make_number (charpos + lenins),
2301 make_number (lendel));
2302
2303 /* After an insertion, call the text properties
2304 insert-behind-hooks or insert-in-front-hooks. */
2305 if (lendel == 0)
2306 report_interval_modification (make_number (charpos),
2307 make_number (charpos + lenins));
2308 }
2309
2310 Lisp_Object
2311 Fcombine_after_change_execute_1 (val)
2312 Lisp_Object val;
2313 {
2314 Vcombine_after_change_calls = val;
2315 return val;
2316 }
2317
2318 DEFUN ("combine-after-change-execute", Fcombine_after_change_execute,
2319 Scombine_after_change_execute, 0, 0, 0,
2320 doc: /* This function is for use internally in `combine-after-change-calls'. */)
2321 ()
2322 {
2323 int count = SPECPDL_INDEX ();
2324 int beg, end, change;
2325 int begpos, endpos;
2326 Lisp_Object tail;
2327
2328 if (NILP (combine_after_change_list))
2329 return Qnil;
2330
2331 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
2332
2333 Fset_buffer (combine_after_change_buffer);
2334
2335 /* # chars unchanged at beginning of buffer. */
2336 beg = Z - BEG;
2337 /* # chars unchanged at end of buffer. */
2338 end = beg;
2339 /* Total amount of insertion (negative for deletion). */
2340 change = 0;
2341
2342 /* Scan the various individual changes,
2343 accumulating the range info in BEG, END and CHANGE. */
2344 for (tail = combine_after_change_list; CONSP (tail);
2345 tail = XCDR (tail))
2346 {
2347 Lisp_Object elt;
2348 int thisbeg, thisend, thischange;
2349
2350 /* Extract the info from the next element. */
2351 elt = XCAR (tail);
2352 if (! CONSP (elt))
2353 continue;
2354 thisbeg = XINT (XCAR (elt));
2355
2356 elt = XCDR (elt);
2357 if (! CONSP (elt))
2358 continue;
2359 thisend = XINT (XCAR (elt));
2360
2361 elt = XCDR (elt);
2362 if (! CONSP (elt))
2363 continue;
2364 thischange = XINT (XCAR (elt));
2365
2366 /* Merge this range into the accumulated range. */
2367 change += thischange;
2368 if (thisbeg < beg)
2369 beg = thisbeg;
2370 if (thisend < end)
2371 end = thisend;
2372 }
2373
2374 /* Get the current start and end positions of the range
2375 that was changed. */
2376 begpos = BEG + beg;
2377 endpos = Z - end;
2378
2379 /* We are about to handle these, so discard them. */
2380 combine_after_change_list = Qnil;
2381
2382 /* Now run the after-change functions for real.
2383 Turn off the flag that defers them. */
2384 record_unwind_protect (Fcombine_after_change_execute_1,
2385 Vcombine_after_change_calls);
2386 signal_after_change (begpos, endpos - begpos - change, endpos - begpos);
2387 update_compositions (begpos, endpos, CHECK_ALL);
2388
2389 return unbind_to (count, Qnil);
2390 }
2391 \f
2392 void
2393 syms_of_insdel ()
2394 {
2395 staticpro (&combine_after_change_list);
2396 combine_after_change_list = Qnil;
2397 combine_after_change_buffer = Qnil;
2398
2399 DEFVAR_BOOL ("check-markers-debug-flag", &check_markers_debug_flag,
2400 doc: /* Non-nil means enable debugging checks for invalid marker positions. */);
2401 check_markers_debug_flag = 0;
2402 DEFVAR_LISP ("combine-after-change-calls", &Vcombine_after_change_calls,
2403 doc: /* Used internally by the `combine-after-change-calls' macro. */);
2404 Vcombine_after_change_calls = Qnil;
2405
2406 DEFVAR_BOOL ("inhibit-modification-hooks", &inhibit_modification_hooks,
2407 doc: /* Non-nil means don't run any of the hooks that respond to buffer changes.
2408 This affects `before-change-functions' and `after-change-functions',
2409 as well as hooks attached to text properties and overlays. */);
2410 inhibit_modification_hooks = 0;
2411 Qinhibit_modification_hooks = intern ("inhibit-modification-hooks");
2412 staticpro (&Qinhibit_modification_hooks);
2413
2414 defsubr (&Scombine_after_change_execute);
2415 }
2416
2417 /* arch-tag: 9b34b886-47d7-465e-a234-299af411b23d
2418 (do not change this comment) */