]> code.delx.au - gnu-emacs/blob - src/insdel.c
(make_lispy_event) [MAC_OS]: Get Apple event info from event->arg.
[gnu-emacs] / 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 Free Software Foundation, Inc.
4
5 This file is part of GNU Emacs.
6
7 GNU Emacs is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs; see the file COPYING. If not, write to
19 the Free Software Foundation, Inc., 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
1011 bcopy (string, GPT_ADDR, nbytes);
1012
1013 GAP_SIZE -= nbytes;
1014 GPT += nchars;
1015 ZV += nchars;
1016 Z += nchars;
1017 GPT_BYTE += nbytes;
1018 ZV_BYTE += nbytes;
1019 Z_BYTE += nbytes;
1020 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1021
1022 if (GPT_BYTE < GPT)
1023 abort ();
1024
1025 /* The insert may have been in the unchanged region, so check again. */
1026 if (Z - GPT < END_UNCHANGED)
1027 END_UNCHANGED = Z - GPT;
1028
1029 adjust_overlays_for_insert (PT, nchars);
1030 adjust_markers_for_insert (PT, PT_BYTE,
1031 PT + nchars, PT_BYTE + nbytes,
1032 before_markers);
1033
1034 if (BUF_INTERVALS (current_buffer) != 0)
1035 offset_intervals (current_buffer, PT, nchars);
1036
1037 if (!inherit && BUF_INTERVALS (current_buffer) != 0)
1038 set_text_properties (make_number (PT), make_number (PT + nchars),
1039 Qnil, Qnil, Qnil);
1040
1041 adjust_point (nchars, nbytes);
1042
1043 CHECK_MARKERS ();
1044 }
1045 \f
1046 /* Insert the part of the text of STRING, a Lisp object assumed to be
1047 of type string, consisting of the LENGTH characters (LENGTH_BYTE bytes)
1048 starting at position POS / POS_BYTE. If the text of STRING has properties,
1049 copy them into the buffer.
1050
1051 It does not work to use `insert' for this, because a GC could happen
1052 before we bcopy the stuff into the buffer, and relocate the string
1053 without insert noticing. */
1054
1055 void
1056 insert_from_string (string, pos, pos_byte, length, length_byte, inherit)
1057 Lisp_Object string;
1058 register int pos, pos_byte, length, length_byte;
1059 int inherit;
1060 {
1061 int opoint = PT;
1062
1063 if (SCHARS (string) == 0)
1064 return;
1065
1066 insert_from_string_1 (string, pos, pos_byte, length, length_byte,
1067 inherit, 0);
1068 signal_after_change (opoint, 0, PT - opoint);
1069 update_compositions (opoint, PT, CHECK_BORDER);
1070 }
1071
1072 /* Like `insert_from_string' except that all markers pointing
1073 at the place where the insertion happens are adjusted to point after it. */
1074
1075 void
1076 insert_from_string_before_markers (string, pos, pos_byte,
1077 length, length_byte, inherit)
1078 Lisp_Object string;
1079 register int pos, pos_byte, length, length_byte;
1080 int inherit;
1081 {
1082 int opoint = PT;
1083
1084 if (SCHARS (string) == 0)
1085 return;
1086
1087 insert_from_string_1 (string, pos, pos_byte, length, length_byte,
1088 inherit, 1);
1089 signal_after_change (opoint, 0, PT - opoint);
1090 update_compositions (opoint, PT, CHECK_BORDER);
1091 }
1092
1093 /* Subroutine of the insertion functions above. */
1094
1095 static void
1096 insert_from_string_1 (string, pos, pos_byte, nchars, nbytes,
1097 inherit, before_markers)
1098 Lisp_Object string;
1099 register int pos, pos_byte, nchars, nbytes;
1100 int inherit, before_markers;
1101 {
1102 struct gcpro gcpro1;
1103 int outgoing_nbytes = nbytes;
1104 INTERVAL intervals;
1105
1106 /* Make OUTGOING_NBYTES describe the text
1107 as it will be inserted in this buffer. */
1108
1109 if (NILP (current_buffer->enable_multibyte_characters))
1110 outgoing_nbytes = nchars;
1111 else if (! STRING_MULTIBYTE (string))
1112 outgoing_nbytes
1113 = count_size_as_multibyte (SDATA (string) + pos_byte,
1114 nbytes);
1115
1116 GCPRO1 (string);
1117 /* Do this before moving and increasing the gap,
1118 because the before-change hooks might move the gap
1119 or make it smaller. */
1120 prepare_to_modify_buffer (PT, PT, NULL);
1121
1122 if (PT != GPT)
1123 move_gap_both (PT, PT_BYTE);
1124 if (GAP_SIZE < outgoing_nbytes)
1125 make_gap (outgoing_nbytes - GAP_SIZE);
1126 UNGCPRO;
1127
1128 /* Copy the string text into the buffer, perhaps converting
1129 between single-byte and multibyte. */
1130 copy_text (SDATA (string) + pos_byte, GPT_ADDR, nbytes,
1131 STRING_MULTIBYTE (string),
1132 ! NILP (current_buffer->enable_multibyte_characters));
1133
1134 #ifdef BYTE_COMBINING_DEBUG
1135 /* We have copied text into the gap, but we have not altered
1136 PT or PT_BYTE yet. So we can pass PT and PT_BYTE
1137 to these functions and get the same results as we would
1138 have got earlier on. Meanwhile, PT_ADDR does point to
1139 the text that has been stored by copy_text. */
1140 if (count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE)
1141 || count_combining_after (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE))
1142 abort ();
1143 #endif
1144
1145 record_insert (PT, nchars);
1146 MODIFF++;
1147
1148 GAP_SIZE -= outgoing_nbytes;
1149 GPT += nchars;
1150 ZV += nchars;
1151 Z += nchars;
1152 GPT_BYTE += outgoing_nbytes;
1153 ZV_BYTE += outgoing_nbytes;
1154 Z_BYTE += outgoing_nbytes;
1155 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1156
1157 if (GPT_BYTE < GPT)
1158 abort ();
1159
1160 /* The insert may have been in the unchanged region, so check again. */
1161 if (Z - GPT < END_UNCHANGED)
1162 END_UNCHANGED = Z - GPT;
1163
1164 adjust_overlays_for_insert (PT, nchars);
1165 adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
1166 PT_BYTE + outgoing_nbytes,
1167 before_markers);
1168
1169 offset_intervals (current_buffer, PT, nchars);
1170
1171 intervals = STRING_INTERVALS (string);
1172 /* Get the intervals for the part of the string we are inserting. */
1173 if (nbytes < SBYTES (string))
1174 intervals = copy_intervals (intervals, pos, nchars);
1175
1176 /* Insert those intervals. */
1177 graft_intervals_into_buffer (intervals, PT, nchars,
1178 current_buffer, inherit);
1179
1180 adjust_point (nchars, outgoing_nbytes);
1181 }
1182 \f
1183 /* Insert text from BUF, NCHARS characters starting at CHARPOS, into the
1184 current buffer. If the text in BUF has properties, they are absorbed
1185 into the current buffer.
1186
1187 It does not work to use `insert' for this, because a malloc could happen
1188 and relocate BUF's text before the bcopy happens. */
1189
1190 void
1191 insert_from_buffer (buf, charpos, nchars, inherit)
1192 struct buffer *buf;
1193 int charpos, nchars;
1194 int inherit;
1195 {
1196 int opoint = PT;
1197
1198 insert_from_buffer_1 (buf, charpos, nchars, inherit);
1199 signal_after_change (opoint, 0, PT - opoint);
1200 update_compositions (opoint, PT, CHECK_BORDER);
1201 }
1202
1203 static void
1204 insert_from_buffer_1 (buf, from, nchars, inherit)
1205 struct buffer *buf;
1206 int from, nchars;
1207 int inherit;
1208 {
1209 register Lisp_Object temp;
1210 int chunk, chunk_expanded;
1211 int from_byte = buf_charpos_to_bytepos (buf, from);
1212 int to_byte = buf_charpos_to_bytepos (buf, from + nchars);
1213 int incoming_nbytes = to_byte - from_byte;
1214 int outgoing_nbytes = incoming_nbytes;
1215 INTERVAL intervals;
1216
1217 /* Make OUTGOING_NBYTES describe the text
1218 as it will be inserted in this buffer. */
1219
1220 if (NILP (current_buffer->enable_multibyte_characters))
1221 outgoing_nbytes = nchars;
1222 else if (NILP (buf->enable_multibyte_characters))
1223 {
1224 int outgoing_before_gap = 0;
1225 int outgoing_after_gap = 0;
1226
1227 if (from < BUF_GPT (buf))
1228 {
1229 chunk = BUF_GPT_BYTE (buf) - from_byte;
1230 if (chunk > incoming_nbytes)
1231 chunk = incoming_nbytes;
1232 outgoing_before_gap
1233 = count_size_as_multibyte (BUF_BYTE_ADDRESS (buf, from_byte),
1234 chunk);
1235 }
1236 else
1237 chunk = 0;
1238
1239 if (chunk < incoming_nbytes)
1240 outgoing_after_gap
1241 = count_size_as_multibyte (BUF_BYTE_ADDRESS (buf,
1242 from_byte + chunk),
1243 incoming_nbytes - chunk);
1244
1245 outgoing_nbytes = outgoing_before_gap + outgoing_after_gap;
1246 }
1247
1248 /* Make sure point-max won't overflow after this insertion. */
1249 XSETINT (temp, outgoing_nbytes + Z);
1250 if (outgoing_nbytes + Z != XINT (temp))
1251 error ("Maximum buffer size exceeded");
1252
1253 /* Do this before moving and increasing the gap,
1254 because the before-change hooks might move the gap
1255 or make it smaller. */
1256 prepare_to_modify_buffer (PT, PT, NULL);
1257
1258 if (PT != GPT)
1259 move_gap_both (PT, PT_BYTE);
1260 if (GAP_SIZE < outgoing_nbytes)
1261 make_gap (outgoing_nbytes - GAP_SIZE);
1262
1263 if (from < BUF_GPT (buf))
1264 {
1265 chunk = BUF_GPT_BYTE (buf) - from_byte;
1266 if (chunk > incoming_nbytes)
1267 chunk = incoming_nbytes;
1268 /* Record number of output bytes, so we know where
1269 to put the output from the second copy_text. */
1270 chunk_expanded
1271 = copy_text (BUF_BYTE_ADDRESS (buf, from_byte),
1272 GPT_ADDR, chunk,
1273 ! NILP (buf->enable_multibyte_characters),
1274 ! NILP (current_buffer->enable_multibyte_characters));
1275 }
1276 else
1277 chunk_expanded = chunk = 0;
1278
1279 if (chunk < incoming_nbytes)
1280 copy_text (BUF_BYTE_ADDRESS (buf, from_byte + chunk),
1281 GPT_ADDR + chunk_expanded, incoming_nbytes - chunk,
1282 ! NILP (buf->enable_multibyte_characters),
1283 ! NILP (current_buffer->enable_multibyte_characters));
1284
1285 #ifdef BYTE_COMBINING_DEBUG
1286 /* We have copied text into the gap, but we have not altered
1287 PT or PT_BYTE yet. So we can pass PT and PT_BYTE
1288 to these functions and get the same results as we would
1289 have got earlier on. Meanwhile, GPT_ADDR does point to
1290 the text that has been stored by copy_text. */
1291 if (count_combining_before (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE)
1292 || count_combining_after (GPT_ADDR, outgoing_nbytes, PT, PT_BYTE))
1293 abort ();
1294 #endif
1295
1296 record_insert (PT, nchars);
1297 MODIFF++;
1298
1299 GAP_SIZE -= outgoing_nbytes;
1300 GPT += nchars;
1301 ZV += nchars;
1302 Z += nchars;
1303 GPT_BYTE += outgoing_nbytes;
1304 ZV_BYTE += outgoing_nbytes;
1305 Z_BYTE += outgoing_nbytes;
1306 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1307
1308 if (GPT_BYTE < GPT)
1309 abort ();
1310
1311 /* The insert may have been in the unchanged region, so check again. */
1312 if (Z - GPT < END_UNCHANGED)
1313 END_UNCHANGED = Z - GPT;
1314
1315 adjust_overlays_for_insert (PT, nchars);
1316 adjust_markers_for_insert (PT, PT_BYTE, PT + nchars,
1317 PT_BYTE + outgoing_nbytes,
1318 0);
1319
1320 if (BUF_INTERVALS (current_buffer) != 0)
1321 offset_intervals (current_buffer, PT, nchars);
1322
1323 /* Get the intervals for the part of the string we are inserting. */
1324 intervals = BUF_INTERVALS (buf);
1325 if (outgoing_nbytes < BUF_Z_BYTE (buf) - BUF_BEG_BYTE (buf))
1326 {
1327 if (buf == current_buffer && PT <= from)
1328 from += nchars;
1329 intervals = copy_intervals (intervals, from, nchars);
1330 }
1331
1332 /* Insert those intervals. */
1333 graft_intervals_into_buffer (intervals, PT, nchars, current_buffer, inherit);
1334
1335 adjust_point (nchars, outgoing_nbytes);
1336 }
1337 \f
1338 /* Record undo information and adjust markers and position keepers for
1339 a replacement of a text PREV_TEXT at FROM to a new text of LEN
1340 chars (LEN_BYTE bytes) which resides in the gap just after
1341 GPT_ADDR.
1342
1343 PREV_TEXT nil means the new text was just inserted. */
1344
1345 void
1346 adjust_after_replace (from, from_byte, prev_text, len, len_byte)
1347 int from, from_byte, len, len_byte;
1348 Lisp_Object prev_text;
1349 {
1350 int nchars_del = 0, nbytes_del = 0;
1351
1352 #ifdef BYTE_COMBINING_DEBUG
1353 if (count_combining_before (GPT_ADDR, len_byte, from, from_byte)
1354 || count_combining_after (GPT_ADDR, len_byte, from, from_byte))
1355 abort ();
1356 #endif
1357
1358 if (STRINGP (prev_text))
1359 {
1360 nchars_del = SCHARS (prev_text);
1361 nbytes_del = SBYTES (prev_text);
1362 }
1363
1364 /* Update various buffer positions for the new text. */
1365 GAP_SIZE -= len_byte;
1366 ZV += len; Z+= len;
1367 ZV_BYTE += len_byte; Z_BYTE += len_byte;
1368 GPT += len; GPT_BYTE += len_byte;
1369 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1370
1371 if (nchars_del > 0)
1372 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1373 len, len_byte);
1374 else
1375 adjust_markers_for_insert (from, from_byte,
1376 from + len, from_byte + len_byte, 0);
1377
1378 if (! EQ (current_buffer->undo_list, Qt))
1379 {
1380 if (nchars_del > 0)
1381 record_delete (from, prev_text);
1382 record_insert (from, len);
1383 }
1384
1385 if (len > nchars_del)
1386 adjust_overlays_for_insert (from, len - nchars_del);
1387 else if (len < nchars_del)
1388 adjust_overlays_for_delete (from, nchars_del - len);
1389 if (BUF_INTERVALS (current_buffer) != 0)
1390 {
1391 offset_intervals (current_buffer, from, len - nchars_del);
1392 }
1393
1394 if (from < PT)
1395 adjust_point (len - nchars_del, len_byte - nbytes_del);
1396
1397 /* As byte combining will decrease Z, we must check this again. */
1398 if (Z - GPT < END_UNCHANGED)
1399 END_UNCHANGED = Z - GPT;
1400
1401 CHECK_MARKERS ();
1402
1403 if (len == 0)
1404 evaporate_overlays (from);
1405 MODIFF++;
1406 }
1407
1408 /* Like adjust_after_replace, but doesn't require PREV_TEXT.
1409 This is for use when undo is not enabled in the current buffer. */
1410
1411 void
1412 adjust_after_replace_noundo (from, from_byte, nchars_del, nbytes_del, len, len_byte)
1413 int from, from_byte, nchars_del, nbytes_del, len, len_byte;
1414 {
1415 #ifdef BYTE_COMBINING_DEBUG
1416 if (count_combining_before (GPT_ADDR, len_byte, from, from_byte)
1417 || count_combining_after (GPT_ADDR, len_byte, from, from_byte))
1418 abort ();
1419 #endif
1420
1421 /* Update various buffer positions for the new text. */
1422 GAP_SIZE -= len_byte;
1423 ZV += len; Z+= len;
1424 ZV_BYTE += len_byte; Z_BYTE += len_byte;
1425 GPT += len; GPT_BYTE += len_byte;
1426 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1427
1428 if (nchars_del > 0)
1429 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1430 len, len_byte);
1431 else
1432 adjust_markers_for_insert (from, from_byte,
1433 from + len, from_byte + len_byte, 0);
1434
1435 if (len > nchars_del)
1436 adjust_overlays_for_insert (from, len - nchars_del);
1437 else if (len < nchars_del)
1438 adjust_overlays_for_delete (from, nchars_del - len);
1439 if (BUF_INTERVALS (current_buffer) != 0)
1440 {
1441 offset_intervals (current_buffer, from, len - nchars_del);
1442 }
1443
1444 if (from < PT)
1445 adjust_point (len - nchars_del, len_byte - nbytes_del);
1446
1447 /* As byte combining will decrease Z, we must check this again. */
1448 if (Z - GPT < END_UNCHANGED)
1449 END_UNCHANGED = Z - GPT;
1450
1451 CHECK_MARKERS ();
1452
1453 if (len == 0)
1454 evaporate_overlays (from);
1455 MODIFF++;
1456 }
1457
1458 /* Record undo information, adjust markers and position keepers for an
1459 insertion of a text from FROM (FROM_BYTE) to TO (TO_BYTE). The
1460 text already exists in the current buffer but character length (TO
1461 - FROM) may be incorrect, the correct length is NEWLEN. */
1462
1463 void
1464 adjust_after_insert (from, from_byte, to, to_byte, newlen)
1465 int from, from_byte, to, to_byte, newlen;
1466 {
1467 int len = to - from, len_byte = to_byte - from_byte;
1468
1469 if (GPT != to)
1470 move_gap_both (to, to_byte);
1471 GAP_SIZE += len_byte;
1472 GPT -= len; GPT_BYTE -= len_byte;
1473 ZV -= len; ZV_BYTE -= len_byte;
1474 Z -= len; Z_BYTE -= len_byte;
1475 adjust_after_replace (from, from_byte, Qnil, newlen, len_byte);
1476 }
1477 \f
1478 /* Replace the text from character positions FROM to TO with NEW,
1479 If PREPARE is nonzero, call prepare_to_modify_buffer.
1480 If INHERIT, the newly inserted text should inherit text properties
1481 from the surrounding non-deleted text. */
1482
1483 /* Note that this does not yet handle markers quite right.
1484 Also it needs to record a single undo-entry that does a replacement
1485 rather than a separate delete and insert.
1486 That way, undo will also handle markers properly.
1487
1488 But if MARKERS is 0, don't relocate markers. */
1489
1490 void
1491 replace_range (from, to, new, prepare, inherit, markers)
1492 Lisp_Object new;
1493 int from, to, prepare, inherit, markers;
1494 {
1495 int inschars = SCHARS (new);
1496 int insbytes = SBYTES (new);
1497 int from_byte, to_byte;
1498 int nbytes_del, nchars_del;
1499 register Lisp_Object temp;
1500 struct gcpro gcpro1;
1501 INTERVAL intervals;
1502 int outgoing_insbytes = insbytes;
1503 Lisp_Object deletion;
1504
1505 CHECK_MARKERS ();
1506
1507 GCPRO1 (new);
1508 deletion = Qnil;
1509
1510 if (prepare)
1511 {
1512 int range_length = to - from;
1513 prepare_to_modify_buffer (from, to, &from);
1514 to = from + range_length;
1515 }
1516
1517 UNGCPRO;
1518
1519 /* Make args be valid */
1520 if (from < BEGV)
1521 from = BEGV;
1522 if (to > ZV)
1523 to = ZV;
1524
1525 from_byte = CHAR_TO_BYTE (from);
1526 to_byte = CHAR_TO_BYTE (to);
1527
1528 nchars_del = to - from;
1529 nbytes_del = to_byte - from_byte;
1530
1531 if (nbytes_del <= 0 && insbytes == 0)
1532 return;
1533
1534 /* Make OUTGOING_INSBYTES describe the text
1535 as it will be inserted in this buffer. */
1536
1537 if (NILP (current_buffer->enable_multibyte_characters))
1538 outgoing_insbytes = inschars;
1539 else if (! STRING_MULTIBYTE (new))
1540 outgoing_insbytes
1541 = count_size_as_multibyte (SDATA (new), insbytes);
1542
1543 /* Make sure point-max won't overflow after this insertion. */
1544 XSETINT (temp, Z_BYTE - nbytes_del + insbytes);
1545 if (Z_BYTE - nbytes_del + insbytes != XINT (temp))
1546 error ("Maximum buffer size exceeded");
1547
1548 GCPRO1 (new);
1549
1550 /* Make sure the gap is somewhere in or next to what we are deleting. */
1551 if (from > GPT)
1552 gap_right (from, from_byte);
1553 if (to < GPT)
1554 gap_left (to, to_byte, 0);
1555
1556 /* Even if we don't record for undo, we must keep the original text
1557 because we may have to recover it because of inappropriate byte
1558 combining. */
1559 if (! EQ (current_buffer->undo_list, Qt))
1560 deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
1561
1562 GAP_SIZE += nbytes_del;
1563 ZV -= nchars_del;
1564 Z -= nchars_del;
1565 ZV_BYTE -= nbytes_del;
1566 Z_BYTE -= nbytes_del;
1567 GPT = from;
1568 GPT_BYTE = from_byte;
1569 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1570
1571 if (GPT_BYTE < GPT)
1572 abort ();
1573
1574 if (GPT - BEG < BEG_UNCHANGED)
1575 BEG_UNCHANGED = GPT - BEG;
1576 if (Z - GPT < END_UNCHANGED)
1577 END_UNCHANGED = Z - GPT;
1578
1579 if (GAP_SIZE < insbytes)
1580 make_gap (insbytes - GAP_SIZE);
1581
1582 /* Copy the string text into the buffer, perhaps converting
1583 between single-byte and multibyte. */
1584 copy_text (SDATA (new), GPT_ADDR, insbytes,
1585 STRING_MULTIBYTE (new),
1586 ! NILP (current_buffer->enable_multibyte_characters));
1587
1588 #ifdef BYTE_COMBINING_DEBUG
1589 /* We have copied text into the gap, but we have not marked
1590 it as part of the buffer. So we can use the old FROM and FROM_BYTE
1591 here, for both the previous text and the following text.
1592 Meanwhile, GPT_ADDR does point to
1593 the text that has been stored by copy_text. */
1594 if (count_combining_before (GPT_ADDR, outgoing_insbytes, from, from_byte)
1595 || count_combining_after (GPT_ADDR, outgoing_insbytes, from, from_byte))
1596 abort ();
1597 #endif
1598
1599 if (! EQ (current_buffer->undo_list, Qt))
1600 {
1601 record_delete (from, deletion);
1602 record_insert (from, inschars);
1603 }
1604
1605 GAP_SIZE -= outgoing_insbytes;
1606 GPT += inschars;
1607 ZV += inschars;
1608 Z += inschars;
1609 GPT_BYTE += outgoing_insbytes;
1610 ZV_BYTE += outgoing_insbytes;
1611 Z_BYTE += outgoing_insbytes;
1612 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1613
1614 if (GPT_BYTE < GPT)
1615 abort ();
1616
1617 /* Adjust the overlay center as needed. This must be done after
1618 adjusting the markers that bound the overlays. */
1619 adjust_overlays_for_delete (from, nchars_del);
1620 adjust_overlays_for_insert (from, inschars);
1621
1622 /* Adjust markers for the deletion and the insertion. */
1623 if (markers)
1624 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1625 inschars, outgoing_insbytes);
1626
1627 offset_intervals (current_buffer, from, inschars - nchars_del);
1628
1629 /* Get the intervals for the part of the string we are inserting--
1630 not including the combined-before bytes. */
1631 intervals = STRING_INTERVALS (new);
1632 /* Insert those intervals. */
1633 graft_intervals_into_buffer (intervals, from, inschars,
1634 current_buffer, inherit);
1635
1636 /* Relocate point as if it were a marker. */
1637 if (from < PT)
1638 adjust_point ((from + inschars - (PT < to ? PT : to)),
1639 (from_byte + outgoing_insbytes
1640 - (PT_BYTE < to_byte ? PT_BYTE : to_byte)));
1641
1642 if (outgoing_insbytes == 0)
1643 evaporate_overlays (from);
1644
1645 CHECK_MARKERS ();
1646
1647 MODIFF++;
1648 UNGCPRO;
1649
1650 signal_after_change (from, nchars_del, GPT - from);
1651 update_compositions (from, GPT, CHECK_BORDER);
1652 }
1653 \f
1654 /* Replace the text from character positions FROM to TO with
1655 the text in INS of length INSCHARS.
1656 Keep the text properties that applied to the old characters
1657 (extending them to all the new chars if there are more new chars).
1658
1659 Note that this does not yet handle markers quite right.
1660
1661 If MARKERS is nonzero, relocate markers.
1662
1663 Unlike most functions at this level, never call
1664 prepare_to_modify_buffer and never call signal_after_change. */
1665
1666 void
1667 replace_range_2 (from, from_byte, to, to_byte, ins, inschars, insbytes, markers)
1668 int from, from_byte, to, to_byte;
1669 char *ins;
1670 int inschars, insbytes, markers;
1671 {
1672 int nbytes_del, nchars_del;
1673 Lisp_Object temp;
1674
1675 CHECK_MARKERS ();
1676
1677 nchars_del = to - from;
1678 nbytes_del = to_byte - from_byte;
1679
1680 if (nbytes_del <= 0 && insbytes == 0)
1681 return;
1682
1683 /* Make sure point-max won't overflow after this insertion. */
1684 XSETINT (temp, Z_BYTE - nbytes_del + insbytes);
1685 if (Z_BYTE - nbytes_del + insbytes != XINT (temp))
1686 error ("Maximum buffer size exceeded");
1687
1688 /* Make sure the gap is somewhere in or next to what we are deleting. */
1689 if (from > GPT)
1690 gap_right (from, from_byte);
1691 if (to < GPT)
1692 gap_left (to, to_byte, 0);
1693
1694 GAP_SIZE += nbytes_del;
1695 ZV -= nchars_del;
1696 Z -= nchars_del;
1697 ZV_BYTE -= nbytes_del;
1698 Z_BYTE -= nbytes_del;
1699 GPT = from;
1700 GPT_BYTE = from_byte;
1701 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1702
1703 if (GPT_BYTE < GPT)
1704 abort ();
1705
1706 if (GPT - BEG < BEG_UNCHANGED)
1707 BEG_UNCHANGED = GPT - BEG;
1708 if (Z - GPT < END_UNCHANGED)
1709 END_UNCHANGED = Z - GPT;
1710
1711 if (GAP_SIZE < insbytes)
1712 make_gap (insbytes - GAP_SIZE);
1713
1714 /* Copy the replacement text into the buffer. */
1715 bcopy (ins, GPT_ADDR, insbytes);
1716
1717 #ifdef BYTE_COMBINING_DEBUG
1718 /* We have copied text into the gap, but we have not marked
1719 it as part of the buffer. So we can use the old FROM and FROM_BYTE
1720 here, for both the previous text and the following text.
1721 Meanwhile, GPT_ADDR does point to
1722 the text that has been stored by copy_text. */
1723 if (count_combining_before (GPT_ADDR, insbytes, from, from_byte)
1724 || count_combining_after (GPT_ADDR, insbytes, from, from_byte))
1725 abort ();
1726 #endif
1727
1728 GAP_SIZE -= insbytes;
1729 GPT += inschars;
1730 ZV += inschars;
1731 Z += inschars;
1732 GPT_BYTE += insbytes;
1733 ZV_BYTE += insbytes;
1734 Z_BYTE += insbytes;
1735 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1736
1737 if (GPT_BYTE < GPT)
1738 abort ();
1739
1740 /* Adjust the overlay center as needed. This must be done after
1741 adjusting the markers that bound the overlays. */
1742 if (nchars_del != inschars)
1743 {
1744 adjust_overlays_for_insert (from, inschars);
1745 adjust_overlays_for_delete (from + inschars, nchars_del);
1746 }
1747
1748 /* Adjust markers for the deletion and the insertion. */
1749 if (markers
1750 && ! (nchars_del == 1 && inschars == 1 && nbytes_del == insbytes))
1751 adjust_markers_for_replace (from, from_byte, nchars_del, nbytes_del,
1752 inschars, insbytes);
1753
1754 offset_intervals (current_buffer, from, inschars - nchars_del);
1755
1756 /* Relocate point as if it were a marker. */
1757 if (from < PT && (nchars_del != inschars || nbytes_del != insbytes))
1758 {
1759 if (PT < to)
1760 /* PT was within the deleted text. Move it to FROM. */
1761 adjust_point (from - PT, from_byte - PT_BYTE);
1762 else
1763 adjust_point (inschars - nchars_del, insbytes - nbytes_del);
1764 }
1765
1766 if (insbytes == 0)
1767 evaporate_overlays (from);
1768
1769 CHECK_MARKERS ();
1770
1771 MODIFF++;
1772 }
1773 \f
1774 /* Delete characters in current buffer
1775 from FROM up to (but not including) TO.
1776 If TO comes before FROM, we delete nothing. */
1777
1778 void
1779 del_range (from, to)
1780 register int from, to;
1781 {
1782 del_range_1 (from, to, 1, 0);
1783 }
1784
1785 /* Like del_range; PREPARE says whether to call prepare_to_modify_buffer.
1786 RET_STRING says to return the deleted text. */
1787
1788 Lisp_Object
1789 del_range_1 (from, to, prepare, ret_string)
1790 int from, to, prepare, ret_string;
1791 {
1792 int from_byte, to_byte;
1793 Lisp_Object deletion;
1794 struct gcpro gcpro1;
1795
1796 /* Make args be valid */
1797 if (from < BEGV)
1798 from = BEGV;
1799 if (to > ZV)
1800 to = ZV;
1801
1802 if (to <= from)
1803 return Qnil;
1804
1805 if (prepare)
1806 {
1807 int range_length = to - from;
1808 prepare_to_modify_buffer (from, to, &from);
1809 to = min (ZV, from + range_length);
1810 }
1811
1812 from_byte = CHAR_TO_BYTE (from);
1813 to_byte = CHAR_TO_BYTE (to);
1814
1815 deletion = del_range_2 (from, from_byte, to, to_byte, ret_string);
1816 GCPRO1(deletion);
1817 signal_after_change (from, to - from, 0);
1818 update_compositions (from, from, CHECK_HEAD);
1819 UNGCPRO;
1820 return deletion;
1821 }
1822
1823 /* Like del_range_1 but args are byte positions, not char positions. */
1824
1825 void
1826 del_range_byte (from_byte, to_byte, prepare)
1827 int from_byte, to_byte, prepare;
1828 {
1829 int from, to;
1830
1831 /* Make args be valid */
1832 if (from_byte < BEGV_BYTE)
1833 from_byte = BEGV_BYTE;
1834 if (to_byte > ZV_BYTE)
1835 to_byte = ZV_BYTE;
1836
1837 if (to_byte <= from_byte)
1838 return;
1839
1840 from = BYTE_TO_CHAR (from_byte);
1841 to = BYTE_TO_CHAR (to_byte);
1842
1843 if (prepare)
1844 {
1845 int old_from = from, old_to = Z - to;
1846 int range_length = to - from;
1847 prepare_to_modify_buffer (from, to, &from);
1848 to = from + range_length;
1849
1850 if (old_from != from)
1851 from_byte = CHAR_TO_BYTE (from);
1852 if (to > ZV)
1853 {
1854 to = ZV;
1855 to_byte = ZV_BYTE;
1856 }
1857 else if (old_to == Z - to)
1858 to_byte = CHAR_TO_BYTE (to);
1859 }
1860
1861 del_range_2 (from, from_byte, to, to_byte, 0);
1862 signal_after_change (from, to - from, 0);
1863 update_compositions (from, from, CHECK_HEAD);
1864 }
1865
1866 /* Like del_range_1, but positions are specified both as charpos
1867 and bytepos. */
1868
1869 void
1870 del_range_both (from, from_byte, to, to_byte, prepare)
1871 int from, from_byte, to, to_byte, prepare;
1872 {
1873 /* Make args be valid */
1874 if (from_byte < BEGV_BYTE)
1875 from_byte = BEGV_BYTE;
1876 if (to_byte > ZV_BYTE)
1877 to_byte = ZV_BYTE;
1878
1879 if (to_byte <= from_byte)
1880 return;
1881
1882 if (from < BEGV)
1883 from = BEGV;
1884 if (to > ZV)
1885 to = ZV;
1886
1887 if (prepare)
1888 {
1889 int old_from = from, old_to = Z - to;
1890 int range_length = to - from;
1891 prepare_to_modify_buffer (from, to, &from);
1892 to = from + range_length;
1893
1894 if (old_from != from)
1895 from_byte = CHAR_TO_BYTE (from);
1896 if (to > ZV)
1897 {
1898 to = ZV;
1899 to_byte = ZV_BYTE;
1900 }
1901 else if (old_to == Z - to)
1902 to_byte = CHAR_TO_BYTE (to);
1903 }
1904
1905 del_range_2 (from, from_byte, to, to_byte, 0);
1906 signal_after_change (from, to - from, 0);
1907 update_compositions (from, from, CHECK_HEAD);
1908 }
1909
1910 /* Delete a range of text, specified both as character positions
1911 and byte positions. FROM and TO are character positions,
1912 while FROM_BYTE and TO_BYTE are byte positions.
1913 If RET_STRING is true, the deleted area is returned as a string. */
1914
1915 Lisp_Object
1916 del_range_2 (from, from_byte, to, to_byte, ret_string)
1917 int from, from_byte, to, to_byte, ret_string;
1918 {
1919 register int nbytes_del, nchars_del;
1920 Lisp_Object deletion;
1921
1922 CHECK_MARKERS ();
1923
1924 nchars_del = to - from;
1925 nbytes_del = to_byte - from_byte;
1926
1927 /* Make sure the gap is somewhere in or next to what we are deleting. */
1928 if (from > GPT)
1929 gap_right (from, from_byte);
1930 if (to < GPT)
1931 gap_left (to, to_byte, 0);
1932
1933 #ifdef BYTE_COMBINING_DEBUG
1934 if (count_combining_before (BUF_BYTE_ADDRESS (current_buffer, to_byte),
1935 Z_BYTE - to_byte, from, from_byte))
1936 abort ();
1937 #endif
1938
1939 if (ret_string || ! EQ (current_buffer->undo_list, Qt))
1940 deletion = make_buffer_string_both (from, from_byte, to, to_byte, 1);
1941 else
1942 deletion = Qnil;
1943
1944 /* Relocate all markers pointing into the new, larger gap
1945 to point at the end of the text before the gap.
1946 Do this before recording the deletion,
1947 so that undo handles this after reinserting the text. */
1948 adjust_markers_for_delete (from, from_byte, to, to_byte);
1949
1950 if (! EQ (current_buffer->undo_list, Qt))
1951 record_delete (from, deletion);
1952 MODIFF++;
1953
1954 /* Relocate point as if it were a marker. */
1955 if (from < PT)
1956 adjust_point (from - (PT < to ? PT : to),
1957 from_byte - (PT_BYTE < to_byte ? PT_BYTE : to_byte));
1958
1959 offset_intervals (current_buffer, from, - nchars_del);
1960
1961 /* Adjust the overlay center as needed. This must be done after
1962 adjusting the markers that bound the overlays. */
1963 adjust_overlays_for_delete (from, nchars_del);
1964
1965 GAP_SIZE += nbytes_del;
1966 ZV_BYTE -= nbytes_del;
1967 Z_BYTE -= nbytes_del;
1968 ZV -= nchars_del;
1969 Z -= nchars_del;
1970 GPT = from;
1971 GPT_BYTE = from_byte;
1972 if (GAP_SIZE > 0) *(GPT_ADDR) = 0; /* Put an anchor. */
1973
1974 if (GPT_BYTE < GPT)
1975 abort ();
1976
1977 if (GPT - BEG < BEG_UNCHANGED)
1978 BEG_UNCHANGED = GPT - BEG;
1979 if (Z - GPT < END_UNCHANGED)
1980 END_UNCHANGED = Z - GPT;
1981
1982 CHECK_MARKERS ();
1983
1984 evaporate_overlays (from);
1985
1986 return deletion;
1987 }
1988 \f
1989 /* Call this if you're about to change the region of BUFFER from
1990 character positions START to END. This checks the read-only
1991 properties of the region, calls the necessary modification hooks,
1992 and warns the next redisplay that it should pay attention to that
1993 area. */
1994
1995 void
1996 modify_region (buffer, start, end)
1997 struct buffer *buffer;
1998 int start, end;
1999 {
2000 struct buffer *old_buffer = current_buffer;
2001
2002 if (buffer != old_buffer)
2003 set_buffer_internal (buffer);
2004
2005 prepare_to_modify_buffer (start, end, NULL);
2006
2007 BUF_COMPUTE_UNCHANGED (buffer, start - 1, end);
2008
2009 if (MODIFF <= SAVE_MODIFF)
2010 record_first_change ();
2011 MODIFF++;
2012
2013 buffer->point_before_scroll = Qnil;
2014
2015 if (buffer != old_buffer)
2016 set_buffer_internal (old_buffer);
2017 }
2018 \f
2019 /* Check that it is okay to modify the buffer between START and END,
2020 which are char positions.
2021
2022 Run the before-change-function, if any. If intervals are in use,
2023 verify that the text to be modified is not read-only, and call
2024 any modification properties the text may have.
2025
2026 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
2027 by holding its value temporarily in a marker. */
2028
2029 void
2030 prepare_to_modify_buffer (start, end, preserve_ptr)
2031 int start, end;
2032 int *preserve_ptr;
2033 {
2034 if (!NILP (current_buffer->read_only))
2035 Fbarf_if_buffer_read_only ();
2036
2037 /* Let redisplay consider other windows than selected_window
2038 if modifying another buffer. */
2039 if (XBUFFER (XWINDOW (selected_window)->buffer) != current_buffer)
2040 ++windows_or_buffers_changed;
2041
2042 if (BUF_INTERVALS (current_buffer) != 0)
2043 {
2044 if (preserve_ptr)
2045 {
2046 Lisp_Object preserve_marker;
2047 struct gcpro gcpro1;
2048 preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil);
2049 GCPRO1 (preserve_marker);
2050 verify_interval_modification (current_buffer, start, end);
2051 *preserve_ptr = marker_position (preserve_marker);
2052 unchain_marker (XMARKER (preserve_marker));
2053 UNGCPRO;
2054 }
2055 else
2056 verify_interval_modification (current_buffer, start, end);
2057 }
2058
2059 #ifdef CLASH_DETECTION
2060 if (!NILP (current_buffer->file_truename)
2061 /* Make binding buffer-file-name to nil effective. */
2062 && !NILP (current_buffer->filename)
2063 && SAVE_MODIFF >= MODIFF)
2064 lock_file (current_buffer->file_truename);
2065 #else
2066 /* At least warn if this file has changed on disk since it was visited. */
2067 if (!NILP (current_buffer->filename)
2068 && SAVE_MODIFF >= MODIFF
2069 && NILP (Fverify_visited_file_modtime (Fcurrent_buffer ()))
2070 && !NILP (Ffile_exists_p (current_buffer->filename)))
2071 call1 (intern ("ask-user-about-supersession-threat"),
2072 current_buffer->filename);
2073 #endif /* not CLASH_DETECTION */
2074
2075 signal_before_change (start, end, preserve_ptr);
2076
2077 if (current_buffer->newline_cache)
2078 invalidate_region_cache (current_buffer,
2079 current_buffer->newline_cache,
2080 start - BEG, Z - end);
2081 if (current_buffer->width_run_cache)
2082 invalidate_region_cache (current_buffer,
2083 current_buffer->width_run_cache,
2084 start - BEG, Z - end);
2085
2086 Vdeactivate_mark = Qt;
2087 }
2088 \f
2089 /* These macros work with an argument named `preserve_ptr'
2090 and a local variable named `preserve_marker'. */
2091
2092 #define PRESERVE_VALUE \
2093 if (preserve_ptr && NILP (preserve_marker)) \
2094 preserve_marker = Fcopy_marker (make_number (*preserve_ptr), Qnil)
2095
2096 #define RESTORE_VALUE \
2097 if (! NILP (preserve_marker)) \
2098 { \
2099 *preserve_ptr = marker_position (preserve_marker); \
2100 unchain_marker (XMARKER (preserve_marker)); \
2101 }
2102
2103 #define PRESERVE_START_END \
2104 if (NILP (start_marker)) \
2105 start_marker = Fcopy_marker (start, Qnil); \
2106 if (NILP (end_marker)) \
2107 end_marker = Fcopy_marker (end, Qnil);
2108
2109 #define FETCH_START \
2110 (! NILP (start_marker) ? Fmarker_position (start_marker) : start)
2111
2112 #define FETCH_END \
2113 (! NILP (end_marker) ? Fmarker_position (end_marker) : end)
2114
2115 /* Signal a change to the buffer immediately before it happens.
2116 START_INT and END_INT are the bounds of the text to be changed.
2117
2118 If PRESERVE_PTR is nonzero, we relocate *PRESERVE_PTR
2119 by holding its value temporarily in a marker. */
2120
2121 void
2122 signal_before_change (start_int, end_int, preserve_ptr)
2123 int start_int, end_int;
2124 int *preserve_ptr;
2125 {
2126 Lisp_Object start, end;
2127 Lisp_Object start_marker, end_marker;
2128 Lisp_Object preserve_marker;
2129 struct gcpro gcpro1, gcpro2, gcpro3;
2130
2131 if (inhibit_modification_hooks)
2132 return;
2133
2134 start = make_number (start_int);
2135 end = make_number (end_int);
2136 preserve_marker = Qnil;
2137 start_marker = Qnil;
2138 end_marker = Qnil;
2139 GCPRO3 (preserve_marker, start_marker, end_marker);
2140
2141 /* If buffer is unmodified, run a special hook for that case. */
2142 if (SAVE_MODIFF >= MODIFF
2143 && !NILP (Vfirst_change_hook)
2144 && !NILP (Vrun_hooks))
2145 {
2146 PRESERVE_VALUE;
2147 PRESERVE_START_END;
2148 call1 (Vrun_hooks, Qfirst_change_hook);
2149 }
2150
2151 /* Now run the before-change-functions if any. */
2152 if (!NILP (Vbefore_change_functions))
2153 {
2154 Lisp_Object args[3];
2155 Lisp_Object before_change_functions;
2156 Lisp_Object after_change_functions;
2157 struct gcpro gcpro1, gcpro2;
2158 struct buffer *old = current_buffer;
2159 struct buffer *new;
2160
2161 PRESERVE_VALUE;
2162 PRESERVE_START_END;
2163
2164 /* "Bind" before-change-functions and after-change-functions
2165 to nil--but in a way that errors don't know about.
2166 That way, if there's an error in them, they will stay nil. */
2167 before_change_functions = Vbefore_change_functions;
2168 after_change_functions = Vafter_change_functions;
2169 Vbefore_change_functions = Qnil;
2170 Vafter_change_functions = Qnil;
2171 GCPRO2 (before_change_functions, after_change_functions);
2172
2173 /* Actually run the hook functions. */
2174 args[0] = Qbefore_change_functions;
2175 args[1] = FETCH_START;
2176 args[2] = FETCH_END;
2177 run_hook_list_with_args (before_change_functions, 3, args);
2178
2179 /* "Unbind" the variables we "bound" to nil. Beware a
2180 buffer-local hook which changes the buffer when run (e.g. W3). */
2181 if (old != current_buffer)
2182 {
2183 new = current_buffer;
2184 set_buffer_internal (old);
2185 Vbefore_change_functions = before_change_functions;
2186 Vafter_change_functions = after_change_functions;
2187 set_buffer_internal (new);
2188 }
2189 else
2190 {
2191 Vbefore_change_functions = before_change_functions;
2192 Vafter_change_functions = after_change_functions;
2193 }
2194 UNGCPRO;
2195 }
2196
2197 if (current_buffer->overlays_before || current_buffer->overlays_after)
2198 {
2199 PRESERVE_VALUE;
2200 report_overlay_modification (FETCH_START, FETCH_END, 0,
2201 FETCH_START, FETCH_END, Qnil);
2202 }
2203
2204 if (! NILP (start_marker))
2205 free_marker (start_marker);
2206 if (! NILP (end_marker))
2207 free_marker (end_marker);
2208 RESTORE_VALUE;
2209 UNGCPRO;
2210 }
2211
2212 /* Signal a change immediately after it happens.
2213 CHARPOS is the character position of the start of the changed text.
2214 LENDEL is the number of characters of the text before the change.
2215 (Not the whole buffer; just the part that was changed.)
2216 LENINS is the number of characters in that part of the text
2217 after the change. */
2218
2219 void
2220 signal_after_change (charpos, lendel, lenins)
2221 int charpos, lendel, lenins;
2222 {
2223 if (inhibit_modification_hooks)
2224 return;
2225
2226 /* If we are deferring calls to the after-change functions
2227 and there are no before-change functions,
2228 just record the args that we were going to use. */
2229 if (! NILP (Vcombine_after_change_calls)
2230 && NILP (Vbefore_change_functions)
2231 && !current_buffer->overlays_before
2232 && !current_buffer->overlays_after)
2233 {
2234 Lisp_Object elt;
2235
2236 if (!NILP (combine_after_change_list)
2237 && current_buffer != XBUFFER (combine_after_change_buffer))
2238 Fcombine_after_change_execute ();
2239
2240 elt = Fcons (make_number (charpos - BEG),
2241 Fcons (make_number (Z - (charpos - lendel + lenins)),
2242 Fcons (make_number (lenins - lendel), Qnil)));
2243 combine_after_change_list
2244 = Fcons (elt, combine_after_change_list);
2245 combine_after_change_buffer = Fcurrent_buffer ();
2246
2247 return;
2248 }
2249
2250 if (!NILP (combine_after_change_list))
2251 Fcombine_after_change_execute ();
2252
2253 if (!NILP (Vafter_change_functions))
2254 {
2255 Lisp_Object args[4];
2256 Lisp_Object before_change_functions;
2257 Lisp_Object after_change_functions;
2258 struct buffer *old = current_buffer;
2259 struct buffer *new;
2260 struct gcpro gcpro1, gcpro2;
2261
2262 /* "Bind" before-change-functions and after-change-functions
2263 to nil--but in a way that errors don't know about.
2264 That way, if there's an error in them, they will stay nil. */
2265 before_change_functions = Vbefore_change_functions;
2266 after_change_functions = Vafter_change_functions;
2267 Vbefore_change_functions = Qnil;
2268 Vafter_change_functions = Qnil;
2269 GCPRO2 (before_change_functions, after_change_functions);
2270
2271 /* Actually run the hook functions. */
2272 args[0] = Qafter_change_functions;
2273 XSETFASTINT (args[1], charpos);
2274 XSETFASTINT (args[2], charpos + lenins);
2275 XSETFASTINT (args[3], lendel);
2276 run_hook_list_with_args (after_change_functions,
2277 4, args);
2278
2279 /* "Unbind" the variables we "bound" to nil. Beware a
2280 buffer-local hook which changes the buffer when run (e.g. W3). */
2281 if (old != current_buffer)
2282 {
2283 new = current_buffer;
2284 set_buffer_internal (old);
2285 Vbefore_change_functions = before_change_functions;
2286 Vafter_change_functions = after_change_functions;
2287 set_buffer_internal (new);
2288 }
2289 else
2290 {
2291 Vbefore_change_functions = before_change_functions;
2292 Vafter_change_functions = after_change_functions;
2293 }
2294 UNGCPRO;
2295 }
2296
2297 if (current_buffer->overlays_before || current_buffer->overlays_after)
2298 report_overlay_modification (make_number (charpos),
2299 make_number (charpos + lenins),
2300 1,
2301 make_number (charpos),
2302 make_number (charpos + lenins),
2303 make_number (lendel));
2304
2305 /* After an insertion, call the text properties
2306 insert-behind-hooks or insert-in-front-hooks. */
2307 if (lendel == 0)
2308 report_interval_modification (make_number (charpos),
2309 make_number (charpos + lenins));
2310 }
2311
2312 Lisp_Object
2313 Fcombine_after_change_execute_1 (val)
2314 Lisp_Object val;
2315 {
2316 Vcombine_after_change_calls = val;
2317 return val;
2318 }
2319
2320 DEFUN ("combine-after-change-execute", Fcombine_after_change_execute,
2321 Scombine_after_change_execute, 0, 0, 0,
2322 doc: /* This function is for use internally in `combine-after-change-calls'. */)
2323 ()
2324 {
2325 int count = SPECPDL_INDEX ();
2326 int beg, end, change;
2327 int begpos, endpos;
2328 Lisp_Object tail;
2329
2330 if (NILP (combine_after_change_list))
2331 return Qnil;
2332
2333 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
2334
2335 Fset_buffer (combine_after_change_buffer);
2336
2337 /* # chars unchanged at beginning of buffer. */
2338 beg = Z - BEG;
2339 /* # chars unchanged at end of buffer. */
2340 end = beg;
2341 /* Total amount of insertion (negative for deletion). */
2342 change = 0;
2343
2344 /* Scan the various individual changes,
2345 accumulating the range info in BEG, END and CHANGE. */
2346 for (tail = combine_after_change_list; CONSP (tail);
2347 tail = XCDR (tail))
2348 {
2349 Lisp_Object elt;
2350 int thisbeg, thisend, thischange;
2351
2352 /* Extract the info from the next element. */
2353 elt = XCAR (tail);
2354 if (! CONSP (elt))
2355 continue;
2356 thisbeg = XINT (XCAR (elt));
2357
2358 elt = XCDR (elt);
2359 if (! CONSP (elt))
2360 continue;
2361 thisend = XINT (XCAR (elt));
2362
2363 elt = XCDR (elt);
2364 if (! CONSP (elt))
2365 continue;
2366 thischange = XINT (XCAR (elt));
2367
2368 /* Merge this range into the accumulated range. */
2369 change += thischange;
2370 if (thisbeg < beg)
2371 beg = thisbeg;
2372 if (thisend < end)
2373 end = thisend;
2374 }
2375
2376 /* Get the current start and end positions of the range
2377 that was changed. */
2378 begpos = BEG + beg;
2379 endpos = Z - end;
2380
2381 /* We are about to handle these, so discard them. */
2382 combine_after_change_list = Qnil;
2383
2384 /* Now run the after-change functions for real.
2385 Turn off the flag that defers them. */
2386 record_unwind_protect (Fcombine_after_change_execute_1,
2387 Vcombine_after_change_calls);
2388 signal_after_change (begpos, endpos - begpos - change, endpos - begpos);
2389 update_compositions (begpos, endpos, CHECK_ALL);
2390
2391 return unbind_to (count, Qnil);
2392 }
2393 \f
2394 void
2395 syms_of_insdel ()
2396 {
2397 staticpro (&combine_after_change_list);
2398 staticpro (&combine_after_change_buffer);
2399 combine_after_change_list = Qnil;
2400 combine_after_change_buffer = Qnil;
2401
2402 DEFVAR_BOOL ("check-markers-debug-flag", &check_markers_debug_flag,
2403 doc: /* Non-nil means enable debugging checks for invalid marker positions. */);
2404 check_markers_debug_flag = 0;
2405 DEFVAR_LISP ("combine-after-change-calls", &Vcombine_after_change_calls,
2406 doc: /* Used internally by the `combine-after-change-calls' macro. */);
2407 Vcombine_after_change_calls = Qnil;
2408
2409 DEFVAR_BOOL ("inhibit-modification-hooks", &inhibit_modification_hooks,
2410 doc: /* Non-nil means don't run any of the hooks that respond to buffer changes.
2411 This affects `before-change-functions' and `after-change-functions',
2412 as well as hooks attached to text properties and overlays. */);
2413 inhibit_modification_hooks = 0;
2414 Qinhibit_modification_hooks = intern ("inhibit-modification-hooks");
2415 staticpro (&Qinhibit_modification_hooks);
2416
2417 defsubr (&Scombine_after_change_execute);
2418 }
2419
2420 /* arch-tag: 9b34b886-47d7-465e-a234-299af411b23d
2421 (do not change this comment) */