(find-file): Fix last change.
[emacs.git] / src / insdel.c
blobcd8e2738f9aaa2d2e2d83fd7c8f08c949afa2b6c
1 /* Buffer insertion/deletion and gap motion for GNU Emacs.
2 Copyright (C) 1985, 1986, 1993, 1994, 1995, 1997, 1998, 1999, 2000, 2001,
3 2002, 2003, 2004, 2005, 2006, 2007 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, or (at your option)
10 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; see the file COPYING. If not, write to
19 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
20 Boston, MA 02110-1301, USA. */
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"
32 #ifndef NULL
33 #define NULL 0
34 #endif
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));
46 Lisp_Object Fcombine_after_change_execute ();
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;
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.
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;
64 /* Buffer which combine_after_change_list is about. */
65 Lisp_Object combine_after_change_buffer;
67 Lisp_Object Qinhibit_modification_hooks;
70 /* Check all markers in the current buffer, looking for something invalid. */
72 static int check_markers_debug_flag;
74 #define CHECK_MARKERS() \
75 if (check_markers_debug_flag) \
76 check_markers (); \
77 else
79 void
80 check_markers ()
82 register struct Lisp_Marker *tail;
83 int multibyte = ! NILP (current_buffer->enable_multibyte_characters);
85 for (tail = BUF_MARKERS (current_buffer); tail; tail = tail->next)
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 ();
98 /* Move gap to position CHARPOS.
99 Note that this can quit! */
101 void
102 move_gap (charpos)
103 int charpos;
105 move_gap_both (charpos, charpos_to_bytepos (charpos));
108 /* Move gap to byte position BYTEPOS, which is also char position CHARPOS.
109 Note that this can quit! */
111 void
112 move_gap_both (charpos, bytepos)
113 int charpos, bytepos;
115 if (bytepos < GPT_BYTE)
116 gap_left (charpos, bytepos, 0);
117 else if (bytepos > GPT_BYTE)
118 gap_right (charpos, bytepos);
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. */
126 static void
127 gap_left (charpos, bytepos, newgap)
128 register int charpos, bytepos;
129 int newgap;
131 register unsigned char *to, *from;
132 register int i;
133 int new_s1;
135 if (!newgap)
136 BUF_COMPUTE_UNCHANGED (current_buffer, charpos, GPT);
138 i = GPT_BYTE;
139 to = GAP_END_ADDR;
140 from = GPT_ADDR;
141 new_s1 = GPT_BYTE;
143 /* Now copy the characters. To move the gap down,
144 copy characters up. */
146 while (1)
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)
156 bytepos = new_s1;
157 charpos = BYTE_TO_CHAR (bytepos);
158 break;
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))
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);
178 else
179 #endif
181 new_s1 -= i;
182 while (--i >= 0)
183 *--to = *--from;
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;
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. */
203 static void
204 gap_right (charpos, bytepos)
205 register int charpos, bytepos;
207 register unsigned char *to, *from;
208 register int i;
209 int new_s1;
211 BUF_COMPUTE_UNCHANGED (current_buffer, charpos, GPT);
213 i = GPT_BYTE;
214 from = GAP_END_ADDR;
215 to = GPT_ADDR;
216 new_s1 = GPT_BYTE;
218 /* Now copy the characters. To move the gap up,
219 copy characters down. */
221 while (1)
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)
231 bytepos = new_s1;
232 charpos = BYTE_TO_CHAR (bytepos);
233 break;
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))
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;
253 else
254 #endif
256 new_s1 += i;
257 while (--i >= 0)
258 *to++ = *from++;
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;
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).
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.
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.)
283 The markers' character positions are not altered,
284 because gap motion does not affect character positions. */
286 int adjust_markers_test;
288 static void
289 adjust_markers_gap_motion (from, to, amount)
290 register int from, to, amount;
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;
299 marker = BUF_MARKERS (current_buffer);
301 while (!NILP (marker))
303 m = XMARKER (marker);
304 mpos = m->bytepos;
305 if (amount > 0)
307 if (mpos > to && mpos < to + amount)
309 if (adjust_markers_test)
310 abort ();
311 mpos = to + amount;
314 else
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)
321 if (adjust_markers_test)
322 abort ();
323 mpos = from + amount;
326 if (mpos > from && mpos <= to)
327 mpos += amount;
328 m->bufpos = mpos;
329 marker = m->chain;
331 #endif
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.
338 This function assumes that the gap is adjacent to
339 or inside of the range being deleted. */
341 void
342 adjust_markers_for_delete (from, from_byte, to, to_byte)
343 register int from, from_byte, to, to_byte;
345 Lisp_Object marker;
346 register struct Lisp_Marker *m;
347 register int charpos;
349 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
351 charpos = m->charpos;
353 if (charpos > Z)
354 abort ();
356 /* If the marker is after the deletion,
357 relocate by number of chars / bytes deleted. */
358 if (charpos > to)
360 m->charpos -= to - from;
361 m->bytepos -= to_byte - from_byte;
363 /* Here's the case where a marker is inside text being deleted. */
364 else if (charpos > from)
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);
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);
380 m->charpos = from;
381 m->bytepos = from_byte;
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)
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);
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).
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. */
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;
411 struct Lisp_Marker *m;
412 int adjusted = 0;
413 int nchars = to - from;
414 int nbytes = to_byte - from_byte;
416 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
418 /* In a single-byte buffer, a marker's two positions must be
419 equal. */
420 if (Z == Z_BYTE)
422 if (m->charpos != m->bytepos)
423 abort ();
426 if (m->bytepos == from_byte)
428 if (m->insertion_type || before_markers)
430 m->bytepos = to_byte;
431 m->charpos = to;
432 if (m->insertion_type)
433 adjusted = 1;
436 else if (m->bytepos > from_byte)
438 m->bytepos += nbytes;
439 m->charpos += nchars;
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)
448 fix_start_end_in_overlays(from, to);
449 fix_overlays_before (current_buffer, from, to);
453 /* Adjust point for an insertion of NBYTES bytes, which are NCHARS characters.
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. */
463 static void
464 adjust_point (nchars, nbytes)
465 int nchars, nbytes;
467 BUF_PT (current_buffer) += nchars;
468 BUF_PT_BYTE (current_buffer) += nbytes;
470 /* In a single-byte buffer, the two positions must be equal. */
471 if (ZV == ZV_BYTE
472 && PT != PT_BYTE)
473 abort ();
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. */
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;
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;
491 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
493 if (m->bytepos >= prev_to_byte)
495 m->charpos += diff_chars;
496 m->bytepos += diff_bytes;
498 else if (m->bytepos > from_byte)
500 m->charpos = from;
501 m->bytepos = from_byte;
505 CHECK_MARKERS ();
509 /* Make the gap NBYTES_ADDED bytes longer. */
511 void
512 make_gap_larger (nbytes_added)
513 int nbytes_added;
515 Lisp_Object tem;
516 int real_gap_loc;
517 int real_gap_loc_byte;
518 int old_gap_size;
520 /* If we have to get more space, get enough to last a while. */
521 nbytes_added += 2000;
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'.
527 Make sure we don't introduce overflows in the calculation. */
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");
534 enlarge_buffer_text (current_buffer, nbytes_added);
536 /* Prevent quitting in move_gap. */
537 tem = Vinhibit_quit;
538 Vinhibit_quit = Qt;
540 real_gap_loc = GPT;
541 real_gap_loc_byte = GPT_BYTE;
542 old_gap_size = GAP_SIZE;
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;
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);
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;
558 /* Put an anchor. */
559 *(Z_ADDR) = 0;
561 Vinhibit_quit = tem;
565 /* Make the gap NBYTES_REMOVED bytes shorter. */
567 void
568 make_gap_smaller (nbytes_removed)
569 int nbytes_removed;
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;
579 /* Make sure the gap is at least 20 bytes. */
580 if (GAP_SIZE - nbytes_removed < 20)
581 nbytes_removed = GAP_SIZE - 20;
583 /* Prevent quitting in move_gap. */
584 tem = Vinhibit_quit;
585 Vinhibit_quit = Qt;
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;
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;
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);
608 enlarge_buffer_text (current_buffer, -nbytes_removed);
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;
618 /* Put an anchor. */
619 *(Z_ADDR) = 0;
621 Vinhibit_quit = tem;
624 void
625 make_gap (nbytes_added)
626 int nbytes_added;
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
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.
641 Return the number of bytes stored at TO_ADDR. */
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;
651 if (from_multibyte == to_multibyte)
653 bcopy (from_addr, to_addr, nbytes);
654 return nbytes;
656 else if (from_multibyte)
658 int nchars = 0;
659 int bytes_left = nbytes;
660 Lisp_Object tbl = Qnil;
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))
666 tbl = Fchar_table_extra_slot (Vnonascii_translation_table,
667 make_number (0));
668 if (!CHAR_TABLE_P (tbl))
669 tbl = Qnil;
672 /* Convert multibyte to single byte. */
673 while (bytes_left > 0)
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++;
684 return nchars;
686 else
688 unsigned char *initial_to_addr = to_addr;
690 /* Convert single-byte to multibyte. */
691 while (nbytes > 0)
693 int c = *from_addr++;
695 if (c >= 0200)
697 c = unibyte_char_to_multibyte (c);
698 to_addr += CHAR_STRING (c, to_addr);
699 nbytes--;
701 else
702 /* Special case for speed. */
703 *to_addr++ = c, nbytes--;
705 return to_addr - initial_to_addr;
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. */
714 count_size_as_multibyte (ptr, nbytes)
715 const unsigned char *ptr;
716 int nbytes;
718 int i;
719 int outgoing_nbytes = 0;
721 for (i = 0; i < nbytes; i++)
723 unsigned int c = *ptr++;
725 if (c < 0200)
726 outgoing_nbytes++;
727 else
729 c = unibyte_char_to_multibyte (c);
730 outgoing_nbytes += CHAR_BYTES (c);
734 return outgoing_nbytes;
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.
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. */
745 void
746 insert (string, nbytes)
747 register const unsigned char *string;
748 register int nbytes;
750 if (nbytes > 0)
752 int len = chars_in_text (string, nbytes), opoint;
753 insert_1_both (string, len, nbytes, 0, 1, 0);
754 opoint = PT - len;
755 signal_after_change (opoint, 0, len);
756 update_compositions (opoint, PT, CHECK_BORDER);
760 /* Likewise, but inherit text properties from neighboring characters. */
762 void
763 insert_and_inherit (string, nbytes)
764 register const unsigned char *string;
765 register int nbytes;
767 if (nbytes > 0)
769 int len = chars_in_text (string, nbytes), opoint;
770 insert_1_both (string, len, nbytes, 1, 1, 0);
771 opoint = PT - len;
772 signal_after_change (opoint, 0, len);
773 update_compositions (opoint, PT, CHECK_BORDER);
777 /* Insert the character C before point. Do not inherit text properties. */
779 void
780 insert_char (c)
781 int c;
783 unsigned char str[MAX_MULTIBYTE_LENGTH];
784 int len;
786 if (! NILP (current_buffer->enable_multibyte_characters))
787 len = CHAR_STRING (c, str);
788 else
790 len = 1;
791 str[0] = c;
794 insert (str, len);
797 /* Insert the null-terminated string S before point. */
799 void
800 insert_string (s)
801 const char *s;
803 insert (s, strlen (s));
806 /* Like `insert' except that all markers pointing at the place where
807 the insertion happens are adjusted to point after it.
808 Don't use this function to insert part of a Lisp string,
809 since gc could happen and relocate it. */
811 void
812 insert_before_markers (string, nbytes)
813 const unsigned char *string;
814 register int nbytes;
816 if (nbytes > 0)
818 int len = chars_in_text (string, nbytes), opoint;
819 insert_1_both (string, len, nbytes, 0, 1, 1);
820 opoint = PT - len;
821 signal_after_change (opoint, 0, len);
822 update_compositions (opoint, PT, CHECK_BORDER);
826 /* Likewise, but inherit text properties from neighboring characters. */
828 void
829 insert_before_markers_and_inherit (string, nbytes)
830 const unsigned char *string;
831 register int nbytes;
833 if (nbytes > 0)
835 int len = chars_in_text (string, nbytes), opoint;
836 insert_1_both (string, len, nbytes, 1, 1, 1);
837 opoint = PT - len;
838 signal_after_change (opoint, 0, len);
839 update_compositions (opoint, PT, CHECK_BORDER);
843 /* Subroutine used by the insert functions above. */
845 void
846 insert_1 (string, nbytes, inherit, prepare, before_markers)
847 register const unsigned char *string;
848 register int nbytes;
849 int inherit, prepare, before_markers;
851 insert_1_both (string, chars_in_text (string, nbytes), nbytes,
852 inherit, prepare, before_markers);
856 #ifdef BYTE_COMBINING_DEBUG
858 /* See if the bytes before POS/POS_BYTE combine with bytes
859 at the start of STRING to form a single character.
860 If so, return the number of bytes at the start of STRING
861 which combine in this way. Otherwise, return 0. */
864 count_combining_before (string, length, pos, pos_byte)
865 const unsigned char *string;
866 int length;
867 int pos, pos_byte;
869 int len, combining_bytes;
870 const unsigned char *p;
872 if (NILP (current_buffer->enable_multibyte_characters))
873 return 0;
875 /* At first, we can exclude the following cases:
876 (1) STRING[0] can't be a following byte of multibyte sequence.
877 (2) POS is the start of the current buffer.
878 (3) A character before POS is not a multibyte character. */
879 if (length == 0 || CHAR_HEAD_P (*string)) /* case (1) */
880 return 0;
881 if (pos_byte == BEG_BYTE) /* case (2) */
882 return 0;
883 len = 1;
884 p = BYTE_POS_ADDR (pos_byte - 1);
885 while (! CHAR_HEAD_P (*p)) p--, len++;
886 if (! BASE_LEADING_CODE_P (*p)) /* case (3) */
887 return 0;
889 combining_bytes = BYTES_BY_CHAR_HEAD (*p) - len;
890 if (combining_bytes <= 0)
891 /* The character preceding POS is, complete and no room for
892 combining bytes (combining_bytes == 0), or an independent 8-bit
893 character (combining_bytes < 0). */
894 return 0;
896 /* We have a combination situation. Count the bytes at STRING that
897 may combine. */
898 p = string + 1;
899 while (!CHAR_HEAD_P (*p) && p < string + length)
900 p++;
902 return (combining_bytes < p - string ? combining_bytes : p - string);
905 /* See if the bytes after POS/POS_BYTE combine with bytes
906 at the end of STRING to form a single character.
907 If so, return the number of bytes after POS/POS_BYTE
908 which combine in this way. Otherwise, return 0. */
911 count_combining_after (string, length, pos, pos_byte)
912 const unsigned char *string;
913 int length;
914 int pos, pos_byte;
916 int opos_byte = pos_byte;
917 int i;
918 int bytes;
919 unsigned char *bufp;
921 if (NILP (current_buffer->enable_multibyte_characters))
922 return 0;
924 /* At first, we can exclude the following cases:
925 (1) The last byte of STRING is an ASCII.
926 (2) POS is the last of the current buffer.
927 (3) A character at POS can't be a following byte of multibyte
928 character. */
929 if (length > 0 && ASCII_BYTE_P (string[length - 1])) /* case (1) */
930 return 0;
931 if (pos_byte == Z_BYTE) /* case (2) */
932 return 0;
933 bufp = BYTE_POS_ADDR (pos_byte);
934 if (CHAR_HEAD_P (*bufp)) /* case (3) */
935 return 0;
937 i = length - 1;
938 while (i >= 0 && ! CHAR_HEAD_P (string[i]))
940 i--;
942 if (i < 0)
944 /* All characters in STRING are not character head. We must
945 check also preceding bytes at POS. We are sure that the gap
946 is at POS. */
947 unsigned char *p = BEG_ADDR;
948 i = pos_byte - 2;
949 while (i >= 0 && ! CHAR_HEAD_P (p[i]))
950 i--;
951 if (i < 0 || !BASE_LEADING_CODE_P (p[i]))
952 return 0;
954 bytes = BYTES_BY_CHAR_HEAD (p[i]);
955 return (bytes <= pos_byte - 1 - i + length
957 : bytes - (pos_byte - 1 - i + length));
959 if (!BASE_LEADING_CODE_P (string[i]))
960 return 0;
962 bytes = BYTES_BY_CHAR_HEAD (string[i]) - (length - i);
963 bufp++, pos_byte++;
964 while (!CHAR_HEAD_P (*bufp)) bufp++, pos_byte++;
966 return (bytes <= pos_byte - opos_byte ? bytes : pos_byte - opos_byte);
969 #endif
972 /* Insert a sequence of NCHARS chars which occupy NBYTES bytes
973 starting at STRING. INHERIT, PREPARE and BEFORE_MARKERS
974 are the same as in insert_1. */
976 void
977 insert_1_both (string, nchars, nbytes, inherit, prepare, before_markers)
978 register const unsigned char *string;
979 register int nchars, nbytes;
980 int inherit, prepare, before_markers;
982 if (nchars == 0)
983 return;
985 if (NILP (current_buffer->enable_multibyte_characters))
986 nchars = nbytes;
988 if (prepare)
989 /* Do this before moving and increasing the gap,
990 because the before-change hooks might move the gap
991 or make it smaller. */
992 prepare_to_modify_buffer (PT, PT, NULL);
994 if (PT != GPT)
995 move_gap_both (PT, PT_BYTE);
996 if (GAP_SIZE < nbytes)
997 make_gap (nbytes - GAP_SIZE);
999 #ifdef BYTE_COMBINING_DEBUG
1000 if (count_combining_before (string, nbytes, PT, PT_BYTE)
1001 || count_combining_after (string, nbytes, PT, PT_BYTE))
1002 abort ();
1003 #endif
1005 /* Record deletion of the surrounding text that combines with
1006 the insertion. This, together with recording the insertion,
1007 will add up to the right stuff in the undo list. */
1008 record_insert (PT, nchars);
1009 MODIFF++;
1010 CHARS_MODIFF = MODIFF;
1012 bcopy (string, GPT_ADDR, nbytes);
1014 GAP_SIZE -= nbytes;
1015 GPT += nchars;
1016 ZV += nchars;
1017 Z += nchars;
1018 GPT_BYTE += nbytes;
1019 ZV_BYTE += nbytes;
1020 Z_BYTE += nbytes;
1021 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1023 if (GPT_BYTE < GPT)
1024 abort ();
1026 /* The insert may have been in the unchanged region, so check again. */
1027 if (Z - GPT < END_UNCHANGED)
1028 END_UNCHANGED = Z - GPT;
1030 adjust_overlays_for_insert (PT, nchars);
1031 adjust_markers_for_insert (PT, PT_BYTE,
1032 PT + nchars, PT_BYTE + nbytes,
1033 before_markers);
1035 if (BUF_INTERVALS (current_buffer) != 0)
1036 offset_intervals (current_buffer, PT, nchars);
1038 if (!inherit && BUF_INTERVALS (current_buffer) != 0)
1039 set_text_properties (make_number (PT), make_number (PT + nchars),
1040 Qnil, Qnil, Qnil);
1042 adjust_point (nchars, nbytes);
1044 CHECK_MARKERS ();
1047 /* Insert the part of the text of STRING, a Lisp object assumed to be
1048 of type string, consisting of the LENGTH characters (LENGTH_BYTE bytes)
1049 starting at position POS / POS_BYTE. If the text of STRING has properties,
1050 copy them into the buffer.
1052 It does not work to use `insert' for this, because a GC could happen
1053 before we bcopy the stuff into the buffer, and relocate the string
1054 without insert noticing. */
1056 void
1057 insert_from_string (string, pos, pos_byte, length, length_byte, inherit)
1058 Lisp_Object string;
1059 register int pos, pos_byte, length, length_byte;
1060 int inherit;
1062 int opoint = PT;
1064 if (SCHARS (string) == 0)
1065 return;
1067 insert_from_string_1 (string, pos, pos_byte, length, length_byte,
1068 inherit, 0);
1069 signal_after_change (opoint, 0, PT - opoint);
1070 update_compositions (opoint, PT, CHECK_BORDER);
1073 /* Like `insert_from_string' except that all markers pointing
1074 at the place where the insertion happens are adjusted to point after it. */
1076 void
1077 insert_from_string_before_markers (string, pos, pos_byte,
1078 length, length_byte, inherit)
1079 Lisp_Object string;
1080 register int pos, pos_byte, length, length_byte;
1081 int inherit;
1083 int opoint = PT;
1085 if (SCHARS (string) == 0)
1086 return;
1088 insert_from_string_1 (string, pos, pos_byte, length, length_byte,
1089 inherit, 1);
1090 signal_after_change (opoint, 0, PT - opoint);
1091 update_compositions (opoint, PT, CHECK_BORDER);
1094 /* Subroutine of the insertion functions above. */
1096 static void
1097 insert_from_string_1 (string, pos, pos_byte, nchars, nbytes,
1098 inherit, before_markers)
1099 Lisp_Object string;
1100 register int pos, pos_byte, nchars, nbytes;
1101 int inherit, before_markers;
1103 struct gcpro gcpro1;
1104 int outgoing_nbytes = nbytes;
1105 INTERVAL intervals;
1107 /* Make OUTGOING_NBYTES describe the text
1108 as it will be inserted in this buffer. */
1110 if (NILP (current_buffer->enable_multibyte_characters))
1111 outgoing_nbytes = nchars;
1112 else if (! STRING_MULTIBYTE (string))
1113 outgoing_nbytes
1114 = count_size_as_multibyte (SDATA (string) + pos_byte,
1115 nbytes);
1117 GCPRO1 (string);
1118 /* Do this before moving and increasing the gap,
1119 because the before-change hooks might move the gap
1120 or make it smaller. */
1121 prepare_to_modify_buffer (PT, PT, NULL);
1123 if (PT != GPT)
1124 move_gap_both (PT, PT_BYTE);
1125 if (GAP_SIZE < outgoing_nbytes)
1126 make_gap (outgoing_nbytes - GAP_SIZE);
1127 UNGCPRO;
1129 /* Copy the string text into the buffer, perhaps converting
1130 between single-byte and multibyte. */
1131 copy_text (SDATA (string) + pos_byte, GPT_ADDR, nbytes,
1132 STRING_MULTIBYTE (string),
1133 ! NILP (current_buffer->enable_multibyte_characters));
1135 #ifdef BYTE_COMBINING_DEBUG
1136 /* We have copied text into the gap, but we have not altered
1137 PT or PT_BYTE yet. So we can pass PT and PT_BYTE
1138 to these functions and get the same results as we would
1139 have got earlier on. Meanwhile, PT_ADDR does point to
1140 the text that has been stored by copy_text. */
1141 if (count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE)
1142 || count_combining_after (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE))
1143 abort ();
1144 #endif
1146 record_insert (PT, nchars);
1147 MODIFF++;
1148 CHARS_MODIFF = MODIFF;
1150 GAP_SIZE -= outgoing_nbytes;
1151 GPT += nchars;
1152 ZV += nchars;
1153 Z += nchars;
1154 GPT_BYTE += outgoing_nbytes;
1155 ZV_BYTE += outgoing_nbytes;
1156 Z_BYTE += outgoing_nbytes;
1157 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1159 if (GPT_BYTE < GPT)
1160 abort ();
1162 /* The insert may have been in the unchanged region, so check again. */
1163 if (Z - GPT < END_UNCHANGED)
1164 END_UNCHANGED = Z - GPT;
1166 adjust_overlays_for_insert (PT, nchars);
1167 adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
1168 PT_BYTE + outgoing_nbytes,
1169 before_markers);
1171 offset_intervals (current_buffer, PT, nchars);
1173 intervals = STRING_INTERVALS (string);
1174 /* Get the intervals for the part of the string we are inserting. */
1175 if (nbytes < SBYTES (string))
1176 intervals = copy_intervals (intervals, pos, nchars);
1178 /* Insert those intervals. */
1179 graft_intervals_into_buffer (intervals, PT, nchars,
1180 current_buffer, inherit);
1182 adjust_point (nchars, outgoing_nbytes);
1185 /* Insert text from BUF, NCHARS characters starting at CHARPOS, into the
1186 current buffer. If the text in BUF has properties, they are absorbed
1187 into the current buffer.
1189 It does not work to use `insert' for this, because a malloc could happen
1190 and relocate BUF's text before the bcopy happens. */
1192 void
1193 insert_from_buffer (buf, charpos, nchars, inherit)
1194 struct buffer *buf;
1195 int charpos, nchars;
1196 int inherit;
1198 int opoint = PT;
1200 insert_from_buffer_1 (buf, charpos, nchars, inherit);
1201 signal_after_change (opoint, 0, PT - opoint);
1202 update_compositions (opoint, PT, CHECK_BORDER);
1205 static void
1206 insert_from_buffer_1 (buf, from, nchars, inherit)
1207 struct buffer *buf;
1208 int from, nchars;
1209 int inherit;
1211 register Lisp_Object temp;
1212 int chunk, chunk_expanded;
1213 int from_byte = buf_charpos_to_bytepos (buf, from);
1214 int to_byte = buf_charpos_to_bytepos (buf, from + nchars);
1215 int incoming_nbytes = to_byte - from_byte;
1216 int outgoing_nbytes = incoming_nbytes;
1217 INTERVAL intervals;
1219 /* Make OUTGOING_NBYTES describe the text
1220 as it will be inserted in this buffer. */
1222 if (NILP (current_buffer->enable_multibyte_characters))
1223 outgoing_nbytes = nchars;
1224 else if (NILP (buf->enable_multibyte_characters))
1226 int outgoing_before_gap = 0;
1227 int outgoing_after_gap = 0;
1229 if (from < BUF_GPT (buf))
1231 chunk = BUF_GPT_BYTE (buf) - from_byte;
1232 if (chunk > incoming_nbytes)
1233 chunk = incoming_nbytes;
1234 outgoing_before_gap
1235 = count_size_as_multibyte (BUF_BYTE_ADDRESS (buf, from_byte),
1236 chunk);
1238 else
1239 chunk = 0;
1241 if (chunk < incoming_nbytes)
1242 outgoing_after_gap
1243 = count_size_as_multibyte (BUF_BYTE_ADDRESS (buf,
1244 from_byte + chunk),
1245 incoming_nbytes - chunk);
1247 outgoing_nbytes = outgoing_before_gap + outgoing_after_gap;
1250 /* Make sure point-max won't overflow after this insertion. */
1251 XSETINT (temp, outgoing_nbytes + Z);
1252 if (outgoing_nbytes + Z != XINT (temp))
1253 error ("Maximum buffer size exceeded");
1255 /* Do this before moving and increasing the gap,
1256 because the before-change hooks might move the gap
1257 or make it smaller. */
1258 prepare_to_modify_buffer (PT, PT, NULL);
1260 if (PT != GPT)
1261 move_gap_both (PT, PT_BYTE);
1262 if (GAP_SIZE < outgoing_nbytes)
1263 make_gap (outgoing_nbytes - GAP_SIZE);
1265 if (from < BUF_GPT (buf))
1267 chunk = BUF_GPT_BYTE (buf) - from_byte;
1268 if (chunk > incoming_nbytes)
1269 chunk = incoming_nbytes;
1270 /* Record number of output bytes, so we know where
1271 to put the output from the second copy_text. */
1272 chunk_expanded
1273 = copy_text (BUF_BYTE_ADDRESS (buf, from_byte),
1274 GPT_ADDR, chunk,
1275 ! NILP (buf->enable_multibyte_characters),
1276 ! NILP (current_buffer->enable_multibyte_characters));
1278 else
1279 chunk_expanded = chunk = 0;
1281 if (chunk < incoming_nbytes)
1282 copy_text (BUF_BYTE_ADDRESS (buf, from_byte + chunk),
1283 GPT_ADDR + chunk_expanded, incoming_nbytes - chunk,
1284 ! NILP (buf->enable_multibyte_characters),
1285 ! NILP (current_buffer->enable_multibyte_characters));
1287 #ifdef BYTE_COMBINING_DEBUG
1288 /* We have copied text into the gap, but we have not altered
1289 PT or PT_BYTE yet. So we can pass PT and PT_BYTE
1290 to these functions and get the same results as we would
1291 have got earlier on. Meanwhile, GPT_ADDR does point to
1292 the text that has been stored by copy_text. */
1293 if (count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE)
1294 || count_combining_after (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE))
1295 abort ();
1296 #endif
1298 record_insert (PT, nchars);
1299 MODIFF++;
1300 CHARS_MODIFF = MODIFF;
1302 GAP_SIZE -= outgoing_nbytes;
1303 GPT += nchars;
1304 ZV += nchars;
1305 Z += nchars;
1306 GPT_BYTE += outgoing_nbytes;
1307 ZV_BYTE += outgoing_nbytes;
1308 Z_BYTE += outgoing_nbytes;
1309 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1311 if (GPT_BYTE < GPT)
1312 abort ();
1314 /* The insert may have been in the unchanged region, so check again. */
1315 if (Z - GPT < END_UNCHANGED)
1316 END_UNCHANGED = Z - GPT;
1318 adjust_overlays_for_insert (PT, nchars);
1319 adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
1320 PT_BYTE + outgoing_nbytes,
1323 if (BUF_INTERVALS (current_buffer) != 0)
1324 offset_intervals (current_buffer, PT, nchars);
1326 /* Get the intervals for the part of the string we are inserting. */
1327 intervals = BUF_INTERVALS (buf);
1328 if (outgoing_nbytes < BUF_Z_BYTE (buf) - BUF_BEG_BYTE (buf))
1330 if (buf == current_buffer && PT <= from)
1331 from += nchars;
1332 intervals = copy_intervals (intervals, from, nchars);
1335 /* Insert those intervals. */
1336 graft_intervals_into_buffer (intervals, PT, nchars, current_buffer, inherit);
1338 adjust_point (nchars, outgoing_nbytes);
1341 /* Record undo information and adjust markers and position keepers for
1342 a replacement of a text PREV_TEXT at FROM to a new text of LEN
1343 chars (LEN_BYTE bytes) which resides in the gap just after
1344 GPT_ADDR.
1346 PREV_TEXT nil means the new text was just inserted. */
1348 void
1349 adjust_after_replace (from, from_byte, prev_text, len, len_byte)
1350 int from, from_byte, len, len_byte;
1351 Lisp_Object prev_text;
1353 int nchars_del = 0, nbytes_del = 0;
1355 #ifdef BYTE_COMBINING_DEBUG
1356 if (count_combining_before (GPT_ADDR, len_byte, from, from_byte)
1357 || count_combining_after (GPT_ADDR, len_byte, from, from_byte))
1358 abort ();
1359 #endif
1361 if (STRINGP (prev_text))
1363 nchars_del = SCHARS (prev_text);
1364 nbytes_del = SBYTES (prev_text);
1367 /* Update various buffer positions for the new text. */
1368 GAP_SIZE -= len_byte;
1369 ZV += len; Z+= len;
1370 ZV_BYTE += len_byte; Z_BYTE += len_byte;
1371 GPT += len; GPT_BYTE += len_byte;
1372 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1374 if (nchars_del > 0)
1375 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1376 len, len_byte);
1377 else
1378 adjust_markers_for_insert (from, from_byte,
1379 from + len, from_byte + len_byte, 0);
1381 if (! EQ (current_buffer->undo_list, Qt))
1383 if (nchars_del > 0)
1384 record_delete (from, prev_text);
1385 record_insert (from, len);
1388 if (len > nchars_del)
1389 adjust_overlays_for_insert (from, len - nchars_del);
1390 else if (len < nchars_del)
1391 adjust_overlays_for_delete (from, nchars_del - len);
1392 if (BUF_INTERVALS (current_buffer) != 0)
1394 offset_intervals (current_buffer, from, len - nchars_del);
1397 if (from < PT)
1398 adjust_point (len - nchars_del, len_byte - nbytes_del);
1400 /* As byte combining will decrease Z, we must check this again. */
1401 if (Z - GPT < END_UNCHANGED)
1402 END_UNCHANGED = Z - GPT;
1404 CHECK_MARKERS ();
1406 if (len == 0)
1407 evaporate_overlays (from);
1408 MODIFF++;
1409 CHARS_MODIFF = MODIFF;
1412 /* Like adjust_after_replace, but doesn't require PREV_TEXT.
1413 This is for use when undo is not enabled in the current buffer. */
1415 void
1416 adjust_after_replace_noundo (from, from_byte, nchars_del, nbytes_del, len, len_byte)
1417 int from, from_byte, nchars_del, nbytes_del, len, len_byte;
1419 #ifdef BYTE_COMBINING_DEBUG
1420 if (count_combining_before (GPT_ADDR, len_byte, from, from_byte)
1421 || count_combining_after (GPT_ADDR, len_byte, from, from_byte))
1422 abort ();
1423 #endif
1425 /* Update various buffer positions for the new text. */
1426 GAP_SIZE -= len_byte;
1427 ZV += len; Z+= len;
1428 ZV_BYTE += len_byte; Z_BYTE += len_byte;
1429 GPT += len; GPT_BYTE += len_byte;
1430 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1432 if (nchars_del > 0)
1433 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1434 len, len_byte);
1435 else
1436 adjust_markers_for_insert (from, from_byte,
1437 from + len, from_byte + len_byte, 0);
1439 if (len > nchars_del)
1440 adjust_overlays_for_insert (from, len - nchars_del);
1441 else if (len < nchars_del)
1442 adjust_overlays_for_delete (from, nchars_del - len);
1443 if (BUF_INTERVALS (current_buffer) != 0)
1445 offset_intervals (current_buffer, from, len - nchars_del);
1448 if (from < PT)
1449 adjust_point (len - nchars_del, len_byte - nbytes_del);
1451 /* As byte combining will decrease Z, we must check this again. */
1452 if (Z - GPT < END_UNCHANGED)
1453 END_UNCHANGED = Z - GPT;
1455 CHECK_MARKERS ();
1457 if (len == 0)
1458 evaporate_overlays (from);
1459 MODIFF++;
1460 CHARS_MODIFF = MODIFF;
1463 /* Record undo information, adjust markers and position keepers for an
1464 insertion of a text from FROM (FROM_BYTE) to TO (TO_BYTE). The
1465 text already exists in the current buffer but character length (TO
1466 - FROM) may be incorrect, the correct length is NEWLEN. */
1468 void
1469 adjust_after_insert (from, from_byte, to, to_byte, newlen)
1470 int from, from_byte, to, to_byte, newlen;
1472 int len = to - from, len_byte = to_byte - from_byte;
1474 if (GPT != to)
1475 move_gap_both (to, to_byte);
1476 GAP_SIZE += len_byte;
1477 GPT -= len; GPT_BYTE -= len_byte;
1478 ZV -= len; ZV_BYTE -= len_byte;
1479 Z -= len; Z_BYTE -= len_byte;
1480 adjust_after_replace (from, from_byte, Qnil, newlen, len_byte);
1483 /* Replace the text from character positions FROM to TO with NEW,
1484 If PREPARE is nonzero, call prepare_to_modify_buffer.
1485 If INHERIT, the newly inserted text should inherit text properties
1486 from the surrounding non-deleted text. */
1488 /* Note that this does not yet handle markers quite right.
1489 Also it needs to record a single undo-entry that does a replacement
1490 rather than a separate delete and insert.
1491 That way, undo will also handle markers properly.
1493 But if MARKERS is 0, don't relocate markers. */
1495 void
1496 replace_range (from, to, new, prepare, inherit, markers)
1497 Lisp_Object new;
1498 int from, to, prepare, inherit, markers;
1500 int inschars = SCHARS (new);
1501 int insbytes = SBYTES (new);
1502 int from_byte, to_byte;
1503 int nbytes_del, nchars_del;
1504 register Lisp_Object temp;
1505 struct gcpro gcpro1;
1506 INTERVAL intervals;
1507 int outgoing_insbytes = insbytes;
1508 Lisp_Object deletion;
1510 CHECK_MARKERS ();
1512 GCPRO1 (new);
1513 deletion = Qnil;
1515 if (prepare)
1517 int range_length = to - from;
1518 prepare_to_modify_buffer (from, to, &from);
1519 to = from + range_length;
1522 UNGCPRO;
1524 /* Make args be valid */
1525 if (from < BEGV)
1526 from = BEGV;
1527 if (to > ZV)
1528 to = ZV;
1530 from_byte = CHAR_TO_BYTE (from);
1531 to_byte = CHAR_TO_BYTE (to);
1533 nchars_del = to - from;
1534 nbytes_del = to_byte - from_byte;
1536 if (nbytes_del <= 0 && insbytes == 0)
1537 return;
1539 /* Make OUTGOING_INSBYTES describe the text
1540 as it will be inserted in this buffer. */
1542 if (NILP (current_buffer->enable_multibyte_characters))
1543 outgoing_insbytes = inschars;
1544 else if (! STRING_MULTIBYTE (new))
1545 outgoing_insbytes
1546 = count_size_as_multibyte (SDATA (new), insbytes);
1548 /* Make sure point-max won't overflow after this insertion. */
1549 XSETINT (temp, Z_BYTE - nbytes_del + insbytes);
1550 if (Z_BYTE - nbytes_del + insbytes != XINT (temp))
1551 error ("Maximum buffer size exceeded");
1553 GCPRO1 (new);
1555 /* Make sure the gap is somewhere in or next to what we are deleting. */
1556 if (from > GPT)
1557 gap_right (from, from_byte);
1558 if (to < GPT)
1559 gap_left (to, to_byte, 0);
1561 /* Even if we don't record for undo, we must keep the original text
1562 because we may have to recover it because of inappropriate byte
1563 combining. */
1564 if (! EQ (current_buffer->undo_list, Qt))
1565 deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
1567 GAP_SIZE += nbytes_del;
1568 ZV -= nchars_del;
1569 Z -= nchars_del;
1570 ZV_BYTE -= nbytes_del;
1571 Z_BYTE -= nbytes_del;
1572 GPT = from;
1573 GPT_BYTE = from_byte;
1574 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1576 if (GPT_BYTE < GPT)
1577 abort ();
1579 if (GPT - BEG < BEG_UNCHANGED)
1580 BEG_UNCHANGED = GPT - BEG;
1581 if (Z - GPT < END_UNCHANGED)
1582 END_UNCHANGED = Z - GPT;
1584 if (GAP_SIZE < insbytes)
1585 make_gap (insbytes - GAP_SIZE);
1587 /* Copy the string text into the buffer, perhaps converting
1588 between single-byte and multibyte. */
1589 copy_text (SDATA (new), GPT_ADDR, insbytes,
1590 STRING_MULTIBYTE (new),
1591 ! NILP (current_buffer->enable_multibyte_characters));
1593 #ifdef BYTE_COMBINING_DEBUG
1594 /* We have copied text into the gap, but we have not marked
1595 it as part of the buffer. So we can use the old FROM and FROM_BYTE
1596 here, for both the previous text and the following text.
1597 Meanwhile, GPT_ADDR does point to
1598 the text that has been stored by copy_text. */
1599 if (count_combining_before (GPT_ADDR, outgoing_insbytes, from, from_byte)
1600 || count_combining_after (GPT_ADDR, outgoing_insbytes, from, from_byte))
1601 abort ();
1602 #endif
1604 if (! EQ (current_buffer->undo_list, Qt))
1606 /* Record the insertion first, so that when we undo,
1607 the deletion will be undone first. Thus, undo
1608 will insert before deleting, and thus will keep
1609 the markers before and after this text separate. */
1610 record_insert (from + SCHARS (deletion), inschars);
1611 record_delete (from, deletion);
1614 GAP_SIZE -= outgoing_insbytes;
1615 GPT += inschars;
1616 ZV += inschars;
1617 Z += inschars;
1618 GPT_BYTE += outgoing_insbytes;
1619 ZV_BYTE += outgoing_insbytes;
1620 Z_BYTE += outgoing_insbytes;
1621 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1623 if (GPT_BYTE < GPT)
1624 abort ();
1626 /* Adjust the overlay center as needed. This must be done after
1627 adjusting the markers that bound the overlays. */
1628 adjust_overlays_for_delete (from, nchars_del);
1629 adjust_overlays_for_insert (from, inschars);
1631 /* Adjust markers for the deletion and the insertion. */
1632 if (markers)
1633 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1634 inschars, outgoing_insbytes);
1636 offset_intervals (current_buffer, from, inschars - nchars_del);
1638 /* Get the intervals for the part of the string we are inserting--
1639 not including the combined-before bytes. */
1640 intervals = STRING_INTERVALS (new);
1641 /* Insert those intervals. */
1642 graft_intervals_into_buffer (intervals, from, inschars,
1643 current_buffer, inherit);
1645 /* Relocate point as if it were a marker. */
1646 if (from < PT)
1647 adjust_point ((from + inschars - (PT < to ? PT : to)),
1648 (from_byte + outgoing_insbytes
1649 - (PT_BYTE < to_byte ? PT_BYTE : to_byte)));
1651 if (outgoing_insbytes == 0)
1652 evaporate_overlays (from);
1654 CHECK_MARKERS ();
1656 MODIFF++;
1657 CHARS_MODIFF = MODIFF;
1658 UNGCPRO;
1660 signal_after_change (from, nchars_del, GPT - from);
1661 update_compositions (from, GPT, CHECK_BORDER);
1664 /* Replace the text from character positions FROM to TO with
1665 the text in INS of length INSCHARS.
1666 Keep the text properties that applied to the old characters
1667 (extending them to all the new chars if there are more new chars).
1669 Note that this does not yet handle markers quite right.
1671 If MARKERS is nonzero, relocate markers.
1673 Unlike most functions at this level, never call
1674 prepare_to_modify_buffer and never call signal_after_change. */
1676 void
1677 replace_range_2 (from, from_byte, to, to_byte, ins, inschars, insbytes, markers)
1678 int from, from_byte, to, to_byte;
1679 char *ins;
1680 int inschars, insbytes, markers;
1682 int nbytes_del, nchars_del;
1683 Lisp_Object temp;
1685 CHECK_MARKERS ();
1687 nchars_del = to - from;
1688 nbytes_del = to_byte - from_byte;
1690 if (nbytes_del <= 0 && insbytes == 0)
1691 return;
1693 /* Make sure point-max won't overflow after this insertion. */
1694 XSETINT (temp, Z_BYTE - nbytes_del + insbytes);
1695 if (Z_BYTE - nbytes_del + insbytes != XINT (temp))
1696 error ("Maximum buffer size exceeded");
1698 /* Make sure the gap is somewhere in or next to what we are deleting. */
1699 if (from > GPT)
1700 gap_right (from, from_byte);
1701 if (to < GPT)
1702 gap_left (to, to_byte, 0);
1704 GAP_SIZE += nbytes_del;
1705 ZV -= nchars_del;
1706 Z -= nchars_del;
1707 ZV_BYTE -= nbytes_del;
1708 Z_BYTE -= nbytes_del;
1709 GPT = from;
1710 GPT_BYTE = from_byte;
1711 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1713 if (GPT_BYTE < GPT)
1714 abort ();
1716 if (GPT - BEG < BEG_UNCHANGED)
1717 BEG_UNCHANGED = GPT - BEG;
1718 if (Z - GPT < END_UNCHANGED)
1719 END_UNCHANGED = Z - GPT;
1721 if (GAP_SIZE < insbytes)
1722 make_gap (insbytes - GAP_SIZE);
1724 /* Copy the replacement text into the buffer. */
1725 bcopy (ins, GPT_ADDR, insbytes);
1727 #ifdef BYTE_COMBINING_DEBUG
1728 /* We have copied text into the gap, but we have not marked
1729 it as part of the buffer. So we can use the old FROM and FROM_BYTE
1730 here, for both the previous text and the following text.
1731 Meanwhile, GPT_ADDR does point to
1732 the text that has been stored by copy_text. */
1733 if (count_combining_before (GPT_ADDR, insbytes, from, from_byte)
1734 || count_combining_after (GPT_ADDR, insbytes, from, from_byte))
1735 abort ();
1736 #endif
1738 GAP_SIZE -= insbytes;
1739 GPT += inschars;
1740 ZV += inschars;
1741 Z += inschars;
1742 GPT_BYTE += insbytes;
1743 ZV_BYTE += insbytes;
1744 Z_BYTE += insbytes;
1745 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1747 if (GPT_BYTE < GPT)
1748 abort ();
1750 /* Adjust the overlay center as needed. This must be done after
1751 adjusting the markers that bound the overlays. */
1752 if (nchars_del != inschars)
1754 adjust_overlays_for_insert (from, inschars);
1755 adjust_overlays_for_delete (from + inschars, nchars_del);
1758 /* Adjust markers for the deletion and the insertion. */
1759 if (markers
1760 && ! (nchars_del == 1 && inschars == 1 && nbytes_del == insbytes))
1761 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1762 inschars, insbytes);
1764 offset_intervals (current_buffer, from, inschars - nchars_del);
1766 /* Relocate point as if it were a marker. */
1767 if (from < PT && (nchars_del != inschars || nbytes_del != insbytes))
1769 if (PT < to)
1770 /* PT was within the deleted text. Move it to FROM. */
1771 adjust_point (from - PT, from_byte - PT_BYTE);
1772 else
1773 adjust_point (inschars - nchars_del, insbytes - nbytes_del);
1776 if (insbytes == 0)
1777 evaporate_overlays (from);
1779 CHECK_MARKERS ();
1781 MODIFF++;
1782 CHARS_MODIFF = MODIFF;
1785 /* Delete characters in current buffer
1786 from FROM up to (but not including) TO.
1787 If TO comes before FROM, we delete nothing. */
1789 void
1790 del_range (from, to)
1791 register int from, to;
1793 del_range_1 (from, to, 1, 0);
1796 /* Like del_range; PREPARE says whether to call prepare_to_modify_buffer.
1797 RET_STRING says to return the deleted text. */
1799 Lisp_Object
1800 del_range_1 (from, to, prepare, ret_string)
1801 int from, to, prepare, ret_string;
1803 int from_byte, to_byte;
1804 Lisp_Object deletion;
1805 struct gcpro gcpro1;
1807 /* Make args be valid */
1808 if (from < BEGV)
1809 from = BEGV;
1810 if (to > ZV)
1811 to = ZV;
1813 if (to <= from)
1814 return Qnil;
1816 if (prepare)
1818 int range_length = to - from;
1819 prepare_to_modify_buffer (from, to, &from);
1820 to = min (ZV, from + range_length);
1823 from_byte = CHAR_TO_BYTE (from);
1824 to_byte = CHAR_TO_BYTE (to);
1826 deletion = del_range_2 (from, from_byte, to, to_byte, ret_string);
1827 GCPRO1(deletion);
1828 signal_after_change (from, to - from, 0);
1829 update_compositions (from, from, CHECK_HEAD);
1830 UNGCPRO;
1831 return deletion;
1834 /* Like del_range_1 but args are byte positions, not char positions. */
1836 void
1837 del_range_byte (from_byte, to_byte, prepare)
1838 int from_byte, to_byte, prepare;
1840 int from, to;
1842 /* Make args be valid */
1843 if (from_byte < BEGV_BYTE)
1844 from_byte = BEGV_BYTE;
1845 if (to_byte > ZV_BYTE)
1846 to_byte = ZV_BYTE;
1848 if (to_byte <= from_byte)
1849 return;
1851 from = BYTE_TO_CHAR (from_byte);
1852 to = BYTE_TO_CHAR (to_byte);
1854 if (prepare)
1856 int old_from = from, old_to = Z - to;
1857 int range_length = to - from;
1858 prepare_to_modify_buffer (from, to, &from);
1859 to = from + range_length;
1861 if (old_from != from)
1862 from_byte = CHAR_TO_BYTE (from);
1863 if (to > ZV)
1865 to = ZV;
1866 to_byte = ZV_BYTE;
1868 else if (old_to == Z - to)
1869 to_byte = CHAR_TO_BYTE (to);
1872 del_range_2 (from, from_byte, to, to_byte, 0);
1873 signal_after_change (from, to - from, 0);
1874 update_compositions (from, from, CHECK_HEAD);
1877 /* Like del_range_1, but positions are specified both as charpos
1878 and bytepos. */
1880 void
1881 del_range_both (from, from_byte, to, to_byte, prepare)
1882 int from, from_byte, to, to_byte, prepare;
1884 /* Make args be valid */
1885 if (from_byte < BEGV_BYTE)
1886 from_byte = BEGV_BYTE;
1887 if (to_byte > ZV_BYTE)
1888 to_byte = ZV_BYTE;
1890 if (to_byte <= from_byte)
1891 return;
1893 if (from < BEGV)
1894 from = BEGV;
1895 if (to > ZV)
1896 to = ZV;
1898 if (prepare)
1900 int old_from = from, old_to = Z - to;
1901 int range_length = to - from;
1902 prepare_to_modify_buffer (from, to, &from);
1903 to = from + range_length;
1905 if (old_from != from)
1906 from_byte = CHAR_TO_BYTE (from);
1907 if (to > ZV)
1909 to = ZV;
1910 to_byte = ZV_BYTE;
1912 else if (old_to == Z - to)
1913 to_byte = CHAR_TO_BYTE (to);
1916 del_range_2 (from, from_byte, to, to_byte, 0);
1917 signal_after_change (from, to - from, 0);
1918 update_compositions (from, from, CHECK_HEAD);
1921 /* Delete a range of text, specified both as character positions
1922 and byte positions. FROM and TO are character positions,
1923 while FROM_BYTE and TO_BYTE are byte positions.
1924 If RET_STRING is true, the deleted area is returned as a string. */
1926 Lisp_Object
1927 del_range_2 (from, from_byte, to, to_byte, ret_string)
1928 int from, from_byte, to, to_byte, ret_string;
1930 register int nbytes_del, nchars_del;
1931 Lisp_Object deletion;
1933 CHECK_MARKERS ();
1935 nchars_del = to - from;
1936 nbytes_del = to_byte - from_byte;
1938 /* Make sure the gap is somewhere in or next to what we are deleting. */
1939 if (from > GPT)
1940 gap_right (from, from_byte);
1941 if (to < GPT)
1942 gap_left (to, to_byte, 0);
1944 #ifdef BYTE_COMBINING_DEBUG
1945 if (count_combining_before (BUF_BYTE_ADDRESS (current_buffer, to_byte),
1946 Z_BYTE - to_byte, from, from_byte))
1947 abort ();
1948 #endif
1950 if (ret_string || ! EQ (current_buffer->undo_list, Qt))
1951 deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
1952 else
1953 deletion = Qnil;
1955 /* Relocate all markers pointing into the new, larger gap
1956 to point at the end of the text before the gap.
1957 Do this before recording the deletion,
1958 so that undo handles this after reinserting the text. */
1959 adjust_markers_for_delete (from, from_byte, to, to_byte);
1961 if (! EQ (current_buffer->undo_list, Qt))
1962 record_delete (from, deletion);
1963 MODIFF++;
1964 CHARS_MODIFF = MODIFF;
1966 /* Relocate point as if it were a marker. */
1967 if (from < PT)
1968 adjust_point (from - (PT < to ? PT : to),
1969 from_byte - (PT_BYTE < to_byte ? PT_BYTE : to_byte));
1971 offset_intervals (current_buffer, from, - nchars_del);
1973 /* Adjust the overlay center as needed. This must be done after
1974 adjusting the markers that bound the overlays. */
1975 adjust_overlays_for_delete (from, nchars_del);
1977 GAP_SIZE += nbytes_del;
1978 ZV_BYTE -= nbytes_del;
1979 Z_BYTE -= nbytes_del;
1980 ZV -= nchars_del;
1981 Z -= nchars_del;
1982 GPT = from;
1983 GPT_BYTE = from_byte;
1984 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1986 if (GPT_BYTE < GPT)
1987 abort ();
1989 if (GPT - BEG < BEG_UNCHANGED)
1990 BEG_UNCHANGED = GPT - BEG;
1991 if (Z - GPT < END_UNCHANGED)
1992 END_UNCHANGED = Z - GPT;
1994 CHECK_MARKERS ();
1996 evaporate_overlays (from);
1998 return deletion;
2001 /* Call this if you're about to change the region of BUFFER from
2002 character positions START to END. This checks the read-only
2003 properties of the region, calls the necessary modification hooks,
2004 and warns the next redisplay that it should pay attention to that
2005 area.
2007 If PRESERVE_CHARS_MODIFF is non-zero, do not update CHARS_MODIFF.
2008 Otherwise set CHARS_MODIFF to the new value of MODIFF. */
2010 void
2011 modify_region (buffer, start, end, preserve_chars_modiff)
2012 struct buffer *buffer;
2013 int start, end, preserve_chars_modiff;
2015 struct buffer *old_buffer = current_buffer;
2017 if (buffer != old_buffer)
2018 set_buffer_internal (buffer);
2020 prepare_to_modify_buffer (start, end, NULL);
2022 BUF_COMPUTE_UNCHANGED (buffer, start - 1, end);
2024 if (MODIFF <= SAVE_MODIFF)
2025 record_first_change ();
2026 MODIFF++;
2027 if (! preserve_chars_modiff)
2028 CHARS_MODIFF = MODIFF;
2030 buffer->point_before_scroll = Qnil;
2032 if (buffer != old_buffer)
2033 set_buffer_internal (old_buffer);
2036 /* Check that it is okay to modify the buffer between START and END,
2037 which are char positions.
2039 Run the before-change-function, if any. If intervals are in use,
2040 verify that the text to be modified is not read-only, and call
2041 any modification properties the text may have.
2043 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
2044 by holding its value temporarily in a marker. */
2046 void
2047 prepare_to_modify_buffer (start, end, preserve_ptr)
2048 int start, end;
2049 int *preserve_ptr;
2051 struct buffer *base_buffer;
2053 if (!NILP (current_buffer->read_only))
2054 Fbarf_if_buffer_read_only ();
2056 /* Let redisplay consider other windows than selected_window
2057 if modifying another buffer. */
2058 if (XBUFFER (XWINDOW (selected_window)->buffer) != current_buffer)
2059 ++windows_or_buffers_changed;
2061 if (BUF_INTERVALS (current_buffer) != 0)
2063 if (preserve_ptr)
2065 Lisp_Object preserve_marker;
2066 struct gcpro gcpro1;
2067 preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil);
2068 GCPRO1 (preserve_marker);
2069 verify_interval_modification (current_buffer, start, end);
2070 *preserve_ptr = marker_position (preserve_marker);
2071 unchain_marker (XMARKER (preserve_marker));
2072 UNGCPRO;
2074 else
2075 verify_interval_modification (current_buffer, start, end);
2078 /* For indirect buffers, use the base buffer to check clashes. */
2079 if (current_buffer->base_buffer != 0)
2080 base_buffer = current_buffer->base_buffer;
2081 else
2082 base_buffer = current_buffer;
2084 #ifdef CLASH_DETECTION
2085 if (!NILP (base_buffer->file_truename)
2086 /* Make binding buffer-file-name to nil effective. */
2087 && !NILP (base_buffer->filename)
2088 && SAVE_MODIFF >= MODIFF)
2089 lock_file (base_buffer->file_truename);
2090 #else
2091 /* At least warn if this file has changed on disk since it was visited. */
2092 if (!NILP (base_buffer->filename)
2093 && SAVE_MODIFF >= MODIFF
2094 && NILP (Fverify_visited_file_modtime (Fcurrent_buffer ()))
2095 && !NILP (Ffile_exists_p (base_buffer->filename)))
2096 call1 (intern ("ask-user-about-supersession-threat"),
2097 base_buffer->filename);
2098 #endif /* not CLASH_DETECTION */
2100 signal_before_change (start, end, preserve_ptr);
2102 if (current_buffer->newline_cache)
2103 invalidate_region_cache (current_buffer,
2104 current_buffer->newline_cache,
2105 start - BEG, Z - end);
2106 if (current_buffer->width_run_cache)
2107 invalidate_region_cache (current_buffer,
2108 current_buffer->width_run_cache,
2109 start - BEG, Z - end);
2111 Vdeactivate_mark = Qt;
2114 /* These macros work with an argument named `preserve_ptr'
2115 and a local variable named `preserve_marker'. */
2117 #define PRESERVE_VALUE \
2118 if (preserve_ptr && NILP (preserve_marker)) \
2119 preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil)
2121 #define RESTORE_VALUE \
2122 if (! NILP (preserve_marker)) \
2124 *preserve_ptr = marker_position (preserve_marker); \
2125 unchain_marker (XMARKER (preserve_marker)); \
2128 #define PRESERVE_START_END \
2129 if (NILP (start_marker)) \
2130 start_marker = Fcopy_marker (start, Qnil); \
2131 if (NILP (end_marker)) \
2132 end_marker = Fcopy_marker (end, Qnil);
2134 #define FETCH_START \
2135 (! NILP (start_marker) ? Fmarker_position (start_marker) : start)
2137 #define FETCH_END \
2138 (! NILP (end_marker) ? Fmarker_position (end_marker) : end)
2140 /* Set a variable to nil if an error occurred.
2141 Don't change the variable if there was no error.
2142 VAL is a cons-cell (VARIABLE . NO-ERROR-FLAG).
2143 VARIABLE is the variable to maybe set to nil.
2144 NO-ERROR-FLAG is nil if there was an error,
2145 anything else meaning no error (so this function does nothing). */
2146 Lisp_Object
2147 reset_var_on_error (val)
2148 Lisp_Object val;
2150 if (NILP (XCDR (val)))
2151 Fset (XCAR (val), Qnil);
2152 return Qnil;
2155 /* Signal a change to the buffer immediately before it happens.
2156 START_INT and END_INT are the bounds of the text to be changed.
2158 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
2159 by holding its value temporarily in a marker. */
2161 void
2162 signal_before_change (start_int, end_int, preserve_ptr)
2163 int start_int, end_int;
2164 int *preserve_ptr;
2166 Lisp_Object start, end;
2167 Lisp_Object start_marker, end_marker;
2168 Lisp_Object preserve_marker;
2169 struct gcpro gcpro1, gcpro2, gcpro3;
2170 int count = SPECPDL_INDEX ();
2172 if (inhibit_modification_hooks)
2173 return;
2175 start = make_number (start_int);
2176 end = make_number (end_int);
2177 preserve_marker = Qnil;
2178 start_marker = Qnil;
2179 end_marker = Qnil;
2180 GCPRO3 (preserve_marker, start_marker, end_marker);
2182 specbind (Qinhibit_modification_hooks, Qt);
2184 /* If buffer is unmodified, run a special hook for that case. */
2185 if (SAVE_MODIFF >= MODIFF
2186 && !NILP (Vfirst_change_hook)
2187 && !NILP (Vrun_hooks))
2189 PRESERVE_VALUE;
2190 PRESERVE_START_END;
2191 call1 (Vrun_hooks, Qfirst_change_hook);
2194 /* Now run the before-change-functions if any. */
2195 if (!NILP (Vbefore_change_functions))
2197 Lisp_Object args[3];
2198 Lisp_Object rvoe_arg = Fcons (Qbefore_change_functions, Qnil);
2200 PRESERVE_VALUE;
2201 PRESERVE_START_END;
2203 /* Mark before-change-functions to be reset to nil in case of error. */
2204 record_unwind_protect (reset_var_on_error, rvoe_arg);
2206 /* Actually run the hook functions. */
2207 args[0] = Qbefore_change_functions;
2208 args[1] = FETCH_START;
2209 args[2] = FETCH_END;
2210 Frun_hook_with_args (3, args);
2212 /* There was no error: unarm the reset_on_error. */
2213 XSETCDR (rvoe_arg, Qt);
2216 if (current_buffer->overlays_before || current_buffer->overlays_after)
2218 PRESERVE_VALUE;
2219 report_overlay_modification (FETCH_START, FETCH_END, 0,
2220 FETCH_START, FETCH_END, Qnil);
2223 if (! NILP (start_marker))
2224 free_marker (start_marker);
2225 if (! NILP (end_marker))
2226 free_marker (end_marker);
2227 RESTORE_VALUE;
2228 UNGCPRO;
2230 unbind_to (count, Qnil);
2233 /* Signal a change immediately after it happens.
2234 CHARPOS is the character position of the start of the changed text.
2235 LENDEL is the number of characters of the text before the change.
2236 (Not the whole buffer; just the part that was changed.)
2237 LENINS is the number of characters in that part of the text
2238 after the change. */
2240 void
2241 signal_after_change (charpos, lendel, lenins)
2242 int charpos, lendel, lenins;
2244 int count = SPECPDL_INDEX ();
2245 if (inhibit_modification_hooks)
2246 return;
2248 /* If we are deferring calls to the after-change functions
2249 and there are no before-change functions,
2250 just record the args that we were going to use. */
2251 if (! NILP (Vcombine_after_change_calls)
2252 && NILP (Vbefore_change_functions)
2253 && !current_buffer->overlays_before
2254 && !current_buffer->overlays_after)
2256 Lisp_Object elt;
2258 if (!NILP (combine_after_change_list)
2259 && current_buffer != XBUFFER (combine_after_change_buffer))
2260 Fcombine_after_change_execute ();
2262 elt = Fcons (make_number (charpos - BEG),
2263 Fcons (make_number (Z - (charpos - lendel + lenins)),
2264 Fcons (make_number (lenins - lendel), Qnil)));
2265 combine_after_change_list
2266 = Fcons (elt, combine_after_change_list);
2267 combine_after_change_buffer = Fcurrent_buffer ();
2269 return;
2272 if (!NILP (combine_after_change_list))
2273 Fcombine_after_change_execute ();
2275 specbind (Qinhibit_modification_hooks, Qt);
2277 if (!NILP (Vafter_change_functions))
2279 Lisp_Object args[4];
2280 Lisp_Object rvoe_arg = Fcons (Qafter_change_functions, Qnil);
2282 /* Mark after-change-functions to be reset to nil in case of error. */
2283 record_unwind_protect (reset_var_on_error, rvoe_arg);
2285 /* Actually run the hook functions. */
2286 args[0] = Qafter_change_functions;
2287 XSETFASTINT (args[1], charpos);
2288 XSETFASTINT (args[2], charpos + lenins);
2289 XSETFASTINT (args[3], lendel);
2290 Frun_hook_with_args (4, args);
2292 /* There was no error: unarm the reset_on_error. */
2293 XSETCDR (rvoe_arg, Qt);
2296 if (current_buffer->overlays_before || current_buffer->overlays_after)
2297 report_overlay_modification (make_number (charpos),
2298 make_number (charpos + lenins),
2300 make_number (charpos),
2301 make_number (charpos + lenins),
2302 make_number (lendel));
2304 /* After an insertion, call the text properties
2305 insert-behind-hooks or insert-in-front-hooks. */
2306 if (lendel == 0)
2307 report_interval_modification (make_number (charpos),
2308 make_number (charpos + lenins));
2310 unbind_to (count, Qnil);
2313 Lisp_Object
2314 Fcombine_after_change_execute_1 (val)
2315 Lisp_Object val;
2317 Vcombine_after_change_calls = val;
2318 return val;
2321 DEFUN ("combine-after-change-execute", Fcombine_after_change_execute,
2322 Scombine_after_change_execute, 0, 0, 0,
2323 doc: /* This function is for use internally in `combine-after-change-calls'. */)
2326 int count = SPECPDL_INDEX ();
2327 int beg, end, change;
2328 int begpos, endpos;
2329 Lisp_Object tail;
2331 if (NILP (combine_after_change_list))
2332 return Qnil;
2334 /* It is rare for combine_after_change_buffer to be invalid, but
2335 possible. It can happen when combine-after-change-calls is
2336 non-nil, and insertion calls a file handler (e.g. through
2337 lock_file) which scribbles into a temp file -- cyd */
2338 if (!BUFFERP (combine_after_change_buffer)
2339 || NILP (XBUFFER (combine_after_change_buffer)->name))
2341 combine_after_change_list = Qnil;
2342 return Qnil;
2345 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
2347 Fset_buffer (combine_after_change_buffer);
2349 /* # chars unchanged at beginning of buffer. */
2350 beg = Z - BEG;
2351 /* # chars unchanged at end of buffer. */
2352 end = beg;
2353 /* Total amount of insertion (negative for deletion). */
2354 change = 0;
2356 /* Scan the various individual changes,
2357 accumulating the range info in BEG, END and CHANGE. */
2358 for (tail = combine_after_change_list; CONSP (tail);
2359 tail = XCDR (tail))
2361 Lisp_Object elt;
2362 int thisbeg, thisend, thischange;
2364 /* Extract the info from the next element. */
2365 elt = XCAR (tail);
2366 if (! CONSP (elt))
2367 continue;
2368 thisbeg = XINT (XCAR (elt));
2370 elt = XCDR (elt);
2371 if (! CONSP (elt))
2372 continue;
2373 thisend = XINT (XCAR (elt));
2375 elt = XCDR (elt);
2376 if (! CONSP (elt))
2377 continue;
2378 thischange = XINT (XCAR (elt));
2380 /* Merge this range into the accumulated range. */
2381 change += thischange;
2382 if (thisbeg < beg)
2383 beg = thisbeg;
2384 if (thisend < end)
2385 end = thisend;
2388 /* Get the current start and end positions of the range
2389 that was changed. */
2390 begpos = BEG + beg;
2391 endpos = Z - end;
2393 /* We are about to handle these, so discard them. */
2394 combine_after_change_list = Qnil;
2396 /* Now run the after-change functions for real.
2397 Turn off the flag that defers them. */
2398 record_unwind_protect (Fcombine_after_change_execute_1,
2399 Vcombine_after_change_calls);
2400 signal_after_change (begpos, endpos - begpos - change, endpos - begpos);
2401 update_compositions (begpos, endpos, CHECK_ALL);
2403 return unbind_to (count, Qnil);
2406 void
2407 syms_of_insdel ()
2409 staticpro (&combine_after_change_list);
2410 staticpro (&combine_after_change_buffer);
2411 combine_after_change_list = Qnil;
2412 combine_after_change_buffer = Qnil;
2414 DEFVAR_BOOL ("check-markers-debug-flag", &check_markers_debug_flag,
2415 doc: /* Non-nil means enable debugging checks for invalid marker positions. */);
2416 check_markers_debug_flag = 0;
2417 DEFVAR_LISP ("combine-after-change-calls", &Vcombine_after_change_calls,
2418 doc: /* Used internally by the `combine-after-change-calls' macro. */);
2419 Vcombine_after_change_calls = Qnil;
2421 DEFVAR_BOOL ("inhibit-modification-hooks", &inhibit_modification_hooks,
2422 doc: /* Non-nil means don't run any of the hooks that respond to buffer changes.
2423 This affects `before-change-functions' and `after-change-functions',
2424 as well as hooks attached to text properties and overlays. */);
2425 inhibit_modification_hooks = 0;
2426 Qinhibit_modification_hooks = intern ("inhibit-modification-hooks");
2427 staticpro (&Qinhibit_modification_hooks);
2429 defsubr (&Scombine_after_change_execute);
2432 /* arch-tag: 9b34b886-47d7-465e-a234-299af411b23d
2433 (do not change this comment) */