1 /* Markers: examining, setting and deleting.
2 Copyright (C) 1985, 1997, 1998, 2001, 2002, 2003, 2004, 2005, 2006,
3 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
5 This file is part of GNU Emacs.
7 GNU Emacs is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
25 #include "character.h"
27 /* Record one cached position found recently by
28 buf_charpos_to_bytepos or buf_bytepos_to_charpos. */
30 static EMACS_INT cached_charpos
;
31 static EMACS_INT cached_bytepos
;
32 static struct buffer
*cached_buffer
;
33 static int cached_modiff
;
35 static void byte_char_debug_check (struct buffer
*, EMACS_INT
, EMACS_INT
);
37 /* Nonzero means enable debugging checks on byte/char correspondences. */
39 static int byte_debug_flag
;
42 clear_charpos_cache (struct buffer
*b
)
44 if (cached_buffer
== b
)
48 /* Converting between character positions and byte positions. */
50 /* There are several places in the buffer where we know
51 the correspondence: BEG, BEGV, PT, GPT, ZV and Z,
52 and everywhere there is a marker. So we find the one of these places
53 that is closest to the specified position, and scan from there. */
55 /* charpos_to_bytepos returns the byte position corresponding to CHARPOS. */
57 /* This macro is a subroutine of charpos_to_bytepos.
58 Note that it is desirable that BYTEPOS is not evaluated
59 except when we really want its value. */
61 #define CONSIDER(CHARPOS, BYTEPOS) \
63 EMACS_INT this_charpos = (CHARPOS); \
66 if (this_charpos == charpos) \
68 EMACS_INT value = (BYTEPOS); \
69 if (byte_debug_flag) \
70 byte_char_debug_check (b, charpos, value); \
73 else if (this_charpos > charpos) \
75 if (this_charpos < best_above) \
77 best_above = this_charpos; \
78 best_above_byte = (BYTEPOS); \
82 else if (this_charpos > best_below) \
84 best_below = this_charpos; \
85 best_below_byte = (BYTEPOS); \
91 if (best_above - best_below == best_above_byte - best_below_byte) \
93 EMACS_INT value = best_below_byte + (charpos - best_below); \
94 if (byte_debug_flag) \
95 byte_char_debug_check (b, charpos, value); \
102 byte_char_debug_check (struct buffer
*b
, EMACS_INT charpos
, EMACS_INT bytepos
)
104 EMACS_INT nchars
= 0;
106 if (bytepos
> BUF_GPT_BYTE (b
))
108 nchars
= multibyte_chars_in_text (BUF_BEG_ADDR (b
),
109 BUF_GPT_BYTE (b
) - BUF_BEG_BYTE (b
));
110 nchars
+= multibyte_chars_in_text (BUF_GAP_END_ADDR (b
),
111 bytepos
- BUF_GPT_BYTE (b
));
114 nchars
= multibyte_chars_in_text (BUF_BEG_ADDR (b
),
115 bytepos
- BUF_BEG_BYTE (b
));
117 if (charpos
- 1 != nchars
)
122 charpos_to_bytepos (EMACS_INT charpos
)
124 return buf_charpos_to_bytepos (current_buffer
, charpos
);
128 buf_charpos_to_bytepos (struct buffer
*b
, EMACS_INT charpos
)
130 struct Lisp_Marker
*tail
;
131 EMACS_INT best_above
, best_above_byte
;
132 EMACS_INT best_below
, best_below_byte
;
134 if (charpos
< BUF_BEG (b
) || charpos
> BUF_Z (b
))
137 best_above
= BUF_Z (b
);
138 best_above_byte
= BUF_Z_BYTE (b
);
140 /* If this buffer has as many characters as bytes,
141 each character must be one byte.
142 This takes care of the case where enable-multibyte-characters is nil. */
143 if (best_above
== best_above_byte
)
147 best_below_byte
= BEG_BYTE
;
149 /* We find in best_above and best_above_byte
150 the closest known point above CHARPOS,
151 and in best_below and best_below_byte
152 the closest known point below CHARPOS,
154 If at any point we can tell that the space between those
155 two best approximations is all single-byte,
156 we interpolate the result immediately. */
158 CONSIDER (BUF_PT (b
), BUF_PT_BYTE (b
));
159 CONSIDER (BUF_GPT (b
), BUF_GPT_BYTE (b
));
160 CONSIDER (BUF_BEGV (b
), BUF_BEGV_BYTE (b
));
161 CONSIDER (BUF_ZV (b
), BUF_ZV_BYTE (b
));
163 if (b
== cached_buffer
&& BUF_MODIFF (b
) == cached_modiff
)
164 CONSIDER (cached_charpos
, cached_bytepos
);
166 for (tail
= BUF_MARKERS (b
); tail
; tail
= tail
->next
)
168 CONSIDER (tail
->charpos
, tail
->bytepos
);
170 /* If we are down to a range of 50 chars,
171 don't bother checking any other markers;
172 scan the intervening chars directly now. */
173 if (best_above
- best_below
< 50)
177 /* We get here if we did not exactly hit one of the known places.
178 We have one known above and one known below.
179 Scan, counting characters, from whichever one is closer. */
181 if (charpos
- best_below
< best_above
- charpos
)
183 int record
= charpos
- best_below
> 5000;
185 while (best_below
!= charpos
)
188 BUF_INC_POS (b
, best_below_byte
);
191 /* If this position is quite far from the nearest known position,
192 cache the correspondence by creating a marker here.
193 It will last until the next GC. */
196 Lisp_Object marker
, buffer
;
197 marker
= Fmake_marker ();
198 XSETBUFFER (buffer
, b
);
199 set_marker_both (marker
, buffer
, best_below
, best_below_byte
);
203 byte_char_debug_check (b
, charpos
, best_below_byte
);
206 cached_modiff
= BUF_MODIFF (b
);
207 cached_charpos
= best_below
;
208 cached_bytepos
= best_below_byte
;
210 return best_below_byte
;
214 int record
= best_above
- charpos
> 5000;
216 while (best_above
!= charpos
)
219 BUF_DEC_POS (b
, best_above_byte
);
222 /* If this position is quite far from the nearest known position,
223 cache the correspondence by creating a marker here.
224 It will last until the next GC. */
227 Lisp_Object marker
, buffer
;
228 marker
= Fmake_marker ();
229 XSETBUFFER (buffer
, b
);
230 set_marker_both (marker
, buffer
, best_above
, best_above_byte
);
234 byte_char_debug_check (b
, charpos
, best_above_byte
);
237 cached_modiff
= BUF_MODIFF (b
);
238 cached_charpos
= best_above
;
239 cached_bytepos
= best_above_byte
;
241 return best_above_byte
;
247 /* Used for debugging: recompute the bytepos corresponding to CHARPOS
248 in the simplest, most reliable way. */
251 verify_bytepos (EMACS_INT charpos
)
254 EMACS_INT below_byte
= 1;
256 while (below
!= charpos
)
259 BUF_INC_POS (current_buffer
, below_byte
);
265 /* bytepos_to_charpos returns the char position corresponding to BYTEPOS. */
267 /* This macro is a subroutine of bytepos_to_charpos.
268 It is used when BYTEPOS is actually the byte position. */
270 #define CONSIDER(BYTEPOS, CHARPOS) \
272 EMACS_INT this_bytepos = (BYTEPOS); \
275 if (this_bytepos == bytepos) \
277 EMACS_INT value = (CHARPOS); \
278 if (byte_debug_flag) \
279 byte_char_debug_check (b, value, bytepos); \
282 else if (this_bytepos > bytepos) \
284 if (this_bytepos < best_above_byte) \
286 best_above = (CHARPOS); \
287 best_above_byte = this_bytepos; \
291 else if (this_bytepos > best_below_byte) \
293 best_below = (CHARPOS); \
294 best_below_byte = this_bytepos; \
300 if (best_above - best_below == best_above_byte - best_below_byte) \
302 EMACS_INT value = best_below + (bytepos - best_below_byte); \
303 if (byte_debug_flag) \
304 byte_char_debug_check (b, value, bytepos); \
311 bytepos_to_charpos (EMACS_INT bytepos
)
313 return buf_bytepos_to_charpos (current_buffer
, bytepos
);
317 buf_bytepos_to_charpos (struct buffer
*b
, EMACS_INT bytepos
)
319 struct Lisp_Marker
*tail
;
320 EMACS_INT best_above
, best_above_byte
;
321 EMACS_INT best_below
, best_below_byte
;
323 if (bytepos
< BUF_BEG_BYTE (b
) || bytepos
> BUF_Z_BYTE (b
))
326 best_above
= BUF_Z (b
);
327 best_above_byte
= BUF_Z_BYTE (b
);
329 /* If this buffer has as many characters as bytes,
330 each character must be one byte.
331 This takes care of the case where enable-multibyte-characters is nil. */
332 if (best_above
== best_above_byte
)
336 best_below_byte
= BEG_BYTE
;
338 CONSIDER (BUF_PT_BYTE (b
), BUF_PT (b
));
339 CONSIDER (BUF_GPT_BYTE (b
), BUF_GPT (b
));
340 CONSIDER (BUF_BEGV_BYTE (b
), BUF_BEGV (b
));
341 CONSIDER (BUF_ZV_BYTE (b
), BUF_ZV (b
));
343 if (b
== cached_buffer
&& BUF_MODIFF (b
) == cached_modiff
)
344 CONSIDER (cached_bytepos
, cached_charpos
);
346 for (tail
= BUF_MARKERS (b
); tail
; tail
= tail
->next
)
348 CONSIDER (tail
->bytepos
, tail
->charpos
);
350 /* If we are down to a range of 50 chars,
351 don't bother checking any other markers;
352 scan the intervening chars directly now. */
353 if (best_above
- best_below
< 50)
357 /* We get here if we did not exactly hit one of the known places.
358 We have one known above and one known below.
359 Scan, counting characters, from whichever one is closer. */
361 if (bytepos
- best_below_byte
< best_above_byte
- bytepos
)
363 int record
= bytepos
- best_below_byte
> 5000;
365 while (best_below_byte
< bytepos
)
368 BUF_INC_POS (b
, best_below_byte
);
371 /* If this position is quite far from the nearest known position,
372 cache the correspondence by creating a marker here.
373 It will last until the next GC.
374 But don't do it if BUF_MARKERS is nil;
375 that is a signal from Fset_buffer_multibyte. */
376 if (record
&& BUF_MARKERS (b
))
378 Lisp_Object marker
, buffer
;
379 marker
= Fmake_marker ();
380 XSETBUFFER (buffer
, b
);
381 set_marker_both (marker
, buffer
, best_below
, best_below_byte
);
385 byte_char_debug_check (b
, best_below
, bytepos
);
388 cached_modiff
= BUF_MODIFF (b
);
389 cached_charpos
= best_below
;
390 cached_bytepos
= best_below_byte
;
396 int record
= best_above_byte
- bytepos
> 5000;
398 while (best_above_byte
> bytepos
)
401 BUF_DEC_POS (b
, best_above_byte
);
404 /* If this position is quite far from the nearest known position,
405 cache the correspondence by creating a marker here.
406 It will last until the next GC.
407 But don't do it if BUF_MARKERS is nil;
408 that is a signal from Fset_buffer_multibyte. */
409 if (record
&& BUF_MARKERS (b
))
411 Lisp_Object marker
, buffer
;
412 marker
= Fmake_marker ();
413 XSETBUFFER (buffer
, b
);
414 set_marker_both (marker
, buffer
, best_above
, best_above_byte
);
418 byte_char_debug_check (b
, best_above
, bytepos
);
421 cached_modiff
= BUF_MODIFF (b
);
422 cached_charpos
= best_above
;
423 cached_bytepos
= best_above_byte
;
431 /* Operations on markers. */
433 DEFUN ("marker-buffer", Fmarker_buffer
, Smarker_buffer
, 1, 1, 0,
434 doc
: /* Return the buffer that MARKER points into, or nil if none.
435 Returns nil if MARKER points into a dead buffer. */)
436 (register Lisp_Object marker
)
438 register Lisp_Object buf
;
439 CHECK_MARKER (marker
);
440 if (XMARKER (marker
)->buffer
)
442 XSETBUFFER (buf
, XMARKER (marker
)->buffer
);
443 /* If the buffer is dead, we're in trouble: the buffer pointer here
444 does not preserve the buffer from being GC'd (it's weak), so
445 markers have to be unlinked from their buffer as soon as the buffer
447 eassert (!NILP (XBUFFER (buf
)->name
));
453 DEFUN ("marker-position", Fmarker_position
, Smarker_position
, 1, 1, 0,
454 doc
: /* Return the position MARKER points at, as a character number.
455 Returns nil if MARKER points nowhere. */)
458 CHECK_MARKER (marker
);
459 if (XMARKER (marker
)->buffer
)
460 return make_number (XMARKER (marker
)->charpos
);
465 DEFUN ("set-marker", Fset_marker
, Sset_marker
, 2, 3, 0,
466 doc
: /* Position MARKER before character number POSITION in BUFFER.
467 BUFFER defaults to the current buffer.
468 If POSITION is nil, makes marker point nowhere.
469 Then it no longer slows down editing in any buffer.
471 (Lisp_Object marker
, Lisp_Object position
, Lisp_Object buffer
)
473 register EMACS_INT charno
, bytepos
;
474 register struct buffer
*b
;
475 register struct Lisp_Marker
*m
;
477 CHECK_MARKER (marker
);
478 m
= XMARKER (marker
);
480 /* If position is nil or a marker that points nowhere,
481 make this marker point nowhere. */
483 || (MARKERP (position
) && !XMARKER (position
)->buffer
))
493 CHECK_BUFFER (buffer
);
494 b
= XBUFFER (buffer
);
495 /* If buffer is dead, set marker to point nowhere. */
496 if (EQ (b
->name
, Qnil
))
503 /* Optimize the special case where we are copying the position
504 of an existing marker, and MARKER is already in the same buffer. */
505 if (MARKERP (position
) && b
== XMARKER (position
)->buffer
508 m
->bytepos
= XMARKER (position
)->bytepos
;
509 m
->charpos
= XMARKER (position
)->charpos
;
513 CHECK_NUMBER_COERCE_MARKER (position
);
515 charno
= XINT (position
);
517 if (charno
< BUF_BEG (b
))
518 charno
= BUF_BEG (b
);
519 if (charno
> BUF_Z (b
))
522 bytepos
= buf_charpos_to_bytepos (b
, charno
);
524 /* Every character is at least one byte. */
525 if (charno
> bytepos
)
528 m
->bytepos
= bytepos
;
535 m
->next
= BUF_MARKERS (b
);
542 /* This version of Fset_marker won't let the position
543 be outside the visible part. */
546 set_marker_restricted (Lisp_Object marker
, Lisp_Object pos
, Lisp_Object buffer
)
548 register EMACS_INT charno
, bytepos
;
549 register struct buffer
*b
;
550 register struct Lisp_Marker
*m
;
552 CHECK_MARKER (marker
);
553 m
= XMARKER (marker
);
555 /* If position is nil or a marker that points nowhere,
556 make this marker point nowhere. */
558 || (MARKERP (pos
) && !XMARKER (pos
)->buffer
))
568 CHECK_BUFFER (buffer
);
569 b
= XBUFFER (buffer
);
570 /* If buffer is dead, set marker to point nowhere. */
571 if (EQ (b
->name
, Qnil
))
578 /* Optimize the special case where we are copying the position
579 of an existing marker, and MARKER is already in the same buffer. */
580 if (MARKERP (pos
) && b
== XMARKER (pos
)->buffer
583 m
->bytepos
= XMARKER (pos
)->bytepos
;
584 m
->charpos
= XMARKER (pos
)->charpos
;
588 CHECK_NUMBER_COERCE_MARKER (pos
);
592 if (charno
< BUF_BEGV (b
))
593 charno
= BUF_BEGV (b
);
594 if (charno
> BUF_ZV (b
))
597 bytepos
= buf_charpos_to_bytepos (b
, charno
);
599 /* Every character is at least one byte. */
600 if (charno
> bytepos
)
603 m
->bytepos
= bytepos
;
610 m
->next
= BUF_MARKERS (b
);
617 /* Set the position of MARKER, specifying both the
618 character position and the corresponding byte position. */
621 set_marker_both (Lisp_Object marker
, Lisp_Object buffer
, EMACS_INT charpos
, EMACS_INT bytepos
)
623 register struct buffer
*b
;
624 register struct Lisp_Marker
*m
;
626 CHECK_MARKER (marker
);
627 m
= XMARKER (marker
);
633 CHECK_BUFFER (buffer
);
634 b
= XBUFFER (buffer
);
635 /* If buffer is dead, set marker to point nowhere. */
636 if (EQ (b
->name
, Qnil
))
643 /* In a single-byte buffer, the two positions must be equal. */
644 if (BUF_Z (b
) == BUF_Z_BYTE (b
)
645 && charpos
!= bytepos
)
647 /* Every character is at least one byte. */
648 if (charpos
> bytepos
)
651 m
->bytepos
= bytepos
;
652 m
->charpos
= charpos
;
658 m
->next
= BUF_MARKERS (b
);
665 /* This version of set_marker_both won't let the position
666 be outside the visible part. */
669 set_marker_restricted_both (Lisp_Object marker
, Lisp_Object buffer
, EMACS_INT charpos
, EMACS_INT bytepos
)
671 register struct buffer
*b
;
672 register struct Lisp_Marker
*m
;
674 CHECK_MARKER (marker
);
675 m
= XMARKER (marker
);
681 CHECK_BUFFER (buffer
);
682 b
= XBUFFER (buffer
);
683 /* If buffer is dead, set marker to point nowhere. */
684 if (EQ (b
->name
, Qnil
))
691 if (charpos
< BUF_BEGV (b
))
692 charpos
= BUF_BEGV (b
);
693 if (charpos
> BUF_ZV (b
))
694 charpos
= BUF_ZV (b
);
695 if (bytepos
< BUF_BEGV_BYTE (b
))
696 bytepos
= BUF_BEGV_BYTE (b
);
697 if (bytepos
> BUF_ZV_BYTE (b
))
698 bytepos
= BUF_ZV_BYTE (b
);
700 /* In a single-byte buffer, the two positions must be equal. */
701 if (BUF_Z (b
) == BUF_Z_BYTE (b
)
702 && charpos
!= bytepos
)
704 /* Every character is at least one byte. */
705 if (charpos
> bytepos
)
708 m
->bytepos
= bytepos
;
709 m
->charpos
= charpos
;
715 m
->next
= BUF_MARKERS (b
);
722 /* Remove MARKER from the chain of whatever buffer it is in.
723 Leave it "in no buffer".
725 This is called during garbage collection,
726 so we must be careful to ignore and preserve mark bits,
727 including those in chain fields of markers. */
730 unchain_marker (register struct Lisp_Marker
*marker
)
732 register struct Lisp_Marker
*tail
, *prev
, *next
;
733 register struct buffer
*b
;
739 if (EQ (b
->name
, Qnil
))
744 tail
= BUF_MARKERS (b
);
754 BUF_MARKERS (b
) = next
;
755 /* Deleting first marker from the buffer's chain. Crash
756 if new first marker in chain does not say it belongs
757 to the same buffer, or at least that they have the same
759 if (next
&& b
->text
!= next
->buffer
->text
)
764 /* We have removed the marker from the chain;
765 no need to scan the rest of the chain. */
773 /* Marker was not in its chain. */
777 /* Return the char position of marker MARKER, as a C integer. */
780 marker_position (Lisp_Object marker
)
782 register struct Lisp_Marker
*m
= XMARKER (marker
);
783 register struct buffer
*buf
= m
->buffer
;
786 error ("Marker does not point anywhere");
791 /* Return the byte position of marker MARKER, as a C integer. */
794 marker_byte_position (Lisp_Object marker
)
796 register struct Lisp_Marker
*m
= XMARKER (marker
);
797 register struct buffer
*buf
= m
->buffer
;
798 register EMACS_INT i
= m
->bytepos
;
801 error ("Marker does not point anywhere");
803 if (i
< BUF_BEG_BYTE (buf
) || i
> BUF_Z_BYTE (buf
))
809 DEFUN ("copy-marker", Fcopy_marker
, Scopy_marker
, 0, 2, 0,
810 doc
: /* Return a new marker pointing at the same place as MARKER.
811 If argument is a number, makes a new marker pointing
812 at that position in the current buffer.
813 If MARKER is not specified, the new marker does not point anywhere.
814 The optional argument TYPE specifies the insertion type of the new marker;
815 see `marker-insertion-type'. */)
816 (register Lisp_Object marker
, Lisp_Object type
)
818 register Lisp_Object
new;
821 CHECK_TYPE (INTEGERP (marker
) || MARKERP (marker
), Qinteger_or_marker_p
, marker
);
823 new = Fmake_marker ();
824 Fset_marker (new, marker
,
825 (MARKERP (marker
) ? Fmarker_buffer (marker
) : Qnil
));
826 XMARKER (new)->insertion_type
= !NILP (type
);
830 DEFUN ("marker-insertion-type", Fmarker_insertion_type
,
831 Smarker_insertion_type
, 1, 1, 0,
832 doc
: /* Return insertion type of MARKER: t if it stays after inserted text.
833 The value nil means the marker stays before text inserted there. */)
834 (register Lisp_Object marker
)
836 CHECK_MARKER (marker
);
837 return XMARKER (marker
)->insertion_type
? Qt
: Qnil
;
840 DEFUN ("set-marker-insertion-type", Fset_marker_insertion_type
,
841 Sset_marker_insertion_type
, 2, 2, 0,
842 doc
: /* Set the insertion-type of MARKER to TYPE.
843 If TYPE is t, it means the marker advances when you insert text at it.
844 If TYPE is nil, it means the marker stays behind when you insert text at it. */)
845 (Lisp_Object marker
, Lisp_Object type
)
847 CHECK_MARKER (marker
);
849 XMARKER (marker
)->insertion_type
= ! NILP (type
);
853 DEFUN ("buffer-has-markers-at", Fbuffer_has_markers_at
, Sbuffer_has_markers_at
,
855 doc
: /* Return t if there are markers pointing at POSITION in the current buffer. */)
856 (Lisp_Object position
)
858 register struct Lisp_Marker
*tail
;
859 register EMACS_INT charno
;
861 charno
= XINT (position
);
868 for (tail
= BUF_MARKERS (current_buffer
); tail
; tail
= tail
->next
)
869 if (tail
->charpos
== charno
)
875 /* For debugging -- count the markers in buffer BUF. */
878 count_markers (struct buffer
*buf
)
881 struct Lisp_Marker
*tail
;
883 for (tail
= BUF_MARKERS (buf
); tail
; tail
= tail
->next
)
890 syms_of_marker (void)
892 defsubr (&Smarker_position
);
893 defsubr (&Smarker_buffer
);
894 defsubr (&Sset_marker
);
895 defsubr (&Scopy_marker
);
896 defsubr (&Smarker_insertion_type
);
897 defsubr (&Sset_marker_insertion_type
);
898 defsubr (&Sbuffer_has_markers_at
);
900 DEFVAR_BOOL ("byte-debug-flag", &byte_debug_flag
,
901 doc
: /* Non-nil enables debugging checks in byte/char position conversions. */);
905 /* arch-tag: 50aa418f-cdd0-4838-b64b-94aa4b2a3b74
906 (do not change this comment) */