buffer.h 41.3 KB
Newer Older
Jim Blandy's avatar
Jim Blandy committed
1
/* Header file for the buffer manipulation primitives.
Glenn Morris's avatar
Glenn Morris committed
2

3
Copyright (C) 1985-1986, 1993-1995, 1997-2012
Glenn Morris's avatar
Glenn Morris committed
4
                 Free Software Foundation, Inc.
Jim Blandy's avatar
Jim Blandy committed
5 6 7

This file is part of GNU Emacs.

8
GNU Emacs is free software: you can redistribute it and/or modify
Jim Blandy's avatar
Jim Blandy committed
9
it under the terms of the GNU General Public License as published by
10 11
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Jim Blandy's avatar
Jim Blandy committed
12 13 14 15 16 17 18

GNU Emacs is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
19
along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.  */
Jim Blandy's avatar
Jim Blandy committed
20

21
#include <sys/types.h> /* for off_t, time_t */
22
#include "systime.h" /* for EMACS_TIME */
Jim Blandy's avatar
Jim Blandy committed
23

24
/* Accessing the parameters of the current buffer.  */
25

26 27
/* These macros come in pairs, one for the char position
   and one for the byte position.  */
Jim Blandy's avatar
Jim Blandy committed
28

29
/* Position of beginning of buffer.  */
Jim Blandy's avatar
Jim Blandy committed
30
#define BEG (1)
31
#define BEG_BYTE (BEG)
Jim Blandy's avatar
Jim Blandy committed
32

33
/* Position of beginning of accessible range of buffer.  */
34
#define BEGV (current_buffer->begv)
35
#define BEGV_BYTE (current_buffer->begv_byte)
Jim Blandy's avatar
Jim Blandy committed
36

37
/* Position of point in buffer.  The "+ 0" makes this
38
   not an l-value, so you can't assign to it.  Use SET_PT instead.  */
39
#define PT (current_buffer->pt + 0)
40
#define PT_BYTE (current_buffer->pt_byte + 0)
Jim Blandy's avatar
Jim Blandy committed
41

42
/* Position of gap in buffer.  */
43
#define GPT (current_buffer->text->gpt)
44
#define GPT_BYTE (current_buffer->text->gpt_byte)
Jim Blandy's avatar
Jim Blandy committed
45

46
/* Position of end of accessible range of buffer.  */
47
#define ZV (current_buffer->zv)
48
#define ZV_BYTE (current_buffer->zv_byte)
Jim Blandy's avatar
Jim Blandy committed
49

50
/* Position of end of buffer.  */
51
#define Z (current_buffer->text->z)
52
#define Z_BYTE (current_buffer->text->z_byte)
Jim Blandy's avatar
Jim Blandy committed
53

54
/* Macros for the addresses of places in the buffer.  */
Jim Blandy's avatar
Jim Blandy committed
55

56
/* Address of beginning of buffer.  */
57
#define BEG_ADDR (current_buffer->text->beg)
Jim Blandy's avatar
Jim Blandy committed
58

59
/* Address of beginning of accessible range of buffer.  */
60
#define BEGV_ADDR (BYTE_POS_ADDR (current_buffer->begv_byte))
Jim Blandy's avatar
Jim Blandy committed
61

62
/* Address of point in buffer.  */
63
#define PT_ADDR (BYTE_POS_ADDR (current_buffer->pt_byte))
Jim Blandy's avatar
Jim Blandy committed
64

65
/* Address of beginning of gap in buffer.  */
Stefan Monnier's avatar
Stefan Monnier committed
66
#define GPT_ADDR (current_buffer->text->beg + current_buffer->text->gpt_byte - BEG_BYTE)
Jim Blandy's avatar
Jim Blandy committed
67 68

/* Address of end of gap in buffer.  */
Stefan Monnier's avatar
Stefan Monnier committed
69
#define GAP_END_ADDR (current_buffer->text->beg + current_buffer->text->gpt_byte + current_buffer->text->gap_size - BEG_BYTE)
Jim Blandy's avatar
Jim Blandy committed
70

71
/* Address of end of accessible range of buffer.  */
72
#define ZV_ADDR (BYTE_POS_ADDR (current_buffer->zv_byte))
73

74
/* Address of end of buffer.  */
Stefan Monnier's avatar
Stefan Monnier committed
75
#define Z_ADDR (current_buffer->text->beg + current_buffer->text->gap_size + current_buffer->text->z_byte - BEG_BYTE)
Jim Blandy's avatar
Jim Blandy committed
76 77

/* Size of gap.  */
78
#define GAP_SIZE (current_buffer->text->gap_size)
Jim Blandy's avatar
Jim Blandy committed
79

80 81 82 83 84 85
/* Is the current buffer narrowed?  */
#define NARROWED	((BEGV != BEG) || (ZV != Z))

/* Modification count.  */
#define MODIFF (current_buffer->text->modiff)

86 87 88
/* Character modification count.  */
#define CHARS_MODIFF (current_buffer->text->chars_modiff)

89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105
/* Overlay modification count.  */
#define OVERLAY_MODIFF (current_buffer->text->overlay_modiff)

/* Modification count as of last visit or save.  */
#define SAVE_MODIFF (current_buffer->text->save_modiff)

/* BUFFER_CEILING_OF (resp. BUFFER_FLOOR_OF), when applied to n, return
   the max (resp. min) p such that

   BYTE_POS_ADDR (p) - BYTE_POS_ADDR (n) == p - n       */

#define BUFFER_CEILING_OF(BYTEPOS) \
  (((BYTEPOS) < GPT_BYTE && GPT < ZV ? GPT_BYTE : ZV_BYTE) - 1)
#define BUFFER_FLOOR_OF(BYTEPOS) \
  (BEGV <= GPT && GPT_BYTE <= (BYTEPOS) ? GPT_BYTE : BEGV_BYTE)

/* Similar macros to operate on a specified buffer.
Jim Blandy's avatar
Jim Blandy committed
106 107
   Note that many of these evaluate the buffer argument more than once.  */

108
/* Position of beginning of buffer.  */
Stefan Monnier's avatar
Stefan Monnier committed
109 110
#define BUF_BEG(buf) (BEG)
#define BUF_BEG_BYTE(buf) (BEG_BYTE)
Jim Blandy's avatar
Jim Blandy committed
111

112 113
/* The BUF_BEGV[_BYTE], BUF_ZV[_BYTE], and BUF_PT[_BYTE] macros cannot
   be used for assignment; use SET_BUF_* macros below for that.  */
114

115
/* Position of beginning of accessible range of buffer.  */
116 117 118 119 120 121 122 123 124
#define BUF_BEGV(buf)					\
   (buf == current_buffer ? BEGV			\
    : NILP (BVAR (buf, begv_marker)) ? buf->begv	\
    : marker_position (BVAR (buf, begv_marker)))

#define BUF_BEGV_BYTE(buf)				\
   (buf == current_buffer ? BEGV_BYTE			\
    : NILP (BVAR (buf, begv_marker)) ? buf->begv_byte	\
    : marker_byte_position (BVAR (buf, begv_marker)))
Jim Blandy's avatar
Jim Blandy committed
125

126
/* Position of point in buffer.  */
127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146
#define BUF_PT(buf)					\
   (buf == current_buffer ? PT				\
    : NILP (BVAR (buf, pt_marker)) ? buf->pt		\
    : marker_position (BVAR (buf, pt_marker)))

#define BUF_PT_BYTE(buf)				\
   (buf == current_buffer ? PT_BYTE			\
    : NILP (BVAR (buf, pt_marker)) ? buf->pt_byte	\
    : marker_byte_position (BVAR (buf, pt_marker)))

/* Position of end of accessible range of buffer.  */
#define BUF_ZV(buf)					\
   (buf == current_buffer ? ZV				\
    : NILP (BVAR (buf, zv_marker)) ? buf->zv		\
    : marker_position (BVAR (buf, zv_marker)))

#define BUF_ZV_BYTE(buf)				\
   (buf == current_buffer ? ZV_BYTE			\
    : NILP (BVAR (buf, zv_marker)) ? buf->zv_byte	\
    : marker_byte_position (BVAR (buf, zv_marker)))
Jim Blandy's avatar
Jim Blandy committed
147

148
/* Position of gap in buffer.  */
149
#define BUF_GPT(buf) ((buf)->text->gpt)
150
#define BUF_GPT_BYTE(buf) ((buf)->text->gpt_byte)
Jim Blandy's avatar
Jim Blandy committed
151

152
/* Position of end of buffer.  */
153
#define BUF_Z(buf) ((buf)->text->z)
154 155 156 157 158 159
#define BUF_Z_BYTE(buf) ((buf)->text->z_byte)

/* Address of beginning of buffer.  */
#define BUF_BEG_ADDR(buf) ((buf)->text->beg)

/* Address of beginning of gap of buffer.  */
Stefan Monnier's avatar
Stefan Monnier committed
160
#define BUF_GPT_ADDR(buf) ((buf)->text->beg + (buf)->text->gpt_byte - BEG_BYTE)
161 162

/* Address of end of buffer.  */
Stefan Monnier's avatar
Stefan Monnier committed
163
#define BUF_Z_ADDR(buf) ((buf)->text->beg + (buf)->text->gap_size + (buf)->text->z_byte - BEG_BYTE)
164 165

/* Address of end of gap in buffer.  */
Stefan Monnier's avatar
Stefan Monnier committed
166
#define BUF_GAP_END_ADDR(buf) ((buf)->text->beg + (buf)->text->gpt_byte + (buf)->text->gap_size - BEG_BYTE)
Jim Blandy's avatar
Jim Blandy committed
167

168 169 170 171
/* Size of gap.  */
#define BUF_GAP_SIZE(buf) ((buf)->text->gap_size)

/* Is this buffer narrowed?  */
172 173
#define BUF_NARROWED(buf) ((BUF_BEGV (buf) != BUF_BEG (buf)) \
			   || (BUF_ZV (buf) != BUF_Z (buf)))
174

Jim Blandy's avatar
Jim Blandy committed
175
/* Modification count.  */
176 177
#define BUF_MODIFF(buf) ((buf)->text->modiff)

178 179 180
/* Character modification count.  */
#define BUF_CHARS_MODIFF(buf) ((buf)->text->chars_modiff)

181 182 183
/* Modification count as of last visit or save.  */
#define BUF_SAVE_MODIFF(buf) ((buf)->text->save_modiff)

184 185 186
/* Overlay modification count.  */
#define BUF_OVERLAY_MODIFF(buf) ((buf)->text->overlay_modiff)

187 188 189 190
/* Modification count as of last auto-save.  */
/* FIXME: should we move this into ->text->auto_save_modiff?  */
#define BUF_AUTOSAVE_MODIFF(buf) ((buf)->auto_save_modified)

191 192 193 194 195
/* Interval tree of buffer.  */
#define BUF_INTERVALS(buf) ((buf)->text->intervals)

/* Marker chain of buffer.  */
#define BUF_MARKERS(buf) ((buf)->text->markers)
Gerd Moellmann's avatar
Gerd Moellmann committed
196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218

#define BUF_UNCHANGED_MODIFIED(buf) \
  ((buf)->text->unchanged_modified)

#define BUF_OVERLAY_UNCHANGED_MODIFIED(buf) \
  ((buf)->text->overlay_unchanged_modified)
#define BUF_BEG_UNCHANGED(buf) ((buf)->text->beg_unchanged)
#define BUF_END_UNCHANGED(buf) ((buf)->text->end_unchanged)

#define UNCHANGED_MODIFIED \
  BUF_UNCHANGED_MODIFIED (current_buffer)
#define OVERLAY_UNCHANGED_MODIFIED \
  BUF_OVERLAY_UNCHANGED_MODIFIED (current_buffer)
#define BEG_UNCHANGED BUF_BEG_UNCHANGED (current_buffer)
#define END_UNCHANGED BUF_END_UNCHANGED (current_buffer)

/* Compute how many characters at the top and bottom of BUF are
   unchanged when the range START..END is modified.  This computation
   must be done each time BUF is modified.  */

#define BUF_COMPUTE_UNCHANGED(buf, start, end)				\
  do									\
    {									\
219 220 221
      if (BUF_UNCHANGED_MODIFIED (buf) == BUF_MODIFF (buf)		\
	  && (BUF_OVERLAY_UNCHANGED_MODIFIED (buf)			\
	      == BUF_OVERLAY_MODIFF (buf)))				\
Gerd Moellmann's avatar
Gerd Moellmann committed
222 223 224 225 226 227 228 229 230 231 232 233 234
	{								\
	  BUF_BEG_UNCHANGED (buf) = (start) - BUF_BEG (buf);		\
	  BUF_END_UNCHANGED (buf) = BUF_Z (buf) - (end);		\
	}								\
      else								\
	{								\
	  if (BUF_Z (buf) - (end) < BUF_END_UNCHANGED (buf))		\
	    BUF_END_UNCHANGED (buf) = BUF_Z (buf) - (end);		\
	  if ((start) - BUF_BEG (buf) < BUF_BEG_UNCHANGED (buf))	\
	    BUF_BEG_UNCHANGED (buf) = (start) - BUF_BEG (buf);		\
	}								\
    }									\
  while (0)
235

236

Pavel Janík's avatar
Pavel Janík committed
237
/* Macros to set PT in the current buffer, or another buffer.  */
Jim Blandy's avatar
Jim Blandy committed
238

239
#define SET_PT(position) (set_point (position))
240
#define TEMP_SET_PT(position) (temp_set_point (current_buffer, (position)))
Jim Blandy's avatar
Jim Blandy committed
241

242
#define SET_PT_BOTH(position, byte) (set_point_both (position, byte))
243 244
#define TEMP_SET_PT_BOTH(position, byte) \
  (temp_set_point_both (current_buffer, (position), (byte)))
245

246 247
#define BUF_TEMP_SET_PT(buffer, position) \
  (temp_set_point ((buffer), (position)))
248

249 250 251
extern void set_point (ptrdiff_t);
extern void temp_set_point (struct buffer *, ptrdiff_t);
extern void set_point_both (ptrdiff_t, ptrdiff_t);
252
extern void temp_set_point_both (struct buffer *,
253 254
				 ptrdiff_t, ptrdiff_t);
extern void enlarge_buffer_text (struct buffer *, ptrdiff_t);
Jim Blandy's avatar
Jim Blandy committed
255

256 257 258 259 260 261 262 263

/* Macros for setting the BEGV, ZV or PT of a given buffer.

   The ..._BOTH macros take both a charpos and a bytepos,
   which must correspond to each other.

   The macros without ..._BOTH take just a charpos,
   and compute the bytepos from it.  */
Jim Blandy's avatar
Jim Blandy committed
264

265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289
#define SET_BUF_BEGV(buf, charpos)				 \
  ((buf)->begv_byte = buf_charpos_to_bytepos ((buf), (charpos)), \
   (buf)->begv = (charpos))

#define SET_BUF_ZV(buf, charpos)				\
  ((buf)->zv_byte = buf_charpos_to_bytepos ((buf), (charpos)),	\
   (buf)->zv = (charpos))

#define SET_BUF_BEGV_BOTH(buf, charpos, byte)		\
  ((buf)->begv = (charpos),				\
   (buf)->begv_byte = (byte))

#define SET_BUF_ZV_BOTH(buf, charpos, byte)		\
  ((buf)->zv = (charpos),				\
   (buf)->zv_byte = (byte))

#define SET_BUF_PT_BOTH(buf, charpos, byte)		\
  ((buf)->pt = (charpos),				\
   (buf)->pt_byte = (byte))

/* Macros to access a character or byte in the current buffer,
   or convert between a byte position and an address.
   These macros do not check that the position is in range.  */

/* Access a Lisp position value in POS,
Eli Zaretskii's avatar
Eli Zaretskii committed
290
   and store the charpos in CHARPOS and the bytepos in BYTEPOS.  */
291 292

#define DECODE_POSITION(charpos, bytepos, pos)			\
293
do								\
294 295 296 297 298 299 300 301 302 303 304 305 306 307 308
  {								\
    Lisp_Object __pos = (pos);					\
    if (NUMBERP (__pos))					\
      {								\
	charpos = __pos;					\
	bytepos = buf_charpos_to_bytepos (current_buffer, __pos);  \
      }								\
    else if (MARKERP (__pos))					\
      {								\
	charpos = marker_position (__pos);			\
	bytepos = marker_byte_position (__pos);			\
      }								\
    else							\
      wrong_type_argument (Qinteger_or_marker_p, __pos);	\
  }								\
309
while (0)
310

311 312
/* Maximum number of bytes in a buffer.
   A buffer cannot contain more bytes than a 1-origin fixnum can represent,
313 314 315 316
   nor can it be so large that C pointer arithmetic stops working.
   The ptrdiff_t cast ensures that this is signed, not unsigned.  */
#define BUF_BYTES_MAX \
  (ptrdiff_t) min (MOST_POSITIVE_FIXNUM - 1, min (SIZE_MAX, PTRDIFF_MAX))
317

318 319 320
/* Return the address of byte position N in current buffer.  */

#define BYTE_POS_ADDR(n) \
Stefan Monnier's avatar
Stefan Monnier committed
321
  (((n) >= GPT_BYTE ? GAP_SIZE : 0) + (n) + BEG_ADDR - BEG_BYTE)
322 323 324 325 326 327

/* Return the address of char position N.  */

#define CHAR_POS_ADDR(n)			\
  (((n) >= GPT ? GAP_SIZE : 0)			\
   + buf_charpos_to_bytepos (current_buffer, n)	\
Stefan Monnier's avatar
Stefan Monnier committed
328
   + BEG_ADDR - BEG_BYTE)
329 330 331 332 333 334 335 336 337 338 339 340 341 342 343

/* Convert a character position to a byte position.  */

#define CHAR_TO_BYTE(charpos)			\
  (buf_charpos_to_bytepos (current_buffer, charpos))

/* Convert a byte position to a character position.  */

#define BYTE_TO_CHAR(bytepos)			\
  (buf_bytepos_to_charpos (current_buffer, bytepos))

/* Convert PTR, the address of a byte in the buffer, into a byte position.  */

#define PTR_BYTE_POS(ptr) \
((ptr) - (current_buffer)->text->beg					    \
344
 - (ptr - (current_buffer)->text->beg <= GPT_BYTE - BEG_BYTE ? 0 : GAP_SIZE) \
Stefan Monnier's avatar
Stefan Monnier committed
345
 + BEG_BYTE)
346

347 348
/* Return character at byte position POS.  See the caveat WARNING for
   FETCH_MULTIBYTE_CHAR below.  */
349 350

#define FETCH_CHAR(pos)				      	\
Tom Tromey's avatar
Tom Tromey committed
351
  (!NILP (BVAR (current_buffer, enable_multibyte_characters))	\
352 353 354 355 356 357 358
   ? FETCH_MULTIBYTE_CHAR ((pos))		      	\
   : FETCH_BYTE ((pos)))

/* Return the byte at byte position N.  */

#define FETCH_BYTE(n) *(BYTE_POS_ADDR ((n)))

359
/* Return character at byte position POS.  If the current buffer is unibyte
360 361 362 363
   and the character is not ASCII, make the returning character
   multibyte.  */

#define FETCH_CHAR_AS_MULTIBYTE(pos)			\
Tom Tromey's avatar
Tom Tromey committed
364
  (!NILP (BVAR (current_buffer, enable_multibyte_characters))	\
365
   ? FETCH_MULTIBYTE_CHAR ((pos))			\
366
   : UNIBYTE_TO_CHAR (FETCH_BYTE ((pos))))
367

368 369 370 371 372

/* Macros for accessing a character or byte,
   or converting between byte positions and addresses,
   in a specified buffer.  */

373
/* Return the address of character at byte position POS in buffer BUF.
Jim Blandy's avatar
Jim Blandy committed
374
   Note that both arguments can be computed more than once.  */
375 376

#define BUF_BYTE_ADDRESS(buf, pos) \
Stefan Monnier's avatar
Stefan Monnier committed
377
((buf)->text->beg + (pos) - BEG_BYTE		\
378 379
 + ((pos) >= (buf)->text->gpt_byte ? (buf)->text->gap_size : 0))

380
/* Return the address of character at char position POS in buffer BUF.
381 382 383
   Note that both arguments can be computed more than once.  */

#define BUF_CHAR_ADDRESS(buf, pos) \
Stefan Monnier's avatar
Stefan Monnier committed
384
((buf)->text->beg + buf_charpos_to_bytepos ((buf), (pos)) - BEG_BYTE	\
385
 + ((pos) >= (buf)->text->gpt ? (buf)->text->gap_size : 0))
Jim Blandy's avatar
Jim Blandy committed
386

387 388
/* Convert PTR, the address of a char in buffer BUF,
   into a character position.  */
389

390 391
#define BUF_PTR_BYTE_POS(buf, ptr)				\
((ptr) - (buf)->text->beg					\
392
 - (ptr - (buf)->text->beg <= BUF_GPT_BYTE (buf) - BEG_BYTE	\
393
    ? 0 : BUF_GAP_SIZE ((buf)))					\
Stefan Monnier's avatar
Stefan Monnier committed
394
 + BEG_BYTE)
395 396 397 398 399 400 401 402 403 404 405 406

/* Return the character at byte position POS in buffer BUF.   */

#define BUF_FETCH_CHAR(buf, pos)	      	\
  (!NILP (buf->enable_multibyte_characters)	\
   ? BUF_FETCH_MULTIBYTE_CHAR ((buf), (pos))    \
   : BUF_FETCH_BYTE ((buf), (pos)))

/* Return the byte at byte position N in buffer BUF.   */

#define BUF_FETCH_BYTE(buf, n) \
  *(BUF_BYTE_ADDRESS ((buf), (n)))
Jim Blandy's avatar
Jim Blandy committed
407

408 409 410 411 412
/* Define the actual buffer data structures.  */

/* This data structure describes the actual text contents of a buffer.
   It is shared between indirect buffers and their base buffer.  */

Jim Blandy's avatar
Jim Blandy committed
413 414
struct buffer_text
  {
415 416 417 418 419
    /* Actual address of buffer contents.  If REL_ALLOC is defined,
       this address might change when blocks are relocated which can
       e.g. happen when malloc is called.  So, don't pass a pointer
       into a buffer's text to functions that malloc.  */
    unsigned char *beg;
420

421 422 423 424 425 426
    ptrdiff_t gpt;		/* Char pos of gap in buffer.  */
    ptrdiff_t z;		/* Char pos of end of buffer.  */
    ptrdiff_t gpt_byte;		/* Byte pos of gap in buffer.  */
    ptrdiff_t z_byte;		/* Byte pos of end of buffer.  */
    ptrdiff_t gap_size;		/* Size of buffer's gap.  */
    EMACS_INT modiff;		/* This counts buffer-modification events
Jim Blandy's avatar
Jim Blandy committed
427 428 429
				   for this buffer.  It is incremented for
				   each such event, and never otherwise
				   changed.  */
430
    EMACS_INT chars_modiff;	/* This is modified with character change
431 432 433
				   events for this buffer.  It is set to
				   modiff for each such event, and never
				   otherwise changed.  */
434
    EMACS_INT save_modiff;	/* Previous value of modiff, as of last
435 436
				   time buffer visited or saved a file.  */

437
    EMACS_INT overlay_modiff;	/* Counts modifications to overlays.  */
438

Gerd Moellmann's avatar
Gerd Moellmann committed
439
    /* Minimum value of GPT - BEG since last redisplay that finished.  */
440
    ptrdiff_t beg_unchanged;
Gerd Moellmann's avatar
Gerd Moellmann committed
441 442

    /* Minimum value of Z - GPT since last redisplay that finished.  */
443
    ptrdiff_t end_unchanged;
Gerd Moellmann's avatar
Gerd Moellmann committed
444 445 446

    /* MODIFF as of last redisplay that finished; if it matches MODIFF,
       beg_unchanged and end_unchanged contain no useful information.  */
447
    EMACS_INT unchanged_modified;
Gerd Moellmann's avatar
Gerd Moellmann committed
448 449 450 451

    /* BUF_OVERLAY_MODIFF of current buffer, as of last redisplay that
       finished; if it matches BUF_OVERLAY_MODIFF, beg_unchanged and
       end_unchanged contain no useful information.  */
452
    EMACS_INT overlay_unchanged_modified;
Gerd Moellmann's avatar
Gerd Moellmann committed
453

Dave Love's avatar
Dave Love committed
454 455
    /* Properties of this buffer's text.  */
    INTERVAL intervals;
456 457 458 459

    /* The markers that refer to this buffer.
       This is actually a single marker ---
       successive elements in its marker `chain'
460 461 462 463
       are the other markers referring to this buffer.
       This is a singly linked unordered list, which means that it's
       very cheap to add a marker to the list and it's also very cheap
       to move a marker within a buffer.  */
464
    struct Lisp_Marker *markers;
465 466

    /* Usually 0.  Temporarily set to 1 in decode_coding_gap to
467
       prevent Fgarbage_collect from shrinking the gap and losing
468 469
       not-yet-decoded bytes.  */
    int inhibit_shrinking;
Jim Blandy's avatar
Jim Blandy committed
470 471
  };

472
/* Lisp fields in struct buffer are hidden from most code and accessed
Tom Tromey's avatar
Tom Tromey committed
473
   via the BVAR macro, below.  Only select pieces of code, like the GC,
474 475 476 477 478
   are allowed to use BUFFER_INTERNAL_FIELD.  */
#define BUFFER_INTERNAL_FIELD(field) field ## _

/* Most code should use this macro to access Lisp fields in struct
   buffer.  */
Tom Tromey's avatar
Tom Tromey committed
479
#define BVAR(buf, field) ((buf)->BUFFER_INTERNAL_FIELD (field))
480

481 482
/* This is the structure that the buffer Lisp object points to.  */

Jim Blandy's avatar
Jim Blandy committed
483
struct buffer
484 485 486 487 488 489
{
  /* Everything before the `name' slot must be of a non-Lisp_Object type,
     and every slot after `name' must be a Lisp_Object.

     Check out mark_buffer (alloc.c) to see why.  */

490 491
  /* HEADER.NEXT is the next buffer, in chain of all buffers,
     including killed buffers.
492 493 494 495
     This chain is used only for garbage collection, in order to
     collect killed buffers properly.
     Note that vectors and most pseudovectors are all on one chain,
     but buffers are on a separate chain of their own.  */
496
  struct vectorlike_header header;
497 498 499 500 501 502 503 504 505 506 507

  /* This structure holds the coordinates of the buffer contents
     in ordinary buffers.  In indirect buffers, this is not used.  */
  struct buffer_text own_text;

  /* This points to the `struct buffer_text' that used for this buffer.
     In an ordinary buffer, this is the own_text field above.
     In an indirect buffer, this is the own_text field of another buffer.  */
  struct buffer_text *text;

  /* Char position of point in buffer.  */
508
  ptrdiff_t pt;
509
  /* Byte position of point in buffer.  */
510
  ptrdiff_t pt_byte;
511
  /* Char position of beginning of accessible range.  */
512
  ptrdiff_t begv;
513
  /* Byte position of beginning of accessible range.  */
514
  ptrdiff_t begv_byte;
515
  /* Char position of end of accessible range.  */
516
  ptrdiff_t zv;
517
  /* Byte position of end of accessible range.  */
518
  ptrdiff_t zv_byte;
519 520 521 522 523 524 525 526 527 528

  /* In an indirect buffer, this points to the base buffer.
     In an ordinary buffer, it is 0.  */
  struct buffer *base_buffer;

  /* A non-zero value in slot IDX means that per-buffer variable
     with index IDX has a local value in this buffer.  The index IDX
     for a buffer-local variable is stored in that variable's slot
     in buffer_local_flags as a Lisp integer.  If the index is -1,
     this means the variable is always local in all buffers.  */
529
#define MAX_PER_BUFFER_VARS 50
530
  char local_flags[MAX_PER_BUFFER_VARS];
531

532
  /* Set to the modtime of the visited file when read or written.
533 534 535 536 537 538 539
     EMACS_NSECS (modtime) == NONEXISTENT_MODTIME_NSECS means
     visited file was nonexistent.  EMACS_NSECS (modtime) ==
     UNKNOWN_MODTIME_NSECS means visited file modtime unknown;
     in no case complain about any mismatch on next save attempt.  */
#define NONEXISTENT_MODTIME_NSECS (-1)
#define UNKNOWN_MODTIME_NSECS (-2)
  EMACS_TIME modtime;
540 541 542 543 544
  /* Size of the file when modtime was set.  This is used to detect the
     case where the file grew while we were reading it, so the modtime
     is still the same (since it's rounded up to seconds) but we're actually
     not up-to-date.  -1 means the size is unknown.  Only meaningful if
     modtime is actually set.  */
545
  off_t modtime_size;
546
  /* The value of text->modiff at the last auto-save.  */
547
  EMACS_INT auto_save_modified;
548 549
  /* The value of text->modiff at the last display error.
     Redisplay of this buffer is inhibited until it changes again.  */
550
  EMACS_INT display_error_modiff;
551
  /* The time at which we detected a failure to auto-save,
552 553
     Or 0 if we didn't have a failure.  */
  time_t auto_save_failure_time;
554 555
  /* Position in buffer at which display started
     the last time this buffer was displayed.  */
556
  ptrdiff_t last_window_start;
557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583

  /* Set nonzero whenever the narrowing is changed in this buffer.  */
  int clip_changed;

  /* If the long line scan cache is enabled (i.e. the buffer-local
     variable cache-long-line-scans is non-nil), newline_cache
     points to the newline cache, and width_run_cache points to the
     width run cache.

     The newline cache records which stretches of the buffer are
     known *not* to contain newlines, so that they can be skipped
     quickly when we search for newlines.

     The width run cache records which stretches of the buffer are
     known to contain characters whose widths are all the same.  If
     the width run cache maps a character to a value > 0, that value is
     the character's width; if it maps a character to zero, we don't
     know what its width is.  This allows compute_motion to process
     such regions very quickly, using algebra instead of inspecting
     each character.   See also width_table, below.  */
  struct region_cache *newline_cache;
  struct region_cache *width_run_cache;

  /* Non-zero means don't use redisplay optimizations for
     displaying this buffer.  */
  unsigned prevent_redisplay_optimizations_p : 1;

584 585 586 587 588 589 590 591
  /* List of overlays that end at or before the current center,
     in order of end-position.  */
  struct Lisp_Overlay *overlays_before;

  /* List of overlays that end after  the current center,
     in order of start-position.  */
  struct Lisp_Overlay *overlays_after;

592
  /* Position where the overlay lists are centered.  */
593
  ptrdiff_t overlay_center;
594

595 596 597
  /* Everything from here down must be a Lisp_Object.  */
  /* buffer-local Lisp variables start at `undo_list',
     tho only the ones from `name' on are GC'd normally.  */
598
  #define FIRST_FIELD_PER_BUFFER undo_list
599

600 601 602 603 604 605 606
  /* Changes in the buffer are recorded here for undo.
     t means don't record anything.
     This information belongs to the base buffer of an indirect buffer,
     But we can't store it in the  struct buffer_text
     because local variables have to be right in the  struct buffer.
     So we copy it around in set_buffer_internal.
     This comes before `name' because it is marked in a special way.  */
607
  Lisp_Object BUFFER_INTERNAL_FIELD (undo_list);
608

609
  /* The name of this buffer.  */
610
  Lisp_Object BUFFER_INTERNAL_FIELD (name);
611 612

  /* The name of the file visited in this buffer, or nil.  */
613
  Lisp_Object BUFFER_INTERNAL_FIELD (filename);
614
  /* Dir for expanding relative file names.  */
615
  Lisp_Object BUFFER_INTERNAL_FIELD (directory);
Glenn Morris's avatar
Glenn Morris committed
616
  /* True if this buffer has been backed up (if you write to the
617 618 619
     visited file and it hasn't been backed up, then a backup will
     be made).  */
  /* This isn't really used by the C code, so could be deleted.  */
620
  Lisp_Object BUFFER_INTERNAL_FIELD (backed_up);
621
  /* Length of file when last read or saved.
622 623 624
     -1 means auto saving turned off because buffer shrank a lot.
     -2 means don't turn off auto saving if buffer shrinks.
       (That value is used with buffer-swap-text.)
625 626
     This is not in the  struct buffer_text
     because it's not used in indirect buffers at all.  */
627
  Lisp_Object BUFFER_INTERNAL_FIELD (save_length);
628 629 630
  /* File name used for auto-saving this buffer.
     This is not in the  struct buffer_text
     because it's not used in indirect buffers at all.  */
631
  Lisp_Object BUFFER_INTERNAL_FIELD (auto_save_file_name);
632 633

  /* Non-nil if buffer read-only.  */
634
  Lisp_Object BUFFER_INTERNAL_FIELD (read_only);
635 636
  /* "The mark".  This is a marker which may
     point into this buffer or may point nowhere.  */
637
  Lisp_Object BUFFER_INTERNAL_FIELD (mark);
638

639 640 641
  /* Alist of elements (SYMBOL . VALUE-IN-THIS-BUFFER) for all
     per-buffer variables of this buffer.  For locally unbound
     symbols, just the symbol appears as the element.  */
642
  Lisp_Object BUFFER_INTERNAL_FIELD (local_var_alist);
643 644

  /* Symbol naming major mode (eg, lisp-mode).  */
645
  Lisp_Object BUFFER_INTERNAL_FIELD (major_mode);
646
  /* Pretty name of major mode (eg, "Lisp"). */
647
  Lisp_Object BUFFER_INTERNAL_FIELD (mode_name);
648
  /* Mode line element that controls format of mode line.  */
649
  Lisp_Object BUFFER_INTERNAL_FIELD (mode_line_format);
650

651 652
  /* Analogous to mode_line_format for the line displayed at the top
     of windows.  Nil means don't display that line.  */
653
  Lisp_Object BUFFER_INTERNAL_FIELD (header_line_format);
654 655

  /* Keys that are bound local to this buffer.  */
656
  Lisp_Object BUFFER_INTERNAL_FIELD (keymap);
657
  /* This buffer's local abbrev table.  */
658
  Lisp_Object BUFFER_INTERNAL_FIELD (abbrev_table);
659
  /* This buffer's syntax table.  */
660
  Lisp_Object BUFFER_INTERNAL_FIELD (syntax_table);
661
  /* This buffer's category table.  */
662
  Lisp_Object BUFFER_INTERNAL_FIELD (category_table);
663

Pavel Janík's avatar
Pavel Janík committed
664
  /* Values of several buffer-local variables.  */
665
  /* tab-width is buffer-local so that redisplay can find it
Pavel Janík's avatar
Pavel Janík committed
666
     in buffers that are not current.  */
667 668 669 670
  Lisp_Object BUFFER_INTERNAL_FIELD (case_fold_search);
  Lisp_Object BUFFER_INTERNAL_FIELD (tab_width);
  Lisp_Object BUFFER_INTERNAL_FIELD (fill_column);
  Lisp_Object BUFFER_INTERNAL_FIELD (left_margin);
671
  /* Function to call when insert space past fill column.  */
672
  Lisp_Object BUFFER_INTERNAL_FIELD (auto_fill_function);
673 674 675

  /* Case table for case-conversion in this buffer.
     This char-table maps each char into its lower-case version.  */
676
  Lisp_Object BUFFER_INTERNAL_FIELD (downcase_table);
677
  /* Char-table mapping each char to its upper-case version.  */
678
  Lisp_Object BUFFER_INTERNAL_FIELD (upcase_table);
679
  /* Char-table for conversion for case-folding search.  */
680
  Lisp_Object BUFFER_INTERNAL_FIELD (case_canon_table);
681
  /* Char-table of equivalences for case-folding search.  */
682
  Lisp_Object BUFFER_INTERNAL_FIELD (case_eqv_table);
683 684

  /* Non-nil means do not display continuation lines.  */
685
  Lisp_Object BUFFER_INTERNAL_FIELD (truncate_lines);
686
  /* Non-nil means to use word wrapping when displaying continuation lines.  */
687
  Lisp_Object BUFFER_INTERNAL_FIELD (word_wrap);
688
  /* Non-nil means display ctl chars with uparrow.  */
689
  Lisp_Object BUFFER_INTERNAL_FIELD (ctl_arrow);
690 691
  /* Non-nil means reorder bidirectional text for display in the
     visual order.  */
692
  Lisp_Object BUFFER_INTERNAL_FIELD (bidi_display_reordering);
693 694 695
  /* If non-nil, specifies which direction of text to force in all the
     paragraphs of the buffer.  Nil means determine paragraph
     direction dynamically for each paragraph.  */
696
  Lisp_Object BUFFER_INTERNAL_FIELD (bidi_paragraph_direction);
697 698
  /* Non-nil means do selective display;
     see doc string in syms_of_buffer (buffer.c) for details.  */
699
  Lisp_Object BUFFER_INTERNAL_FIELD (selective_display);
Jim Blandy's avatar
Jim Blandy committed
700
#ifndef old
701
  /* Non-nil means show ... at end of line followed by invisible lines.  */
702
  Lisp_Object BUFFER_INTERNAL_FIELD (selective_display_ellipses);
Jim Blandy's avatar
Jim Blandy committed
703
#endif
704
  /* Alist of (FUNCTION . STRING) for each minor mode enabled in buffer.  */
705
  Lisp_Object BUFFER_INTERNAL_FIELD (minor_modes);
706 707
  /* t if "self-insertion" should overwrite; `binary' if it should also
     overwrite newlines and tabs - for editing executables and the like.  */
708
  Lisp_Object BUFFER_INTERNAL_FIELD (overwrite_mode);
709
  /* non-nil means abbrev mode is on.  Expand abbrevs automatically.  */
710
  Lisp_Object BUFFER_INTERNAL_FIELD (abbrev_mode);
711
  /* Display table to use for text in this buffer.  */
712
  Lisp_Object BUFFER_INTERNAL_FIELD (display_table);
713
  /* t means the mark and region are currently active.  */
714
  Lisp_Object BUFFER_INTERNAL_FIELD (mark_active);
715 716 717

  /* Non-nil means the buffer contents are regarded as multi-byte
     form of characters, not a binary code.  */
718
  Lisp_Object BUFFER_INTERNAL_FIELD (enable_multibyte_characters);
719 720 721

  /* Coding system to be used for encoding the buffer contents on
     saving.  */
722
  Lisp_Object BUFFER_INTERNAL_FIELD (buffer_file_coding_system);
723

Pavel Janík's avatar
Pavel Janík committed
724
  /* List of symbols naming the file format used for visited file.  */
725
  Lisp_Object BUFFER_INTERNAL_FIELD (file_format);
726

727
  /* List of symbols naming the file format used for auto-save file.  */
728
  Lisp_Object BUFFER_INTERNAL_FIELD (auto_save_file_format);
729

730 731
  /* True if the newline position cache and width run cache are
     enabled.  See search.c and indent.c.  */
732
  Lisp_Object BUFFER_INTERNAL_FIELD (cache_long_line_scans);
733 734 735 736 737 738 739

  /* If the width run cache is enabled, this table contains the
     character widths width_run_cache (see above) assumes.  When we
     do a thorough redisplay, we compare this against the buffer's
     current display table to see whether the display table has
     affected the widths of any characters.  If it has, we
     invalidate the width run cache, and re-initialize width_table.  */
740
  Lisp_Object BUFFER_INTERNAL_FIELD (width_table);
741 742 743 744

  /* In an indirect buffer, or a buffer that is the base of an
     indirect buffer, this holds a marker that records
     PT for this buffer when the buffer is not current.  */
745
  Lisp_Object BUFFER_INTERNAL_FIELD (pt_marker);
746 747 748 749

  /* In an indirect buffer, or a buffer that is the base of an
     indirect buffer, this holds a marker that records
     BEGV for this buffer when the buffer is not current.  */
750
  Lisp_Object BUFFER_INTERNAL_FIELD (begv_marker);
751 752 753 754

  /* In an indirect buffer, or a buffer that is the base of an
     indirect buffer, this holds a marker that records
     ZV for this buffer when the buffer is not current.  */
755
  Lisp_Object BUFFER_INTERNAL_FIELD (zv_marker);
756 757 758

  /* This holds the point value before the last scroll operation.
     Explicitly setting point sets this to nil.  */
759
  Lisp_Object BUFFER_INTERNAL_FIELD (point_before_scroll);
760 761

  /* Truename of the visited file, or nil.  */
762
  Lisp_Object BUFFER_INTERNAL_FIELD (file_truename);
763 764 765 766 767

  /* Invisibility spec of this buffer.
     t => any non-nil `invisible' property means invisible.
     A list => `invisible' property means invisible
     if it is memq in that list.  */
768
  Lisp_Object BUFFER_INTERNAL_FIELD (invisibility_spec);
769 770 771

  /* This is the last window that was selected with this buffer in it,
     or nil if that window no longer displays this buffer.  */
772
  Lisp_Object BUFFER_INTERNAL_FIELD (last_selected_window);
773 774

  /* Incremented each time the buffer is displayed in a window.  */
775
  Lisp_Object BUFFER_INTERNAL_FIELD (display_count);
776

777 778
  /* Widths of left and right marginal areas for windows displaying
     this buffer.  */
779
  Lisp_Object BUFFER_INTERNAL_FIELD (left_margin_cols), BUFFER_INTERNAL_FIELD (right_margin_cols);
780 781 782

  /* Widths of left and right fringe areas for windows displaying
     this buffer.  */
783
  Lisp_Object BUFFER_INTERNAL_FIELD (left_fringe_width), BUFFER_INTERNAL_FIELD (right_fringe_width);
784 785 786

  /* Non-nil means fringes are drawn outside display margins;
     othersize draw them between margin areas and text.  */
787
  Lisp_Object BUFFER_INTERNAL_FIELD (fringes_outside_margins);
788 789 790

  /* Width and type of scroll bar areas for windows displaying
     this buffer.  */
791
  Lisp_Object BUFFER_INTERNAL_FIELD (scroll_bar_width), BUFFER_INTERNAL_FIELD (vertical_scroll_bar_type);
792 793 794

  /* Non-nil means indicate lines not displaying text (in a style
     like vi).  */
795
  Lisp_Object BUFFER_INTERNAL_FIELD (indicate_empty_lines);
796

Kenichi Handa's avatar
Kenichi Handa committed
797
  /* Non-nil means indicate buffer boundaries and scrolling.  */
798
  Lisp_Object BUFFER_INTERNAL_FIELD (indicate_buffer_boundaries);
Kenichi Handa's avatar
Kenichi Handa committed
799

800
  /* Logical to physical fringe bitmap mappings.  */
801
  Lisp_Object BUFFER_INTERNAL_FIELD (fringe_indicator_alist);
802 803

  /* Logical to physical cursor bitmap mappings.  */
804
  Lisp_Object BUFFER_INTERNAL_FIELD (fringe_cursor_alist);
805

806
  /* Time stamp updated each time this buffer is displayed in a window.  */
807
  Lisp_Object BUFFER_INTERNAL_FIELD (display_time);
808 809 810 811 812

  /* If scrolling the display because point is below the bottom of a
     window showing this buffer, try to choose a window start so
     that point ends up this number of lines from the top of the
     window.  Nil means that scrolling method isn't used.  */
813
  Lisp_Object BUFFER_INTERNAL_FIELD (scroll_up_aggressively);
814

815 816 817 818
  /* If scrolling the display because point is above the top of a
     window showing this buffer, try to choose a window start so
     that point ends up this number of lines from the bottom of the
     window.  Nil means that scrolling method isn't used.  */
819
  Lisp_Object BUFFER_INTERNAL_FIELD (scroll_down_aggressively);
Gerd Moellmann's avatar
Gerd Moellmann committed
820

821 822
  /* Desired cursor type in this buffer.  See the doc string of
     per-buffer variable `cursor-type'.  */
823
  Lisp_Object BUFFER_INTERNAL_FIELD (cursor_type);
824 825 826

  /* An integer > 0 means put that number of pixels below text lines
     in the display of this buffer.  */
827
  Lisp_Object BUFFER_INTERNAL_FIELD (extra_line_spacing);
828 829 830 831

  /* *Cursor type to display in non-selected windows.
     t means to use hollow box cursor.
     See `cursor-type' for other values.  */
832
  Lisp_Object BUFFER_INTERNAL_FIELD (cursor_in_non_selected_windows);
833 834 835

  /* This must be the last field in the above list.  */
  #define LAST_FIELD_PER_BUFFER cursor_in_non_selected_windows
836
};
837

838 839

/* This points to the current buffer.  */
Jim Blandy's avatar
Jim Blandy committed
840 841 842 843

extern struct buffer *current_buffer;

/* This structure holds the default values of the buffer-local variables
844
   that have special slots in each buffer.
Jim Blandy's avatar
Jim Blandy committed
845 846 847 848 849 850 851 852 853 854 855 856 857
   The default value occupies the same slot in this structure
   as an individual buffer's value occupies in that buffer.
   Setting the default value also goes through the alist of buffers
   and stores into each buffer that does not say it has a local value.  */

extern struct buffer buffer_defaults;

/* This structure marks which slots in a buffer have corresponding
   default values in buffer_defaults.
   Each such slot has a nonzero value in this structure.
   The value has only one nonzero bit.

   When a buffer has its own local value for a slot,
858 859
   the entry for that slot (found in the same slot in this structure)
   is turned on in the buffer's local_flags array.
Jim Blandy's avatar
Jim Blandy committed
860 861

   If a slot in this structure is zero, then even though there may
862
   be a Lisp-level local variable for the slot, it has no default value,
Jim Blandy's avatar
Jim Blandy committed
863 864
   and the corresponding slot in buffer_defaults is not used.  */

865

Jim Blandy's avatar
Jim Blandy committed
866 867 868 869 870 871 872
extern struct buffer buffer_local_flags;

/* For each buffer slot, this points to the Lisp symbol name
   for that slot in the current buffer.  It is 0 for slots
   that don't have such names.  */

extern struct buffer buffer_local_symbols;
873

Jan D's avatar
Jan D committed
874 875
extern void delete_all_overlays (struct buffer *);
extern void reset_buffer (struct buffer *);
876
extern void evaporate_overlays (ptrdiff_t);
877
extern ptrdiff_t overlays_at (EMACS_INT pos, int extend, Lisp_Object **vec_ptr,
878 879
			      ptrdiff_t *len_ptr, ptrdiff_t *next_ptr,
			      ptrdiff_t *prev_ptr, int change_req);
880
extern ptrdiff_t sort_overlays (Lisp_Object *, ptrdiff_t, struct window *);
881 882
extern void recenter_overlay_lists (struct buffer *, ptrdiff_t);
extern ptrdiff_t overlay_strings (ptrdiff_t, struct window *, unsigned char **);
Jan D's avatar
Jan D committed
883 884 885 886
extern void validate_region (Lisp_Object *, Lisp_Object *);
extern void set_buffer_internal (struct buffer *);
extern void set_buffer_internal_1 (struct buffer *);
extern void set_buffer_temp (struct buffer *);
887
extern Lisp_Object buffer_local_value_1 (Lisp_Object, Lisp_Object);
Jan D's avatar
Jan D committed
888
extern void record_buffer (Lisp_Object);
889
extern _Noreturn void buffer_slot_type_mismatch (Lisp_Object, int);
890
extern void fix_overlays_before (struct buffer *, ptrdiff_t, ptrdiff_t);
Jan D's avatar
Jan D committed
891
extern void mmap_set_vars (