(init_baud_rate): Avoid referring to sg uninitialized.
[bpt/emacs.git] / src / insdel.c
CommitLineData
b45433b3 1/* Buffer insertion/deletion and gap motion for GNU Emacs.
2f545eea 2 Copyright (C) 1985, 1986, 1993 Free Software Foundation, Inc.
b45433b3
JB
3
4This file is part of GNU Emacs.
5
6GNU Emacs is free software; you can redistribute it and/or modify
7it under the terms of the GNU General Public License as published by
8the Free Software Foundation; either version 1, or (at your option)
9any later version.
10
11GNU Emacs is distributed in the hope that it will be useful,
12but WITHOUT ANY WARRANTY; without even the implied warranty of
13MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14GNU General Public License for more details.
15
16You should have received a copy of the GNU General Public License
17along with GNU Emacs; see the file COPYING. If not, write to
18the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
19
20
18160b98 21#include <config.h>
b45433b3 22#include "lisp.h"
679194a6 23#include "intervals.h"
b45433b3
JB
24#include "buffer.h"
25#include "window.h"
d014bf88 26#include "blockinput.h"
b45433b3 27
b45433b3
JB
28/* Move gap to position `pos'.
29 Note that this can quit! */
30
31move_gap (pos)
32 int pos;
33{
34 if (pos < GPT)
35 gap_left (pos, 0);
36 else if (pos > GPT)
37 gap_right (pos);
38}
39
40/* Move the gap to POS, which is less than the current GPT.
41 If NEWGAP is nonzero, then don't update beg_unchanged and end_unchanged. */
42
43gap_left (pos, newgap)
44 register int pos;
45 int newgap;
46{
47 register unsigned char *to, *from;
48 register int i;
49 int new_s1;
50
51 pos--;
52
53 if (!newgap)
54 {
55 if (unchanged_modified == MODIFF)
56 {
57 beg_unchanged = pos;
58 end_unchanged = Z - pos - 1;
59 }
60 else
61 {
62 if (Z - GPT < end_unchanged)
63 end_unchanged = Z - GPT;
64 if (pos < beg_unchanged)
65 beg_unchanged = pos;
66 }
67 }
68
69 i = GPT;
70 to = GAP_END_ADDR;
71 from = GPT_ADDR;
72 new_s1 = GPT - BEG;
73
74 /* Now copy the characters. To move the gap down,
75 copy characters up. */
76
77 while (1)
78 {
79 /* I gets number of characters left to copy. */
80 i = new_s1 - pos;
81 if (i == 0)
82 break;
83 /* If a quit is requested, stop copying now.
84 Change POS to be where we have actually moved the gap to. */
85 if (QUITP)
86 {
87 pos = new_s1;
88 break;
89 }
90 /* Move at most 32000 chars before checking again for a quit. */
91 if (i > 32000)
92 i = 32000;
93#ifdef GAP_USE_BCOPY
94 if (i >= 128
95 /* bcopy is safe if the two areas of memory do not overlap
96 or on systems where bcopy is always safe for moving upward. */
97 && (BCOPY_UPWARD_SAFE
98 || to - from >= 128))
99 {
100 /* If overlap is not safe, avoid it by not moving too many
101 characters at once. */
102 if (!BCOPY_UPWARD_SAFE && i > to - from)
103 i = to - from;
104 new_s1 -= i;
105 from -= i, to -= i;
106 bcopy (from, to, i);
107 }
108 else
109#endif
110 {
111 new_s1 -= i;
112 while (--i >= 0)
113 *--to = *--from;
114 }
115 }
116
117 /* Adjust markers, and buffer data structure, to put the gap at POS.
118 POS is where the loop above stopped, which may be what was specified
119 or may be where a quit was detected. */
120 adjust_markers (pos + 1, GPT, GAP_SIZE);
121 GPT = pos + 1;
122 QUIT;
123}
124
125gap_right (pos)
126 register int pos;
127{
128 register unsigned char *to, *from;
129 register int i;
130 int new_s1;
131
132 pos--;
133
134 if (unchanged_modified == MODIFF)
135 {
136 beg_unchanged = pos;
137 end_unchanged = Z - pos - 1;
138 }
139 else
140 {
141 if (Z - pos - 1 < end_unchanged)
142 end_unchanged = Z - pos - 1;
143 if (GPT - BEG < beg_unchanged)
144 beg_unchanged = GPT - BEG;
145 }
146
147 i = GPT;
148 from = GAP_END_ADDR;
149 to = GPT_ADDR;
150 new_s1 = GPT - 1;
151
152 /* Now copy the characters. To move the gap up,
153 copy characters down. */
154
155 while (1)
156 {
157 /* I gets number of characters left to copy. */
158 i = pos - new_s1;
159 if (i == 0)
160 break;
161 /* If a quit is requested, stop copying now.
162 Change POS to be where we have actually moved the gap to. */
163 if (QUITP)
164 {
165 pos = new_s1;
166 break;
167 }
168 /* Move at most 32000 chars before checking again for a quit. */
169 if (i > 32000)
170 i = 32000;
171#ifdef GAP_USE_BCOPY
172 if (i >= 128
173 /* bcopy is safe if the two areas of memory do not overlap
174 or on systems where bcopy is always safe for moving downward. */
175 && (BCOPY_DOWNWARD_SAFE
176 || from - to >= 128))
177 {
178 /* If overlap is not safe, avoid it by not moving too many
179 characters at once. */
180 if (!BCOPY_DOWNWARD_SAFE && i > from - to)
181 i = from - to;
182 new_s1 += i;
183 bcopy (from, to, i);
184 from += i, to += i;
185 }
186 else
187#endif
188 {
189 new_s1 += i;
190 while (--i >= 0)
191 *to++ = *from++;
192 }
193 }
194
195 adjust_markers (GPT + GAP_SIZE, pos + 1 + GAP_SIZE, - GAP_SIZE);
196 GPT = pos + 1;
197 QUIT;
198}
199
200/* Add `amount' to the position of every marker in the current buffer
201 whose current position is between `from' (exclusive) and `to' (inclusive).
202 Also, any markers past the outside of that interval, in the direction
203 of adjustment, are first moved back to the near end of the interval
204 and then adjusted by `amount'. */
205
206adjust_markers (from, to, amount)
207 register int from, to, amount;
208{
209 Lisp_Object marker;
210 register struct Lisp_Marker *m;
211 register int mpos;
212
213 marker = current_buffer->markers;
214
d427b66a 215 while (!NILP (marker))
b45433b3
JB
216 {
217 m = XMARKER (marker);
218 mpos = m->bufpos;
219 if (amount > 0)
220 {
221 if (mpos > to && mpos < to + amount)
222 mpos = to + amount;
223 }
224 else
225 {
226 if (mpos > from + amount && mpos <= from)
227 mpos = from + amount;
228 }
229 if (mpos > from && mpos <= to)
230 mpos += amount;
231 m->bufpos = mpos;
232 marker = m->chain;
233 }
234}
235\f
236/* Make the gap INCREMENT characters longer. */
237
238make_gap (increment)
239 int increment;
240{
241 unsigned char *result;
242 Lisp_Object tem;
243 int real_gap_loc;
244 int old_gap_size;
245
246 /* If we have to get more space, get enough to last a while. */
247 increment += 2000;
248
9ac0d9e0 249 BLOCK_INPUT;
b45433b3 250 result = BUFFER_REALLOC (BEG_ADDR, (Z - BEG + GAP_SIZE + increment));
9ac0d9e0
JB
251 UNBLOCK_INPUT;
252
b45433b3
JB
253 if (result == 0)
254 memory_full ();
255 BEG_ADDR = result;
256
257 /* Prevent quitting in move_gap. */
258 tem = Vinhibit_quit;
259 Vinhibit_quit = Qt;
260
261 real_gap_loc = GPT;
262 old_gap_size = GAP_SIZE;
263
264 /* Call the newly allocated space a gap at the end of the whole space. */
265 GPT = Z + GAP_SIZE;
266 GAP_SIZE = increment;
267
268 /* Move the new gap down to be consecutive with the end of the old one.
269 This adjusts the markers properly too. */
270 gap_left (real_gap_loc + old_gap_size, 1);
271
272 /* Now combine the two into one large gap. */
273 GAP_SIZE += old_gap_size;
274 GPT = real_gap_loc;
275
276 Vinhibit_quit = tem;
277}
278\f
279/* Insert a string of specified length before point.
280 DO NOT use this for the contents of a Lisp string!
281 prepare_to_modify_buffer could relocate the string. */
282
283insert (string, length)
284 register unsigned char *string;
285 register length;
286{
287 register Lisp_Object temp;
288
289 if (length < 1)
290 return;
291
292 /* Make sure point-max won't overflow after this insertion. */
293 XSET (temp, Lisp_Int, length + Z);
294 if (length + Z != XINT (temp))
295 error ("maximum buffer size exceeded");
296
297 prepare_to_modify_buffer (point, point);
298
299 if (point != GPT)
300 move_gap (point);
301 if (GAP_SIZE < length)
302 make_gap (length - GAP_SIZE);
303
304 record_insert (point, length);
305 MODIFF++;
306
307 bcopy (string, GPT_ADDR, length);
308
679194a6
JA
309 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
310 offset_intervals (current_buffer, point, length);
311
b45433b3
JB
312 GAP_SIZE -= length;
313 GPT += length;
314 ZV += length;
315 Z += length;
316 SET_PT (point + length);
317
318 signal_after_change (point-length, 0, length);
319}
320
679194a6
JA
321/* Insert the part of the text of STRING, a Lisp object assumed to be
322 of type string, consisting of the LENGTH characters starting at
323 position POS. If the text of STRING has properties, they are absorbed
324 into the buffer.
325
326 It does not work to use `insert' for this, because a GC could happen
7e1ea612
JB
327 before we bcopy the stuff into the buffer, and relocate the string
328 without insert noticing. */
679194a6 329
9391e591 330insert_from_string (string, pos, length, inherit)
b45433b3
JB
331 Lisp_Object string;
332 register int pos, length;
9391e591 333 int inherit;
b45433b3
JB
334{
335 register Lisp_Object temp;
336 struct gcpro gcpro1;
337
338 if (length < 1)
339 return;
340
341 /* Make sure point-max won't overflow after this insertion. */
342 XSET (temp, Lisp_Int, length + Z);
343 if (length + Z != XINT (temp))
344 error ("maximum buffer size exceeded");
345
346 GCPRO1 (string);
347 prepare_to_modify_buffer (point, point);
348
349 if (point != GPT)
350 move_gap (point);
351 if (GAP_SIZE < length)
352 make_gap (length - GAP_SIZE);
353
354 record_insert (point, length);
355 MODIFF++;
356 UNGCPRO;
357
358 bcopy (XSTRING (string)->data, GPT_ADDR, length);
359
679194a6
JA
360 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
361 offset_intervals (current_buffer, point, length);
362
b45433b3
JB
363 GAP_SIZE -= length;
364 GPT += length;
365 ZV += length;
366 Z += length;
679194a6
JA
367
368 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
369 graft_intervals_into_buffer (XSTRING (string)->intervals, point,
9391e591 370 current_buffer, inherit);
679194a6 371
d427b66a 372 SET_PT (point + length);
b45433b3
JB
373
374 signal_after_change (point-length, 0, length);
375}
376
377/* Insert the character C before point */
378
379void
380insert_char (c)
381 unsigned char c;
382{
383 insert (&c, 1);
384}
385
386/* Insert the null-terminated string S before point */
387
388void
389insert_string (s)
390 char *s;
391{
392 insert (s, strlen (s));
393}
394
395/* Like `insert' except that all markers pointing at the place where
396 the insertion happens are adjusted to point after it.
397 Don't use this function to insert part of a Lisp string,
398 since gc could happen and relocate it. */
399
400insert_before_markers (string, length)
401 unsigned char *string;
402 register int length;
403{
404 register int opoint = point;
405 insert (string, length);
406 adjust_markers (opoint - 1, opoint, length);
407}
408
409/* Insert part of a Lisp string, relocating markers after. */
410
9391e591 411insert_from_string_before_markers (string, pos, length, inherit)
b45433b3
JB
412 Lisp_Object string;
413 register int pos, length;
9391e591 414 int inherit;
b45433b3
JB
415{
416 register int opoint = point;
9391e591 417 insert_from_string (string, pos, length, inherit);
b45433b3
JB
418 adjust_markers (opoint - 1, opoint, length);
419}
420\f
421/* Delete characters in current buffer
422 from FROM up to (but not including) TO. */
423
424del_range (from, to)
425 register int from, to;
426{
427 register int numdel;
428
429 /* Make args be valid */
430 if (from < BEGV)
431 from = BEGV;
432 if (to > ZV)
433 to = ZV;
434
435 if ((numdel = to - from) <= 0)
436 return;
437
438 /* Make sure the gap is somewhere in or next to what we are deleting. */
439 if (from > GPT)
440 gap_right (from);
441 if (to < GPT)
442 gap_left (to, 0);
443
444 prepare_to_modify_buffer (from, to);
445
be09561e
RS
446 record_delete (from, numdel);
447 MODIFF++;
448
b45433b3
JB
449 /* Relocate point as if it were a marker. */
450 if (from < point)
451 {
452 if (point < to)
453 SET_PT (from);
454 else
455 SET_PT (point - numdel);
456 }
457
16032db6
RS
458 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
459 offset_intervals (current_buffer, point, - numdel);
460
b45433b3
JB
461 /* Relocate all markers pointing into the new, larger gap
462 to point at the end of the text before the gap. */
463 adjust_markers (to + GAP_SIZE, to + GAP_SIZE, - numdel - GAP_SIZE);
464
465 GAP_SIZE += numdel;
466 ZV -= numdel;
467 Z -= numdel;
468 GPT = from;
469
470 if (GPT - BEG < beg_unchanged)
471 beg_unchanged = GPT - BEG;
472 if (Z - GPT < end_unchanged)
473 end_unchanged = Z - GPT;
474
475 signal_after_change (from, numdel, 0);
476}
477\f
04a759c8
JB
478/* Call this if you're about to change the region of BUFFER from START
479 to END. This checks the read-only properties of the region, calls
480 the necessary modification hooks, and warns the next redisplay that
481 it should pay attention to that area. */
482modify_region (buffer, start, end)
483 struct buffer *buffer;
b45433b3
JB
484 int start, end;
485{
04a759c8
JB
486 struct buffer *old_buffer = current_buffer;
487
488 if (buffer != old_buffer)
489 set_buffer_internal (buffer);
490
b45433b3
JB
491 prepare_to_modify_buffer (start, end);
492
493 if (start - 1 < beg_unchanged || unchanged_modified == MODIFF)
494 beg_unchanged = start - 1;
495 if (Z - end < end_unchanged
496 || unchanged_modified == MODIFF)
497 end_unchanged = Z - end;
498 MODIFF++;
04a759c8
JB
499
500 if (buffer != old_buffer)
501 set_buffer_internal (old_buffer);
b45433b3
JB
502}
503
504/* Check that it is okay to modify the buffer between START and END.
679194a6
JA
505 Run the before-change-function, if any. If intervals are in use,
506 verify that the text to be modified is not read-only, and call
507 any modification properties the text may have. */
b45433b3
JB
508
509prepare_to_modify_buffer (start, end)
510 Lisp_Object start, end;
511{
d427b66a 512 if (!NILP (current_buffer->read_only))
b45433b3
JB
513 Fbarf_if_buffer_read_only ();
514
679194a6
JA
515 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */
516 verify_interval_modification (current_buffer, start, end);
b45433b3 517
f256353c
RS
518 verify_overlay_modification (start, end);
519
b45433b3 520#ifdef CLASH_DETECTION
d427b66a 521 if (!NILP (current_buffer->filename)
b45433b3
JB
522 && current_buffer->save_modified >= MODIFF)
523 lock_file (current_buffer->filename);
524#else
525 /* At least warn if this file has changed on disk since it was visited. */
d427b66a 526 if (!NILP (current_buffer->filename)
b45433b3 527 && current_buffer->save_modified >= MODIFF
d427b66a
JB
528 && NILP (Fverify_visited_file_modtime (Fcurrent_buffer ()))
529 && !NILP (Ffile_exists_p (current_buffer->filename)))
b45433b3
JB
530 call1 (intern ("ask-user-about-supersession-threat"),
531 current_buffer->filename);
532#endif /* not CLASH_DETECTION */
533
534 signal_before_change (start, end);
2f545eea
RS
535
536 Vdeactivate_mark = Qt;
b45433b3
JB
537}
538\f
539static Lisp_Object
540before_change_function_restore (value)
541 Lisp_Object value;
542{
543 Vbefore_change_function = value;
544}
545
546static Lisp_Object
547after_change_function_restore (value)
548 Lisp_Object value;
549{
550 Vafter_change_function = value;
551}
552
eb8c3be9 553/* Signal a change to the buffer immediately before it happens.
b45433b3
JB
554 START and END are the bounds of the text to be changed,
555 as Lisp objects. */
556
557signal_before_change (start, end)
558 Lisp_Object start, end;
559{
560 /* If buffer is unmodified, run a special hook for that case. */
561 if (current_buffer->save_modified >= MODIFF
dbc4e1c1
JB
562 && !NILP (Vfirst_change_hook)
563 && !NILP (Vrun_hooks))
564 call1 (Vrun_hooks, Qfirst_change_hook);
565
b45433b3 566 /* Now in any case run the before-change-function if any. */
d427b66a 567 if (!NILP (Vbefore_change_function))
b45433b3
JB
568 {
569 int count = specpdl_ptr - specpdl;
570 Lisp_Object function;
571
572 function = Vbefore_change_function;
573 record_unwind_protect (after_change_function_restore,
574 Vafter_change_function);
575 record_unwind_protect (before_change_function_restore,
576 Vbefore_change_function);
577 Vafter_change_function = Qnil;
578 Vbefore_change_function = Qnil;
579
580 call2 (function, start, end);
581 unbind_to (count, Qnil);
582 }
583}
584
eb8c3be9 585/* Signal a change immediately after it happens.
b45433b3
JB
586 POS is the address of the start of the changed text.
587 LENDEL is the number of characters of the text before the change.
588 (Not the whole buffer; just the part that was changed.)
589 LENINS is the number of characters in the changed text. */
590
591signal_after_change (pos, lendel, lenins)
592 int pos, lendel, lenins;
593{
d427b66a 594 if (!NILP (Vafter_change_function))
b45433b3
JB
595 {
596 int count = specpdl_ptr - specpdl;
597 Lisp_Object function;
598 function = Vafter_change_function;
599
600 record_unwind_protect (after_change_function_restore,
601 Vafter_change_function);
602 record_unwind_protect (before_change_function_restore,
603 Vbefore_change_function);
604 Vafter_change_function = Qnil;
605 Vbefore_change_function = Qnil;
606
607 call3 (function, make_number (pos), make_number (pos + lenins),
608 make_number (lendel));
609 unbind_to (count, Qnil);
610 }
611}