* src/window.c (get_phys_cursor_glyph): Fix Lisp_Object/int mixup.
[emacs.git] / src / insdel.c
blobe39a362eac705ca089d18aa19c9ea1ae74c59a8b
1 /* Buffer insertion/deletion and gap motion for GNU Emacs.
2 Copyright (C) 1985-1986, 1993-1995, 1997-2011
3 Free Software Foundation, Inc.
5 This file is part of GNU Emacs.
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 3 of the License, or
10 (at your option) any later version.
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.
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
21 #include <config.h>
22 #include <setjmp.h>
24 #include <intprops.h>
26 #include "lisp.h"
27 #include "intervals.h"
28 #include "buffer.h"
29 #include "character.h"
30 #include "window.h"
31 #include "blockinput.h"
32 #include "region-cache.h"
34 #ifndef NULL
35 #define NULL 0
36 #endif
38 static void insert_from_string_1 (Lisp_Object string,
39 EMACS_INT pos, EMACS_INT pos_byte,
40 EMACS_INT nchars, EMACS_INT nbytes,
41 int inherit, int before_markers);
42 static void insert_from_buffer_1 (struct buffer *buf,
43 EMACS_INT from, EMACS_INT nchars,
44 int inherit);
45 static void gap_left (EMACS_INT charpos, EMACS_INT bytepos, int newgap);
46 static void gap_right (EMACS_INT charpos, EMACS_INT bytepos);
48 static Lisp_Object Fcombine_after_change_execute (void);
50 /* List of elements of the form (BEG-UNCHANGED END-UNCHANGED CHANGE-AMOUNT)
51 describing changes which happened while combine_after_change_calls
52 was nonzero. We use this to decide how to call them
53 once the deferral ends.
55 In each element.
56 BEG-UNCHANGED is the number of chars before the changed range.
57 END-UNCHANGED is the number of chars after the changed range,
58 and CHANGE-AMOUNT is the number of characters inserted by the change
59 (negative for a deletion). */
60 static Lisp_Object combine_after_change_list;
62 /* Buffer which combine_after_change_list is about. */
63 static Lisp_Object combine_after_change_buffer;
65 Lisp_Object Qinhibit_modification_hooks;
67 static void signal_before_change (EMACS_INT, EMACS_INT, EMACS_INT *);
69 #define CHECK_MARKERS() \
70 do \
71 { \
72 if (check_markers_debug_flag) \
73 check_markers (); \
74 } \
75 while (0)
77 static void
78 check_markers (void)
80 register struct Lisp_Marker *tail;
81 int multibyte = ! NILP (BVAR (current_buffer, enable_multibyte_characters));
83 for (tail = BUF_MARKERS (current_buffer); tail; tail = tail->next)
85 if (tail->buffer->text != current_buffer->text)
86 abort ();
87 if (tail->charpos > Z)
88 abort ();
89 if (tail->bytepos > Z_BYTE)
90 abort ();
91 if (multibyte && ! CHAR_HEAD_P (FETCH_BYTE (tail->bytepos)))
92 abort ();
96 /* Move gap to position CHARPOS.
97 Note that this can quit! */
99 void
100 move_gap (EMACS_INT charpos)
102 move_gap_both (charpos, charpos_to_bytepos (charpos));
105 /* Move gap to byte position BYTEPOS, which is also char position CHARPOS.
106 Note that this can quit! */
108 void
109 move_gap_both (EMACS_INT charpos, EMACS_INT bytepos)
111 if (bytepos < GPT_BYTE)
112 gap_left (charpos, bytepos, 0);
113 else if (bytepos > GPT_BYTE)
114 gap_right (charpos, bytepos);
117 /* Move the gap to a position less than the current GPT.
118 BYTEPOS describes the new position as a byte position,
119 and CHARPOS is the corresponding char position.
120 If NEWGAP is nonzero, then don't update beg_unchanged and end_unchanged. */
122 static void
123 gap_left (EMACS_INT charpos, EMACS_INT bytepos, int newgap)
125 register unsigned char *to, *from;
126 register EMACS_INT i;
127 EMACS_INT new_s1;
129 if (!newgap)
130 BUF_COMPUTE_UNCHANGED (current_buffer, charpos, GPT);
132 i = GPT_BYTE;
133 to = GAP_END_ADDR;
134 from = GPT_ADDR;
135 new_s1 = GPT_BYTE;
137 /* Now copy the characters. To move the gap down,
138 copy characters up. */
140 while (1)
142 /* I gets number of characters left to copy. */
143 i = new_s1 - bytepos;
144 if (i == 0)
145 break;
146 /* If a quit is requested, stop copying now.
147 Change BYTEPOS to be where we have actually moved the gap to. */
148 if (QUITP)
150 bytepos = new_s1;
151 charpos = BYTE_TO_CHAR (bytepos);
152 break;
154 /* Move at most 32000 chars before checking again for a quit. */
155 if (i > 32000)
156 i = 32000;
157 new_s1 -= i;
158 from -= i, to -= i;
159 memmove (to, from, i);
162 /* Adjust buffer data structure, to put the gap at BYTEPOS.
163 BYTEPOS is where the loop above stopped, which may be what
164 was specified or may be where a quit was detected. */
165 GPT_BYTE = bytepos;
166 GPT = charpos;
167 if (bytepos < charpos)
168 abort ();
169 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
170 QUIT;
173 /* Move the gap to a position greater than the current GPT.
174 BYTEPOS describes the new position as a byte position,
175 and CHARPOS is the corresponding char position. */
177 static void
178 gap_right (EMACS_INT charpos, EMACS_INT bytepos)
180 register unsigned char *to, *from;
181 register EMACS_INT i;
182 EMACS_INT new_s1;
184 BUF_COMPUTE_UNCHANGED (current_buffer, charpos, GPT);
186 i = GPT_BYTE;
187 from = GAP_END_ADDR;
188 to = GPT_ADDR;
189 new_s1 = GPT_BYTE;
191 /* Now copy the characters. To move the gap up,
192 copy characters down. */
194 while (1)
196 /* I gets number of characters left to copy. */
197 i = bytepos - new_s1;
198 if (i == 0)
199 break;
200 /* If a quit is requested, stop copying now.
201 Change BYTEPOS to be where we have actually moved the gap to. */
202 if (QUITP)
204 bytepos = new_s1;
205 charpos = BYTE_TO_CHAR (bytepos);
206 break;
208 /* Move at most 32000 chars before checking again for a quit. */
209 if (i > 32000)
210 i = 32000;
211 new_s1 += i;
212 memmove (to, from, i);
213 from += i, to += i;
216 GPT = charpos;
217 GPT_BYTE = bytepos;
218 if (bytepos < charpos)
219 abort ();
220 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
221 QUIT;
224 /* Adjust all markers for a deletion
225 whose range in bytes is FROM_BYTE to TO_BYTE.
226 The range in charpos is FROM to TO.
228 This function assumes that the gap is adjacent to
229 or inside of the range being deleted. */
231 void
232 adjust_markers_for_delete (EMACS_INT from, EMACS_INT from_byte,
233 EMACS_INT to, EMACS_INT to_byte)
235 Lisp_Object marker;
236 register struct Lisp_Marker *m;
237 register EMACS_INT charpos;
239 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
241 charpos = m->charpos;
243 if (charpos > Z)
244 abort ();
246 /* If the marker is after the deletion,
247 relocate by number of chars / bytes deleted. */
248 if (charpos > to)
250 m->charpos -= to - from;
251 m->bytepos -= to_byte - from_byte;
253 /* Here's the case where a marker is inside text being deleted. */
254 else if (charpos > from)
256 if (! m->insertion_type)
257 { /* Normal markers will end up at the beginning of the
258 re-inserted text after undoing a deletion, and must be
259 adjusted to move them to the correct place. */
260 XSETMISC (marker, m);
261 record_marker_adjustment (marker, from - charpos);
263 else if (charpos < to)
264 { /* Before-insertion markers will automatically move forward
265 upon re-inserting the deleted text, so we have to arrange
266 for them to move backward to the correct position. */
267 XSETMISC (marker, m);
268 record_marker_adjustment (marker, to - charpos);
270 m->charpos = from;
271 m->bytepos = from_byte;
273 /* Here's the case where a before-insertion marker is immediately
274 before the deleted region. */
275 else if (charpos == from && m->insertion_type)
277 /* Undoing the change uses normal insertion, which will
278 incorrectly make MARKER move forward, so we arrange for it
279 to then move backward to the correct place at the beginning
280 of the deleted region. */
281 XSETMISC (marker, m);
282 record_marker_adjustment (marker, to - from);
288 /* Adjust markers for an insertion that stretches from FROM / FROM_BYTE
289 to TO / TO_BYTE. We have to relocate the charpos of every marker
290 that points after the insertion (but not their bytepos).
292 When a marker points at the insertion point,
293 we advance it if either its insertion-type is t
294 or BEFORE_MARKERS is true. */
296 static void
297 adjust_markers_for_insert (EMACS_INT from, EMACS_INT from_byte,
298 EMACS_INT to, EMACS_INT to_byte, int before_markers)
300 struct Lisp_Marker *m;
301 int adjusted = 0;
302 EMACS_INT nchars = to - from;
303 EMACS_INT nbytes = to_byte - from_byte;
305 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
307 eassert (m->bytepos >= m->charpos
308 && m->bytepos - m->charpos <= Z_BYTE - Z);
310 if (m->bytepos == from_byte)
312 if (m->insertion_type || before_markers)
314 m->bytepos = to_byte;
315 m->charpos = to;
316 if (m->insertion_type)
317 adjusted = 1;
320 else if (m->bytepos > from_byte)
322 m->bytepos += nbytes;
323 m->charpos += nchars;
327 /* Adjusting only markers whose insertion-type is t may result in
328 - disordered start and end in overlays, and
329 - disordered overlays in the slot `overlays_before' of current_buffer. */
330 if (adjusted)
332 fix_start_end_in_overlays (from, to);
333 fix_overlays_before (current_buffer, from, to);
337 /* Adjust point for an insertion of NBYTES bytes, which are NCHARS characters.
339 This is used only when the value of point changes due to an insert
340 or delete; it does not represent a conceptual change in point as a
341 marker. In particular, point is not crossing any interval
342 boundaries, so there's no need to use the usual SET_PT macro. In
343 fact it would be incorrect to do so, because either the old or the
344 new value of point is out of sync with the current set of
345 intervals. */
347 static void
348 adjust_point (EMACS_INT nchars, EMACS_INT nbytes)
350 SET_BUF_PT_BOTH (current_buffer, PT + nchars, PT_BYTE + nbytes);
351 /* In a single-byte buffer, the two positions must be equal. */
352 eassert (PT_BYTE >= PT && PT_BYTE - PT <= ZV_BYTE - ZV);
355 /* Adjust markers for a replacement of a text at FROM (FROM_BYTE) of
356 length OLD_CHARS (OLD_BYTES) to a new text of length NEW_CHARS
357 (NEW_BYTES). It is assumed that OLD_CHARS > 0, i.e., this is not
358 an insertion. */
360 static void
361 adjust_markers_for_replace (EMACS_INT from, EMACS_INT from_byte,
362 EMACS_INT old_chars, EMACS_INT old_bytes,
363 EMACS_INT new_chars, EMACS_INT new_bytes)
365 register struct Lisp_Marker *m;
366 EMACS_INT prev_to_byte = from_byte + old_bytes;
367 EMACS_INT diff_chars = new_chars - old_chars;
368 EMACS_INT diff_bytes = new_bytes - old_bytes;
370 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
372 if (m->bytepos >= prev_to_byte)
374 m->charpos += diff_chars;
375 m->bytepos += diff_bytes;
377 else if (m->bytepos > from_byte)
379 m->charpos = from;
380 m->bytepos = from_byte;
384 CHECK_MARKERS ();
388 void
389 buffer_overflow (void)
391 error ("Maximum buffer size exceeded");
394 /* Make the gap NBYTES_ADDED bytes longer. */
396 static void
397 make_gap_larger (EMACS_INT nbytes_added)
399 Lisp_Object tem;
400 EMACS_INT real_gap_loc;
401 EMACS_INT real_gap_loc_byte;
402 EMACS_INT old_gap_size;
403 EMACS_INT current_size = Z_BYTE - BEG_BYTE + GAP_SIZE;
404 enum { enough_for_a_while = 2000 };
406 if (BUF_BYTES_MAX - current_size < nbytes_added)
407 buffer_overflow ();
409 /* If we have to get more space, get enough to last a while;
410 but do not exceed the maximum buffer size. */
411 nbytes_added = min (nbytes_added + enough_for_a_while,
412 BUF_BYTES_MAX - current_size);
414 enlarge_buffer_text (current_buffer, nbytes_added);
416 /* Prevent quitting in move_gap. */
417 tem = Vinhibit_quit;
418 Vinhibit_quit = Qt;
420 real_gap_loc = GPT;
421 real_gap_loc_byte = GPT_BYTE;
422 old_gap_size = GAP_SIZE;
424 /* Call the newly allocated space a gap at the end of the whole space. */
425 GPT = Z + GAP_SIZE;
426 GPT_BYTE = Z_BYTE + GAP_SIZE;
427 GAP_SIZE = nbytes_added;
429 /* Move the new gap down to be consecutive with the end of the old one.
430 This adjusts the markers properly too. */
431 gap_left (real_gap_loc + old_gap_size, real_gap_loc_byte + old_gap_size, 1);
433 /* Now combine the two into one large gap. */
434 GAP_SIZE += old_gap_size;
435 GPT = real_gap_loc;
436 GPT_BYTE = real_gap_loc_byte;
438 /* Put an anchor. */
439 *(Z_ADDR) = 0;
441 Vinhibit_quit = tem;
444 #if defined USE_MMAP_FOR_BUFFERS || defined REL_ALLOC || defined DOUG_LEA_MALLOC
446 /* Make the gap NBYTES_REMOVED bytes shorter. */
448 static void
449 make_gap_smaller (EMACS_INT nbytes_removed)
451 Lisp_Object tem;
452 EMACS_INT real_gap_loc;
453 EMACS_INT real_gap_loc_byte;
454 EMACS_INT real_Z;
455 EMACS_INT real_Z_byte;
456 EMACS_INT real_beg_unchanged;
457 EMACS_INT new_gap_size;
459 /* Make sure the gap is at least 20 bytes. */
460 if (GAP_SIZE - nbytes_removed < 20)
461 nbytes_removed = GAP_SIZE - 20;
463 /* Prevent quitting in move_gap. */
464 tem = Vinhibit_quit;
465 Vinhibit_quit = Qt;
467 real_gap_loc = GPT;
468 real_gap_loc_byte = GPT_BYTE;
469 new_gap_size = GAP_SIZE - nbytes_removed;
470 real_Z = Z;
471 real_Z_byte = Z_BYTE;
472 real_beg_unchanged = BEG_UNCHANGED;
474 /* Pretend that the last unwanted part of the gap is the entire gap,
475 and that the first desired part of the gap is part of the buffer
476 text. */
477 memset (GPT_ADDR, 0, new_gap_size);
478 GPT += new_gap_size;
479 GPT_BYTE += new_gap_size;
480 Z += new_gap_size;
481 Z_BYTE += new_gap_size;
482 GAP_SIZE = nbytes_removed;
484 /* Move the unwanted pretend gap to the end of the buffer. This
485 adjusts the markers properly too. */
486 gap_right (Z, Z_BYTE);
488 enlarge_buffer_text (current_buffer, -nbytes_removed);
490 /* Now restore the desired gap. */
491 GAP_SIZE = new_gap_size;
492 GPT = real_gap_loc;
493 GPT_BYTE = real_gap_loc_byte;
494 Z = real_Z;
495 Z_BYTE = real_Z_byte;
496 BEG_UNCHANGED = real_beg_unchanged;
498 /* Put an anchor. */
499 *(Z_ADDR) = 0;
501 Vinhibit_quit = tem;
504 #endif /* USE_MMAP_FOR_BUFFERS || REL_ALLOC || DOUG_LEA_MALLOC */
506 void
507 make_gap (EMACS_INT nbytes_added)
509 if (nbytes_added >= 0)
510 make_gap_larger (nbytes_added);
511 #if defined USE_MMAP_FOR_BUFFERS || defined REL_ALLOC || defined DOUG_LEA_MALLOC
512 else
513 make_gap_smaller (-nbytes_added);
514 #endif
517 /* Copy NBYTES bytes of text from FROM_ADDR to TO_ADDR.
518 FROM_MULTIBYTE says whether the incoming text is multibyte.
519 TO_MULTIBYTE says whether to store the text as multibyte.
520 If FROM_MULTIBYTE != TO_MULTIBYTE, we convert.
522 Return the number of bytes stored at TO_ADDR. */
524 EMACS_INT
525 copy_text (const unsigned char *from_addr, unsigned char *to_addr,
526 EMACS_INT nbytes, int from_multibyte, int to_multibyte)
528 if (from_multibyte == to_multibyte)
530 memcpy (to_addr, from_addr, nbytes);
531 return nbytes;
533 else if (from_multibyte)
535 EMACS_INT nchars = 0;
536 EMACS_INT bytes_left = nbytes;
538 while (bytes_left > 0)
540 int thislen, c;
541 c = STRING_CHAR_AND_LENGTH (from_addr, thislen);
542 if (! ASCII_CHAR_P (c))
543 c &= 0xFF;
544 *to_addr++ = c;
545 from_addr += thislen;
546 bytes_left -= thislen;
547 nchars++;
549 return nchars;
551 else
553 unsigned char *initial_to_addr = to_addr;
555 /* Convert single-byte to multibyte. */
556 while (nbytes > 0)
558 int c = *from_addr++;
560 if (!ASCII_CHAR_P (c))
562 c = BYTE8_TO_CHAR (c);
563 to_addr += CHAR_STRING (c, to_addr);
564 nbytes--;
566 else
567 /* Special case for speed. */
568 *to_addr++ = c, nbytes--;
570 return to_addr - initial_to_addr;
574 /* Insert a string of specified length before point.
575 This function judges multibyteness based on
576 enable_multibyte_characters in the current buffer;
577 it never converts between single-byte and multibyte.
579 DO NOT use this for the contents of a Lisp string or a Lisp buffer!
580 prepare_to_modify_buffer could relocate the text. */
582 void
583 insert (const char *string, EMACS_INT nbytes)
585 if (nbytes > 0)
587 EMACS_INT len = chars_in_text ((unsigned char *) string, nbytes), opoint;
588 insert_1_both (string, len, nbytes, 0, 1, 0);
589 opoint = PT - len;
590 signal_after_change (opoint, 0, len);
591 update_compositions (opoint, PT, CHECK_BORDER);
595 /* Likewise, but inherit text properties from neighboring characters. */
597 void
598 insert_and_inherit (const char *string, EMACS_INT nbytes)
600 if (nbytes > 0)
602 EMACS_INT len = chars_in_text ((unsigned char *) string, nbytes), opoint;
603 insert_1_both (string, len, nbytes, 1, 1, 0);
604 opoint = PT - len;
605 signal_after_change (opoint, 0, len);
606 update_compositions (opoint, PT, CHECK_BORDER);
610 /* Insert the character C before point. Do not inherit text properties. */
612 void
613 insert_char (int c)
615 unsigned char str[MAX_MULTIBYTE_LENGTH];
616 int len;
618 if (! NILP (BVAR (current_buffer, enable_multibyte_characters)))
619 len = CHAR_STRING (c, str);
620 else
622 len = 1;
623 str[0] = c;
626 insert ((char *) str, len);
629 /* Insert the null-terminated string S before point. */
631 void
632 insert_string (const char *s)
634 insert (s, strlen (s));
637 /* Like `insert' except that all markers pointing at the place where
638 the insertion happens are adjusted to point after it.
639 Don't use this function to insert part of a Lisp string,
640 since gc could happen and relocate it. */
642 void
643 insert_before_markers (const char *string, EMACS_INT nbytes)
645 if (nbytes > 0)
647 EMACS_INT len = chars_in_text ((unsigned char *) string, nbytes), opoint;
648 insert_1_both (string, len, nbytes, 0, 1, 1);
649 opoint = PT - len;
650 signal_after_change (opoint, 0, len);
651 update_compositions (opoint, PT, CHECK_BORDER);
655 /* Likewise, but inherit text properties from neighboring characters. */
657 void
658 insert_before_markers_and_inherit (const char *string,
659 EMACS_INT nbytes)
661 if (nbytes > 0)
663 EMACS_INT len = chars_in_text ((unsigned char *) string, nbytes), opoint;
664 insert_1_both (string, len, nbytes, 1, 1, 1);
665 opoint = PT - len;
666 signal_after_change (opoint, 0, len);
667 update_compositions (opoint, PT, CHECK_BORDER);
671 /* Subroutine used by the insert functions above. */
673 void
674 insert_1 (const char *string, EMACS_INT nbytes,
675 int inherit, int prepare, int before_markers)
677 insert_1_both (string, chars_in_text ((unsigned char *) string, nbytes),
678 nbytes, inherit, prepare, before_markers);
682 #ifdef BYTE_COMBINING_DEBUG
684 /* See if the bytes before POS/POS_BYTE combine with bytes
685 at the start of STRING to form a single character.
686 If so, return the number of bytes at the start of STRING
687 which combine in this way. Otherwise, return 0. */
690 count_combining_before (const unsigned char *string, EMACS_INT length,
691 EMACS_INT pos, EMACS_INT pos_byte)
693 int len, combining_bytes;
694 const unsigned char *p;
696 if (NILP (current_buffer->enable_multibyte_characters))
697 return 0;
699 /* At first, we can exclude the following cases:
700 (1) STRING[0] can't be a following byte of multibyte sequence.
701 (2) POS is the start of the current buffer.
702 (3) A character before POS is not a multibyte character. */
703 if (length == 0 || CHAR_HEAD_P (*string)) /* case (1) */
704 return 0;
705 if (pos_byte == BEG_BYTE) /* case (2) */
706 return 0;
707 len = 1;
708 p = BYTE_POS_ADDR (pos_byte - 1);
709 while (! CHAR_HEAD_P (*p)) p--, len++;
710 if (! LEADING_CODE_P (*p)) /* case (3) */
711 return 0;
713 combining_bytes = BYTES_BY_CHAR_HEAD (*p) - len;
714 if (combining_bytes <= 0)
715 /* The character preceding POS is, complete and no room for
716 combining bytes (combining_bytes == 0), or an independent 8-bit
717 character (combining_bytes < 0). */
718 return 0;
720 /* We have a combination situation. Count the bytes at STRING that
721 may combine. */
722 p = string + 1;
723 while (!CHAR_HEAD_P (*p) && p < string + length)
724 p++;
726 return (combining_bytes < p - string ? combining_bytes : p - string);
729 /* See if the bytes after POS/POS_BYTE combine with bytes
730 at the end of STRING to form a single character.
731 If so, return the number of bytes after POS/POS_BYTE
732 which combine in this way. Otherwise, return 0. */
735 count_combining_after (const unsigned char *string,
736 EMACS_INT length, EMACS_INT pos, EMACS_INT pos_byte)
738 EMACS_INT opos_byte = pos_byte;
739 EMACS_INT i;
740 EMACS_INT bytes;
741 unsigned char *bufp;
743 if (NILP (current_buffer->enable_multibyte_characters))
744 return 0;
746 /* At first, we can exclude the following cases:
747 (1) The last byte of STRING is an ASCII.
748 (2) POS is the last of the current buffer.
749 (3) A character at POS can't be a following byte of multibyte
750 character. */
751 if (length > 0 && ASCII_BYTE_P (string[length - 1])) /* case (1) */
752 return 0;
753 if (pos_byte == Z_BYTE) /* case (2) */
754 return 0;
755 bufp = BYTE_POS_ADDR (pos_byte);
756 if (CHAR_HEAD_P (*bufp)) /* case (3) */
757 return 0;
759 i = length - 1;
760 while (i >= 0 && ! CHAR_HEAD_P (string[i]))
762 i--;
764 if (i < 0)
766 /* All characters in STRING are not character head. We must
767 check also preceding bytes at POS. We are sure that the gap
768 is at POS. */
769 unsigned char *p = BEG_ADDR;
770 i = pos_byte - 2;
771 while (i >= 0 && ! CHAR_HEAD_P (p[i]))
772 i--;
773 if (i < 0 || !LEADING_CODE_P (p[i]))
774 return 0;
776 bytes = BYTES_BY_CHAR_HEAD (p[i]);
777 return (bytes <= pos_byte - 1 - i + length
779 : bytes - (pos_byte - 1 - i + length));
781 if (!LEADING_CODE_P (string[i]))
782 return 0;
784 bytes = BYTES_BY_CHAR_HEAD (string[i]) - (length - i);
785 bufp++, pos_byte++;
786 while (!CHAR_HEAD_P (*bufp)) bufp++, pos_byte++;
788 return (bytes <= pos_byte - opos_byte ? bytes : pos_byte - opos_byte);
791 #endif
794 /* Insert a sequence of NCHARS chars which occupy NBYTES bytes
795 starting at STRING. INHERIT, PREPARE and BEFORE_MARKERS
796 are the same as in insert_1. */
798 void
799 insert_1_both (const char *string,
800 EMACS_INT nchars, EMACS_INT nbytes,
801 int inherit, int prepare, int before_markers)
803 if (nchars == 0)
804 return;
806 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
807 nchars = nbytes;
809 if (prepare)
810 /* Do this before moving and increasing the gap,
811 because the before-change hooks might move the gap
812 or make it smaller. */
813 prepare_to_modify_buffer (PT, PT, NULL);
815 if (PT != GPT)
816 move_gap_both (PT, PT_BYTE);
817 if (GAP_SIZE < nbytes)
818 make_gap (nbytes - GAP_SIZE);
820 #ifdef BYTE_COMBINING_DEBUG
821 if (count_combining_before (string, nbytes, PT, PT_BYTE)
822 || count_combining_after (string, nbytes, PT, PT_BYTE))
823 abort ();
824 #endif
826 /* Record deletion of the surrounding text that combines with
827 the insertion. This, together with recording the insertion,
828 will add up to the right stuff in the undo list. */
829 record_insert (PT, nchars);
830 MODIFF++;
831 CHARS_MODIFF = MODIFF;
833 memcpy (GPT_ADDR, string, nbytes);
835 GAP_SIZE -= nbytes;
836 GPT += nchars;
837 ZV += nchars;
838 Z += nchars;
839 GPT_BYTE += nbytes;
840 ZV_BYTE += nbytes;
841 Z_BYTE += nbytes;
842 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
844 if (GPT_BYTE < GPT)
845 abort ();
847 /* The insert may have been in the unchanged region, so check again. */
848 if (Z - GPT < END_UNCHANGED)
849 END_UNCHANGED = Z - GPT;
851 adjust_overlays_for_insert (PT, nchars);
852 adjust_markers_for_insert (PT, PT_BYTE,
853 PT + nchars, PT_BYTE + nbytes,
854 before_markers);
856 if (BUF_INTERVALS (current_buffer) != 0)
857 offset_intervals (current_buffer, PT, nchars);
859 if (!inherit && BUF_INTERVALS (current_buffer) != 0)
860 set_text_properties (make_number (PT), make_number (PT + nchars),
861 Qnil, Qnil, Qnil);
863 adjust_point (nchars, nbytes);
865 CHECK_MARKERS ();
868 /* Insert the part of the text of STRING, a Lisp object assumed to be
869 of type string, consisting of the LENGTH characters (LENGTH_BYTE bytes)
870 starting at position POS / POS_BYTE. If the text of STRING has properties,
871 copy them into the buffer.
873 It does not work to use `insert' for this, because a GC could happen
874 before we copy the stuff into the buffer, and relocate the string
875 without insert noticing. */
877 void
878 insert_from_string (Lisp_Object string, EMACS_INT pos, EMACS_INT pos_byte,
879 EMACS_INT length, EMACS_INT length_byte, int inherit)
881 EMACS_INT opoint = PT;
883 if (SCHARS (string) == 0)
884 return;
886 insert_from_string_1 (string, pos, pos_byte, length, length_byte,
887 inherit, 0);
888 signal_after_change (opoint, 0, PT - opoint);
889 update_compositions (opoint, PT, CHECK_BORDER);
892 /* Like `insert_from_string' except that all markers pointing
893 at the place where the insertion happens are adjusted to point after it. */
895 void
896 insert_from_string_before_markers (Lisp_Object string,
897 EMACS_INT pos, EMACS_INT pos_byte,
898 EMACS_INT length, EMACS_INT length_byte,
899 int inherit)
901 EMACS_INT opoint = PT;
903 if (SCHARS (string) == 0)
904 return;
906 insert_from_string_1 (string, pos, pos_byte, length, length_byte,
907 inherit, 1);
908 signal_after_change (opoint, 0, PT - opoint);
909 update_compositions (opoint, PT, CHECK_BORDER);
912 /* Subroutine of the insertion functions above. */
914 static void
915 insert_from_string_1 (Lisp_Object string, EMACS_INT pos, EMACS_INT pos_byte,
916 EMACS_INT nchars, EMACS_INT nbytes,
917 int inherit, int before_markers)
919 struct gcpro gcpro1;
920 EMACS_INT outgoing_nbytes = nbytes;
921 INTERVAL intervals;
923 /* Make OUTGOING_NBYTES describe the text
924 as it will be inserted in this buffer. */
926 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
927 outgoing_nbytes = nchars;
928 else if (! STRING_MULTIBYTE (string))
929 outgoing_nbytes
930 = count_size_as_multibyte (SDATA (string) + pos_byte,
931 nbytes);
933 GCPRO1 (string);
934 /* Do this before moving and increasing the gap,
935 because the before-change hooks might move the gap
936 or make it smaller. */
937 prepare_to_modify_buffer (PT, PT, NULL);
939 if (PT != GPT)
940 move_gap_both (PT, PT_BYTE);
941 if (GAP_SIZE < outgoing_nbytes)
942 make_gap (outgoing_nbytes - GAP_SIZE);
943 UNGCPRO;
945 /* Copy the string text into the buffer, perhaps converting
946 between single-byte and multibyte. */
947 copy_text (SDATA (string) + pos_byte, GPT_ADDR, nbytes,
948 STRING_MULTIBYTE (string),
949 ! NILP (BVAR (current_buffer, enable_multibyte_characters)));
951 #ifdef BYTE_COMBINING_DEBUG
952 /* We have copied text into the gap, but we have not altered
953 PT or PT_BYTE yet. So we can pass PT and PT_BYTE
954 to these functions and get the same results as we would
955 have got earlier on. Meanwhile, PT_ADDR does point to
956 the text that has been stored by copy_text. */
957 if (count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE)
958 || count_combining_after (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE))
959 abort ();
960 #endif
962 record_insert (PT, nchars);
963 MODIFF++;
964 CHARS_MODIFF = MODIFF;
966 GAP_SIZE -= outgoing_nbytes;
967 GPT += nchars;
968 ZV += nchars;
969 Z += nchars;
970 GPT_BYTE += outgoing_nbytes;
971 ZV_BYTE += outgoing_nbytes;
972 Z_BYTE += outgoing_nbytes;
973 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
975 if (GPT_BYTE < GPT)
976 abort ();
978 /* The insert may have been in the unchanged region, so check again. */
979 if (Z - GPT < END_UNCHANGED)
980 END_UNCHANGED = Z - GPT;
982 adjust_overlays_for_insert (PT, nchars);
983 adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
984 PT_BYTE + outgoing_nbytes,
985 before_markers);
987 offset_intervals (current_buffer, PT, nchars);
989 intervals = STRING_INTERVALS (string);
990 /* Get the intervals for the part of the string we are inserting. */
991 if (nbytes < SBYTES (string))
992 intervals = copy_intervals (intervals, pos, nchars);
994 /* Insert those intervals. */
995 graft_intervals_into_buffer (intervals, PT, nchars,
996 current_buffer, inherit);
998 adjust_point (nchars, outgoing_nbytes);
1000 CHECK_MARKERS ();
1003 /* Insert a sequence of NCHARS chars which occupy NBYTES bytes
1004 starting at GPT_ADDR. */
1006 void
1007 insert_from_gap (EMACS_INT nchars, EMACS_INT nbytes)
1009 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
1010 nchars = nbytes;
1012 record_insert (GPT, nchars);
1013 MODIFF++;
1015 GAP_SIZE -= nbytes;
1016 GPT += nchars;
1017 ZV += nchars;
1018 Z += nchars;
1019 GPT_BYTE += nbytes;
1020 ZV_BYTE += nbytes;
1021 Z_BYTE += nbytes;
1022 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1024 if (GPT_BYTE < GPT)
1025 abort ();
1027 adjust_overlays_for_insert (GPT - nchars, nchars);
1028 adjust_markers_for_insert (GPT - nchars, GPT_BYTE - nbytes,
1029 GPT, GPT_BYTE, 0);
1031 if (BUF_INTERVALS (current_buffer) != 0)
1033 offset_intervals (current_buffer, GPT - nchars, nchars);
1034 graft_intervals_into_buffer (NULL_INTERVAL, GPT - nchars, nchars,
1035 current_buffer, 0);
1038 if (GPT - nchars < PT)
1039 adjust_point (nchars, nbytes);
1041 CHECK_MARKERS ();
1044 /* Insert text from BUF, NCHARS characters starting at CHARPOS, into the
1045 current buffer. If the text in BUF has properties, they are absorbed
1046 into the current buffer.
1048 It does not work to use `insert' for this, because a malloc could happen
1049 and relocate BUF's text before the copy happens. */
1051 void
1052 insert_from_buffer (struct buffer *buf,
1053 EMACS_INT charpos, EMACS_INT nchars, int inherit)
1055 EMACS_INT opoint = PT;
1057 insert_from_buffer_1 (buf, charpos, nchars, inherit);
1058 signal_after_change (opoint, 0, PT - opoint);
1059 update_compositions (opoint, PT, CHECK_BORDER);
1062 static void
1063 insert_from_buffer_1 (struct buffer *buf,
1064 EMACS_INT from, EMACS_INT nchars, int inherit)
1066 EMACS_INT chunk, chunk_expanded;
1067 EMACS_INT from_byte = buf_charpos_to_bytepos (buf, from);
1068 EMACS_INT to_byte = buf_charpos_to_bytepos (buf, from + nchars);
1069 EMACS_INT incoming_nbytes = to_byte - from_byte;
1070 EMACS_INT outgoing_nbytes = incoming_nbytes;
1071 INTERVAL intervals;
1073 /* Make OUTGOING_NBYTES describe the text
1074 as it will be inserted in this buffer. */
1076 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
1077 outgoing_nbytes = nchars;
1078 else if (NILP (BVAR (buf, enable_multibyte_characters)))
1080 EMACS_INT outgoing_before_gap = 0;
1081 EMACS_INT outgoing_after_gap = 0;
1083 if (from < BUF_GPT (buf))
1085 chunk = BUF_GPT_BYTE (buf) - from_byte;
1086 if (chunk > incoming_nbytes)
1087 chunk = incoming_nbytes;
1088 outgoing_before_gap
1089 = count_size_as_multibyte (BUF_BYTE_ADDRESS (buf, from_byte),
1090 chunk);
1092 else
1093 chunk = 0;
1095 if (chunk < incoming_nbytes)
1096 outgoing_after_gap
1097 = count_size_as_multibyte (BUF_BYTE_ADDRESS (buf,
1098 from_byte + chunk),
1099 incoming_nbytes - chunk);
1101 outgoing_nbytes = outgoing_before_gap + outgoing_after_gap;
1104 /* Do this before moving and increasing the gap,
1105 because the before-change hooks might move the gap
1106 or make it smaller. */
1107 prepare_to_modify_buffer (PT, PT, NULL);
1109 if (PT != GPT)
1110 move_gap_both (PT, PT_BYTE);
1111 if (GAP_SIZE < outgoing_nbytes)
1112 make_gap (outgoing_nbytes - GAP_SIZE);
1114 if (from < BUF_GPT (buf))
1116 chunk = BUF_GPT_BYTE (buf) - from_byte;
1117 if (chunk > incoming_nbytes)
1118 chunk = incoming_nbytes;
1119 /* Record number of output bytes, so we know where
1120 to put the output from the second copy_text. */
1121 chunk_expanded
1122 = copy_text (BUF_BYTE_ADDRESS (buf, from_byte),
1123 GPT_ADDR, chunk,
1124 ! NILP (BVAR (buf, enable_multibyte_characters)),
1125 ! NILP (BVAR (current_buffer, enable_multibyte_characters)));
1127 else
1128 chunk_expanded = chunk = 0;
1130 if (chunk < incoming_nbytes)
1131 copy_text (BUF_BYTE_ADDRESS (buf, from_byte + chunk),
1132 GPT_ADDR + chunk_expanded, incoming_nbytes - chunk,
1133 ! NILP (BVAR (buf, enable_multibyte_characters)),
1134 ! NILP (BVAR (current_buffer, enable_multibyte_characters)));
1136 #ifdef BYTE_COMBINING_DEBUG
1137 /* We have copied text into the gap, but we have not altered
1138 PT or PT_BYTE yet. So we can pass PT and PT_BYTE
1139 to these functions and get the same results as we would
1140 have got earlier on. Meanwhile, GPT_ADDR does point to
1141 the text that has been stored by copy_text. */
1142 if (count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE)
1143 || count_combining_after (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE))
1144 abort ();
1145 #endif
1147 record_insert (PT, nchars);
1148 MODIFF++;
1149 CHARS_MODIFF = MODIFF;
1151 GAP_SIZE -= outgoing_nbytes;
1152 GPT += nchars;
1153 ZV += nchars;
1154 Z += nchars;
1155 GPT_BYTE += outgoing_nbytes;
1156 ZV_BYTE += outgoing_nbytes;
1157 Z_BYTE += outgoing_nbytes;
1158 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1160 if (GPT_BYTE < GPT)
1161 abort ();
1163 /* The insert may have been in the unchanged region, so check again. */
1164 if (Z - GPT < END_UNCHANGED)
1165 END_UNCHANGED = Z - GPT;
1167 adjust_overlays_for_insert (PT, nchars);
1168 adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
1169 PT_BYTE + outgoing_nbytes,
1172 if (BUF_INTERVALS (current_buffer) != 0)
1173 offset_intervals (current_buffer, PT, nchars);
1175 /* Get the intervals for the part of the string we are inserting. */
1176 intervals = BUF_INTERVALS (buf);
1177 if (nchars < BUF_Z (buf) - BUF_BEG (buf))
1179 if (buf == current_buffer && PT <= from)
1180 from += nchars;
1181 intervals = copy_intervals (intervals, from, nchars);
1184 /* Insert those intervals. */
1185 graft_intervals_into_buffer (intervals, PT, nchars, current_buffer, inherit);
1187 adjust_point (nchars, outgoing_nbytes);
1190 /* Record undo information and adjust markers and position keepers for
1191 a replacement of a text PREV_TEXT at FROM to a new text of LEN
1192 chars (LEN_BYTE bytes) which resides in the gap just after
1193 GPT_ADDR.
1195 PREV_TEXT nil means the new text was just inserted. */
1197 static void
1198 adjust_after_replace (EMACS_INT from, EMACS_INT from_byte,
1199 Lisp_Object prev_text, EMACS_INT len, EMACS_INT len_byte)
1201 EMACS_INT nchars_del = 0, nbytes_del = 0;
1203 #ifdef BYTE_COMBINING_DEBUG
1204 if (count_combining_before (GPT_ADDR, len_byte, from, from_byte)
1205 || count_combining_after (GPT_ADDR, len_byte, from, from_byte))
1206 abort ();
1207 #endif
1209 if (STRINGP (prev_text))
1211 nchars_del = SCHARS (prev_text);
1212 nbytes_del = SBYTES (prev_text);
1215 /* Update various buffer positions for the new text. */
1216 GAP_SIZE -= len_byte;
1217 ZV += len; Z+= len;
1218 ZV_BYTE += len_byte; Z_BYTE += len_byte;
1219 GPT += len; GPT_BYTE += len_byte;
1220 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1222 if (nchars_del > 0)
1223 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1224 len, len_byte);
1225 else
1226 adjust_markers_for_insert (from, from_byte,
1227 from + len, from_byte + len_byte, 0);
1229 if (! EQ (BVAR (current_buffer, undo_list), Qt))
1231 if (nchars_del > 0)
1232 record_delete (from, prev_text);
1233 record_insert (from, len);
1236 if (len > nchars_del)
1237 adjust_overlays_for_insert (from, len - nchars_del);
1238 else if (len < nchars_del)
1239 adjust_overlays_for_delete (from, nchars_del - len);
1240 if (BUF_INTERVALS (current_buffer) != 0)
1242 offset_intervals (current_buffer, from, len - nchars_del);
1245 if (from < PT)
1246 adjust_point (len - nchars_del, len_byte - nbytes_del);
1248 /* As byte combining will decrease Z, we must check this again. */
1249 if (Z - GPT < END_UNCHANGED)
1250 END_UNCHANGED = Z - GPT;
1252 CHECK_MARKERS ();
1254 if (len == 0)
1255 evaporate_overlays (from);
1256 MODIFF++;
1257 CHARS_MODIFF = MODIFF;
1260 /* Record undo information, adjust markers and position keepers for an
1261 insertion of a text from FROM (FROM_BYTE) to TO (TO_BYTE). The
1262 text already exists in the current buffer but character length (TO
1263 - FROM) may be incorrect, the correct length is NEWLEN. */
1265 void
1266 adjust_after_insert (EMACS_INT from, EMACS_INT from_byte,
1267 EMACS_INT to, EMACS_INT to_byte, EMACS_INT newlen)
1269 EMACS_INT len = to - from, len_byte = to_byte - from_byte;
1271 if (GPT != to)
1272 move_gap_both (to, to_byte);
1273 GAP_SIZE += len_byte;
1274 GPT -= len; GPT_BYTE -= len_byte;
1275 ZV -= len; ZV_BYTE -= len_byte;
1276 Z -= len; Z_BYTE -= len_byte;
1277 adjust_after_replace (from, from_byte, Qnil, newlen, len_byte);
1280 /* Replace the text from character positions FROM to TO with NEW,
1281 If PREPARE is nonzero, call prepare_to_modify_buffer.
1282 If INHERIT, the newly inserted text should inherit text properties
1283 from the surrounding non-deleted text. */
1285 /* Note that this does not yet handle markers quite right.
1286 Also it needs to record a single undo-entry that does a replacement
1287 rather than a separate delete and insert.
1288 That way, undo will also handle markers properly.
1290 But if MARKERS is 0, don't relocate markers. */
1292 void
1293 replace_range (EMACS_INT from, EMACS_INT to, Lisp_Object new,
1294 int prepare, int inherit, int markers)
1296 EMACS_INT inschars = SCHARS (new);
1297 EMACS_INT insbytes = SBYTES (new);
1298 EMACS_INT from_byte, to_byte;
1299 EMACS_INT nbytes_del, nchars_del;
1300 struct gcpro gcpro1;
1301 INTERVAL intervals;
1302 EMACS_INT outgoing_insbytes = insbytes;
1303 Lisp_Object deletion;
1305 CHECK_MARKERS ();
1307 GCPRO1 (new);
1308 deletion = Qnil;
1310 if (prepare)
1312 EMACS_INT range_length = to - from;
1313 prepare_to_modify_buffer (from, to, &from);
1314 to = from + range_length;
1317 UNGCPRO;
1319 /* Make args be valid. */
1320 if (from < BEGV)
1321 from = BEGV;
1322 if (to > ZV)
1323 to = ZV;
1325 from_byte = CHAR_TO_BYTE (from);
1326 to_byte = CHAR_TO_BYTE (to);
1328 nchars_del = to - from;
1329 nbytes_del = to_byte - from_byte;
1331 if (nbytes_del <= 0 && insbytes == 0)
1332 return;
1334 /* Make OUTGOING_INSBYTES describe the text
1335 as it will be inserted in this buffer. */
1337 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
1338 outgoing_insbytes = inschars;
1339 else if (! STRING_MULTIBYTE (new))
1340 outgoing_insbytes
1341 = count_size_as_multibyte (SDATA (new), insbytes);
1343 GCPRO1 (new);
1345 /* Make sure the gap is somewhere in or next to what we are deleting. */
1346 if (from > GPT)
1347 gap_right (from, from_byte);
1348 if (to < GPT)
1349 gap_left (to, to_byte, 0);
1351 /* Even if we don't record for undo, we must keep the original text
1352 because we may have to recover it because of inappropriate byte
1353 combining. */
1354 if (! EQ (BVAR (current_buffer, undo_list), Qt))
1355 deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
1357 GAP_SIZE += nbytes_del;
1358 ZV -= nchars_del;
1359 Z -= nchars_del;
1360 ZV_BYTE -= nbytes_del;
1361 Z_BYTE -= nbytes_del;
1362 GPT = from;
1363 GPT_BYTE = from_byte;
1364 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1366 if (GPT_BYTE < GPT)
1367 abort ();
1369 if (GPT - BEG < BEG_UNCHANGED)
1370 BEG_UNCHANGED = GPT - BEG;
1371 if (Z - GPT < END_UNCHANGED)
1372 END_UNCHANGED = Z - GPT;
1374 if (GAP_SIZE < outgoing_insbytes)
1375 make_gap (outgoing_insbytes - GAP_SIZE);
1377 /* Copy the string text into the buffer, perhaps converting
1378 between single-byte and multibyte. */
1379 copy_text (SDATA (new), GPT_ADDR, insbytes,
1380 STRING_MULTIBYTE (new),
1381 ! NILP (BVAR (current_buffer, enable_multibyte_characters)));
1383 #ifdef BYTE_COMBINING_DEBUG
1384 /* We have copied text into the gap, but we have not marked
1385 it as part of the buffer. So we can use the old FROM and FROM_BYTE
1386 here, for both the previous text and the following text.
1387 Meanwhile, GPT_ADDR does point to
1388 the text that has been stored by copy_text. */
1389 if (count_combining_before (GPT_ADDR, outgoing_insbytes, from, from_byte)
1390 || count_combining_after (GPT_ADDR, outgoing_insbytes, from, from_byte))
1391 abort ();
1392 #endif
1394 if (! EQ (BVAR (current_buffer, undo_list), Qt))
1396 /* Record the insertion first, so that when we undo,
1397 the deletion will be undone first. Thus, undo
1398 will insert before deleting, and thus will keep
1399 the markers before and after this text separate. */
1400 record_insert (from + SCHARS (deletion), inschars);
1401 record_delete (from, deletion);
1404 GAP_SIZE -= outgoing_insbytes;
1405 GPT += inschars;
1406 ZV += inschars;
1407 Z += inschars;
1408 GPT_BYTE += outgoing_insbytes;
1409 ZV_BYTE += outgoing_insbytes;
1410 Z_BYTE += outgoing_insbytes;
1411 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1413 if (GPT_BYTE < GPT)
1414 abort ();
1416 /* Adjust the overlay center as needed. This must be done after
1417 adjusting the markers that bound the overlays. */
1418 adjust_overlays_for_delete (from, nchars_del);
1419 adjust_overlays_for_insert (from, inschars);
1421 /* Adjust markers for the deletion and the insertion. */
1422 if (markers)
1423 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1424 inschars, outgoing_insbytes);
1426 offset_intervals (current_buffer, from, inschars - nchars_del);
1428 /* Get the intervals for the part of the string we are inserting--
1429 not including the combined-before bytes. */
1430 intervals = STRING_INTERVALS (new);
1431 /* Insert those intervals. */
1432 graft_intervals_into_buffer (intervals, from, inschars,
1433 current_buffer, inherit);
1435 /* Relocate point as if it were a marker. */
1436 if (from < PT)
1437 adjust_point ((from + inschars - (PT < to ? PT : to)),
1438 (from_byte + outgoing_insbytes
1439 - (PT_BYTE < to_byte ? PT_BYTE : to_byte)));
1441 if (outgoing_insbytes == 0)
1442 evaporate_overlays (from);
1444 CHECK_MARKERS ();
1446 MODIFF++;
1447 CHARS_MODIFF = MODIFF;
1448 UNGCPRO;
1450 signal_after_change (from, nchars_del, GPT - from);
1451 update_compositions (from, GPT, CHECK_BORDER);
1454 /* Replace the text from character positions FROM to TO with
1455 the text in INS of length INSCHARS.
1456 Keep the text properties that applied to the old characters
1457 (extending them to all the new chars if there are more new chars).
1459 Note that this does not yet handle markers quite right.
1461 If MARKERS is nonzero, relocate markers.
1463 Unlike most functions at this level, never call
1464 prepare_to_modify_buffer and never call signal_after_change. */
1466 void
1467 replace_range_2 (EMACS_INT from, EMACS_INT from_byte,
1468 EMACS_INT to, EMACS_INT to_byte,
1469 const char *ins, EMACS_INT inschars, EMACS_INT insbytes,
1470 int markers)
1472 EMACS_INT nbytes_del, nchars_del;
1474 CHECK_MARKERS ();
1476 nchars_del = to - from;
1477 nbytes_del = to_byte - from_byte;
1479 if (nbytes_del <= 0 && insbytes == 0)
1480 return;
1482 /* Make sure the gap is somewhere in or next to what we are deleting. */
1483 if (from > GPT)
1484 gap_right (from, from_byte);
1485 if (to < GPT)
1486 gap_left (to, to_byte, 0);
1488 GAP_SIZE += nbytes_del;
1489 ZV -= nchars_del;
1490 Z -= nchars_del;
1491 ZV_BYTE -= nbytes_del;
1492 Z_BYTE -= nbytes_del;
1493 GPT = from;
1494 GPT_BYTE = from_byte;
1495 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1497 if (GPT_BYTE < GPT)
1498 abort ();
1500 if (GPT - BEG < BEG_UNCHANGED)
1501 BEG_UNCHANGED = GPT - BEG;
1502 if (Z - GPT < END_UNCHANGED)
1503 END_UNCHANGED = Z - GPT;
1505 if (GAP_SIZE < insbytes)
1506 make_gap (insbytes - GAP_SIZE);
1508 /* Copy the replacement text into the buffer. */
1509 memcpy (GPT_ADDR, ins, insbytes);
1511 #ifdef BYTE_COMBINING_DEBUG
1512 /* We have copied text into the gap, but we have not marked
1513 it as part of the buffer. So we can use the old FROM and FROM_BYTE
1514 here, for both the previous text and the following text.
1515 Meanwhile, GPT_ADDR does point to
1516 the text that has been stored by copy_text. */
1517 if (count_combining_before (GPT_ADDR, insbytes, from, from_byte)
1518 || count_combining_after (GPT_ADDR, insbytes, from, from_byte))
1519 abort ();
1520 #endif
1522 GAP_SIZE -= insbytes;
1523 GPT += inschars;
1524 ZV += inschars;
1525 Z += inschars;
1526 GPT_BYTE += insbytes;
1527 ZV_BYTE += insbytes;
1528 Z_BYTE += insbytes;
1529 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1531 if (GPT_BYTE < GPT)
1532 abort ();
1534 /* Adjust the overlay center as needed. This must be done after
1535 adjusting the markers that bound the overlays. */
1536 if (nchars_del != inschars)
1538 adjust_overlays_for_insert (from, inschars);
1539 adjust_overlays_for_delete (from + inschars, nchars_del);
1542 /* Adjust markers for the deletion and the insertion. */
1543 if (markers
1544 && ! (nchars_del == 1 && inschars == 1 && nbytes_del == insbytes))
1545 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1546 inschars, insbytes);
1548 offset_intervals (current_buffer, from, inschars - nchars_del);
1550 /* Relocate point as if it were a marker. */
1551 if (from < PT && (nchars_del != inschars || nbytes_del != insbytes))
1553 if (PT < to)
1554 /* PT was within the deleted text. Move it to FROM. */
1555 adjust_point (from - PT, from_byte - PT_BYTE);
1556 else
1557 adjust_point (inschars - nchars_del, insbytes - nbytes_del);
1560 if (insbytes == 0)
1561 evaporate_overlays (from);
1563 CHECK_MARKERS ();
1565 MODIFF++;
1566 CHARS_MODIFF = MODIFF;
1569 /* Delete characters in current buffer
1570 from FROM up to (but not including) TO.
1571 If TO comes before FROM, we delete nothing. */
1573 void
1574 del_range (EMACS_INT from, EMACS_INT to)
1576 del_range_1 (from, to, 1, 0);
1579 /* Like del_range; PREPARE says whether to call prepare_to_modify_buffer.
1580 RET_STRING says to return the deleted text. */
1582 Lisp_Object
1583 del_range_1 (EMACS_INT from, EMACS_INT to, int prepare, int ret_string)
1585 EMACS_INT from_byte, to_byte;
1586 Lisp_Object deletion;
1587 struct gcpro gcpro1;
1589 /* Make args be valid */
1590 if (from < BEGV)
1591 from = BEGV;
1592 if (to > ZV)
1593 to = ZV;
1595 if (to <= from)
1596 return Qnil;
1598 if (prepare)
1600 EMACS_INT range_length = to - from;
1601 prepare_to_modify_buffer (from, to, &from);
1602 to = min (ZV, from + range_length);
1605 from_byte = CHAR_TO_BYTE (from);
1606 to_byte = CHAR_TO_BYTE (to);
1608 deletion = del_range_2 (from, from_byte, to, to_byte, ret_string);
1609 GCPRO1 (deletion);
1610 signal_after_change (from, to - from, 0);
1611 update_compositions (from, from, CHECK_HEAD);
1612 UNGCPRO;
1613 return deletion;
1616 /* Like del_range_1 but args are byte positions, not char positions. */
1618 void
1619 del_range_byte (EMACS_INT from_byte, EMACS_INT to_byte, int prepare)
1621 EMACS_INT from, to;
1623 /* Make args be valid */
1624 if (from_byte < BEGV_BYTE)
1625 from_byte = BEGV_BYTE;
1626 if (to_byte > ZV_BYTE)
1627 to_byte = ZV_BYTE;
1629 if (to_byte <= from_byte)
1630 return;
1632 from = BYTE_TO_CHAR (from_byte);
1633 to = BYTE_TO_CHAR (to_byte);
1635 if (prepare)
1637 EMACS_INT old_from = from, old_to = Z - to;
1638 EMACS_INT range_length = to - from;
1639 prepare_to_modify_buffer (from, to, &from);
1640 to = from + range_length;
1642 if (old_from != from)
1643 from_byte = CHAR_TO_BYTE (from);
1644 if (to > ZV)
1646 to = ZV;
1647 to_byte = ZV_BYTE;
1649 else if (old_to == Z - to)
1650 to_byte = CHAR_TO_BYTE (to);
1653 del_range_2 (from, from_byte, to, to_byte, 0);
1654 signal_after_change (from, to - from, 0);
1655 update_compositions (from, from, CHECK_HEAD);
1658 /* Like del_range_1, but positions are specified both as charpos
1659 and bytepos. */
1661 void
1662 del_range_both (EMACS_INT from, EMACS_INT from_byte,
1663 EMACS_INT to, EMACS_INT to_byte, int prepare)
1665 /* Make args be valid */
1666 if (from_byte < BEGV_BYTE)
1667 from_byte = BEGV_BYTE;
1668 if (to_byte > ZV_BYTE)
1669 to_byte = ZV_BYTE;
1671 if (to_byte <= from_byte)
1672 return;
1674 if (from < BEGV)
1675 from = BEGV;
1676 if (to > ZV)
1677 to = ZV;
1679 if (prepare)
1681 EMACS_INT old_from = from, old_to = Z - to;
1682 EMACS_INT range_length = to - from;
1683 prepare_to_modify_buffer (from, to, &from);
1684 to = from + range_length;
1686 if (old_from != from)
1687 from_byte = CHAR_TO_BYTE (from);
1688 if (to > ZV)
1690 to = ZV;
1691 to_byte = ZV_BYTE;
1693 else if (old_to == Z - to)
1694 to_byte = CHAR_TO_BYTE (to);
1697 del_range_2 (from, from_byte, to, to_byte, 0);
1698 signal_after_change (from, to - from, 0);
1699 update_compositions (from, from, CHECK_HEAD);
1702 /* Delete a range of text, specified both as character positions
1703 and byte positions. FROM and TO are character positions,
1704 while FROM_BYTE and TO_BYTE are byte positions.
1705 If RET_STRING is true, the deleted area is returned as a string. */
1707 Lisp_Object
1708 del_range_2 (EMACS_INT from, EMACS_INT from_byte,
1709 EMACS_INT to, EMACS_INT to_byte, int ret_string)
1711 register EMACS_INT nbytes_del, nchars_del;
1712 Lisp_Object deletion;
1714 CHECK_MARKERS ();
1716 nchars_del = to - from;
1717 nbytes_del = to_byte - from_byte;
1719 /* Make sure the gap is somewhere in or next to what we are deleting. */
1720 if (from > GPT)
1721 gap_right (from, from_byte);
1722 if (to < GPT)
1723 gap_left (to, to_byte, 0);
1725 #ifdef BYTE_COMBINING_DEBUG
1726 if (count_combining_before (BUF_BYTE_ADDRESS (current_buffer, to_byte),
1727 Z_BYTE - to_byte, from, from_byte))
1728 abort ();
1729 #endif
1731 if (ret_string || ! EQ (BVAR (current_buffer, undo_list), Qt))
1732 deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
1733 else
1734 deletion = Qnil;
1736 /* Relocate all markers pointing into the new, larger gap
1737 to point at the end of the text before the gap.
1738 Do this before recording the deletion,
1739 so that undo handles this after reinserting the text. */
1740 adjust_markers_for_delete (from, from_byte, to, to_byte);
1742 if (! EQ (BVAR (current_buffer, undo_list), Qt))
1743 record_delete (from, deletion);
1744 MODIFF++;
1745 CHARS_MODIFF = MODIFF;
1747 /* Relocate point as if it were a marker. */
1748 if (from < PT)
1749 adjust_point (from - (PT < to ? PT : to),
1750 from_byte - (PT_BYTE < to_byte ? PT_BYTE : to_byte));
1752 offset_intervals (current_buffer, from, - nchars_del);
1754 /* Adjust the overlay center as needed. This must be done after
1755 adjusting the markers that bound the overlays. */
1756 adjust_overlays_for_delete (from, nchars_del);
1758 GAP_SIZE += nbytes_del;
1759 ZV_BYTE -= nbytes_del;
1760 Z_BYTE -= nbytes_del;
1761 ZV -= nchars_del;
1762 Z -= nchars_del;
1763 GPT = from;
1764 GPT_BYTE = from_byte;
1765 if (GAP_SIZE > 0 && !current_buffer->text->inhibit_shrinking)
1766 /* Put an anchor, unless called from decode_coding_object which
1767 needs to access the previous gap contents. */
1768 *(GPT_ADDR) = 0;
1770 if (GPT_BYTE < GPT)
1771 abort ();
1773 if (GPT - BEG < BEG_UNCHANGED)
1774 BEG_UNCHANGED = GPT - BEG;
1775 if (Z - GPT < END_UNCHANGED)
1776 END_UNCHANGED = Z - GPT;
1778 CHECK_MARKERS ();
1780 evaporate_overlays (from);
1782 return deletion;
1785 /* Call this if you're about to change the region of BUFFER from
1786 character positions START to END. This checks the read-only
1787 properties of the region, calls the necessary modification hooks,
1788 and warns the next redisplay that it should pay attention to that
1789 area.
1791 If PRESERVE_CHARS_MODIFF is non-zero, do not update CHARS_MODIFF.
1792 Otherwise set CHARS_MODIFF to the new value of MODIFF. */
1794 void
1795 modify_region (struct buffer *buffer, EMACS_INT start, EMACS_INT end,
1796 int preserve_chars_modiff)
1798 struct buffer *old_buffer = current_buffer;
1800 if (buffer != old_buffer)
1801 set_buffer_internal (buffer);
1803 prepare_to_modify_buffer (start, end, NULL);
1805 BUF_COMPUTE_UNCHANGED (buffer, start - 1, end);
1807 if (MODIFF <= SAVE_MODIFF)
1808 record_first_change ();
1809 MODIFF++;
1810 if (! preserve_chars_modiff)
1811 CHARS_MODIFF = MODIFF;
1813 BVAR (buffer, point_before_scroll) = Qnil;
1815 if (buffer != old_buffer)
1816 set_buffer_internal (old_buffer);
1819 /* Check that it is okay to modify the buffer between START and END,
1820 which are char positions.
1822 Run the before-change-function, if any. If intervals are in use,
1823 verify that the text to be modified is not read-only, and call
1824 any modification properties the text may have.
1826 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
1827 by holding its value temporarily in a marker. */
1829 void
1830 prepare_to_modify_buffer (EMACS_INT start, EMACS_INT end,
1831 EMACS_INT *preserve_ptr)
1833 struct buffer *base_buffer;
1835 if (!NILP (BVAR (current_buffer, read_only)))
1836 Fbarf_if_buffer_read_only ();
1838 /* Let redisplay consider other windows than selected_window
1839 if modifying another buffer. */
1840 if (XBUFFER (XWINDOW (selected_window)->buffer) != current_buffer)
1841 ++windows_or_buffers_changed;
1843 if (BUF_INTERVALS (current_buffer) != 0)
1845 if (preserve_ptr)
1847 Lisp_Object preserve_marker;
1848 struct gcpro gcpro1;
1849 preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil);
1850 GCPRO1 (preserve_marker);
1851 verify_interval_modification (current_buffer, start, end);
1852 *preserve_ptr = marker_position (preserve_marker);
1853 unchain_marker (XMARKER (preserve_marker));
1854 UNGCPRO;
1856 else
1857 verify_interval_modification (current_buffer, start, end);
1860 /* For indirect buffers, use the base buffer to check clashes. */
1861 if (current_buffer->base_buffer != 0)
1862 base_buffer = current_buffer->base_buffer;
1863 else
1864 base_buffer = current_buffer;
1866 #ifdef CLASH_DETECTION
1867 if (!NILP (BVAR (base_buffer, file_truename))
1868 /* Make binding buffer-file-name to nil effective. */
1869 && !NILP (BVAR (base_buffer, filename))
1870 && SAVE_MODIFF >= MODIFF)
1871 lock_file (BVAR (base_buffer, file_truename));
1872 #else
1873 /* At least warn if this file has changed on disk since it was visited. */
1874 if (!NILP (BVAR (base_buffer, filename))
1875 && SAVE_MODIFF >= MODIFF
1876 && NILP (Fverify_visited_file_modtime (Fcurrent_buffer ()))
1877 && !NILP (Ffile_exists_p (BVAR (base_buffer, filename))))
1878 call1 (intern ("ask-user-about-supersession-threat"),
1879 BVAR (base_buffer,filename));
1880 #endif /* not CLASH_DETECTION */
1882 /* If `select-active-regions' is non-nil, save the region text. */
1883 if (!NILP (BVAR (current_buffer, mark_active))
1884 && !inhibit_modification_hooks
1885 && XMARKER (BVAR (current_buffer, mark))->buffer
1886 && NILP (Vsaved_region_selection)
1887 && (EQ (Vselect_active_regions, Qonly)
1888 ? EQ (CAR_SAFE (Vtransient_mark_mode), Qonly)
1889 : (!NILP (Vselect_active_regions)
1890 && !NILP (Vtransient_mark_mode))))
1892 EMACS_INT b = XMARKER (BVAR (current_buffer, mark))->charpos;
1893 EMACS_INT e = PT;
1894 if (b < e)
1895 Vsaved_region_selection = make_buffer_string (b, e, 0);
1896 else if (b > e)
1897 Vsaved_region_selection = make_buffer_string (e, b, 0);
1900 signal_before_change (start, end, preserve_ptr);
1902 if (current_buffer->newline_cache)
1903 invalidate_region_cache (current_buffer,
1904 current_buffer->newline_cache,
1905 start - BEG, Z - end);
1906 if (current_buffer->width_run_cache)
1907 invalidate_region_cache (current_buffer,
1908 current_buffer->width_run_cache,
1909 start - BEG, Z - end);
1911 Vdeactivate_mark = Qt;
1914 /* These macros work with an argument named `preserve_ptr'
1915 and a local variable named `preserve_marker'. */
1917 #define PRESERVE_VALUE \
1918 if (preserve_ptr && NILP (preserve_marker)) \
1919 preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil)
1921 #define RESTORE_VALUE \
1922 if (! NILP (preserve_marker)) \
1924 *preserve_ptr = marker_position (preserve_marker); \
1925 unchain_marker (XMARKER (preserve_marker)); \
1928 #define PRESERVE_START_END \
1929 if (NILP (start_marker)) \
1930 start_marker = Fcopy_marker (start, Qnil); \
1931 if (NILP (end_marker)) \
1932 end_marker = Fcopy_marker (end, Qnil);
1934 #define FETCH_START \
1935 (! NILP (start_marker) ? Fmarker_position (start_marker) : start)
1937 #define FETCH_END \
1938 (! NILP (end_marker) ? Fmarker_position (end_marker) : end)
1940 /* Set a variable to nil if an error occurred.
1941 Don't change the variable if there was no error.
1942 VAL is a cons-cell (VARIABLE . NO-ERROR-FLAG).
1943 VARIABLE is the variable to maybe set to nil.
1944 NO-ERROR-FLAG is nil if there was an error,
1945 anything else meaning no error (so this function does nothing). */
1946 static Lisp_Object
1947 reset_var_on_error (Lisp_Object val)
1949 if (NILP (XCDR (val)))
1950 Fset (XCAR (val), Qnil);
1951 return Qnil;
1954 /* Signal a change to the buffer immediately before it happens.
1955 START_INT and END_INT are the bounds of the text to be changed.
1957 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
1958 by holding its value temporarily in a marker. */
1960 static void
1961 signal_before_change (EMACS_INT start_int, EMACS_INT end_int,
1962 EMACS_INT *preserve_ptr)
1964 Lisp_Object start, end;
1965 Lisp_Object start_marker, end_marker;
1966 Lisp_Object preserve_marker;
1967 struct gcpro gcpro1, gcpro2, gcpro3;
1968 int count = SPECPDL_INDEX ();
1970 if (inhibit_modification_hooks)
1971 return;
1973 start = make_number (start_int);
1974 end = make_number (end_int);
1975 preserve_marker = Qnil;
1976 start_marker = Qnil;
1977 end_marker = Qnil;
1978 GCPRO3 (preserve_marker, start_marker, end_marker);
1980 specbind (Qinhibit_modification_hooks, Qt);
1982 /* If buffer is unmodified, run a special hook for that case. The
1983 check for Vfirst_change_hook is just a minor optimization. */
1984 if (SAVE_MODIFF >= MODIFF
1985 && !NILP (Vfirst_change_hook))
1987 PRESERVE_VALUE;
1988 PRESERVE_START_END;
1989 Frun_hooks (1, &Qfirst_change_hook);
1992 /* Now run the before-change-functions if any. */
1993 if (!NILP (Vbefore_change_functions))
1995 Lisp_Object args[3];
1996 Lisp_Object rvoe_arg = Fcons (Qbefore_change_functions, Qnil);
1998 PRESERVE_VALUE;
1999 PRESERVE_START_END;
2001 /* Mark before-change-functions to be reset to nil in case of error. */
2002 record_unwind_protect (reset_var_on_error, rvoe_arg);
2004 /* Actually run the hook functions. */
2005 args[0] = Qbefore_change_functions;
2006 args[1] = FETCH_START;
2007 args[2] = FETCH_END;
2008 Frun_hook_with_args (3, args);
2010 /* There was no error: unarm the reset_on_error. */
2011 XSETCDR (rvoe_arg, Qt);
2014 if (current_buffer->overlays_before || current_buffer->overlays_after)
2016 PRESERVE_VALUE;
2017 report_overlay_modification (FETCH_START, FETCH_END, 0,
2018 FETCH_START, FETCH_END, Qnil);
2021 if (! NILP (start_marker))
2022 free_marker (start_marker);
2023 if (! NILP (end_marker))
2024 free_marker (end_marker);
2025 RESTORE_VALUE;
2026 UNGCPRO;
2028 unbind_to (count, Qnil);
2031 /* Signal a change immediately after it happens.
2032 CHARPOS is the character position of the start of the changed text.
2033 LENDEL is the number of characters of the text before the change.
2034 (Not the whole buffer; just the part that was changed.)
2035 LENINS is the number of characters in that part of the text
2036 after the change. */
2038 void
2039 signal_after_change (EMACS_INT charpos, EMACS_INT lendel, EMACS_INT lenins)
2041 int count = SPECPDL_INDEX ();
2042 if (inhibit_modification_hooks)
2043 return;
2045 /* If we are deferring calls to the after-change functions
2046 and there are no before-change functions,
2047 just record the args that we were going to use. */
2048 if (! NILP (Vcombine_after_change_calls)
2049 && NILP (Vbefore_change_functions)
2050 && !current_buffer->overlays_before
2051 && !current_buffer->overlays_after)
2053 Lisp_Object elt;
2055 if (!NILP (combine_after_change_list)
2056 && current_buffer != XBUFFER (combine_after_change_buffer))
2057 Fcombine_after_change_execute ();
2059 elt = Fcons (make_number (charpos - BEG),
2060 Fcons (make_number (Z - (charpos - lendel + lenins)),
2061 Fcons (make_number (lenins - lendel), Qnil)));
2062 combine_after_change_list
2063 = Fcons (elt, combine_after_change_list);
2064 combine_after_change_buffer = Fcurrent_buffer ();
2066 return;
2069 if (!NILP (combine_after_change_list))
2070 Fcombine_after_change_execute ();
2072 specbind (Qinhibit_modification_hooks, Qt);
2074 if (!NILP (Vafter_change_functions))
2076 Lisp_Object args[4];
2077 Lisp_Object rvoe_arg = Fcons (Qafter_change_functions, Qnil);
2079 /* Mark after-change-functions to be reset to nil in case of error. */
2080 record_unwind_protect (reset_var_on_error, rvoe_arg);
2082 /* Actually run the hook functions. */
2083 args[0] = Qafter_change_functions;
2084 XSETFASTINT (args[1], charpos);
2085 XSETFASTINT (args[2], charpos + lenins);
2086 XSETFASTINT (args[3], lendel);
2087 Frun_hook_with_args (4, args);
2089 /* There was no error: unarm the reset_on_error. */
2090 XSETCDR (rvoe_arg, Qt);
2093 if (current_buffer->overlays_before || current_buffer->overlays_after)
2094 report_overlay_modification (make_number (charpos),
2095 make_number (charpos + lenins),
2097 make_number (charpos),
2098 make_number (charpos + lenins),
2099 make_number (lendel));
2101 /* After an insertion, call the text properties
2102 insert-behind-hooks or insert-in-front-hooks. */
2103 if (lendel == 0)
2104 report_interval_modification (make_number (charpos),
2105 make_number (charpos + lenins));
2107 unbind_to (count, Qnil);
2110 static Lisp_Object
2111 Fcombine_after_change_execute_1 (Lisp_Object val)
2113 Vcombine_after_change_calls = val;
2114 return val;
2117 DEFUN ("combine-after-change-execute", Fcombine_after_change_execute,
2118 Scombine_after_change_execute, 0, 0, 0,
2119 doc: /* This function is for use internally in `combine-after-change-calls'. */)
2120 (void)
2122 int count = SPECPDL_INDEX ();
2123 EMACS_INT beg, end, change;
2124 EMACS_INT begpos, endpos;
2125 Lisp_Object tail;
2127 if (NILP (combine_after_change_list))
2128 return Qnil;
2130 /* It is rare for combine_after_change_buffer to be invalid, but
2131 possible. It can happen when combine-after-change-calls is
2132 non-nil, and insertion calls a file handler (e.g. through
2133 lock_file) which scribbles into a temp file -- cyd */
2134 if (!BUFFERP (combine_after_change_buffer)
2135 || NILP (BVAR (XBUFFER (combine_after_change_buffer), name)))
2137 combine_after_change_list = Qnil;
2138 return Qnil;
2141 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
2143 Fset_buffer (combine_after_change_buffer);
2145 /* # chars unchanged at beginning of buffer. */
2146 beg = Z - BEG;
2147 /* # chars unchanged at end of buffer. */
2148 end = beg;
2149 /* Total amount of insertion (negative for deletion). */
2150 change = 0;
2152 /* Scan the various individual changes,
2153 accumulating the range info in BEG, END and CHANGE. */
2154 for (tail = combine_after_change_list; CONSP (tail);
2155 tail = XCDR (tail))
2157 Lisp_Object elt;
2158 EMACS_INT thisbeg, thisend, thischange;
2160 /* Extract the info from the next element. */
2161 elt = XCAR (tail);
2162 if (! CONSP (elt))
2163 continue;
2164 thisbeg = XINT (XCAR (elt));
2166 elt = XCDR (elt);
2167 if (! CONSP (elt))
2168 continue;
2169 thisend = XINT (XCAR (elt));
2171 elt = XCDR (elt);
2172 if (! CONSP (elt))
2173 continue;
2174 thischange = XINT (XCAR (elt));
2176 /* Merge this range into the accumulated range. */
2177 change += thischange;
2178 if (thisbeg < beg)
2179 beg = thisbeg;
2180 if (thisend < end)
2181 end = thisend;
2184 /* Get the current start and end positions of the range
2185 that was changed. */
2186 begpos = BEG + beg;
2187 endpos = Z - end;
2189 /* We are about to handle these, so discard them. */
2190 combine_after_change_list = Qnil;
2192 /* Now run the after-change functions for real.
2193 Turn off the flag that defers them. */
2194 record_unwind_protect (Fcombine_after_change_execute_1,
2195 Vcombine_after_change_calls);
2196 signal_after_change (begpos, endpos - begpos - change, endpos - begpos);
2197 update_compositions (begpos, endpos, CHECK_ALL);
2199 return unbind_to (count, Qnil);
2202 void
2203 syms_of_insdel (void)
2205 staticpro (&combine_after_change_list);
2206 staticpro (&combine_after_change_buffer);
2207 combine_after_change_list = Qnil;
2208 combine_after_change_buffer = Qnil;
2210 DEFVAR_BOOL ("check-markers-debug-flag", check_markers_debug_flag,
2211 doc: /* Non-nil means enable debugging checks for invalid marker positions. */);
2212 check_markers_debug_flag = 0;
2213 DEFVAR_LISP ("combine-after-change-calls", Vcombine_after_change_calls,
2214 doc: /* Used internally by the `combine-after-change-calls' macro. */);
2215 Vcombine_after_change_calls = Qnil;
2217 DEFVAR_BOOL ("inhibit-modification-hooks", inhibit_modification_hooks,
2218 doc: /* Non-nil means don't run any of the hooks that respond to buffer changes.
2219 This affects `before-change-functions' and `after-change-functions',
2220 as well as hooks attached to text properties and overlays. */);
2221 inhibit_modification_hooks = 0;
2222 DEFSYM (Qinhibit_modification_hooks, "inhibit-modification-hooks");
2224 defsubr (&Scombine_after_change_execute);