Convenient macro to check whether the buffer is live.
[bpt/emacs.git] / src / marker.c
CommitLineData
1389ad71 1/* Markers: examining, setting and deleting.
acaf905b 2 Copyright (C) 1985, 1997-1998, 2001-2012 Free Software Foundation, Inc.
dcfdbac7
JB
3
4This file is part of GNU Emacs.
5
9ec0b715 6GNU Emacs is free software: you can redistribute it and/or modify
dcfdbac7 7it under the terms of the GNU General Public License as published by
9ec0b715
GM
8the Free Software Foundation, either version 3 of the License, or
9(at your option) any later version.
dcfdbac7
JB
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
9ec0b715 17along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
dcfdbac7
JB
18
19
18160b98 20#include <config.h>
d7306fe6 21#include <setjmp.h>
dcfdbac7 22#include "lisp.h"
83be827a 23#include "character.h"
e5560ff7 24#include "buffer.h"
dcfdbac7 25
1389ad71
RS
26/* Record one cached position found recently by
27 buf_charpos_to_bytepos or buf_bytepos_to_charpos. */
28
d311d28c
PE
29static ptrdiff_t cached_charpos;
30static ptrdiff_t cached_bytepos;
1389ad71
RS
31static struct buffer *cached_buffer;
32static int cached_modiff;
31f8ab72 33
f1f924b6
DA
34/* Juanma Barranquero <lekktu@gmail.com> reported ~3x increased
35 bootstrap time when byte_char_debug_check is enabled; so this
36 is never turned on by --enable-checking configure option. */
37
38#ifdef MARKER_DEBUG
80d26f99 39
90fc4786 40extern int count_markers (struct buffer *) EXTERNALLY_VISIBLE;
f1f924b6 41extern ptrdiff_t verify_bytepos (ptrdiff_t charpos) EXTERNALLY_VISIBLE;
90fc4786
DA
42
43static void
44byte_char_debug_check (struct buffer *b, ptrdiff_t charpos, ptrdiff_t bytepos)
45{
9d44f8ce
DA
46 ptrdiff_t nchars;
47
48 if (NILP (BVAR (b, enable_multibyte_characters)))
49 return;
90fc4786
DA
50
51 if (bytepos > BUF_GPT_BYTE (b))
9d44f8ce
DA
52 nchars
53 = multibyte_chars_in_text (BUF_BEG_ADDR (b),
54 BUF_GPT_BYTE (b) - BUF_BEG_BYTE (b))
55 + multibyte_chars_in_text (BUF_GAP_END_ADDR (b),
56 bytepos - BUF_GPT_BYTE (b));
90fc4786
DA
57 else
58 nchars = multibyte_chars_in_text (BUF_BEG_ADDR (b),
59 bytepos - BUF_BEG_BYTE (b));
60
61 if (charpos - 1 != nchars)
1088b922 62 emacs_abort ();
90fc4786
DA
63}
64
f1f924b6 65#else /* not MARKER_DEBUG */
90fc4786 66
e2688e4a 67#define byte_char_debug_check(b, charpos, bytepos) do { } while (0)
90fc4786 68
f1f924b6 69#endif /* MARKER_DEBUG */
1088b922 70
dfcf069d 71void
971de7fb 72clear_charpos_cache (struct buffer *b)
31f8ab72
RS
73{
74 if (cached_buffer == b)
75 cached_buffer = 0;
76}
1389ad71
RS
77\f
78/* Converting between character positions and byte positions. */
79
80/* There are several places in the buffer where we know
3f67ae94 81 the correspondence: BEG, BEGV, PT, GPT, ZV and Z,
1389ad71
RS
82 and everywhere there is a marker. So we find the one of these places
83 that is closest to the specified position, and scan from there. */
84
85/* charpos_to_bytepos returns the byte position corresponding to CHARPOS. */
86
87/* This macro is a subroutine of charpos_to_bytepos.
88 Note that it is desirable that BYTEPOS is not evaluated
89 except when we really want its value. */
90
91#define CONSIDER(CHARPOS, BYTEPOS) \
92{ \
d311d28c 93 ptrdiff_t this_charpos = (CHARPOS); \
1389ad71
RS
94 int changed = 0; \
95 \
96 if (this_charpos == charpos) \
6e57421b 97 { \
d311d28c 98 ptrdiff_t value = (BYTEPOS); \
90fc4786
DA
99 \
100 byte_char_debug_check (b, charpos, value); \
6e57421b
RS
101 return value; \
102 } \
1389ad71
RS
103 else if (this_charpos > charpos) \
104 { \
105 if (this_charpos < best_above) \
106 { \
107 best_above = this_charpos; \
108 best_above_byte = (BYTEPOS); \
109 changed = 1; \
110 } \
111 } \
112 else if (this_charpos > best_below) \
113 { \
114 best_below = this_charpos; \
115 best_below_byte = (BYTEPOS); \
116 changed = 1; \
117 } \
118 \
119 if (changed) \
120 { \
121 if (best_above - best_below == best_above_byte - best_below_byte) \
6e57421b 122 { \
d311d28c 123 ptrdiff_t value = best_below_byte + (charpos - best_below); \
90fc4786
DA
124 \
125 byte_char_debug_check (b, charpos, value); \
6e57421b
RS
126 return value; \
127 } \
1389ad71
RS
128 } \
129}
130
d311d28c
PE
131ptrdiff_t
132charpos_to_bytepos (ptrdiff_t charpos)
1389ad71
RS
133{
134 return buf_charpos_to_bytepos (current_buffer, charpos);
135}
136
d311d28c
PE
137ptrdiff_t
138buf_charpos_to_bytepos (struct buffer *b, ptrdiff_t charpos)
1389ad71 139{
5e097e00 140 struct Lisp_Marker *tail;
d311d28c
PE
141 ptrdiff_t best_above, best_above_byte;
142 ptrdiff_t best_below, best_below_byte;
1389ad71
RS
143
144 if (charpos < BUF_BEG (b) || charpos > BUF_Z (b))
1088b922 145 emacs_abort ();
1389ad71
RS
146
147 best_above = BUF_Z (b);
148 best_above_byte = BUF_Z_BYTE (b);
149
150 /* If this buffer has as many characters as bytes,
151 each character must be one byte.
152 This takes care of the case where enable-multibyte-characters is nil. */
153 if (best_above == best_above_byte)
154 return charpos;
155
3ab364ce
SM
156 best_below = BEG;
157 best_below_byte = BEG_BYTE;
1389ad71
RS
158
159 /* We find in best_above and best_above_byte
160 the closest known point above CHARPOS,
161 and in best_below and best_below_byte
162 the closest known point below CHARPOS,
163
164 If at any point we can tell that the space between those
165 two best approximations is all single-byte,
166 we interpolate the result immediately. */
167
168 CONSIDER (BUF_PT (b), BUF_PT_BYTE (b));
169 CONSIDER (BUF_GPT (b), BUF_GPT_BYTE (b));
170 CONSIDER (BUF_BEGV (b), BUF_BEGV_BYTE (b));
171 CONSIDER (BUF_ZV (b), BUF_ZV_BYTE (b));
172
173 if (b == cached_buffer && BUF_MODIFF (b) == cached_modiff)
174 CONSIDER (cached_charpos, cached_bytepos);
175
5e097e00 176 for (tail = BUF_MARKERS (b); tail; tail = tail->next)
1389ad71 177 {
5e097e00 178 CONSIDER (tail->charpos, tail->bytepos);
1389ad71
RS
179
180 /* If we are down to a range of 50 chars,
181 don't bother checking any other markers;
182 scan the intervening chars directly now. */
183 if (best_above - best_below < 50)
184 break;
1389ad71
RS
185 }
186
187 /* We get here if we did not exactly hit one of the known places.
188 We have one known above and one known below.
189 Scan, counting characters, from whichever one is closer. */
190
191 if (charpos - best_below < best_above - charpos)
192 {
193 int record = charpos - best_below > 5000;
194
195 while (best_below != charpos)
196 {
197 best_below++;
198 BUF_INC_POS (b, best_below_byte);
199 }
200
201 /* If this position is quite far from the nearest known position,
202 cache the correspondence by creating a marker here.
203 It will last until the next GC. */
204 if (record)
657924ff 205 build_marker (b, best_below, best_below_byte);
1389ad71 206
9d44f8ce 207 byte_char_debug_check (b, best_below, best_below_byte);
6e57421b 208
1389ad71
RS
209 cached_buffer = b;
210 cached_modiff = BUF_MODIFF (b);
211 cached_charpos = best_below;
212 cached_bytepos = best_below_byte;
213
214 return best_below_byte;
215 }
216 else
217 {
218 int record = best_above - charpos > 5000;
219
220 while (best_above != charpos)
221 {
222 best_above--;
223 BUF_DEC_POS (b, best_above_byte);
224 }
225
226 /* If this position is quite far from the nearest known position,
227 cache the correspondence by creating a marker here.
228 It will last until the next GC. */
229 if (record)
657924ff 230 build_marker (b, best_above, best_above_byte);
1389ad71 231
9d44f8ce 232 byte_char_debug_check (b, best_above, best_above_byte);
6e57421b 233
1389ad71
RS
234 cached_buffer = b;
235 cached_modiff = BUF_MODIFF (b);
236 cached_charpos = best_above;
237 cached_bytepos = best_above_byte;
238
239 return best_above_byte;
240 }
241}
242
243#undef CONSIDER
55a91ea3 244
b4c3046a
PE
245/* buf_bytepos_to_charpos returns the char position corresponding to
246 BYTEPOS. */
1389ad71 247
b4c3046a 248/* This macro is a subroutine of buf_bytepos_to_charpos.
1389ad71
RS
249 It is used when BYTEPOS is actually the byte position. */
250
251#define CONSIDER(BYTEPOS, CHARPOS) \
252{ \
d311d28c 253 ptrdiff_t this_bytepos = (BYTEPOS); \
1389ad71
RS
254 int changed = 0; \
255 \
256 if (this_bytepos == bytepos) \
6e57421b 257 { \
d311d28c 258 ptrdiff_t value = (CHARPOS); \
90fc4786
DA
259 \
260 byte_char_debug_check (b, value, bytepos); \
6e57421b
RS
261 return value; \
262 } \
1389ad71
RS
263 else if (this_bytepos > bytepos) \
264 { \
265 if (this_bytepos < best_above_byte) \
266 { \
267 best_above = (CHARPOS); \
268 best_above_byte = this_bytepos; \
269 changed = 1; \
270 } \
271 } \
272 else if (this_bytepos > best_below_byte) \
273 { \
274 best_below = (CHARPOS); \
275 best_below_byte = this_bytepos; \
276 changed = 1; \
277 } \
278 \
279 if (changed) \
280 { \
281 if (best_above - best_below == best_above_byte - best_below_byte) \
6e57421b 282 { \
d311d28c 283 ptrdiff_t value = best_below + (bytepos - best_below_byte); \
90fc4786
DA
284 \
285 byte_char_debug_check (b, value, bytepos); \
6e57421b
RS
286 return value; \
287 } \
1389ad71
RS
288 } \
289}
290
d311d28c
PE
291ptrdiff_t
292buf_bytepos_to_charpos (struct buffer *b, ptrdiff_t bytepos)
1389ad71 293{
5e097e00 294 struct Lisp_Marker *tail;
d311d28c
PE
295 ptrdiff_t best_above, best_above_byte;
296 ptrdiff_t best_below, best_below_byte;
1389ad71
RS
297
298 if (bytepos < BUF_BEG_BYTE (b) || bytepos > BUF_Z_BYTE (b))
1088b922 299 emacs_abort ();
1389ad71
RS
300
301 best_above = BUF_Z (b);
302 best_above_byte = BUF_Z_BYTE (b);
303
304 /* If this buffer has as many characters as bytes,
305 each character must be one byte.
306 This takes care of the case where enable-multibyte-characters is nil. */
307 if (best_above == best_above_byte)
308 return bytepos;
309
3ab364ce
SM
310 best_below = BEG;
311 best_below_byte = BEG_BYTE;
1389ad71
RS
312
313 CONSIDER (BUF_PT_BYTE (b), BUF_PT (b));
314 CONSIDER (BUF_GPT_BYTE (b), BUF_GPT (b));
315 CONSIDER (BUF_BEGV_BYTE (b), BUF_BEGV (b));
316 CONSIDER (BUF_ZV_BYTE (b), BUF_ZV (b));
317
318 if (b == cached_buffer && BUF_MODIFF (b) == cached_modiff)
319 CONSIDER (cached_bytepos, cached_charpos);
320
5e097e00 321 for (tail = BUF_MARKERS (b); tail; tail = tail->next)
1389ad71 322 {
5e097e00 323 CONSIDER (tail->bytepos, tail->charpos);
1389ad71
RS
324
325 /* If we are down to a range of 50 chars,
326 don't bother checking any other markers;
327 scan the intervening chars directly now. */
328 if (best_above - best_below < 50)
329 break;
1389ad71
RS
330 }
331
332 /* We get here if we did not exactly hit one of the known places.
333 We have one known above and one known below.
334 Scan, counting characters, from whichever one is closer. */
335
336 if (bytepos - best_below_byte < best_above_byte - bytepos)
337 {
7693a579 338 int record = bytepos - best_below_byte > 5000;
1389ad71
RS
339
340 while (best_below_byte < bytepos)
341 {
342 best_below++;
343 BUF_INC_POS (b, best_below_byte);
344 }
345
346 /* If this position is quite far from the nearest known position,
347 cache the correspondence by creating a marker here.
7693a579
RS
348 It will last until the next GC.
349 But don't do it if BUF_MARKERS is nil;
350 that is a signal from Fset_buffer_multibyte. */
5e097e00 351 if (record && BUF_MARKERS (b))
657924ff 352 build_marker (b, best_below, best_below_byte);
1389ad71 353
9d44f8ce 354 byte_char_debug_check (b, best_below, best_below_byte);
6e57421b 355
1389ad71
RS
356 cached_buffer = b;
357 cached_modiff = BUF_MODIFF (b);
358 cached_charpos = best_below;
359 cached_bytepos = best_below_byte;
360
361 return best_below;
362 }
363 else
364 {
365 int record = best_above_byte - bytepos > 5000;
366
367 while (best_above_byte > bytepos)
368 {
369 best_above--;
370 BUF_DEC_POS (b, best_above_byte);
371 }
372
373 /* If this position is quite far from the nearest known position,
374 cache the correspondence by creating a marker here.
7693a579
RS
375 It will last until the next GC.
376 But don't do it if BUF_MARKERS is nil;
377 that is a signal from Fset_buffer_multibyte. */
5e097e00 378 if (record && BUF_MARKERS (b))
657924ff 379 build_marker (b, best_above, best_above_byte);
1389ad71 380
9d44f8ce 381 byte_char_debug_check (b, best_above, best_above_byte);
6e57421b 382
1389ad71
RS
383 cached_buffer = b;
384 cached_modiff = BUF_MODIFF (b);
385 cached_charpos = best_above;
386 cached_bytepos = best_above_byte;
387
388 return best_above;
389 }
390}
391
392#undef CONSIDER
393\f
dcfdbac7
JB
394/* Operations on markers. */
395
a7ca3326 396DEFUN ("marker-buffer", Fmarker_buffer, Smarker_buffer, 1, 1, 0,
2e1280f8
PJ
397 doc: /* Return the buffer that MARKER points into, or nil if none.
398Returns nil if MARKER points into a dead buffer. */)
5842a27b 399 (register Lisp_Object marker)
dcfdbac7
JB
400{
401 register Lisp_Object buf;
b7826503 402 CHECK_MARKER (marker);
dcfdbac7
JB
403 if (XMARKER (marker)->buffer)
404 {
0e11d869 405 XSETBUFFER (buf, XMARKER (marker)->buffer);
0754c46a
SM
406 /* If the buffer is dead, we're in trouble: the buffer pointer here
407 does not preserve the buffer from being GC'd (it's weak), so
408 markers have to be unlinked from their buffer as soon as the buffer
409 is killed. */
e578f381 410 eassert (BUFFER_LIVE_P (XBUFFER (buf)));
0754c46a 411 return buf;
dcfdbac7
JB
412 }
413 return Qnil;
414}
415
a7ca3326 416DEFUN ("marker-position", Fmarker_position, Smarker_position, 1, 1, 0,
243d70e5
JL
417 doc: /* Return the position MARKER points at, as a character number.
418Returns nil if MARKER points nowhere. */)
5842a27b 419 (Lisp_Object marker)
dcfdbac7 420{
b7826503 421 CHECK_MARKER (marker);
dcfdbac7 422 if (XMARKER (marker)->buffer)
1389ad71 423 return make_number (XMARKER (marker)->charpos);
dcfdbac7 424
dcfdbac7
JB
425 return Qnil;
426}
4e57b342
DA
427
428/* Change M so it points to B at CHARPOS and BYTEPOS. */
429
eeaea515 430static inline void
4e57b342
DA
431attach_marker (struct Lisp_Marker *m, struct buffer *b,
432 ptrdiff_t charpos, ptrdiff_t bytepos)
433{
d36d71df
DA
434 /* In a single-byte buffer, two positions must be equal.
435 Otherwise, every character is at least one byte. */
436 if (BUF_Z (b) == BUF_Z_BYTE (b))
437 eassert (charpos == bytepos);
438 else
439 eassert (charpos <= bytepos);
4e57b342
DA
440
441 m->charpos = charpos;
442 m->bytepos = bytepos;
443
444 if (m->buffer != b)
445 {
446 unchain_marker (m);
447 m->buffer = b;
448 m->next = BUF_MARKERS (b);
449 BUF_MARKERS (b) = m;
450 }
451}
452
d36d71df
DA
453/* If BUFFER is nil, return current buffer pointer. Next, check
454 whether BUFFER is a buffer object and return buffer pointer
455 corresponding to BUFFER if BUFFER is live, or NULL otherwise. */
dcfdbac7 456
d36d71df
DA
457static inline struct buffer *
458live_buffer (Lisp_Object buffer)
459{
460 struct buffer *b;
5e097e00 461
d36d71df 462 if (NILP (buffer))
dcfdbac7 463 {
d36d71df 464 b = current_buffer;
e578f381 465 eassert (BUFFER_LIVE_P (b));
dcfdbac7 466 }
dcfdbac7
JB
467 else
468 {
b7826503 469 CHECK_BUFFER (buffer);
dcfdbac7 470 b = XBUFFER (buffer);
e578f381 471 if (!BUFFER_LIVE_P (b))
d36d71df 472 b = NULL;
1389ad71 473 }
d36d71df 474 return b;
dcfdbac7
JB
475}
476
d36d71df
DA
477/* Internal function to set MARKER in BUFFER at POSITION. Non-zero
478 RESTRICTED means limit the POSITION by the visible part of BUFFER. */
dcfdbac7 479
d36d71df
DA
480static inline Lisp_Object
481set_marker_internal (Lisp_Object marker, Lisp_Object position,
482 Lisp_Object buffer, int restricted)
dcfdbac7 483{
dcfdbac7 484 register struct Lisp_Marker *m;
d36d71df 485 register struct buffer *b = live_buffer (buffer);
dcfdbac7 486
b7826503 487 CHECK_MARKER (marker);
5e097e00
SM
488 m = XMARKER (marker);
489
d36d71df
DA
490 /* Set MARKER to point nowhere if BUFFER is dead, or
491 POSITION is nil or a marker points to nowhere. */
492 if (NILP (position)
493 || (MARKERP (position) && !XMARKER (position)->buffer)
494 || !b)
495 unchain_marker (m);
496
497 /* Optimize the special case where we are copying the position of
498 an existing marker, and MARKER is already in the same buffer. */
499 else if (MARKERP (position) && b == XMARKER (position)->buffer
500 && b == m->buffer)
dcfdbac7 501 {
d36d71df
DA
502 m->bytepos = XMARKER (position)->bytepos;
503 m->charpos = XMARKER (position)->charpos;
dcfdbac7
JB
504 }
505
dcfdbac7
JB
506 else
507 {
d36d71df 508 register ptrdiff_t charpos, bytepos;
1088b922 509
d36d71df
DA
510 CHECK_NUMBER_COERCE_MARKER (position);
511 charpos = clip_to_bounds (restricted ? BUF_BEGV (b) : BUF_BEG (b),
512 XINT (position),
513 restricted ? BUF_ZV (b) : BUF_Z (b));
514 bytepos = buf_charpos_to_bytepos (b, charpos);
515 attach_marker (m, b, charpos, bytepos);
dcfdbac7 516 }
d36d71df
DA
517 return marker;
518}
dcfdbac7 519
d36d71df
DA
520DEFUN ("set-marker", Fset_marker, Sset_marker, 2, 3, 0,
521 doc: /* Position MARKER before character number POSITION in BUFFER,
522which defaults to the current buffer. If POSITION is nil,
523makes marker point nowhere so it no longer slows down
524editing in any buffer. Returns MARKER. */)
525 (Lisp_Object marker, Lisp_Object position, Lisp_Object buffer)
526{
527 return set_marker_internal (marker, position, buffer, 0);
528}
1389ad71 529
d36d71df 530/* Like the above, but won't let the position be outside the visible part. */
177c0ea7 531
d36d71df
DA
532Lisp_Object
533set_marker_restricted (Lisp_Object marker, Lisp_Object position,
534 Lisp_Object buffer)
535{
536 return set_marker_internal (marker, position, buffer, 1);
dcfdbac7 537}
d36d71df 538
1389ad71
RS
539/* Set the position of MARKER, specifying both the
540 character position and the corresponding byte position. */
dcfdbac7 541
177c0ea7 542Lisp_Object
d36d71df
DA
543set_marker_both (Lisp_Object marker, Lisp_Object buffer,
544 ptrdiff_t charpos, ptrdiff_t bytepos)
1389ad71 545{
1389ad71 546 register struct Lisp_Marker *m;
d36d71df 547 register struct buffer *b = live_buffer (buffer);
1389ad71 548
b7826503 549 CHECK_MARKER (marker);
5e097e00 550 m = XMARKER (marker);
1389ad71 551
d36d71df
DA
552 if (b)
553 attach_marker (m, b, charpos, bytepos);
1389ad71 554 else
d36d71df 555 unchain_marker (m);
1389ad71
RS
556 return marker;
557}
558
d36d71df 559/* Like the above, but won't let the position be outside the visible part. */
1389ad71 560
177c0ea7 561Lisp_Object
d36d71df
DA
562set_marker_restricted_both (Lisp_Object marker, Lisp_Object buffer,
563 ptrdiff_t charpos, ptrdiff_t bytepos)
1389ad71 564{
1389ad71 565 register struct Lisp_Marker *m;
d36d71df 566 register struct buffer *b = live_buffer (buffer);
1389ad71 567
b7826503 568 CHECK_MARKER (marker);
5e097e00 569 m = XMARKER (marker);
1389ad71 570
d36d71df 571 if (b)
1389ad71 572 {
1088b922
PE
573 attach_marker
574 (m, b,
d36d71df
DA
575 clip_to_bounds (BUF_BEGV (b), charpos, BUF_ZV (b)),
576 clip_to_bounds (BUF_BEGV_BYTE (b), bytepos, BUF_ZV_BYTE (b)));
1389ad71 577 }
d36d71df
DA
578 else
579 unchain_marker (m);
1389ad71
RS
580 return marker;
581}
d36d71df 582
7b7ae965
DA
583/* Remove MARKER from the chain of whatever buffer it is in,
584 leaving it points to nowhere. This is called during garbage
585 collection, so we must be careful to ignore and preserve
586 mark bits, including those in chain fields of markers. */
dcfdbac7 587
c0323249 588void
971de7fb 589unchain_marker (register struct Lisp_Marker *marker)
dcfdbac7 590{
7b7ae965 591 register struct buffer *b = marker->buffer;
dcfdbac7 592
7b7ae965 593 if (b)
dcfdbac7 594 {
7b7ae965
DA
595 register struct Lisp_Marker *tail, **prev;
596
597 /* No dead buffers here. */
e578f381 598 eassert (BUFFER_LIVE_P (b));
7b7ae965
DA
599
600 marker->buffer = NULL;
601 prev = &BUF_MARKERS (b);
602
603 for (tail = BUF_MARKERS (b); tail; prev = &tail->next, tail = *prev)
604 if (marker == tail)
605 {
606 if (*prev == BUF_MARKERS (b))
607 {
1088b922 608 /* Deleting first marker from the buffer's chain. Crash
7b7ae965
DA
609 if new first marker in chain does not say it belongs
610 to the same buffer, or at least that they have the same
611 base buffer. */
612 if (tail->next && b->text != tail->next->buffer->text)
1088b922 613 emacs_abort ();
7b7ae965
DA
614 }
615 *prev = tail->next;
616 /* We have removed the marker from the chain;
617 no need to scan the rest of the chain. */
618 break;
619 }
620
621 /* Error if marker was not in it's chain. */
622 eassert (tail != NULL);
dcfdbac7 623 }
dcfdbac7
JB
624}
625
1389ad71 626/* Return the char position of marker MARKER, as a C integer. */
d281a86a 627
d311d28c 628ptrdiff_t
971de7fb 629marker_position (Lisp_Object marker)
dcfdbac7
JB
630{
631 register struct Lisp_Marker *m = XMARKER (marker);
632 register struct buffer *buf = m->buffer;
1389ad71
RS
633
634 if (!buf)
635 error ("Marker does not point anywhere");
636
4e57b342
DA
637 eassert (BUF_BEG (buf) <= m->charpos && m->charpos <= BUF_Z (buf));
638
1389ad71
RS
639 return m->charpos;
640}
641
642/* Return the byte position of marker MARKER, as a C integer. */
643
d311d28c 644ptrdiff_t
971de7fb 645marker_byte_position (Lisp_Object marker)
1389ad71
RS
646{
647 register struct Lisp_Marker *m = XMARKER (marker);
648 register struct buffer *buf = m->buffer;
dcfdbac7
JB
649
650 if (!buf)
651 error ("Marker does not point anywhere");
652
4e57b342 653 eassert (BUF_BEG_BYTE (buf) <= m->bytepos && m->bytepos <= BUF_Z_BYTE (buf));
dcfdbac7 654
4e57b342 655 return m->bytepos;
dcfdbac7 656}
fc299663 657\f
a7ca3326 658DEFUN ("copy-marker", Fcopy_marker, Scopy_marker, 0, 2, 0,
2e1280f8
PJ
659 doc: /* Return a new marker pointing at the same place as MARKER.
660If argument is a number, makes a new marker pointing
661at that position in the current buffer.
cd196f12 662If MARKER is not specified, the new marker does not point anywhere.
2e1280f8
PJ
663The optional argument TYPE specifies the insertion type of the new marker;
664see `marker-insertion-type'. */)
5842a27b 665 (register Lisp_Object marker, Lisp_Object type)
dcfdbac7
JB
666{
667 register Lisp_Object new;
668
cd196f12 669 if (!NILP (marker))
0b4331b7 670 CHECK_TYPE (INTEGERP (marker) || MARKERP (marker), Qinteger_or_marker_p, marker);
0469366f
KH
671
672 new = Fmake_marker ();
673 Fset_marker (new, marker,
674 (MARKERP (marker) ? Fmarker_buffer (marker) : Qnil));
675 XMARKER (new)->insertion_type = !NILP (type);
676 return new;
fc299663
RS
677}
678
679DEFUN ("marker-insertion-type", Fmarker_insertion_type,
680 Smarker_insertion_type, 1, 1, 0,
2e1280f8 681 doc: /* Return insertion type of MARKER: t if it stays after inserted text.
1961ac0f 682The value nil means the marker stays before text inserted there. */)
5842a27b 683 (register Lisp_Object marker)
fc299663 684{
b7826503 685 CHECK_MARKER (marker);
fc299663
RS
686 return XMARKER (marker)->insertion_type ? Qt : Qnil;
687}
688
689DEFUN ("set-marker-insertion-type", Fset_marker_insertion_type,
690 Sset_marker_insertion_type, 2, 2, 0,
2e1280f8
PJ
691 doc: /* Set the insertion-type of MARKER to TYPE.
692If TYPE is t, it means the marker advances when you insert text at it.
693If TYPE is nil, it means the marker stays behind when you insert text at it. */)
5842a27b 694 (Lisp_Object marker, Lisp_Object type)
fc299663 695{
b7826503 696 CHECK_MARKER (marker);
fc299663
RS
697
698 XMARKER (marker)->insertion_type = ! NILP (type);
699 return type;
dcfdbac7 700}
9e5896c6
RS
701
702DEFUN ("buffer-has-markers-at", Fbuffer_has_markers_at, Sbuffer_has_markers_at,
2e1280f8
PJ
703 1, 1, 0,
704 doc: /* Return t if there are markers pointing at POSITION in the current buffer. */)
5842a27b 705 (Lisp_Object position)
9e5896c6 706{
5e097e00 707 register struct Lisp_Marker *tail;
4e57b342 708 register ptrdiff_t charpos;
9e5896c6 709
4e57b342 710 charpos = clip_to_bounds (BEG, XINT (position), Z);
9e5896c6 711
5e097e00 712 for (tail = BUF_MARKERS (current_buffer); tail; tail = tail->next)
4e57b342 713 if (tail->charpos == charpos)
9e5896c6
RS
714 return Qt;
715
716 return Qnil;
717}
59d36066 718
f1f924b6 719#ifdef MARKER_DEBUG
90fc4786 720
59d36066
RS
721/* For debugging -- count the markers in buffer BUF. */
722
723int
971de7fb 724count_markers (struct buffer *buf)
59d36066
RS
725{
726 int total = 0;
5e097e00 727 struct Lisp_Marker *tail;
59d36066 728
5e097e00 729 for (tail = BUF_MARKERS (buf); tail; tail = tail->next)
59d36066
RS
730 total++;
731
732 return total;
733}
90fc4786 734
f1f924b6
DA
735/* For debugging -- recompute the bytepos corresponding
736 to CHARPOS in the simplest, most reliable way. */
737
738ptrdiff_t
739verify_bytepos (ptrdiff_t charpos)
740{
741 ptrdiff_t below = 1;
742 ptrdiff_t below_byte = 1;
743
744 while (below != charpos)
745 {
746 below++;
747 BUF_INC_POS (current_buffer, below_byte);
748 }
749
750 return below_byte;
751}
752
753#endif /* MARKER_DEBUG */
dcfdbac7 754\f
c0323249 755void
971de7fb 756syms_of_marker (void)
dcfdbac7
JB
757{
758 defsubr (&Smarker_position);
759 defsubr (&Smarker_buffer);
760 defsubr (&Sset_marker);
761 defsubr (&Scopy_marker);
fc299663
RS
762 defsubr (&Smarker_insertion_type);
763 defsubr (&Sset_marker_insertion_type);
9e5896c6 764 defsubr (&Sbuffer_has_markers_at);
dcfdbac7 765}