(reset_var_on_error): Improve comment.
[bpt/emacs.git] / src / insdel.c
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.
4
5 This file is part of GNU Emacs.
6
7 GNU Emacs is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 any later version.
11
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs; see the file COPYING. If not, write to
19 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
20 Boston, MA 02110-1301, USA. */
21
22
23 #include <config.h>
24 #include "lisp.h"
25 #include "intervals.h"
26 #include "buffer.h"
27 #include "charset.h"
28 #include "window.h"
29 #include "blockinput.h"
30 #include "region-cache.h"
31
32 #ifndef NULL
33 #define NULL 0
34 #endif
35
36 static void insert_from_string_1 P_ ((Lisp_Object, int, int, int, int, int, int));
37 static void insert_from_buffer_1 ();
38 static void gap_left P_ ((int, int, int));
39 static void gap_right P_ ((int, int));
40 static void adjust_markers_gap_motion P_ ((int, int, int));
41 static void adjust_markers_for_insert P_ ((int, int, int, int, int));
42 void adjust_markers_for_delete P_ ((int, int, int, int));
43 static void adjust_markers_for_replace P_ ((int, int, int, int, int, int));
44 static void adjust_point P_ ((int, int));
45
46 Lisp_Object Fcombine_after_change_execute ();
47
48 /* Non-nil means don't call the after-change-functions right away,
49 just record an element in Vcombine_after_change_calls_list. */
50 Lisp_Object Vcombine_after_change_calls;
51
52 /* List of elements of the form (BEG-UNCHANGED END-UNCHANGED CHANGE-AMOUNT)
53 describing changes which happened while combine_after_change_calls
54 was nonzero. We use this to decide how to call them
55 once the deferral ends.
56
57 In each element.
58 BEG-UNCHANGED is the number of chars before the changed range.
59 END-UNCHANGED is the number of chars after the changed range,
60 and CHANGE-AMOUNT is the number of characters inserted by the change
61 (negative for a deletion). */
62 Lisp_Object combine_after_change_list;
63
64 /* Buffer which combine_after_change_list is about. */
65 Lisp_Object combine_after_change_buffer;
66
67 Lisp_Object Qinhibit_modification_hooks;
68
69 \f
70 /* Check all markers in the current buffer, looking for something invalid. */
71
72 static int check_markers_debug_flag;
73
74 #define CHECK_MARKERS() \
75 if (check_markers_debug_flag) \
76 check_markers (); \
77 else
78
79 void
80 check_markers ()
81 {
82 register struct Lisp_Marker *tail;
83 int multibyte = ! NILP (current_buffer->enable_multibyte_characters);
84
85 for (tail = BUF_MARKERS (current_buffer); tail; tail = tail->next)
86 {
87 if (tail->buffer->text != current_buffer->text)
88 abort ();
89 if (tail->charpos > Z)
90 abort ();
91 if (tail->bytepos > Z_BYTE)
92 abort ();
93 if (multibyte && ! CHAR_HEAD_P (FETCH_BYTE (tail->bytepos)))
94 abort ();
95 }
96 }
97 \f
98 /* Move gap to position CHARPOS.
99 Note that this can quit! */
100
101 void
102 move_gap (charpos)
103 int charpos;
104 {
105 move_gap_both (charpos, charpos_to_bytepos (charpos));
106 }
107
108 /* Move gap to byte position BYTEPOS, which is also char position CHARPOS.
109 Note that this can quit! */
110
111 void
112 move_gap_both (charpos, bytepos)
113 int charpos, bytepos;
114 {
115 if (bytepos < GPT_BYTE)
116 gap_left (charpos, bytepos, 0);
117 else if (bytepos > GPT_BYTE)
118 gap_right (charpos, bytepos);
119 }
120
121 /* Move the gap to a position less than the current GPT.
122 BYTEPOS describes the new position as a byte position,
123 and CHARPOS is the corresponding char position.
124 If NEWGAP is nonzero, then don't update beg_unchanged and end_unchanged. */
125
126 static void
127 gap_left (charpos, bytepos, newgap)
128 register int charpos, bytepos;
129 int newgap;
130 {
131 register unsigned char *to, *from;
132 register int i;
133 int new_s1;
134
135 if (!newgap)
136 BUF_COMPUTE_UNCHANGED (current_buffer, charpos, GPT);
137
138 i = GPT_BYTE;
139 to = GAP_END_ADDR;
140 from = GPT_ADDR;
141 new_s1 = GPT_BYTE;
142
143 /* Now copy the characters. To move the gap down,
144 copy characters up. */
145
146 while (1)
147 {
148 /* I gets number of characters left to copy. */
149 i = new_s1 - bytepos;
150 if (i == 0)
151 break;
152 /* If a quit is requested, stop copying now.
153 Change BYTEPOS to be where we have actually moved the gap to. */
154 if (QUITP)
155 {
156 bytepos = new_s1;
157 charpos = BYTE_TO_CHAR (bytepos);
158 break;
159 }
160 /* Move at most 32000 chars before checking again for a quit. */
161 if (i > 32000)
162 i = 32000;
163 #ifdef GAP_USE_BCOPY
164 if (i >= 128
165 /* bcopy is safe if the two areas of memory do not overlap
166 or on systems where bcopy is always safe for moving upward. */
167 && (BCOPY_UPWARD_SAFE
168 || to - from >= 128))
169 {
170 /* If overlap is not safe, avoid it by not moving too many
171 characters at once. */
172 if (!BCOPY_UPWARD_SAFE && i > to - from)
173 i = to - from;
174 new_s1 -= i;
175 from -= i, to -= i;
176 bcopy (from, to, i);
177 }
178 else
179 #endif
180 {
181 new_s1 -= i;
182 while (--i >= 0)
183 *--to = *--from;
184 }
185 }
186
187 /* Adjust markers, and buffer data structure, to put the gap at BYTEPOS.
188 BYTEPOS is where the loop above stopped, which may be what was specified
189 or may be where a quit was detected. */
190 adjust_markers_gap_motion (bytepos, GPT_BYTE, GAP_SIZE);
191 GPT_BYTE = bytepos;
192 GPT = charpos;
193 if (bytepos < charpos)
194 abort ();
195 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
196 QUIT;
197 }
198
199 /* Move the gap to a position greater than than the current GPT.
200 BYTEPOS describes the new position as a byte position,
201 and CHARPOS is the corresponding char position. */
202
203 static void
204 gap_right (charpos, bytepos)
205 register int charpos, bytepos;
206 {
207 register unsigned char *to, *from;
208 register int i;
209 int new_s1;
210
211 BUF_COMPUTE_UNCHANGED (current_buffer, charpos, GPT);
212
213 i = GPT_BYTE;
214 from = GAP_END_ADDR;
215 to = GPT_ADDR;
216 new_s1 = GPT_BYTE;
217
218 /* Now copy the characters. To move the gap up,
219 copy characters down. */
220
221 while (1)
222 {
223 /* I gets number of characters left to copy. */
224 i = bytepos - new_s1;
225 if (i == 0)
226 break;
227 /* If a quit is requested, stop copying now.
228 Change BYTEPOS to be where we have actually moved the gap to. */
229 if (QUITP)
230 {
231 bytepos = new_s1;
232 charpos = BYTE_TO_CHAR (bytepos);
233 break;
234 }
235 /* Move at most 32000 chars before checking again for a quit. */
236 if (i > 32000)
237 i = 32000;
238 #ifdef GAP_USE_BCOPY
239 if (i >= 128
240 /* bcopy is safe if the two areas of memory do not overlap
241 or on systems where bcopy is always safe for moving downward. */
242 && (BCOPY_DOWNWARD_SAFE
243 || from - to >= 128))
244 {
245 /* If overlap is not safe, avoid it by not moving too many
246 characters at once. */
247 if (!BCOPY_DOWNWARD_SAFE && i > from - to)
248 i = from - to;
249 new_s1 += i;
250 bcopy (from, to, i);
251 from += i, to += i;
252 }
253 else
254 #endif
255 {
256 new_s1 += i;
257 while (--i >= 0)
258 *to++ = *from++;
259 }
260 }
261
262 adjust_markers_gap_motion (GPT_BYTE + GAP_SIZE, bytepos + GAP_SIZE,
263 - GAP_SIZE);
264 GPT = charpos;
265 GPT_BYTE = bytepos;
266 if (bytepos < charpos)
267 abort ();
268 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
269 QUIT;
270 }
271 \f
272 /* Add AMOUNT to the byte position of every marker in the current buffer
273 whose current byte position is between FROM (exclusive) and TO (inclusive).
274
275 Also, any markers past the outside of that interval, in the direction
276 of adjustment, are first moved back to the near end of the interval
277 and then adjusted by AMOUNT.
278
279 When the latter adjustment is done, if AMOUNT is negative,
280 we record the adjustment for undo. (This case happens only for
281 deletion.)
282
283 The markers' character positions are not altered,
284 because gap motion does not affect character positions. */
285
286 int adjust_markers_test;
287
288 static void
289 adjust_markers_gap_motion (from, to, amount)
290 register int from, to, amount;
291 {
292 /* Now that a marker has a bytepos, not counting the gap,
293 nothing needs to be done here. */
294 #if 0
295 Lisp_Object marker;
296 register struct Lisp_Marker *m;
297 register int mpos;
298
299 marker = BUF_MARKERS (current_buffer);
300
301 while (!NILP (marker))
302 {
303 m = XMARKER (marker);
304 mpos = m->bytepos;
305 if (amount > 0)
306 {
307 if (mpos > to && mpos < to + amount)
308 {
309 if (adjust_markers_test)
310 abort ();
311 mpos = to + amount;
312 }
313 }
314 else
315 {
316 /* Here's the case where a marker is inside text being deleted.
317 AMOUNT can be negative for gap motion, too,
318 but then this range contains no markers. */
319 if (mpos > from + amount && mpos <= from)
320 {
321 if (adjust_markers_test)
322 abort ();
323 mpos = from + amount;
324 }
325 }
326 if (mpos > from && mpos <= to)
327 mpos += amount;
328 m->bufpos = mpos;
329 marker = m->chain;
330 }
331 #endif
332 }
333 \f
334 /* Adjust all markers for a deletion
335 whose range in bytes is FROM_BYTE to TO_BYTE.
336 The range in charpos is FROM to TO.
337
338 This function assumes that the gap is adjacent to
339 or inside of the range being deleted. */
340
341 void
342 adjust_markers_for_delete (from, from_byte, to, to_byte)
343 register int from, from_byte, to, to_byte;
344 {
345 Lisp_Object marker;
346 register struct Lisp_Marker *m;
347 register int charpos;
348
349 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
350 {
351 charpos = m->charpos;
352
353 if (charpos > Z)
354 abort ();
355
356 /* If the marker is after the deletion,
357 relocate by number of chars / bytes deleted. */
358 if (charpos > to)
359 {
360 m->charpos -= to - from;
361 m->bytepos -= to_byte - from_byte;
362 }
363 /* Here's the case where a marker is inside text being deleted. */
364 else if (charpos > from)
365 {
366 if (! m->insertion_type)
367 { /* Normal markers will end up at the beginning of the
368 re-inserted text after undoing a deletion, and must be
369 adjusted to move them to the correct place. */
370 XSETMISC (marker, m);
371 record_marker_adjustment (marker, from - charpos);
372 }
373 else if (charpos < to)
374 { /* Before-insertion markers will automatically move forward
375 upon re-inserting the deleted text, so we have to arrange
376 for them to move backward to the correct position. */
377 XSETMISC (marker, m);
378 record_marker_adjustment (marker, charpos - to);
379 }
380 m->charpos = from;
381 m->bytepos = from_byte;
382 }
383 /* Here's the case where a before-insertion marker is immediately
384 before the deleted region. */
385 else if (charpos == from && m->insertion_type)
386 {
387 /* Undoing the change uses normal insertion, which will
388 incorrectly make MARKER move forward, so we arrange for it
389 to then move backward to the correct place at the beginning
390 of the deleted region. */
391 XSETMISC (marker, m);
392 record_marker_adjustment (marker, to - from);
393 }
394 }
395 }
396
397 \f
398 /* Adjust markers for an insertion that stretches from FROM / FROM_BYTE
399 to TO / TO_BYTE. We have to relocate the charpos of every marker
400 that points after the insertion (but not their bytepos).
401
402 When a marker points at the insertion point,
403 we advance it if either its insertion-type is t
404 or BEFORE_MARKERS is true. */
405
406 static void
407 adjust_markers_for_insert (from, from_byte, to, to_byte, before_markers)
408 register int from, from_byte, to, to_byte;
409 int before_markers;
410 {
411 struct Lisp_Marker *m;
412 int adjusted = 0;
413 int nchars = to - from;
414 int nbytes = to_byte - from_byte;
415
416 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
417 {
418 /* In a single-byte buffer, a marker's two positions must be
419 equal. */
420 if (Z == Z_BYTE)
421 {
422 if (m->charpos != m->bytepos)
423 abort ();
424 }
425
426 if (m->bytepos == from_byte)
427 {
428 if (m->insertion_type || before_markers)
429 {
430 m->bytepos = to_byte;
431 m->charpos = to;
432 if (m->insertion_type)
433 adjusted = 1;
434 }
435 }
436 else if (m->bytepos > from_byte)
437 {
438 m->bytepos += nbytes;
439 m->charpos += nchars;
440 }
441 }
442
443 /* Adjusting only markers whose insertion-type is t may result in
444 - disordered start and end in overlays, and
445 - disordered overlays in the slot `overlays_before' of current_buffer. */
446 if (adjusted)
447 {
448 fix_start_end_in_overlays(from, to);
449 fix_overlays_before (current_buffer, from, to);
450 }
451 }
452
453 /* Adjust point for an insertion of NBYTES bytes, which are NCHARS characters.
454
455 This is used only when the value of point changes due to an insert
456 or delete; it does not represent a conceptual change in point as a
457 marker. In particular, point is not crossing any interval
458 boundaries, so there's no need to use the usual SET_PT macro. In
459 fact it would be incorrect to do so, because either the old or the
460 new value of point is out of sync with the current set of
461 intervals. */
462
463 static void
464 adjust_point (nchars, nbytes)
465 int nchars, nbytes;
466 {
467 BUF_PT (current_buffer) += nchars;
468 BUF_PT_BYTE (current_buffer) += nbytes;
469
470 /* In a single-byte buffer, the two positions must be equal. */
471 if (ZV == ZV_BYTE
472 && PT != PT_BYTE)
473 abort ();
474 }
475 \f
476 /* Adjust markers for a replacement of a text at FROM (FROM_BYTE) of
477 length OLD_CHARS (OLD_BYTES) to a new text of length NEW_CHARS
478 (NEW_BYTES). It is assumed that OLD_CHARS > 0, i.e., this is not
479 an insertion. */
480
481 static void
482 adjust_markers_for_replace (from, from_byte, old_chars, old_bytes,
483 new_chars, new_bytes)
484 int from, from_byte, old_chars, old_bytes, new_chars, new_bytes;
485 {
486 register struct Lisp_Marker *m;
487 int prev_to_byte = from_byte + old_bytes;
488 int diff_chars = new_chars - old_chars;
489 int diff_bytes = new_bytes - old_bytes;
490
491 for (m = BUF_MARKERS (current_buffer); m; m = m->next)
492 {
493 if (m->bytepos >= prev_to_byte)
494 {
495 m->charpos += diff_chars;
496 m->bytepos += diff_bytes;
497 }
498 else if (m->bytepos > from_byte)
499 {
500 m->charpos = from;
501 m->bytepos = from_byte;
502 }
503 }
504
505 CHECK_MARKERS ();
506 }
507
508 \f
509 /* Make the gap NBYTES_ADDED bytes longer. */
510
511 void
512 make_gap_larger (nbytes_added)
513 int nbytes_added;
514 {
515 Lisp_Object tem;
516 int real_gap_loc;
517 int real_gap_loc_byte;
518 int old_gap_size;
519
520 /* If we have to get more space, get enough to last a while. */
521 nbytes_added += 2000;
522
523 /* Don't allow a buffer size that won't fit in an int
524 even if it will fit in a Lisp integer.
525 That won't work because so many places use `int'.
526
527 Make sure we don't introduce overflows in the calculation. */
528
529 if (Z_BYTE - BEG_BYTE + GAP_SIZE
530 >= (((EMACS_INT) 1 << (min (VALBITS, BITS_PER_INT) - 1)) - 1
531 - nbytes_added))
532 error ("Buffer exceeds maximum size");
533
534 enlarge_buffer_text (current_buffer, nbytes_added);
535
536 /* Prevent quitting in move_gap. */
537 tem = Vinhibit_quit;
538 Vinhibit_quit = Qt;
539
540 real_gap_loc = GPT;
541 real_gap_loc_byte = GPT_BYTE;
542 old_gap_size = GAP_SIZE;
543
544 /* Call the newly allocated space a gap at the end of the whole space. */
545 GPT = Z + GAP_SIZE;
546 GPT_BYTE = Z_BYTE + GAP_SIZE;
547 GAP_SIZE = nbytes_added;
548
549 /* Move the new gap down to be consecutive with the end of the old one.
550 This adjusts the markers properly too. */
551 gap_left (real_gap_loc + old_gap_size, real_gap_loc_byte + old_gap_size, 1);
552
553 /* Now combine the two into one large gap. */
554 GAP_SIZE += old_gap_size;
555 GPT = real_gap_loc;
556 GPT_BYTE = real_gap_loc_byte;
557
558 /* Put an anchor. */
559 *(Z_ADDR) = 0;
560
561 Vinhibit_quit = tem;
562 }
563
564
565 /* Make the gap NBYTES_REMOVED bytes shorter. */
566
567 void
568 make_gap_smaller (nbytes_removed)
569 int nbytes_removed;
570 {
571 Lisp_Object tem;
572 int real_gap_loc;
573 int real_gap_loc_byte;
574 int real_Z;
575 int real_Z_byte;
576 int real_beg_unchanged;
577 int new_gap_size;
578
579 /* Make sure the gap is at least 20 bytes. */
580 if (GAP_SIZE - nbytes_removed < 20)
581 nbytes_removed = GAP_SIZE - 20;
582
583 /* Prevent quitting in move_gap. */
584 tem = Vinhibit_quit;
585 Vinhibit_quit = Qt;
586
587 real_gap_loc = GPT;
588 real_gap_loc_byte = GPT_BYTE;
589 new_gap_size = GAP_SIZE - nbytes_removed;
590 real_Z = Z;
591 real_Z_byte = Z_BYTE;
592 real_beg_unchanged = BEG_UNCHANGED;
593
594 /* Pretend that the last unwanted part of the gap is the entire gap,
595 and that the first desired part of the gap is part of the buffer
596 text. */
597 bzero (GPT_ADDR, new_gap_size);
598 GPT += new_gap_size;
599 GPT_BYTE += new_gap_size;
600 Z += new_gap_size;
601 Z_BYTE += new_gap_size;
602 GAP_SIZE = nbytes_removed;
603
604 /* Move the unwanted pretend gap to the end of the buffer. This
605 adjusts the markers properly too. */
606 gap_right (Z, Z_BYTE);
607
608 enlarge_buffer_text (current_buffer, -nbytes_removed);
609
610 /* Now restore the desired gap. */
611 GAP_SIZE = new_gap_size;
612 GPT = real_gap_loc;
613 GPT_BYTE = real_gap_loc_byte;
614 Z = real_Z;
615 Z_BYTE = real_Z_byte;
616 BEG_UNCHANGED = real_beg_unchanged;
617
618 /* Put an anchor. */
619 *(Z_ADDR) = 0;
620
621 Vinhibit_quit = tem;
622 }
623
624 void
625 make_gap (nbytes_added)
626 int nbytes_added;
627 {
628 if (nbytes_added >= 0)
629 make_gap_larger (nbytes_added);
630 #if defined USE_MMAP_FOR_BUFFERS || defined REL_ALLOC || defined DOUG_LEA_MALLOC
631 else
632 make_gap_smaller (-nbytes_added);
633 #endif
634 }
635 \f
636 /* Copy NBYTES bytes of text from FROM_ADDR to TO_ADDR.
637 FROM_MULTIBYTE says whether the incoming text is multibyte.
638 TO_MULTIBYTE says whether to store the text as multibyte.
639 If FROM_MULTIBYTE != TO_MULTIBYTE, we convert.
640
641 Return the number of bytes stored at TO_ADDR. */
642
643 int
644 copy_text (from_addr, to_addr, nbytes,
645 from_multibyte, to_multibyte)
646 const unsigned char *from_addr;
647 unsigned char *to_addr;
648 int nbytes;
649 int from_multibyte, to_multibyte;
650 {
651 if (from_multibyte == to_multibyte)
652 {
653 bcopy (from_addr, to_addr, nbytes);
654 return nbytes;
655 }
656 else if (from_multibyte)
657 {
658 int nchars = 0;
659 int bytes_left = nbytes;
660 Lisp_Object tbl = Qnil;
661
662 /* We set the variable tbl to the reverse table of
663 Vnonascii_translation_table in advance. */
664 if (CHAR_TABLE_P (Vnonascii_translation_table))
665 {
666 tbl = Fchar_table_extra_slot (Vnonascii_translation_table,
667 make_number (0));
668 if (!CHAR_TABLE_P (tbl))
669 tbl = Qnil;
670 }
671
672 /* Convert multibyte to single byte. */
673 while (bytes_left > 0)
674 {
675 int thislen, c;
676 c = STRING_CHAR_AND_LENGTH (from_addr, bytes_left, thislen);
677 if (!SINGLE_BYTE_CHAR_P (c))
678 c = multibyte_char_to_unibyte (c, tbl);
679 *to_addr++ = c;
680 from_addr += thislen;
681 bytes_left -= thislen;
682 nchars++;
683 }
684 return nchars;
685 }
686 else
687 {
688 unsigned char *initial_to_addr = to_addr;
689
690 /* Convert single-byte to multibyte. */
691 while (nbytes > 0)
692 {
693 int c = *from_addr++;
694
695 if (c >= 0200)
696 {
697 c = unibyte_char_to_multibyte (c);
698 to_addr += CHAR_STRING (c, to_addr);
699 nbytes--;
700 }
701 else
702 /* Special case for speed. */
703 *to_addr++ = c, nbytes--;
704 }
705 return to_addr - initial_to_addr;
706 }
707 }
708
709 /* Return the number of bytes it would take
710 to convert some single-byte text to multibyte.
711 The single-byte text consists of NBYTES bytes at PTR. */
712
713 int
714 count_size_as_multibyte (ptr, nbytes)
715 const unsigned char *ptr;
716 int nbytes;
717 {
718 int i;
719 int outgoing_nbytes = 0;
720
721 for (i = 0; i < nbytes; i++)
722 {
723 unsigned int c = *ptr++;
724
725 if (c < 0200)
726 outgoing_nbytes++;
727 else
728 {
729 c = unibyte_char_to_multibyte (c);
730 outgoing_nbytes += CHAR_BYTES (c);
731 }
732 }
733
734 return outgoing_nbytes;
735 }
736 \f
737 /* Insert a string of specified length before point.
738 This function judges multibyteness based on
739 enable_multibyte_characters in the current buffer;
740 it never converts between single-byte and multibyte.
741
742 DO NOT use this for the contents of a Lisp string or a Lisp buffer!
743 prepare_to_modify_buffer could relocate the text. */
744
745 void
746 insert (string, nbytes)
747 register const unsigned char *string;
748 register int nbytes;
749 {
750 if (nbytes > 0)
751 {
752 int 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);
757 }
758 }
759
760 /* Likewise, but inherit text properties from neighboring characters. */
761
762 void
763 insert_and_inherit (string, nbytes)
764 register const unsigned char *string;
765 register int nbytes;
766 {
767 if (nbytes > 0)
768 {
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);
774 }
775 }
776
777 /* Insert the character C before point. Do not inherit text properties. */
778
779 void
780 insert_char (c)
781 int c;
782 {
783 unsigned char str[MAX_MULTIBYTE_LENGTH];
784 int len;
785
786 if (! NILP (current_buffer->enable_multibyte_characters))
787 len = CHAR_STRING (c, str);
788 else
789 {
790 len = 1;
791 str[0] = c;
792 }
793
794 insert (str, len);
795 }
796
797 /* Insert the null-terminated string S before point. */
798
799 void
800 insert_string (s)
801 const char *s;
802 {
803 insert (s, strlen (s));
804 }
805
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. */
810
811 void
812 insert_before_markers (string, nbytes)
813 const unsigned char *string;
814 register int nbytes;
815 {
816 if (nbytes > 0)
817 {
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);
823 }
824 }
825
826 /* Likewise, but inherit text properties from neighboring characters. */
827
828 void
829 insert_before_markers_and_inherit (string, nbytes)
830 const unsigned char *string;
831 register int nbytes;
832 {
833 if (nbytes > 0)
834 {
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);
840 }
841 }
842
843 /* Subroutine used by the insert functions above. */
844
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;
850 {
851 insert_1_both (string, chars_in_text (string, nbytes), nbytes,
852 inherit, prepare, before_markers);
853 }
854
855 \f
856 #ifdef BYTE_COMBINING_DEBUG
857
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. */
862
863 int
864 count_combining_before (string, length, pos, pos_byte)
865 const unsigned char *string;
866 int length;
867 int pos, pos_byte;
868 {
869 int len, combining_bytes;
870 const unsigned char *p;
871
872 if (NILP (current_buffer->enable_multibyte_characters))
873 return 0;
874
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;
888
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;
895
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++;
901
902 return (combining_bytes < p - string ? combining_bytes : p - string);
903 }
904
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. */
909
910 int
911 count_combining_after (string, length, pos, pos_byte)
912 const unsigned char *string;
913 int length;
914 int pos, pos_byte;
915 {
916 int opos_byte = pos_byte;
917 int i;
918 int bytes;
919 unsigned char *bufp;
920
921 if (NILP (current_buffer->enable_multibyte_characters))
922 return 0;
923
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;
936
937 i = length - 1;
938 while (i >= 0 && ! CHAR_HEAD_P (string[i]))
939 {
940 i--;
941 }
942 if (i < 0)
943 {
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;
953
954 bytes = BYTES_BY_CHAR_HEAD (p[i]);
955 return (bytes <= pos_byte - 1 - i + length
956 ? 0
957 : bytes - (pos_byte - 1 - i + length));
958 }
959 if (!BASE_LEADING_CODE_P (string[i]))
960 return 0;
961
962 bytes = BYTES_BY_CHAR_HEAD (string[i]) - (length - i);
963 bufp++, pos_byte++;
964 while (!CHAR_HEAD_P (*bufp)) bufp++, pos_byte++;
965
966 return (bytes <= pos_byte - opos_byte ? bytes : pos_byte - opos_byte);
967 }
968
969 #endif
970
971 \f
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. */
975
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;
981 {
982 if (nchars == 0)
983 return;
984
985 if (NILP (current_buffer->enable_multibyte_characters))
986 nchars = nbytes;
987
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);
993
994 if (PT != GPT)
995 move_gap_both (PT, PT_BYTE);
996 if (GAP_SIZE < nbytes)
997 make_gap (nbytes - GAP_SIZE);
998
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
1004
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;
1011
1012 bcopy (string, GPT_ADDR, nbytes);
1013
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. */
1022
1023 if (GPT_BYTE < GPT)
1024 abort ();
1025
1026 /* The insert may have been in the unchanged region, so check again. */
1027 if (Z - GPT < END_UNCHANGED)
1028 END_UNCHANGED = Z - GPT;
1029
1030 adjust_overlays_for_insert (PT, nchars);
1031 adjust_markers_for_insert (PT, PT_BYTE,
1032 PT + nchars, PT_BYTE + nbytes,
1033 before_markers);
1034
1035 if (BUF_INTERVALS (current_buffer) != 0)
1036 offset_intervals (current_buffer, PT, nchars);
1037
1038 if (!inherit && BUF_INTERVALS (current_buffer) != 0)
1039 set_text_properties (make_number (PT), make_number (PT + nchars),
1040 Qnil, Qnil, Qnil);
1041
1042 adjust_point (nchars, nbytes);
1043
1044 CHECK_MARKERS ();
1045 }
1046 \f
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.
1051
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. */
1055
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;
1061 {
1062 int opoint = PT;
1063
1064 if (SCHARS (string) == 0)
1065 return;
1066
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);
1071 }
1072
1073 /* Like `insert_from_string' except that all markers pointing
1074 at the place where the insertion happens are adjusted to point after it. */
1075
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;
1082 {
1083 int opoint = PT;
1084
1085 if (SCHARS (string) == 0)
1086 return;
1087
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);
1092 }
1093
1094 /* Subroutine of the insertion functions above. */
1095
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;
1102 {
1103 struct gcpro gcpro1;
1104 int outgoing_nbytes = nbytes;
1105 INTERVAL intervals;
1106
1107 /* Make OUTGOING_NBYTES describe the text
1108 as it will be inserted in this buffer. */
1109
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);
1116
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);
1122
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;
1128
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));
1134
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
1145
1146 record_insert (PT, nchars);
1147 MODIFF++;
1148 CHARS_MODIFF = MODIFF;
1149
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. */
1158
1159 if (GPT_BYTE < GPT)
1160 abort ();
1161
1162 /* The insert may have been in the unchanged region, so check again. */
1163 if (Z - GPT < END_UNCHANGED)
1164 END_UNCHANGED = Z - GPT;
1165
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);
1170
1171 offset_intervals (current_buffer, PT, nchars);
1172
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);
1177
1178 /* Insert those intervals. */
1179 graft_intervals_into_buffer (intervals, PT, nchars,
1180 current_buffer, inherit);
1181
1182 adjust_point (nchars, outgoing_nbytes);
1183 }
1184 \f
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.
1188
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. */
1191
1192 void
1193 insert_from_buffer (buf, charpos, nchars, inherit)
1194 struct buffer *buf;
1195 int charpos, nchars;
1196 int inherit;
1197 {
1198 int opoint = PT;
1199
1200 insert_from_buffer_1 (buf, charpos, nchars, inherit);
1201 signal_after_change (opoint, 0, PT - opoint);
1202 update_compositions (opoint, PT, CHECK_BORDER);
1203 }
1204
1205 static void
1206 insert_from_buffer_1 (buf, from, nchars, inherit)
1207 struct buffer *buf;
1208 int from, nchars;
1209 int inherit;
1210 {
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;
1218
1219 /* Make OUTGOING_NBYTES describe the text
1220 as it will be inserted in this buffer. */
1221
1222 if (NILP (current_buffer->enable_multibyte_characters))
1223 outgoing_nbytes = nchars;
1224 else if (NILP (buf->enable_multibyte_characters))
1225 {
1226 int outgoing_before_gap = 0;
1227 int outgoing_after_gap = 0;
1228
1229 if (from < BUF_GPT (buf))
1230 {
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);
1237 }
1238 else
1239 chunk = 0;
1240
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);
1246
1247 outgoing_nbytes = outgoing_before_gap + outgoing_after_gap;
1248 }
1249
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");
1254
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);
1259
1260 if (PT != GPT)
1261 move_gap_both (PT, PT_BYTE);
1262 if (GAP_SIZE < outgoing_nbytes)
1263 make_gap (outgoing_nbytes - GAP_SIZE);
1264
1265 if (from < BUF_GPT (buf))
1266 {
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));
1277 }
1278 else
1279 chunk_expanded = chunk = 0;
1280
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));
1286
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
1297
1298 record_insert (PT, nchars);
1299 MODIFF++;
1300 CHARS_MODIFF = MODIFF;
1301
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. */
1310
1311 if (GPT_BYTE < GPT)
1312 abort ();
1313
1314 /* The insert may have been in the unchanged region, so check again. */
1315 if (Z - GPT < END_UNCHANGED)
1316 END_UNCHANGED = Z - GPT;
1317
1318 adjust_overlays_for_insert (PT, nchars);
1319 adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
1320 PT_BYTE + outgoing_nbytes,
1321 0);
1322
1323 if (BUF_INTERVALS (current_buffer) != 0)
1324 offset_intervals (current_buffer, PT, nchars);
1325
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))
1329 {
1330 if (buf == current_buffer && PT <= from)
1331 from += nchars;
1332 intervals = copy_intervals (intervals, from, nchars);
1333 }
1334
1335 /* Insert those intervals. */
1336 graft_intervals_into_buffer (intervals, PT, nchars, current_buffer, inherit);
1337
1338 adjust_point (nchars, outgoing_nbytes);
1339 }
1340 \f
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.
1345
1346 PREV_TEXT nil means the new text was just inserted. */
1347
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;
1352 {
1353 int nchars_del = 0, nbytes_del = 0;
1354
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
1360
1361 if (STRINGP (prev_text))
1362 {
1363 nchars_del = SCHARS (prev_text);
1364 nbytes_del = SBYTES (prev_text);
1365 }
1366
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. */
1373
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);
1380
1381 if (! EQ (current_buffer->undo_list, Qt))
1382 {
1383 if (nchars_del > 0)
1384 record_delete (from, prev_text);
1385 record_insert (from, len);
1386 }
1387
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)
1393 {
1394 offset_intervals (current_buffer, from, len - nchars_del);
1395 }
1396
1397 if (from < PT)
1398 adjust_point (len - nchars_del, len_byte - nbytes_del);
1399
1400 /* As byte combining will decrease Z, we must check this again. */
1401 if (Z - GPT < END_UNCHANGED)
1402 END_UNCHANGED = Z - GPT;
1403
1404 CHECK_MARKERS ();
1405
1406 if (len == 0)
1407 evaporate_overlays (from);
1408 MODIFF++;
1409 CHARS_MODIFF = MODIFF;
1410 }
1411
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. */
1414
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;
1418 {
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
1424
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. */
1431
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);
1438
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)
1444 {
1445 offset_intervals (current_buffer, from, len - nchars_del);
1446 }
1447
1448 if (from < PT)
1449 adjust_point (len - nchars_del, len_byte - nbytes_del);
1450
1451 /* As byte combining will decrease Z, we must check this again. */
1452 if (Z - GPT < END_UNCHANGED)
1453 END_UNCHANGED = Z - GPT;
1454
1455 CHECK_MARKERS ();
1456
1457 if (len == 0)
1458 evaporate_overlays (from);
1459 MODIFF++;
1460 CHARS_MODIFF = MODIFF;
1461 }
1462
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. */
1467
1468 void
1469 adjust_after_insert (from, from_byte, to, to_byte, newlen)
1470 int from, from_byte, to, to_byte, newlen;
1471 {
1472 int len = to - from, len_byte = to_byte - from_byte;
1473
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);
1481 }
1482 \f
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. */
1487
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.
1492
1493 But if MARKERS is 0, don't relocate markers. */
1494
1495 void
1496 replace_range (from, to, new, prepare, inherit, markers)
1497 Lisp_Object new;
1498 int from, to, prepare, inherit, markers;
1499 {
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;
1509
1510 CHECK_MARKERS ();
1511
1512 GCPRO1 (new);
1513 deletion = Qnil;
1514
1515 if (prepare)
1516 {
1517 int range_length = to - from;
1518 prepare_to_modify_buffer (from, to, &from);
1519 to = from + range_length;
1520 }
1521
1522 UNGCPRO;
1523
1524 /* Make args be valid */
1525 if (from < BEGV)
1526 from = BEGV;
1527 if (to > ZV)
1528 to = ZV;
1529
1530 from_byte = CHAR_TO_BYTE (from);
1531 to_byte = CHAR_TO_BYTE (to);
1532
1533 nchars_del = to - from;
1534 nbytes_del = to_byte - from_byte;
1535
1536 if (nbytes_del <= 0 && insbytes == 0)
1537 return;
1538
1539 /* Make OUTGOING_INSBYTES describe the text
1540 as it will be inserted in this buffer. */
1541
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);
1547
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");
1552
1553 GCPRO1 (new);
1554
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);
1560
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);
1566
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. */
1575
1576 if (GPT_BYTE < GPT)
1577 abort ();
1578
1579 if (GPT - BEG < BEG_UNCHANGED)
1580 BEG_UNCHANGED = GPT - BEG;
1581 if (Z - GPT < END_UNCHANGED)
1582 END_UNCHANGED = Z - GPT;
1583
1584 if (GAP_SIZE < insbytes)
1585 make_gap (insbytes - GAP_SIZE);
1586
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));
1592
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
1603
1604 if (! EQ (current_buffer->undo_list, Qt))
1605 {
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);
1612 }
1613
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. */
1622
1623 if (GPT_BYTE < GPT)
1624 abort ();
1625
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);
1630
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);
1635
1636 offset_intervals (current_buffer, from, inschars - nchars_del);
1637
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);
1644
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)));
1650
1651 if (outgoing_insbytes == 0)
1652 evaporate_overlays (from);
1653
1654 CHECK_MARKERS ();
1655
1656 MODIFF++;
1657 CHARS_MODIFF = MODIFF;
1658 UNGCPRO;
1659
1660 signal_after_change (from, nchars_del, GPT - from);
1661 update_compositions (from, GPT, CHECK_BORDER);
1662 }
1663 \f
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).
1668
1669 Note that this does not yet handle markers quite right.
1670
1671 If MARKERS is nonzero, relocate markers.
1672
1673 Unlike most functions at this level, never call
1674 prepare_to_modify_buffer and never call signal_after_change. */
1675
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;
1681 {
1682 int nbytes_del, nchars_del;
1683 Lisp_Object temp;
1684
1685 CHECK_MARKERS ();
1686
1687 nchars_del = to - from;
1688 nbytes_del = to_byte - from_byte;
1689
1690 if (nbytes_del <= 0 && insbytes == 0)
1691 return;
1692
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");
1697
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);
1703
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. */
1712
1713 if (GPT_BYTE < GPT)
1714 abort ();
1715
1716 if (GPT - BEG < BEG_UNCHANGED)
1717 BEG_UNCHANGED = GPT - BEG;
1718 if (Z - GPT < END_UNCHANGED)
1719 END_UNCHANGED = Z - GPT;
1720
1721 if (GAP_SIZE < insbytes)
1722 make_gap (insbytes - GAP_SIZE);
1723
1724 /* Copy the replacement text into the buffer. */
1725 bcopy (ins, GPT_ADDR, insbytes);
1726
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
1737
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. */
1746
1747 if (GPT_BYTE < GPT)
1748 abort ();
1749
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)
1753 {
1754 adjust_overlays_for_insert (from, inschars);
1755 adjust_overlays_for_delete (from + inschars, nchars_del);
1756 }
1757
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);
1763
1764 offset_intervals (current_buffer, from, inschars - nchars_del);
1765
1766 /* Relocate point as if it were a marker. */
1767 if (from < PT && (nchars_del != inschars || nbytes_del != insbytes))
1768 {
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);
1774 }
1775
1776 if (insbytes == 0)
1777 evaporate_overlays (from);
1778
1779 CHECK_MARKERS ();
1780
1781 MODIFF++;
1782 CHARS_MODIFF = MODIFF;
1783 }
1784 \f
1785 /* Delete characters in current buffer
1786 from FROM up to (but not including) TO.
1787 If TO comes before FROM, we delete nothing. */
1788
1789 void
1790 del_range (from, to)
1791 register int from, to;
1792 {
1793 del_range_1 (from, to, 1, 0);
1794 }
1795
1796 /* Like del_range; PREPARE says whether to call prepare_to_modify_buffer.
1797 RET_STRING says to return the deleted text. */
1798
1799 Lisp_Object
1800 del_range_1 (from, to, prepare, ret_string)
1801 int from, to, prepare, ret_string;
1802 {
1803 int from_byte, to_byte;
1804 Lisp_Object deletion;
1805 struct gcpro gcpro1;
1806
1807 /* Make args be valid */
1808 if (from < BEGV)
1809 from = BEGV;
1810 if (to > ZV)
1811 to = ZV;
1812
1813 if (to <= from)
1814 return Qnil;
1815
1816 if (prepare)
1817 {
1818 int range_length = to - from;
1819 prepare_to_modify_buffer (from, to, &from);
1820 to = min (ZV, from + range_length);
1821 }
1822
1823 from_byte = CHAR_TO_BYTE (from);
1824 to_byte = CHAR_TO_BYTE (to);
1825
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;
1832 }
1833
1834 /* Like del_range_1 but args are byte positions, not char positions. */
1835
1836 void
1837 del_range_byte (from_byte, to_byte, prepare)
1838 int from_byte, to_byte, prepare;
1839 {
1840 int from, to;
1841
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;
1847
1848 if (to_byte <= from_byte)
1849 return;
1850
1851 from = BYTE_TO_CHAR (from_byte);
1852 to = BYTE_TO_CHAR (to_byte);
1853
1854 if (prepare)
1855 {
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;
1860
1861 if (old_from != from)
1862 from_byte = CHAR_TO_BYTE (from);
1863 if (to > ZV)
1864 {
1865 to = ZV;
1866 to_byte = ZV_BYTE;
1867 }
1868 else if (old_to == Z - to)
1869 to_byte = CHAR_TO_BYTE (to);
1870 }
1871
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);
1875 }
1876
1877 /* Like del_range_1, but positions are specified both as charpos
1878 and bytepos. */
1879
1880 void
1881 del_range_both (from, from_byte, to, to_byte, prepare)
1882 int from, from_byte, to, to_byte, prepare;
1883 {
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;
1889
1890 if (to_byte <= from_byte)
1891 return;
1892
1893 if (from < BEGV)
1894 from = BEGV;
1895 if (to > ZV)
1896 to = ZV;
1897
1898 if (prepare)
1899 {
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;
1904
1905 if (old_from != from)
1906 from_byte = CHAR_TO_BYTE (from);
1907 if (to > ZV)
1908 {
1909 to = ZV;
1910 to_byte = ZV_BYTE;
1911 }
1912 else if (old_to == Z - to)
1913 to_byte = CHAR_TO_BYTE (to);
1914 }
1915
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);
1919 }
1920
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. */
1925
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;
1929 {
1930 register int nbytes_del, nchars_del;
1931 Lisp_Object deletion;
1932
1933 CHECK_MARKERS ();
1934
1935 nchars_del = to - from;
1936 nbytes_del = to_byte - from_byte;
1937
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);
1943
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
1949
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;
1954
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);
1960
1961 if (! EQ (current_buffer->undo_list, Qt))
1962 record_delete (from, deletion);
1963 MODIFF++;
1964 CHARS_MODIFF = MODIFF;
1965
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));
1970
1971 offset_intervals (current_buffer, from, - nchars_del);
1972
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);
1976
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. */
1985
1986 if (GPT_BYTE < GPT)
1987 abort ();
1988
1989 if (GPT - BEG < BEG_UNCHANGED)
1990 BEG_UNCHANGED = GPT - BEG;
1991 if (Z - GPT < END_UNCHANGED)
1992 END_UNCHANGED = Z - GPT;
1993
1994 CHECK_MARKERS ();
1995
1996 evaporate_overlays (from);
1997
1998 return deletion;
1999 }
2000 \f
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.
2006
2007 If PRESERVE_CHARS_MODIFF is non-zero, do not update CHARS_MODIFF.
2008 Otherwise set CHARS_MODIFF to the new value of MODIFF. */
2009
2010 void
2011 modify_region (buffer, start, end, preserve_chars_modiff)
2012 struct buffer *buffer;
2013 int start, end, preserve_chars_modiff;
2014 {
2015 struct buffer *old_buffer = current_buffer;
2016
2017 if (buffer != old_buffer)
2018 set_buffer_internal (buffer);
2019
2020 prepare_to_modify_buffer (start, end, NULL);
2021
2022 BUF_COMPUTE_UNCHANGED (buffer, start - 1, end);
2023
2024 if (MODIFF <= SAVE_MODIFF)
2025 record_first_change ();
2026 MODIFF++;
2027 if (! preserve_chars_modiff)
2028 CHARS_MODIFF = MODIFF;
2029
2030 buffer->point_before_scroll = Qnil;
2031
2032 if (buffer != old_buffer)
2033 set_buffer_internal (old_buffer);
2034 }
2035 \f
2036 /* Check that it is okay to modify the buffer between START and END,
2037 which are char positions.
2038
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.
2042
2043 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
2044 by holding its value temporarily in a marker. */
2045
2046 void
2047 prepare_to_modify_buffer (start, end, preserve_ptr)
2048 int start, end;
2049 int *preserve_ptr;
2050 {
2051 struct buffer *base_buffer;
2052
2053 if (!NILP (current_buffer->read_only))
2054 Fbarf_if_buffer_read_only ();
2055
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;
2060
2061 if (BUF_INTERVALS (current_buffer) != 0)
2062 {
2063 if (preserve_ptr)
2064 {
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;
2073 }
2074 else
2075 verify_interval_modification (current_buffer, start, end);
2076 }
2077
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;
2083
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 */
2099
2100 signal_before_change (start, end, preserve_ptr);
2101
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);
2110
2111 Vdeactivate_mark = Qt;
2112 }
2113 \f
2114 /* These macros work with an argument named `preserve_ptr'
2115 and a local variable named `preserve_marker'. */
2116
2117 #define PRESERVE_VALUE \
2118 if (preserve_ptr && NILP (preserve_marker)) \
2119 preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil)
2120
2121 #define RESTORE_VALUE \
2122 if (! NILP (preserve_marker)) \
2123 { \
2124 *preserve_ptr = marker_position (preserve_marker); \
2125 unchain_marker (XMARKER (preserve_marker)); \
2126 }
2127
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);
2133
2134 #define FETCH_START \
2135 (! NILP (start_marker) ? Fmarker_position (start_marker) : start)
2136
2137 #define FETCH_END \
2138 (! NILP (end_marker) ? Fmarker_position (end_marker) : end)
2139
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;
2149 {
2150 if (NILP (XCDR (val)))
2151 Fset (XCAR (val), Qnil);
2152 return Qnil;
2153 }
2154
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.
2157
2158 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
2159 by holding its value temporarily in a marker. */
2160
2161 void
2162 signal_before_change (start_int, end_int, preserve_ptr)
2163 int start_int, end_int;
2164 int *preserve_ptr;
2165 {
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 ();
2171
2172 if (inhibit_modification_hooks)
2173 return;
2174
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);
2181
2182 specbind (Qinhibit_modification_hooks, Qt);
2183
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))
2188 {
2189 PRESERVE_VALUE;
2190 PRESERVE_START_END;
2191 call1 (Vrun_hooks, Qfirst_change_hook);
2192 }
2193
2194 /* Now run the before-change-functions if any. */
2195 if (!NILP (Vbefore_change_functions))
2196 {
2197 Lisp_Object args[3];
2198 Lisp_Object rvoe_arg = Fcons (Qbefore_change_functions, Qnil);
2199
2200 PRESERVE_VALUE;
2201 PRESERVE_START_END;
2202
2203 /* Mark before-change-functions to be reset to nil in case of error. */
2204 record_unwind_protect (reset_var_on_error, rvoe_arg);
2205
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);
2211
2212 /* There was no error: unarm the reset_on_error. */
2213 XSETCDR (rvoe_arg, Qt);
2214 }
2215
2216 if (current_buffer->overlays_before || current_buffer->overlays_after)
2217 {
2218 PRESERVE_VALUE;
2219 report_overlay_modification (FETCH_START, FETCH_END, 0,
2220 FETCH_START, FETCH_END, Qnil);
2221 }
2222
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;
2229
2230 unbind_to (count, Qnil);
2231 }
2232
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. */
2239
2240 void
2241 signal_after_change (charpos, lendel, lenins)
2242 int charpos, lendel, lenins;
2243 {
2244 int count = SPECPDL_INDEX ();
2245 if (inhibit_modification_hooks)
2246 return;
2247
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)
2255 {
2256 Lisp_Object elt;
2257
2258 if (!NILP (combine_after_change_list)
2259 && current_buffer != XBUFFER (combine_after_change_buffer))
2260 Fcombine_after_change_execute ();
2261
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 ();
2268
2269 return;
2270 }
2271
2272 if (!NILP (combine_after_change_list))
2273 Fcombine_after_change_execute ();
2274
2275 specbind (Qinhibit_modification_hooks, Qt);
2276
2277 if (!NILP (Vafter_change_functions))
2278 {
2279 Lisp_Object args[4];
2280 Lisp_Object rvoe_arg = Fcons (Qafter_change_functions, Qnil);
2281
2282 /* Mark after-change-functions to be reset to nil in case of error. */
2283 record_unwind_protect (reset_var_on_error, rvoe_arg);
2284
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);
2291
2292 /* There was no error: unarm the reset_on_error. */
2293 XSETCDR (rvoe_arg, Qt);
2294 }
2295
2296 if (current_buffer->overlays_before || current_buffer->overlays_after)
2297 report_overlay_modification (make_number (charpos),
2298 make_number (charpos + lenins),
2299 1,
2300 make_number (charpos),
2301 make_number (charpos + lenins),
2302 make_number (lendel));
2303
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));
2309
2310 unbind_to (count, Qnil);
2311 }
2312
2313 Lisp_Object
2314 Fcombine_after_change_execute_1 (val)
2315 Lisp_Object val;
2316 {
2317 Vcombine_after_change_calls = val;
2318 return val;
2319 }
2320
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'. */)
2324 ()
2325 {
2326 int count = SPECPDL_INDEX ();
2327 int beg, end, change;
2328 int begpos, endpos;
2329 Lisp_Object tail;
2330
2331 if (NILP (combine_after_change_list))
2332 return Qnil;
2333
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))
2340 {
2341 combine_after_change_list = Qnil;
2342 return Qnil;
2343 }
2344
2345 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
2346
2347 Fset_buffer (combine_after_change_buffer);
2348
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;
2355
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))
2360 {
2361 Lisp_Object elt;
2362 int thisbeg, thisend, thischange;
2363
2364 /* Extract the info from the next element. */
2365 elt = XCAR (tail);
2366 if (! CONSP (elt))
2367 continue;
2368 thisbeg = XINT (XCAR (elt));
2369
2370 elt = XCDR (elt);
2371 if (! CONSP (elt))
2372 continue;
2373 thisend = XINT (XCAR (elt));
2374
2375 elt = XCDR (elt);
2376 if (! CONSP (elt))
2377 continue;
2378 thischange = XINT (XCAR (elt));
2379
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;
2386 }
2387
2388 /* Get the current start and end positions of the range
2389 that was changed. */
2390 begpos = BEG + beg;
2391 endpos = Z - end;
2392
2393 /* We are about to handle these, so discard them. */
2394 combine_after_change_list = Qnil;
2395
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);
2402
2403 return unbind_to (count, Qnil);
2404 }
2405 \f
2406 void
2407 syms_of_insdel ()
2408 {
2409 staticpro (&combine_after_change_list);
2410 staticpro (&combine_after_change_buffer);
2411 combine_after_change_list = Qnil;
2412 combine_after_change_buffer = Qnil;
2413
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;
2420
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);
2428
2429 defsubr (&Scombine_after_change_execute);
2430 }
2431
2432 /* arch-tag: 9b34b886-47d7-465e-a234-299af411b23d
2433 (do not change this comment) */