Use typedef for EMACS_INT, EMACS_UINT.
[bpt/emacs.git] / src / lisp.h
1 /* Fundamental definitions for GNU Emacs Lisp interpreter.
2
3 Copyright (C) 1985-1987, 1993-1995, 1997-2012 Free Software Foundation, Inc.
4
5 This file is part of GNU Emacs.
6
7 GNU Emacs is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
11
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
19
20 #ifndef EMACS_LISP_H
21 #define EMACS_LISP_H
22
23 #include <stdarg.h>
24 #include <stddef.h>
25 #include <inttypes.h>
26 #include <limits.h>
27
28 #include <intprops.h>
29
30 /* Use the configure flag --enable-checking[=LIST] to enable various
31 types of run time checks for Lisp objects. */
32
33 #ifdef GC_CHECK_CONS_LIST
34 extern void check_cons_list (void);
35 #define CHECK_CONS_LIST() check_cons_list ()
36 #else
37 #define CHECK_CONS_LIST() ((void) 0)
38 #endif
39
40 /* Temporarily disable wider-than-pointer integers until they're tested more.
41 Build with CFLAGS='-DWIDE_EMACS_INT' to try them out. */
42 /* #undef WIDE_EMACS_INT */
43
44 /* EMACS_INT - signed integer wide enough to hold an Emacs value
45 EMACS_INT_MAX - maximum value of EMACS_INT; can be used in #if
46 pI - printf length modifier for EMACS_INT
47 EMACS_UINT - unsigned variant of EMACS_INT */
48 #ifndef EMACS_INT_MAX
49 # if LONG_MAX < LLONG_MAX && defined WIDE_EMACS_INT
50 typedef long long int EMACS_INT;
51 typedef unsigned long long int EMACS_UINT;
52 # define EMACS_INT_MAX LLONG_MAX
53 # define pI "ll"
54 # elif INT_MAX < LONG_MAX
55 typedef long int EMACS_INT;
56 typedef unsigned long int EMACS_UINT;
57 # define EMACS_INT_MAX LONG_MAX
58 # define pI "l"
59 # else
60 typedef int EMACS_INT;
61 typedef unsigned int EMACS_UINT;
62 # define EMACS_INT_MAX INT_MAX
63 # define pI ""
64 # endif
65 #endif
66
67 /* Number of bits in some machine integer types. */
68 enum
69 {
70 BITS_PER_CHAR = CHAR_BIT,
71 BITS_PER_SHORT = CHAR_BIT * sizeof (short),
72 BITS_PER_INT = CHAR_BIT * sizeof (int),
73 BITS_PER_LONG = CHAR_BIT * sizeof (long int),
74 BITS_PER_EMACS_INT = CHAR_BIT * sizeof (EMACS_INT)
75 };
76
77 /* printmax_t and uprintmax_t are types for printing large integers.
78 These are the widest integers that are supported for printing.
79 pMd etc. are conversions for printing them.
80 On C99 hosts, there's no problem, as even the widest integers work.
81 Fall back on EMACS_INT on pre-C99 hosts. */
82 #ifdef PRIdMAX
83 typedef intmax_t printmax_t;
84 typedef uintmax_t uprintmax_t;
85 # define pMd PRIdMAX
86 # define pMu PRIuMAX
87 #else
88 typedef EMACS_INT printmax_t;
89 typedef EMACS_UINT uprintmax_t;
90 # define pMd pI"d"
91 # define pMu pI"u"
92 #endif
93
94 /* Use pD to format ptrdiff_t values, which suffice for indexes into
95 buffers and strings. Emacs never allocates objects larger than
96 PTRDIFF_MAX bytes, as they cause problems with pointer subtraction.
97 In C99, pD can always be "t"; configure it here for the sake of
98 pre-C99 libraries such as glibc 2.0 and Solaris 8. */
99 #if PTRDIFF_MAX == INT_MAX
100 # define pD ""
101 #elif PTRDIFF_MAX == LONG_MAX
102 # define pD "l"
103 #elif PTRDIFF_MAX == LLONG_MAX
104 # define pD "ll"
105 #else
106 # define pD "t"
107 #endif
108
109 /* Extra internal type checking? */
110
111 /* Define an Emacs version of 'assert (COND)', since some
112 system-defined 'assert's are flaky. COND should be free of side
113 effects; it may or may not be evaluated. */
114 #ifndef ENABLE_CHECKING
115 # define eassert(X) ((void) (0 && (X))) /* Check that X compiles. */
116 #else /* ENABLE_CHECKING */
117
118 extern _Noreturn void die (const char *, const char *, int);
119
120 /* The suppress_checking variable is initialized to 0 in alloc.c. Set
121 it to 1 using a debugger to temporarily disable aborting on
122 detected internal inconsistencies or error conditions.
123
124 In some cases, a good compiler may be able to optimize away the
125 eassert macro altogether, e.g., if XSTRING (x) uses eassert to test
126 STRINGP (x), but a particular use of XSTRING is invoked only after
127 testing that STRINGP (x) is true, making the test redundant. */
128 extern int suppress_checking EXTERNALLY_VISIBLE;
129
130 # define eassert(cond) \
131 ((cond) || suppress_checking \
132 ? (void) 0 \
133 : die ("assertion failed: " # cond, __FILE__, __LINE__))
134 #endif /* ENABLE_CHECKING */
135 \f
136 /* Use the configure flag --enable-check-lisp-object-type to make
137 Lisp_Object use a struct type instead of the default int. The flag
138 causes CHECK_LISP_OBJECT_TYPE to be defined. */
139
140 /***** Select the tagging scheme. *****/
141 /* The following option controls the tagging scheme:
142 - USE_LSB_TAG means that we can assume the least 3 bits of pointers are
143 always 0, and we can thus use them to hold tag bits, without
144 restricting our addressing space.
145
146 If ! USE_LSB_TAG, then use the top 3 bits for tagging, thus
147 restricting our possible address range.
148
149 USE_LSB_TAG not only requires the least 3 bits of pointers returned by
150 malloc to be 0 but also needs to be able to impose a mult-of-8 alignment
151 on the few static Lisp_Objects used: all the defsubr as well
152 as the two special buffers buffer_defaults and buffer_local_symbols. */
153
154 /* First, try and define DECL_ALIGN(type,var) which declares a static
155 variable VAR of type TYPE with the added requirement that it be
156 TYPEBITS-aligned. */
157
158 #define GCTYPEBITS 3
159 #define VALBITS (BITS_PER_EMACS_INT - GCTYPEBITS)
160
161 /* The maximum value that can be stored in a EMACS_INT, assuming all
162 bits other than the type bits contribute to a nonnegative signed value.
163 This can be used in #if, e.g., '#if VAL_MAX < UINTPTR_MAX' below. */
164 #define VAL_MAX (EMACS_INT_MAX >> (GCTYPEBITS - 1))
165
166 #ifndef NO_DECL_ALIGN
167 # ifndef DECL_ALIGN
168 # if HAVE_ATTRIBUTE_ALIGNED
169 # define DECL_ALIGN(type, var) \
170 type __attribute__ ((__aligned__ (1 << GCTYPEBITS))) var
171 # elif defined(_MSC_VER)
172 # define ALIGN_GCTYPEBITS 8
173 # if (1 << GCTYPEBITS) != ALIGN_GCTYPEBITS
174 # error ALIGN_GCTYPEBITS is wrong!
175 # endif
176 # define DECL_ALIGN(type, var) \
177 type __declspec(align(ALIGN_GCTYPEBITS)) var
178 # else
179 /* What directives do other compilers use? */
180 # endif
181 # endif
182 #endif
183
184 /* Unless otherwise specified, use USE_LSB_TAG on systems where: */
185 #ifndef USE_LSB_TAG
186 /* 1. We know malloc returns a multiple of 8. */
187 # if (defined GNU_MALLOC || defined DOUG_LEA_MALLOC || defined __GLIBC__ \
188 || defined DARWIN_OS || defined __sun)
189 /* 2. We can specify multiple-of-8 alignment on static variables. */
190 # ifdef DECL_ALIGN
191 /* 3. Pointers-as-ints exceed VAL_MAX.
192 On hosts where pointers-as-ints do not exceed VAL_MAX, USE_LSB_TAG is:
193 a. unnecessary, because the top bits of an EMACS_INT are unused, and
194 b. slower, because it typically requires extra masking.
195 So, default USE_LSB_TAG to 1 only on hosts where it might be useful. */
196 # if VAL_MAX < UINTPTR_MAX
197 # define USE_LSB_TAG 1
198 # endif
199 # endif
200 # endif
201 #endif
202 #ifndef USE_LSB_TAG
203 # define USE_LSB_TAG 0
204 #endif
205
206 /* If we cannot use 8-byte alignment, make DECL_ALIGN a no-op. */
207 #ifndef DECL_ALIGN
208 # if USE_LSB_TAG
209 # error "USE_LSB_TAG used without defining DECL_ALIGN"
210 # endif
211 # define DECL_ALIGN(type, var) type var
212 #endif
213
214
215 /* Define the fundamental Lisp data structures. */
216
217 /* This is the set of Lisp data types. */
218
219 /* Lisp integers use 2 tags, to give them one extra bit, thus
220 extending their range from, e.g., -2^28..2^28-1 to -2^29..2^29-1. */
221 #define INTTYPEBITS (GCTYPEBITS - 1)
222 #define FIXNUM_BITS (VALBITS + 1)
223 #define INTMASK (EMACS_INT_MAX >> (INTTYPEBITS - 1))
224 #define LISP_INT_TAG Lisp_Int0
225 #define case_Lisp_Int case Lisp_Int0: case Lisp_Int1
226 #define LISP_INT1_TAG (USE_LSB_TAG ? 1 << INTTYPEBITS : 1)
227 #define LISP_STRING_TAG (5 - LISP_INT1_TAG)
228 #define LISP_INT_TAG_P(x) (((x) & ~LISP_INT1_TAG) == 0)
229
230 /* Stolen from GDB. The only known compiler that doesn't support
231 enums in bitfields is MSVC. */
232 #ifdef _MSC_VER
233 #define ENUM_BF(TYPE) unsigned int
234 #else
235 #define ENUM_BF(TYPE) enum TYPE
236 #endif
237
238
239 enum Lisp_Type
240 {
241 /* Integer. XINT (obj) is the integer value. */
242 Lisp_Int0 = 0,
243 Lisp_Int1 = LISP_INT1_TAG,
244
245 /* Symbol. XSYMBOL (object) points to a struct Lisp_Symbol. */
246 Lisp_Symbol = 2,
247
248 /* Miscellaneous. XMISC (object) points to a union Lisp_Misc,
249 whose first member indicates the subtype. */
250 Lisp_Misc = 3,
251
252 /* String. XSTRING (object) points to a struct Lisp_String.
253 The length of the string, and its contents, are stored therein. */
254 Lisp_String = LISP_STRING_TAG,
255
256 /* Vector of Lisp objects, or something resembling it.
257 XVECTOR (object) points to a struct Lisp_Vector, which contains
258 the size and contents. The size field also contains the type
259 information, if it's not a real vector object. */
260 Lisp_Vectorlike = 5,
261
262 /* Cons. XCONS (object) points to a struct Lisp_Cons. */
263 Lisp_Cons = 6,
264
265 Lisp_Float = 7,
266 };
267
268 /* This is the set of data types that share a common structure.
269 The first member of the structure is a type code from this set.
270 The enum values are arbitrary, but we'll use large numbers to make it
271 more likely that we'll spot the error if a random word in memory is
272 mistakenly interpreted as a Lisp_Misc. */
273 enum Lisp_Misc_Type
274 {
275 Lisp_Misc_Free = 0x5eab,
276 Lisp_Misc_Marker,
277 Lisp_Misc_Overlay,
278 Lisp_Misc_Save_Value,
279 /* Currently floats are not a misc type,
280 but let's define this in case we want to change that. */
281 Lisp_Misc_Float,
282 /* This is not a type code. It is for range checking. */
283 Lisp_Misc_Limit
284 };
285
286 /* These are the types of forwarding objects used in the value slot
287 of symbols for special built-in variables whose value is stored in
288 C variables. */
289 enum Lisp_Fwd_Type
290 {
291 Lisp_Fwd_Int, /* Fwd to a C `int' variable. */
292 Lisp_Fwd_Bool, /* Fwd to a C boolean var. */
293 Lisp_Fwd_Obj, /* Fwd to a C Lisp_Object variable. */
294 Lisp_Fwd_Buffer_Obj, /* Fwd to a Lisp_Object field of buffers. */
295 Lisp_Fwd_Kboard_Obj, /* Fwd to a Lisp_Object field of kboards. */
296 };
297
298 #ifdef CHECK_LISP_OBJECT_TYPE
299
300 typedef struct { EMACS_INT i; } Lisp_Object;
301
302 #define XLI(o) (o).i
303 static inline Lisp_Object
304 XIL (EMACS_INT i)
305 {
306 Lisp_Object o = { i };
307 return o;
308 }
309
310 static inline Lisp_Object
311 LISP_MAKE_RVALUE (Lisp_Object o)
312 {
313 return o;
314 }
315
316 #define LISP_INITIALLY_ZERO {0}
317
318 #else /* CHECK_LISP_OBJECT_TYPE */
319
320 /* If a struct type is not wanted, define Lisp_Object as just a number. */
321
322 typedef EMACS_INT Lisp_Object;
323 #define XLI(o) (o)
324 #define XIL(i) (i)
325 #define LISP_MAKE_RVALUE(o) (0+(o))
326 #define LISP_INITIALLY_ZERO 0
327 #endif /* CHECK_LISP_OBJECT_TYPE */
328
329 /* In the size word of a vector, this bit means the vector has been marked. */
330
331 #define ARRAY_MARK_FLAG PTRDIFF_MIN
332
333 /* In the size word of a struct Lisp_Vector, this bit means it's really
334 some other vector-like object. */
335 #define PSEUDOVECTOR_FLAG (PTRDIFF_MAX - PTRDIFF_MAX / 2)
336
337 /* In a pseudovector, the size field actually contains a word with one
338 PSEUDOVECTOR_FLAG bit set, and exactly one of the following bits to
339 indicate the actual type.
340 We use a bitset, even tho only one of the bits can be set at any
341 particular time just so as to be able to use micro-optimizations such as
342 testing membership of a particular subset of pseudovectors in Fequal.
343 It is not crucial, but there are plenty of bits here, so why not do it? */
344 enum pvec_type
345 {
346 PVEC_NORMAL_VECTOR = 0, /* Unused! */
347 PVEC_FREE,
348 PVEC_PROCESS,
349 PVEC_FRAME,
350 PVEC_WINDOW,
351 PVEC_BOOL_VECTOR,
352 PVEC_BUFFER,
353 PVEC_HASH_TABLE,
354 PVEC_TERMINAL,
355 PVEC_WINDOW_CONFIGURATION,
356 PVEC_SUBR,
357 PVEC_OTHER,
358 /* These last 4 are special because we OR them in fns.c:internal_equal,
359 so they have to use a disjoint bit pattern:
360 if (!(size & (PVEC_COMPILED | PVEC_CHAR_TABLE
361 | PVEC_SUB_CHAR_TABLE | PVEC_FONT))) */
362 PVEC_COMPILED = 0x10,
363 PVEC_CHAR_TABLE = 0x20,
364 PVEC_SUB_CHAR_TABLE = 0x30,
365 PVEC_FONT = 0x40
366 };
367
368 /* For convenience, we also store the number of elements in these bits.
369 Note that this size is not necessarily the memory-footprint size, but
370 only the number of Lisp_Object fields (that need to be traced by the GC).
371 The distinction is used e.g. by Lisp_Process which places extra
372 non-Lisp_Object fields at the end of the structure. */
373 #define PSEUDOVECTOR_SIZE_BITS 16
374 #define PSEUDOVECTOR_SIZE_MASK ((1 << PSEUDOVECTOR_SIZE_BITS) - 1)
375 #define PVEC_TYPE_MASK (0x0fff << PSEUDOVECTOR_SIZE_BITS)
376
377 /* Number of bits to put in each character in the internal representation
378 of bool vectors. This should not vary across implementations. */
379 #define BOOL_VECTOR_BITS_PER_CHAR 8
380 \f
381 /* These macros extract various sorts of values from a Lisp_Object.
382 For example, if tem is a Lisp_Object whose type is Lisp_Cons,
383 XCONS (tem) is the struct Lisp_Cons * pointing to the memory for that cons. */
384
385 /* Return a perfect hash of the Lisp_Object representation. */
386 #define XHASH(a) XLI (a)
387
388 #if USE_LSB_TAG
389
390 #define TYPEMASK ((1 << GCTYPEBITS) - 1)
391 #define XTYPE(a) ((enum Lisp_Type) (XLI (a) & TYPEMASK))
392 #define XINT(a) (XLI (a) >> INTTYPEBITS)
393 #define XUINT(a) ((EMACS_UINT) XLI (a) >> INTTYPEBITS)
394 #define make_number(N) XIL ((EMACS_INT) (N) << INTTYPEBITS)
395 #define XSET(var, type, ptr) \
396 (eassert (XTYPE (XIL ((intptr_t) (ptr))) == 0), /* Check alignment. */ \
397 (var) = XIL ((type) | (intptr_t) (ptr)))
398
399 #define XPNTR(a) ((intptr_t) (XLI (a) & ~TYPEMASK))
400 #define XUNTAG(a, type) ((intptr_t) (XLI (a) - (type)))
401
402 #else /* not USE_LSB_TAG */
403
404 #define VALMASK VAL_MAX
405
406 #define XTYPE(a) ((enum Lisp_Type) ((EMACS_UINT) XLI (a) >> VALBITS))
407
408 /* For integers known to be positive, XFASTINT provides fast retrieval
409 and XSETFASTINT provides fast storage. This takes advantage of the
410 fact that Lisp integers have zero-bits in their tags. */
411 #define XFASTINT(a) (XLI (a) + 0)
412 #define XSETFASTINT(a, b) ((a) = XIL (b))
413
414 /* Extract the value of a Lisp_Object as a (un)signed integer. */
415
416 #define XINT(a) (XLI (a) << INTTYPEBITS >> INTTYPEBITS)
417 #define XUINT(a) ((EMACS_UINT) (XLI (a) & INTMASK))
418 #define make_number(N) XIL ((EMACS_INT) (N) & INTMASK)
419
420 #define XSET(var, type, ptr) \
421 ((var) = XIL ((EMACS_INT) ((EMACS_UINT) (type) << VALBITS) \
422 + ((intptr_t) (ptr) & VALMASK)))
423
424 #ifdef DATA_SEG_BITS
425 /* DATA_SEG_BITS forces extra bits to be or'd in with any pointers
426 which were stored in a Lisp_Object */
427 #define XPNTR(a) ((uintptr_t) ((XLI (a) & VALMASK)) | DATA_SEG_BITS))
428 #else
429 #define XPNTR(a) ((uintptr_t) (XLI (a) & VALMASK))
430 #endif
431
432 #endif /* not USE_LSB_TAG */
433
434 /* For integers known to be positive, XFASTINT sometimes provides
435 faster retrieval and XSETFASTINT provides faster storage.
436 If not, fallback on the non-accelerated path. */
437 #ifndef XFASTINT
438 # define XFASTINT(a) (XINT (a))
439 # define XSETFASTINT(a, b) (XSETINT (a, b))
440 #endif
441
442 /* Extract the pointer value of the Lisp object A, under the
443 assumption that A's type is TYPE. This is a fallback
444 implementation if nothing faster is available. */
445 #ifndef XUNTAG
446 # define XUNTAG(a, type) XPNTR (a)
447 #endif
448
449 #define EQ(x, y) (XHASH (x) == XHASH (y))
450
451 /* Largest and smallest representable fixnum values. These are the C
452 values. */
453 #define MOST_POSITIVE_FIXNUM (EMACS_INT_MAX >> INTTYPEBITS)
454 #define MOST_NEGATIVE_FIXNUM (-1 - MOST_POSITIVE_FIXNUM)
455
456 /* Value is non-zero if I doesn't fit into a Lisp fixnum. It is
457 written this way so that it also works if I is of unsigned
458 type or if I is a NaN. */
459
460 #define FIXNUM_OVERFLOW_P(i) \
461 (! ((0 <= (i) || MOST_NEGATIVE_FIXNUM <= (i)) && (i) <= MOST_POSITIVE_FIXNUM))
462
463 static inline ptrdiff_t
464 clip_to_bounds (ptrdiff_t lower, EMACS_INT num, ptrdiff_t upper)
465 {
466 return num < lower ? lower : num <= upper ? num : upper;
467 }
468
469 /* Extract a value or address from a Lisp_Object. */
470
471 #define XCONS(a) (eassert (CONSP (a)), \
472 (struct Lisp_Cons *) XUNTAG (a, Lisp_Cons))
473 #define XVECTOR(a) (eassert (VECTORLIKEP (a)), \
474 (struct Lisp_Vector *) XUNTAG (a, Lisp_Vectorlike))
475 #define XSTRING(a) (eassert (STRINGP (a)), \
476 (struct Lisp_String *) XUNTAG (a, Lisp_String))
477 #define XSYMBOL(a) (eassert (SYMBOLP (a)), \
478 (struct Lisp_Symbol *) XUNTAG (a, Lisp_Symbol))
479 #define XFLOAT(a) (eassert (FLOATP (a)), \
480 (struct Lisp_Float *) XUNTAG (a, Lisp_Float))
481
482 /* Misc types. */
483
484 #define XMISC(a) ((union Lisp_Misc *) XUNTAG (a, Lisp_Misc))
485 #define XMISCANY(a) (eassert (MISCP (a)), &(XMISC (a)->u_any))
486 #define XMISCTYPE(a) (XMISCANY (a)->type)
487 #define XMARKER(a) (eassert (MARKERP (a)), &(XMISC (a)->u_marker))
488 #define XOVERLAY(a) (eassert (OVERLAYP (a)), &(XMISC (a)->u_overlay))
489 #define XSAVE_VALUE(a) (eassert (SAVE_VALUEP (a)), &(XMISC (a)->u_save_value))
490
491 /* Forwarding object types. */
492
493 #define XFWDTYPE(a) (a->u_intfwd.type)
494 #define XINTFWD(a) (eassert (INTFWDP (a)), &((a)->u_intfwd))
495 #define XBOOLFWD(a) (eassert (BOOLFWDP (a)), &((a)->u_boolfwd))
496 #define XOBJFWD(a) (eassert (OBJFWDP (a)), &((a)->u_objfwd))
497 #define XBUFFER_OBJFWD(a) \
498 (eassert (BUFFER_OBJFWDP (a)), &((a)->u_buffer_objfwd))
499 #define XKBOARD_OBJFWD(a) \
500 (eassert (KBOARD_OBJFWDP (a)), &((a)->u_kboard_objfwd))
501
502 /* Pseudovector types. */
503
504 #define XPROCESS(a) (eassert (PROCESSP (a)), \
505 (struct Lisp_Process *) XUNTAG (a, Lisp_Vectorlike))
506 #define XWINDOW(a) (eassert (WINDOWP (a)), \
507 (struct window *) XUNTAG (a, Lisp_Vectorlike))
508 #define XTERMINAL(a) (eassert (TERMINALP (a)), \
509 (struct terminal *) XUNTAG (a, Lisp_Vectorlike))
510 #define XSUBR(a) (eassert (SUBRP (a)), \
511 (struct Lisp_Subr *) XUNTAG (a, Lisp_Vectorlike))
512 #define XBUFFER(a) (eassert (BUFFERP (a)), \
513 (struct buffer *) XUNTAG (a, Lisp_Vectorlike))
514 #define XCHAR_TABLE(a) (eassert (CHAR_TABLE_P (a)), \
515 (struct Lisp_Char_Table *) XUNTAG (a, Lisp_Vectorlike))
516 #define XSUB_CHAR_TABLE(a) (eassert (SUB_CHAR_TABLE_P (a)), \
517 ((struct Lisp_Sub_Char_Table *) \
518 XUNTAG (a, Lisp_Vectorlike)))
519 #define XBOOL_VECTOR(a) (eassert (BOOL_VECTOR_P (a)), \
520 ((struct Lisp_Bool_Vector *) \
521 XUNTAG (a, Lisp_Vectorlike)))
522
523 /* Construct a Lisp_Object from a value or address. */
524
525 #define XSETINT(a, b) (a) = make_number (b)
526 #define XSETCONS(a, b) XSET (a, Lisp_Cons, b)
527 #define XSETVECTOR(a, b) XSET (a, Lisp_Vectorlike, b)
528 #define XSETSTRING(a, b) XSET (a, Lisp_String, b)
529 #define XSETSYMBOL(a, b) XSET (a, Lisp_Symbol, b)
530 #define XSETFLOAT(a, b) XSET (a, Lisp_Float, b)
531
532 /* Misc types. */
533
534 #define XSETMISC(a, b) XSET (a, Lisp_Misc, b)
535 #define XSETMARKER(a, b) (XSETMISC (a, b), XMISCTYPE (a) = Lisp_Misc_Marker)
536
537 /* Pseudovector types. */
538
539 #define XSETPVECTYPE(v, code) XSETTYPED_PVECTYPE (v, header.size, code)
540 #define XSETTYPED_PVECTYPE(v, size_member, code) \
541 ((v)->size_member |= PSEUDOVECTOR_FLAG | ((code) << PSEUDOVECTOR_SIZE_BITS))
542 #define XSETPVECTYPESIZE(v, code, sizeval) \
543 ((v)->header.size = (PSEUDOVECTOR_FLAG \
544 | ((code) << PSEUDOVECTOR_SIZE_BITS) \
545 | (sizeval)))
546
547 /* The cast to struct vectorlike_header * avoids aliasing issues. */
548 #define XSETPSEUDOVECTOR(a, b, code) \
549 XSETTYPED_PSEUDOVECTOR (a, b, \
550 (((struct vectorlike_header *) \
551 XUNTAG (a, Lisp_Vectorlike)) \
552 ->size), \
553 code)
554 #define XSETTYPED_PSEUDOVECTOR(a, b, size, code) \
555 (XSETVECTOR (a, b), \
556 eassert ((size & (PSEUDOVECTOR_FLAG | PVEC_TYPE_MASK)) \
557 == (PSEUDOVECTOR_FLAG | (code << PSEUDOVECTOR_SIZE_BITS))))
558
559 #define XSETWINDOW_CONFIGURATION(a, b) \
560 (XSETPSEUDOVECTOR (a, b, PVEC_WINDOW_CONFIGURATION))
561 #define XSETPROCESS(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_PROCESS))
562 #define XSETWINDOW(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_WINDOW))
563 #define XSETTERMINAL(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_TERMINAL))
564 /* XSETSUBR is special since Lisp_Subr lacks struct vectorlike_header. */
565 #define XSETSUBR(a, b) \
566 XSETTYPED_PSEUDOVECTOR (a, b, XSUBR (a)->size, PVEC_SUBR)
567 #define XSETCOMPILED(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_COMPILED))
568 #define XSETBUFFER(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_BUFFER))
569 #define XSETCHAR_TABLE(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_CHAR_TABLE))
570 #define XSETBOOL_VECTOR(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_BOOL_VECTOR))
571 #define XSETSUB_CHAR_TABLE(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_SUB_CHAR_TABLE))
572
573 /* Convenience macros for dealing with Lisp arrays. */
574
575 #define AREF(ARRAY, IDX) XVECTOR ((ARRAY))->contents[IDX]
576 #define ASIZE(ARRAY) XVECTOR ((ARRAY))->header.size
577 /* The IDX==IDX tries to detect when the macro argument is side-effecting. */
578 #define ASET(ARRAY, IDX, VAL) \
579 (eassert ((IDX) == (IDX)), \
580 eassert ((IDX) >= 0 && (IDX) < ASIZE (ARRAY)), \
581 AREF ((ARRAY), (IDX)) = (VAL))
582
583 /* Convenience macros for dealing with Lisp strings. */
584
585 #define SDATA(string) (XSTRING (string)->data + 0)
586 #define SREF(string, index) (SDATA (string)[index] + 0)
587 #define SSET(string, index, new) (SDATA (string)[index] = (new))
588 #define SCHARS(string) (XSTRING (string)->size + 0)
589 #define SBYTES(string) (STRING_BYTES (XSTRING (string)) + 0)
590
591 /* Avoid "differ in sign" warnings. */
592 #define SSDATA(x) ((char *) SDATA (x))
593
594 #define STRING_SET_CHARS(string, newsize) \
595 (XSTRING (string)->size = (newsize))
596
597 #define STRING_COPYIN(string, index, new, count) \
598 memcpy (SDATA (string) + index, new, count)
599
600 /* Type checking. */
601
602 #define CHECK_TYPE(ok, Qxxxp, x) \
603 do { if (!(ok)) wrong_type_argument (Qxxxp, (x)); } while (0)
604
605
606 \f
607 /* See the macros in intervals.h. */
608
609 typedef struct interval *INTERVAL;
610
611 /* Complain if object is not string or buffer type */
612 #define CHECK_STRING_OR_BUFFER(x) \
613 CHECK_TYPE (STRINGP (x) || BUFFERP (x), Qbuffer_or_string_p, x)
614
615 \f
616 /* In a cons, the markbit of the car is the gc mark bit */
617
618 struct Lisp_Cons
619 {
620 /* Please do not use the names of these elements in code other
621 than the core lisp implementation. Use XCAR and XCDR below. */
622 #ifdef HIDE_LISP_IMPLEMENTATION
623 Lisp_Object car_;
624 union
625 {
626 Lisp_Object cdr_;
627 struct Lisp_Cons *chain;
628 } u;
629 #else
630 Lisp_Object car;
631 union
632 {
633 Lisp_Object cdr;
634 struct Lisp_Cons *chain;
635 } u;
636 #endif
637 };
638
639 /* Take the car or cdr of something known to be a cons cell. */
640 /* The _AS_LVALUE macros shouldn't be used outside of the minimal set
641 of code that has to know what a cons cell looks like. Other code not
642 part of the basic lisp implementation should assume that the car and cdr
643 fields are not accessible as lvalues. (What if we want to switch to
644 a copying collector someday? Cached cons cell field addresses may be
645 invalidated at arbitrary points.) */
646 #ifdef HIDE_LISP_IMPLEMENTATION
647 #define XCAR_AS_LVALUE(c) (XCONS ((c))->car_)
648 #define XCDR_AS_LVALUE(c) (XCONS ((c))->u.cdr_)
649 #else
650 #define XCAR_AS_LVALUE(c) (XCONS ((c))->car)
651 #define XCDR_AS_LVALUE(c) (XCONS ((c))->u.cdr)
652 #endif
653
654 /* Use these from normal code. */
655 #define XCAR(c) LISP_MAKE_RVALUE (XCAR_AS_LVALUE (c))
656 #define XCDR(c) LISP_MAKE_RVALUE (XCDR_AS_LVALUE (c))
657
658 /* Use these to set the fields of a cons cell.
659
660 Note that both arguments may refer to the same object, so 'n'
661 should not be read after 'c' is first modified. Also, neither
662 argument should be evaluated more than once; side effects are
663 especially common in the second argument. */
664 #define XSETCAR(c,n) (XCAR_AS_LVALUE (c) = (n))
665 #define XSETCDR(c,n) (XCDR_AS_LVALUE (c) = (n))
666
667 /* Take the car or cdr of something whose type is not known. */
668 #define CAR(c) \
669 (CONSP ((c)) ? XCAR ((c)) \
670 : NILP ((c)) ? Qnil \
671 : wrong_type_argument (Qlistp, (c)))
672
673 #define CDR(c) \
674 (CONSP ((c)) ? XCDR ((c)) \
675 : NILP ((c)) ? Qnil \
676 : wrong_type_argument (Qlistp, (c)))
677
678 /* Take the car or cdr of something whose type is not known. */
679 #define CAR_SAFE(c) \
680 (CONSP ((c)) ? XCAR ((c)) : Qnil)
681
682 #define CDR_SAFE(c) \
683 (CONSP ((c)) ? XCDR ((c)) : Qnil)
684
685 /* Nonzero if STR is a multibyte string. */
686 #define STRING_MULTIBYTE(STR) \
687 (XSTRING (STR)->size_byte >= 0)
688
689 /* Return the length in bytes of STR. */
690
691 #ifdef GC_CHECK_STRING_BYTES
692
693 struct Lisp_String;
694 extern ptrdiff_t string_bytes (struct Lisp_String *);
695 #define STRING_BYTES(S) string_bytes ((S))
696
697 #else /* not GC_CHECK_STRING_BYTES */
698
699 #define STRING_BYTES(STR) \
700 ((STR)->size_byte < 0 ? (STR)->size : (STR)->size_byte)
701
702 #endif /* not GC_CHECK_STRING_BYTES */
703
704 /* An upper bound on the number of bytes in a Lisp string, not
705 counting the terminating null. This a tight enough bound to
706 prevent integer overflow errors that would otherwise occur during
707 string size calculations. A string cannot contain more bytes than
708 a fixnum can represent, nor can it be so long that C pointer
709 arithmetic stops working on the string plus its terminating null.
710 Although the actual size limit (see STRING_BYTES_MAX in alloc.c)
711 may be a bit smaller than STRING_BYTES_BOUND, calculating it here
712 would expose alloc.c internal details that we'd rather keep
713 private. The cast to ptrdiff_t ensures that STRING_BYTES_BOUND is
714 signed. */
715 #define STRING_BYTES_BOUND \
716 min (MOST_POSITIVE_FIXNUM, (ptrdiff_t) min (SIZE_MAX, PTRDIFF_MAX) - 1)
717
718 /* Mark STR as a unibyte string. */
719 #define STRING_SET_UNIBYTE(STR) \
720 do { if (EQ (STR, empty_multibyte_string)) \
721 (STR) = empty_unibyte_string; \
722 else XSTRING (STR)->size_byte = -1; } while (0)
723
724 /* Mark STR as a multibyte string. Assure that STR contains only
725 ASCII characters in advance. */
726 #define STRING_SET_MULTIBYTE(STR) \
727 do { if (EQ (STR, empty_unibyte_string)) \
728 (STR) = empty_multibyte_string; \
729 else XSTRING (STR)->size_byte = XSTRING (STR)->size; } while (0)
730
731 /* Get text properties. */
732 #define STRING_INTERVALS(STR) (XSTRING (STR)->intervals + 0)
733
734 /* Set text properties. */
735 #define STRING_SET_INTERVALS(STR, INT) (XSTRING (STR)->intervals = (INT))
736
737 /* In a string or vector, the sign bit of the `size' is the gc mark bit. */
738
739 struct Lisp_String
740 {
741 ptrdiff_t size;
742 ptrdiff_t size_byte;
743 INTERVAL intervals; /* Text properties in this string. */
744 unsigned char *data;
745 };
746
747 /* Header of vector-like objects. This documents the layout constraints on
748 vectors and pseudovectors other than struct Lisp_Subr. It also prevents
749 compilers from being fooled by Emacs's type punning: the XSETPSEUDOVECTOR
750 and PSEUDOVECTORP macros cast their pointers to struct vectorlike_header *,
751 because when two such pointers potentially alias, a compiler won't
752 incorrectly reorder loads and stores to their size fields. See
753 <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8546>. */
754 struct vectorlike_header
755 {
756 /* This field contains various pieces of information:
757 - The MSB (ARRAY_MARK_FLAG) holds the gcmarkbit.
758 - The next bit (PSEUDOVECTOR_FLAG) indicates whether this is a plain
759 vector (0) or a pseudovector (1).
760 - If PSEUDOVECTOR_FLAG is 0, the rest holds the size (number
761 of slots) of the vector.
762 - If PSEUDOVECTOR_FLAG is 1, the rest is subdivided into
763 a "pvec type" tag held in PVEC_TYPE_MASK and a size held in the lowest
764 PSEUDOVECTOR_SIZE_BITS. That size normally indicates the number of
765 Lisp_Object slots at the beginning of the object that need to be
766 traced by the GC, tho some types use it slightly differently.
767 - E.g. if the pvec type is PVEC_FREE it means this is an unallocated
768 vector on a free-list and PSEUDOVECTOR_SIZE_BITS indicates its size
769 in bytes. */
770 ptrdiff_t size;
771
772 /* When the vector is allocated from a vector block, NBYTES is used
773 if the vector is not on a free list, and VECTOR is used otherwise.
774 For large vector-like objects, BUFFER or VECTOR is used as a pointer
775 to the next vector-like object. It is generally a buffer or a
776 Lisp_Vector alias, so for convenience it is a union instead of a
777 pointer: this way, one can write P->next.vector instead of ((struct
778 Lisp_Vector *) P->next). */
779 union {
780 /* This is only needed for small vectors that are not free because the
781 `size' field only gives us the number of Lisp_Object slots, whereas we
782 need to know the total size, including non-Lisp_Object data.
783 FIXME: figure out a way to store this info elsewhere so we can
784 finally get rid of this extra word of overhead. */
785 ptrdiff_t nbytes;
786 struct buffer *buffer;
787 /* FIXME: This can be removed: For large vectors, this field could be
788 placed *before* the vector itself. And for small vectors on a free
789 list, this field could be stored in the vector's bytes, since the
790 empty vector is handled specially anyway. */
791 struct Lisp_Vector *vector;
792 } next;
793 };
794
795 struct Lisp_Vector
796 {
797 struct vectorlike_header header;
798 Lisp_Object contents[1];
799 };
800
801 /* If a struct is made to look like a vector, this macro returns the length
802 of the shortest vector that would hold that struct. */
803 #define VECSIZE(type) ((sizeof (type) \
804 - offsetof (struct Lisp_Vector, contents[0]) \
805 + sizeof (Lisp_Object) - 1) /* Round up. */ \
806 / sizeof (Lisp_Object))
807
808 /* Like VECSIZE, but used when the pseudo-vector has non-Lisp_Object fields
809 at the end and we need to compute the number of Lisp_Object fields (the
810 ones that the GC needs to trace). */
811 #define PSEUDOVECSIZE(type, nonlispfield) \
812 ((offsetof (type, nonlispfield) - offsetof (struct Lisp_Vector, contents[0])) \
813 / sizeof (Lisp_Object))
814
815 /* A char-table is a kind of vectorlike, with contents are like a
816 vector but with a few other slots. For some purposes, it makes
817 sense to handle a char-table with type struct Lisp_Vector. An
818 element of a char table can be any Lisp objects, but if it is a sub
819 char-table, we treat it a table that contains information of a
820 specific range of characters. A sub char-table has the same
821 structure as a vector. A sub char table appears only in an element
822 of a char-table, and there's no way to access it directly from
823 Emacs Lisp program. */
824
825 /* This is the number of slots that every char table must have. This
826 counts the ordinary slots and the top, defalt, parent, and purpose
827 slots. */
828 #define CHAR_TABLE_STANDARD_SLOTS (VECSIZE (struct Lisp_Char_Table) - 1)
829
830 /* Return the number of "extra" slots in the char table CT. */
831
832 #define CHAR_TABLE_EXTRA_SLOTS(CT) \
833 (((CT)->header.size & PSEUDOVECTOR_SIZE_MASK) - CHAR_TABLE_STANDARD_SLOTS)
834
835 #ifdef __GNUC__
836
837 #define CHAR_TABLE_REF_ASCII(CT, IDX) \
838 ({struct Lisp_Char_Table *_tbl = NULL; \
839 Lisp_Object _val; \
840 do { \
841 _tbl = _tbl ? XCHAR_TABLE (_tbl->parent) : XCHAR_TABLE (CT); \
842 _val = (! SUB_CHAR_TABLE_P (_tbl->ascii) ? _tbl->ascii \
843 : XSUB_CHAR_TABLE (_tbl->ascii)->contents[IDX]); \
844 if (NILP (_val)) \
845 _val = _tbl->defalt; \
846 } while (NILP (_val) && ! NILP (_tbl->parent)); \
847 _val; })
848
849 #else /* not __GNUC__ */
850
851 #define CHAR_TABLE_REF_ASCII(CT, IDX) \
852 (! NILP (XCHAR_TABLE (CT)->ascii) \
853 ? (! SUB_CHAR_TABLE_P (XCHAR_TABLE (CT)->ascii) \
854 ? XCHAR_TABLE (CT)->ascii \
855 : ! NILP (XSUB_CHAR_TABLE (XCHAR_TABLE (CT)->ascii)->contents[IDX]) \
856 ? XSUB_CHAR_TABLE (XCHAR_TABLE (CT)->ascii)->contents[IDX] \
857 : char_table_ref ((CT), (IDX))) \
858 : char_table_ref ((CT), (IDX)))
859
860 #endif /* not __GNUC__ */
861
862 /* Compute A OP B, using the unsigned comparison operator OP. A and B
863 should be integer expressions. This is not the same as
864 mathematical comparison; for example, UNSIGNED_CMP (0, <, -1)
865 returns 1. For efficiency, prefer plain unsigned comparison if A
866 and B's sizes both fit (after integer promotion). */
867 #define UNSIGNED_CMP(a, op, b) \
868 (max (sizeof ((a) + 0), sizeof ((b) + 0)) <= sizeof (unsigned) \
869 ? ((a) + (unsigned) 0) op ((b) + (unsigned) 0) \
870 : ((a) + (uintmax_t) 0) op ((b) + (uintmax_t) 0))
871
872 /* Nonzero iff C is an ASCII character. */
873 #define ASCII_CHAR_P(c) UNSIGNED_CMP (c, <, 0x80)
874
875 /* Almost equivalent to Faref (CT, IDX) with optimization for ASCII
876 characters. Do not check validity of CT. */
877 #define CHAR_TABLE_REF(CT, IDX) \
878 (ASCII_CHAR_P (IDX) ? CHAR_TABLE_REF_ASCII ((CT), (IDX)) \
879 : char_table_ref ((CT), (IDX)))
880
881 /* Almost equivalent to Faref (CT, IDX). However, if the result is
882 not a character, return IDX.
883
884 For these characters, do not check validity of CT
885 and do not follow parent. */
886 #define CHAR_TABLE_TRANSLATE(CT, IDX) \
887 char_table_translate (CT, IDX)
888
889 /* Equivalent to Faset (CT, IDX, VAL) with optimization for ASCII and
890 8-bit European characters. Do not check validity of CT. */
891 #define CHAR_TABLE_SET(CT, IDX, VAL) \
892 (ASCII_CHAR_P (IDX) && SUB_CHAR_TABLE_P (XCHAR_TABLE (CT)->ascii) \
893 ? XSUB_CHAR_TABLE (XCHAR_TABLE (CT)->ascii)->contents[IDX] = VAL \
894 : char_table_set (CT, IDX, VAL))
895
896 #define CHARTAB_SIZE_BITS_0 6
897 #define CHARTAB_SIZE_BITS_1 4
898 #define CHARTAB_SIZE_BITS_2 5
899 #define CHARTAB_SIZE_BITS_3 7
900
901 extern const int chartab_size[4];
902
903 struct Lisp_Sub_Char_Table;
904
905 struct Lisp_Char_Table
906 {
907 /* HEADER.SIZE is the vector's size field, which also holds the
908 pseudovector type information. It holds the size, too.
909 The size counts the defalt, parent, purpose, ascii,
910 contents, and extras slots. */
911 struct vectorlike_header header;
912
913 /* This holds a default value,
914 which is used whenever the value for a specific character is nil. */
915 Lisp_Object defalt;
916
917 /* This points to another char table, which we inherit from when the
918 value for a specific character is nil. The `defalt' slot takes
919 precedence over this. */
920 Lisp_Object parent;
921
922 /* This is a symbol which says what kind of use this char-table is
923 meant for. */
924 Lisp_Object purpose;
925
926 /* The bottom sub char-table for characters of the range 0..127. It
927 is nil if none of ASCII character has a specific value. */
928 Lisp_Object ascii;
929
930 Lisp_Object contents[(1 << CHARTAB_SIZE_BITS_0)];
931
932 /* These hold additional data. It is a vector. */
933 Lisp_Object extras[1];
934 };
935
936 struct Lisp_Sub_Char_Table
937 {
938 /* HEADER.SIZE is the vector's size field, which also holds the
939 pseudovector type information. It holds the size, too. */
940 struct vectorlike_header header;
941
942 /* Depth of this sub char-table. It should be 1, 2, or 3. A sub
943 char-table of depth 1 contains 16 elements, and each element
944 covers 4096 (128*32) characters. A sub char-table of depth 2
945 contains 32 elements, and each element covers 128 characters. A
946 sub char-table of depth 3 contains 128 elements, and each element
947 is for one character. */
948 Lisp_Object depth;
949
950 /* Minimum character covered by the sub char-table. */
951 Lisp_Object min_char;
952
953 Lisp_Object contents[1];
954 };
955
956 /* A boolvector is a kind of vectorlike, with contents are like a string. */
957 struct Lisp_Bool_Vector
958 {
959 /* HEADER.SIZE is the vector's size field. It doesn't have the real size,
960 just the subtype information. */
961 struct vectorlike_header header;
962 /* This is the size in bits. */
963 EMACS_INT size;
964 /* This contains the actual bits, packed into bytes. */
965 unsigned char data[1];
966 };
967
968 /* This structure describes a built-in function.
969 It is generated by the DEFUN macro only.
970 defsubr makes it into a Lisp object.
971
972 This type is treated in most respects as a pseudovector,
973 but since we never dynamically allocate or free them,
974 we don't need a struct vectorlike_header and its 'next' field. */
975
976 struct Lisp_Subr
977 {
978 ptrdiff_t size;
979 union {
980 Lisp_Object (*a0) (void);
981 Lisp_Object (*a1) (Lisp_Object);
982 Lisp_Object (*a2) (Lisp_Object, Lisp_Object);
983 Lisp_Object (*a3) (Lisp_Object, Lisp_Object, Lisp_Object);
984 Lisp_Object (*a4) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
985 Lisp_Object (*a5) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
986 Lisp_Object (*a6) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
987 Lisp_Object (*a7) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
988 Lisp_Object (*a8) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
989 Lisp_Object (*aUNEVALLED) (Lisp_Object args);
990 Lisp_Object (*aMANY) (ptrdiff_t, Lisp_Object *);
991 } function;
992 short min_args, max_args;
993 const char *symbol_name;
994 const char *intspec;
995 const char *doc;
996 };
997
998 \f
999 /***********************************************************************
1000 Symbols
1001 ***********************************************************************/
1002
1003 /* Interned state of a symbol. */
1004
1005 enum symbol_interned
1006 {
1007 SYMBOL_UNINTERNED = 0,
1008 SYMBOL_INTERNED = 1,
1009 SYMBOL_INTERNED_IN_INITIAL_OBARRAY = 2
1010 };
1011
1012 enum symbol_redirect
1013 {
1014 SYMBOL_PLAINVAL = 4,
1015 SYMBOL_VARALIAS = 1,
1016 SYMBOL_LOCALIZED = 2,
1017 SYMBOL_FORWARDED = 3
1018 };
1019
1020 struct Lisp_Symbol
1021 {
1022 unsigned gcmarkbit : 1;
1023
1024 /* Indicates where the value can be found:
1025 0 : it's a plain var, the value is in the `value' field.
1026 1 : it's a varalias, the value is really in the `alias' symbol.
1027 2 : it's a localized var, the value is in the `blv' object.
1028 3 : it's a forwarding variable, the value is in `forward'. */
1029 ENUM_BF (symbol_redirect) redirect : 3;
1030
1031 /* Non-zero means symbol is constant, i.e. changing its value
1032 should signal an error. If the value is 3, then the var
1033 can be changed, but only by `defconst'. */
1034 unsigned constant : 2;
1035
1036 /* Interned state of the symbol. This is an enumerator from
1037 enum symbol_interned. */
1038 unsigned interned : 2;
1039
1040 /* Non-zero means that this variable has been explicitly declared
1041 special (with `defvar' etc), and shouldn't be lexically bound. */
1042 unsigned declared_special : 1;
1043
1044 /* The symbol's name, as a Lisp string.
1045 The name "xname" is used to intentionally break code referring to
1046 the old field "name" of type pointer to struct Lisp_String. */
1047 Lisp_Object xname;
1048
1049 /* Value of the symbol or Qunbound if unbound. Which alternative of the
1050 union is used depends on the `redirect' field above. */
1051 union {
1052 Lisp_Object value;
1053 struct Lisp_Symbol *alias;
1054 struct Lisp_Buffer_Local_Value *blv;
1055 union Lisp_Fwd *fwd;
1056 } val;
1057
1058 /* Function value of the symbol or Qunbound if not fboundp. */
1059 Lisp_Object function;
1060
1061 /* The symbol's property list. */
1062 Lisp_Object plist;
1063
1064 /* Next symbol in obarray bucket, if the symbol is interned. */
1065 struct Lisp_Symbol *next;
1066 };
1067
1068 /* Value is name of symbol. */
1069
1070 #define SYMBOL_VAL(sym) \
1071 (eassert ((sym)->redirect == SYMBOL_PLAINVAL), (sym)->val.value)
1072 #define SYMBOL_ALIAS(sym) \
1073 (eassert ((sym)->redirect == SYMBOL_VARALIAS), (sym)->val.alias)
1074 #define SYMBOL_BLV(sym) \
1075 (eassert ((sym)->redirect == SYMBOL_LOCALIZED), (sym)->val.blv)
1076 #define SYMBOL_FWD(sym) \
1077 (eassert ((sym)->redirect == SYMBOL_FORWARDED), (sym)->val.fwd)
1078 #define SET_SYMBOL_VAL(sym, v) \
1079 (eassert ((sym)->redirect == SYMBOL_PLAINVAL), (sym)->val.value = (v))
1080 #define SET_SYMBOL_ALIAS(sym, v) \
1081 (eassert ((sym)->redirect == SYMBOL_VARALIAS), (sym)->val.alias = (v))
1082 #define SET_SYMBOL_BLV(sym, v) \
1083 (eassert ((sym)->redirect == SYMBOL_LOCALIZED), (sym)->val.blv = (v))
1084 #define SET_SYMBOL_FWD(sym, v) \
1085 (eassert ((sym)->redirect == SYMBOL_FORWARDED), (sym)->val.fwd = (v))
1086
1087 #define SYMBOL_NAME(sym) \
1088 LISP_MAKE_RVALUE (XSYMBOL (sym)->xname)
1089
1090 /* Value is non-zero if SYM is an interned symbol. */
1091
1092 #define SYMBOL_INTERNED_P(sym) \
1093 (XSYMBOL (sym)->interned != SYMBOL_UNINTERNED)
1094
1095 /* Value is non-zero if SYM is interned in initial_obarray. */
1096
1097 #define SYMBOL_INTERNED_IN_INITIAL_OBARRAY_P(sym) \
1098 (XSYMBOL (sym)->interned == SYMBOL_INTERNED_IN_INITIAL_OBARRAY)
1099
1100 /* Value is non-zero if symbol is considered a constant, i.e. its
1101 value cannot be changed (there is an exception for keyword symbols,
1102 whose value can be set to the keyword symbol itself). */
1103
1104 #define SYMBOL_CONSTANT_P(sym) XSYMBOL (sym)->constant
1105
1106 #define DEFSYM(sym, name) \
1107 do { (sym) = intern_c_string ((name)); staticpro (&(sym)); } while (0)
1108
1109 \f
1110 /***********************************************************************
1111 Hash Tables
1112 ***********************************************************************/
1113
1114 /* The structure of a Lisp hash table. */
1115
1116 struct Lisp_Hash_Table
1117 {
1118 /* This is for Lisp; the hash table code does not refer to it. */
1119 struct vectorlike_header header;
1120
1121 /* Function used to compare keys. */
1122 Lisp_Object test;
1123
1124 /* Nil if table is non-weak. Otherwise a symbol describing the
1125 weakness of the table. */
1126 Lisp_Object weak;
1127
1128 /* When the table is resized, and this is an integer, compute the
1129 new size by adding this to the old size. If a float, compute the
1130 new size by multiplying the old size with this factor. */
1131 Lisp_Object rehash_size;
1132
1133 /* Resize hash table when number of entries/ table size is >= this
1134 ratio, a float. */
1135 Lisp_Object rehash_threshold;
1136
1137 /* Vector of hash codes.. If hash[I] is nil, this means that that
1138 entry I is unused. */
1139 Lisp_Object hash;
1140
1141 /* Vector used to chain entries. If entry I is free, next[I] is the
1142 entry number of the next free item. If entry I is non-free,
1143 next[I] is the index of the next entry in the collision chain. */
1144 Lisp_Object next;
1145
1146 /* Index of first free entry in free list. */
1147 Lisp_Object next_free;
1148
1149 /* Bucket vector. A non-nil entry is the index of the first item in
1150 a collision chain. This vector's size can be larger than the
1151 hash table size to reduce collisions. */
1152 Lisp_Object index;
1153
1154 /* User-supplied hash function, or nil. */
1155 Lisp_Object user_hash_function;
1156
1157 /* User-supplied key comparison function, or nil. */
1158 Lisp_Object user_cmp_function;
1159
1160 /* Only the fields above are traced normally by the GC. The ones below
1161 `count' are special and are either ignored by the GC or traced in
1162 a special way (e.g. because of weakness). */
1163
1164 /* Number of key/value entries in the table. */
1165 ptrdiff_t count;
1166
1167 /* Vector of keys and values. The key of item I is found at index
1168 2 * I, the value is found at index 2 * I + 1.
1169 This is gc_marked specially if the table is weak. */
1170 Lisp_Object key_and_value;
1171
1172 /* Next weak hash table if this is a weak hash table. The head
1173 of the list is in weak_hash_tables. */
1174 struct Lisp_Hash_Table *next_weak;
1175
1176 /* C function to compare two keys. */
1177 int (*cmpfn) (struct Lisp_Hash_Table *,
1178 Lisp_Object, EMACS_UINT,
1179 Lisp_Object, EMACS_UINT);
1180
1181 /* C function to compute hash code. */
1182 EMACS_UINT (*hashfn) (struct Lisp_Hash_Table *, Lisp_Object);
1183 };
1184
1185
1186 #define XHASH_TABLE(OBJ) \
1187 ((struct Lisp_Hash_Table *) XUNTAG (OBJ, Lisp_Vectorlike))
1188
1189 #define XSET_HASH_TABLE(VAR, PTR) \
1190 (XSETPSEUDOVECTOR (VAR, PTR, PVEC_HASH_TABLE))
1191
1192 #define HASH_TABLE_P(OBJ) PSEUDOVECTORP (OBJ, PVEC_HASH_TABLE)
1193
1194 #define CHECK_HASH_TABLE(x) \
1195 CHECK_TYPE (HASH_TABLE_P (x), Qhash_table_p, x)
1196
1197 /* Value is the key part of entry IDX in hash table H. */
1198
1199 #define HASH_KEY(H, IDX) AREF ((H)->key_and_value, 2 * (IDX))
1200
1201 /* Value is the value part of entry IDX in hash table H. */
1202
1203 #define HASH_VALUE(H, IDX) AREF ((H)->key_and_value, 2 * (IDX) + 1)
1204
1205 /* Value is the index of the next entry following the one at IDX
1206 in hash table H. */
1207
1208 #define HASH_NEXT(H, IDX) AREF ((H)->next, (IDX))
1209
1210 /* Value is the hash code computed for entry IDX in hash table H. */
1211
1212 #define HASH_HASH(H, IDX) AREF ((H)->hash, (IDX))
1213
1214 /* Value is the index of the element in hash table H that is the
1215 start of the collision list at index IDX in the index vector of H. */
1216
1217 #define HASH_INDEX(H, IDX) AREF ((H)->index, (IDX))
1218
1219 /* Value is the size of hash table H. */
1220
1221 #define HASH_TABLE_SIZE(H) ASIZE ((H)->next)
1222
1223 /* Default size for hash tables if not specified. */
1224
1225 #define DEFAULT_HASH_SIZE 65
1226
1227 /* Default threshold specifying when to resize a hash table. The
1228 value gives the ratio of current entries in the hash table and the
1229 size of the hash table. */
1230
1231 #define DEFAULT_REHASH_THRESHOLD 0.8
1232
1233 /* Default factor by which to increase the size of a hash table. */
1234
1235 #define DEFAULT_REHASH_SIZE 1.5
1236
1237 \f
1238 /* These structures are used for various misc types. */
1239
1240 struct Lisp_Misc_Any /* Supertype of all Misc types. */
1241 {
1242 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_??? */
1243 unsigned gcmarkbit : 1;
1244 int spacer : 15;
1245 };
1246
1247 struct Lisp_Marker
1248 {
1249 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_Marker */
1250 unsigned gcmarkbit : 1;
1251 int spacer : 13;
1252 /* This flag is temporarily used in the functions
1253 decode/encode_coding_object to record that the marker position
1254 must be adjusted after the conversion. */
1255 unsigned int need_adjustment : 1;
1256 /* 1 means normal insertion at the marker's position
1257 leaves the marker after the inserted text. */
1258 unsigned int insertion_type : 1;
1259 /* This is the buffer that the marker points into, or 0 if it points nowhere.
1260 Note: a chain of markers can contain markers pointing into different
1261 buffers (the chain is per buffer_text rather than per buffer, so it's
1262 shared between indirect buffers). */
1263 /* This is used for (other than NULL-checking):
1264 - Fmarker_buffer
1265 - Fset_marker: check eq(oldbuf, newbuf) to avoid unchain+rechain.
1266 - unchain_marker: to find the list from which to unchain.
1267 - Fkill_buffer: to only unchain the markers of current indirect buffer.
1268 */
1269 struct buffer *buffer;
1270
1271 /* The remaining fields are meaningless in a marker that
1272 does not point anywhere. */
1273
1274 /* For markers that point somewhere,
1275 this is used to chain of all the markers in a given buffer. */
1276 /* We could remove it and use an array in buffer_text instead.
1277 That would also allow to preserve it ordered. */
1278 struct Lisp_Marker *next;
1279 /* This is the char position where the marker points. */
1280 ptrdiff_t charpos;
1281 /* This is the byte position.
1282 It's mostly used as a charpos<->bytepos cache (i.e. it's not directly
1283 used to implement the functionality of markers, but rather to (ab)use
1284 markers as a cache for char<->byte mappings). */
1285 ptrdiff_t bytepos;
1286 };
1287
1288 /* START and END are markers in the overlay's buffer, and
1289 PLIST is the overlay's property list. */
1290 struct Lisp_Overlay
1291 /* An overlay's real data content is:
1292 - plist
1293 - buffer (really there are two buffer pointers, one per marker,
1294 and both points to the same buffer)
1295 - insertion type of both ends (per-marker fields)
1296 - start & start byte (of start marker)
1297 - end & end byte (of end marker)
1298 - next (singly linked list of overlays)
1299 - next fields of start and end markers (singly linked list of markers).
1300 I.e. 9words plus 2 bits, 3words of which are for external linked lists.
1301 */
1302 {
1303 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_Overlay */
1304 unsigned gcmarkbit : 1;
1305 int spacer : 15;
1306 struct Lisp_Overlay *next;
1307 Lisp_Object start, end, plist;
1308 };
1309
1310 /* Hold a C pointer for later use.
1311 This type of object is used in the arg to record_unwind_protect. */
1312 struct Lisp_Save_Value
1313 {
1314 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_Save_Value */
1315 unsigned gcmarkbit : 1;
1316 int spacer : 14;
1317 /* If DOGC is set, POINTER is the address of a memory
1318 area containing INTEGER potential Lisp_Objects. */
1319 unsigned int dogc : 1;
1320 void *pointer;
1321 ptrdiff_t integer;
1322 };
1323
1324
1325 /* A miscellaneous object, when it's on the free list. */
1326 struct Lisp_Free
1327 {
1328 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_Free */
1329 unsigned gcmarkbit : 1;
1330 int spacer : 15;
1331 union Lisp_Misc *chain;
1332 };
1333
1334 /* To get the type field of a union Lisp_Misc, use XMISCTYPE.
1335 It uses one of these struct subtypes to get the type field. */
1336
1337 union Lisp_Misc
1338 {
1339 struct Lisp_Misc_Any u_any; /* Supertype of all Misc types. */
1340 struct Lisp_Free u_free;
1341 struct Lisp_Marker u_marker;
1342 struct Lisp_Overlay u_overlay;
1343 struct Lisp_Save_Value u_save_value;
1344 };
1345
1346 /* Forwarding pointer to an int variable.
1347 This is allowed only in the value cell of a symbol,
1348 and it means that the symbol's value really lives in the
1349 specified int variable. */
1350 struct Lisp_Intfwd
1351 {
1352 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Int */
1353 EMACS_INT *intvar;
1354 };
1355
1356 /* Boolean forwarding pointer to an int variable.
1357 This is like Lisp_Intfwd except that the ostensible
1358 "value" of the symbol is t if the int variable is nonzero,
1359 nil if it is zero. */
1360 struct Lisp_Boolfwd
1361 {
1362 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Bool */
1363 int *boolvar;
1364 };
1365
1366 /* Forwarding pointer to a Lisp_Object variable.
1367 This is allowed only in the value cell of a symbol,
1368 and it means that the symbol's value really lives in the
1369 specified variable. */
1370 struct Lisp_Objfwd
1371 {
1372 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Obj */
1373 Lisp_Object *objvar;
1374 };
1375
1376 /* Like Lisp_Objfwd except that value lives in a slot in the
1377 current buffer. Value is byte index of slot within buffer. */
1378 struct Lisp_Buffer_Objfwd
1379 {
1380 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Buffer_Obj */
1381 int offset;
1382 Lisp_Object slottype; /* Qnil, Lisp_Int, Lisp_Symbol, or Lisp_String. */
1383 };
1384
1385 /* struct Lisp_Buffer_Local_Value is used in a symbol value cell when
1386 the symbol has buffer-local or frame-local bindings. (Exception:
1387 some buffer-local variables are built-in, with their values stored
1388 in the buffer structure itself. They are handled differently,
1389 using struct Lisp_Buffer_Objfwd.)
1390
1391 The `realvalue' slot holds the variable's current value, or a
1392 forwarding pointer to where that value is kept. This value is the
1393 one that corresponds to the loaded binding. To read or set the
1394 variable, you must first make sure the right binding is loaded;
1395 then you can access the value in (or through) `realvalue'.
1396
1397 `buffer' and `frame' are the buffer and frame for which the loaded
1398 binding was found. If those have changed, to make sure the right
1399 binding is loaded it is necessary to find which binding goes with
1400 the current buffer and selected frame, then load it. To load it,
1401 first unload the previous binding, then copy the value of the new
1402 binding into `realvalue' (or through it). Also update
1403 LOADED-BINDING to point to the newly loaded binding.
1404
1405 `local_if_set' indicates that merely setting the variable creates a
1406 local binding for the current buffer. Otherwise the latter, setting
1407 the variable does not do that; only make-local-variable does that. */
1408
1409 struct Lisp_Buffer_Local_Value
1410 {
1411 /* 1 means that merely setting the variable creates a local
1412 binding for the current buffer. */
1413 unsigned int local_if_set : 1;
1414 /* 1 means this variable can have frame-local bindings, otherwise, it is
1415 can have buffer-local bindings. The two cannot be combined. */
1416 unsigned int frame_local : 1;
1417 /* 1 means that the binding now loaded was found.
1418 Presumably equivalent to (defcell!=valcell). */
1419 unsigned int found : 1;
1420 /* If non-NULL, a forwarding to the C var where it should also be set. */
1421 union Lisp_Fwd *fwd; /* Should never be (Buffer|Kboard)_Objfwd. */
1422 /* The buffer or frame for which the loaded binding was found. */
1423 Lisp_Object where;
1424 /* A cons cell that holds the default value. It has the form
1425 (SYMBOL . DEFAULT-VALUE). */
1426 Lisp_Object defcell;
1427 /* The cons cell from `where's parameter alist.
1428 It always has the form (SYMBOL . VALUE)
1429 Note that if `forward' is non-nil, VALUE may be out of date.
1430 Also if the currently loaded binding is the default binding, then
1431 this is `eq'ual to defcell. */
1432 Lisp_Object valcell;
1433 };
1434
1435 #define BLV_FOUND(blv) \
1436 (eassert ((blv)->found == !EQ ((blv)->defcell, (blv)->valcell)), (blv)->found)
1437 #define SET_BLV_FOUND(blv, v) \
1438 (eassert ((v) == !EQ ((blv)->defcell, (blv)->valcell)), (blv)->found = (v))
1439
1440 #define BLV_VALUE(blv) (XCDR ((blv)->valcell))
1441 #define SET_BLV_VALUE(blv, v) (XSETCDR ((blv)->valcell, v))
1442
1443 /* Like Lisp_Objfwd except that value lives in a slot in the
1444 current kboard. */
1445 struct Lisp_Kboard_Objfwd
1446 {
1447 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Kboard_Obj */
1448 int offset;
1449 };
1450
1451 union Lisp_Fwd
1452 {
1453 struct Lisp_Intfwd u_intfwd;
1454 struct Lisp_Boolfwd u_boolfwd;
1455 struct Lisp_Objfwd u_objfwd;
1456 struct Lisp_Buffer_Objfwd u_buffer_objfwd;
1457 struct Lisp_Kboard_Objfwd u_kboard_objfwd;
1458 };
1459 \f
1460 /* Lisp floating point type. */
1461 struct Lisp_Float
1462 {
1463 union
1464 {
1465 #ifdef HIDE_LISP_IMPLEMENTATION
1466 double data_;
1467 #else
1468 double data;
1469 #endif
1470 struct Lisp_Float *chain;
1471 } u;
1472 };
1473
1474 #ifdef HIDE_LISP_IMPLEMENTATION
1475 #define XFLOAT_DATA(f) (0 ? XFLOAT (f)->u.data_ : XFLOAT (f)->u.data_)
1476 #else
1477 #define XFLOAT_DATA(f) (0 ? XFLOAT (f)->u.data : XFLOAT (f)->u.data)
1478 /* This should be used only in alloc.c, which always disables
1479 HIDE_LISP_IMPLEMENTATION. */
1480 #define XFLOAT_INIT(f,n) (XFLOAT (f)->u.data = (n))
1481 #endif
1482
1483 /* A character, declared with the following typedef, is a member
1484 of some character set associated with the current buffer. */
1485 #ifndef _UCHAR_T /* Protect against something in ctab.h on AIX. */
1486 #define _UCHAR_T
1487 typedef unsigned char UCHAR;
1488 #endif
1489
1490 /* Meanings of slots in a Lisp_Compiled: */
1491
1492 #define COMPILED_ARGLIST 0
1493 #define COMPILED_BYTECODE 1
1494 #define COMPILED_CONSTANTS 2
1495 #define COMPILED_STACK_DEPTH 3
1496 #define COMPILED_DOC_STRING 4
1497 #define COMPILED_INTERACTIVE 5
1498
1499 /* Flag bits in a character. These also get used in termhooks.h.
1500 Richard Stallman <rms@gnu.ai.mit.edu> thinks that MULE
1501 (MUlti-Lingual Emacs) might need 22 bits for the character value
1502 itself, so we probably shouldn't use any bits lower than 0x0400000. */
1503 #define CHAR_ALT (0x0400000)
1504 #define CHAR_SUPER (0x0800000)
1505 #define CHAR_HYPER (0x1000000)
1506 #define CHAR_SHIFT (0x2000000)
1507 #define CHAR_CTL (0x4000000)
1508 #define CHAR_META (0x8000000)
1509
1510 #define CHAR_MODIFIER_MASK \
1511 (CHAR_ALT | CHAR_SUPER | CHAR_HYPER | CHAR_SHIFT | CHAR_CTL | CHAR_META)
1512
1513
1514 /* Actually, the current Emacs uses 22 bits for the character value
1515 itself. */
1516 #define CHARACTERBITS 22
1517
1518 \f
1519 /* The glyph datatype, used to represent characters on the display.
1520 It consists of a char code and a face id. */
1521
1522 typedef struct {
1523 int ch;
1524 int face_id;
1525 } GLYPH;
1526
1527 /* Return a glyph's character code. */
1528 #define GLYPH_CHAR(glyph) ((glyph).ch)
1529
1530 /* Return a glyph's face ID. */
1531 #define GLYPH_FACE(glyph) ((glyph).face_id)
1532
1533 #define SET_GLYPH_CHAR(glyph, char) ((glyph).ch = (char))
1534 #define SET_GLYPH_FACE(glyph, face) ((glyph).face_id = (face))
1535 #define SET_GLYPH(glyph, char, face) ((glyph).ch = (char), (glyph).face_id = (face))
1536
1537 /* Return 1 if GLYPH contains valid character code. */
1538 #define GLYPH_CHAR_VALID_P(glyph) CHAR_VALID_P (GLYPH_CHAR (glyph))
1539
1540
1541 /* Glyph Code from a display vector may either be an integer which
1542 encodes a char code in the lower CHARACTERBITS bits and a (very small)
1543 face-id in the upper bits, or it may be a cons (CHAR . FACE-ID). */
1544
1545 #define GLYPH_CODE_P(gc) \
1546 (CONSP (gc) \
1547 ? (CHARACTERP (XCAR (gc)) \
1548 && RANGED_INTEGERP (0, XCDR (gc), MAX_FACE_ID)) \
1549 : (RANGED_INTEGERP \
1550 (0, gc, \
1551 (MAX_FACE_ID < TYPE_MAXIMUM (EMACS_INT) >> CHARACTERBITS \
1552 ? ((EMACS_INT) MAX_FACE_ID << CHARACTERBITS) | MAX_CHAR \
1553 : TYPE_MAXIMUM (EMACS_INT)))))
1554
1555 /* The following are valid only if GLYPH_CODE_P (gc). */
1556
1557 #define GLYPH_CODE_CHAR(gc) \
1558 (CONSP (gc) ? XINT (XCAR (gc)) : XINT (gc) & ((1 << CHARACTERBITS) - 1))
1559
1560 #define GLYPH_CODE_FACE(gc) \
1561 (CONSP (gc) ? XINT (XCDR (gc)) : XINT (gc) >> CHARACTERBITS)
1562
1563 #define SET_GLYPH_FROM_GLYPH_CODE(glyph, gc) \
1564 do \
1565 { \
1566 if (CONSP (gc)) \
1567 SET_GLYPH (glyph, XINT (XCAR (gc)), XINT (XCDR (gc))); \
1568 else \
1569 SET_GLYPH (glyph, (XINT (gc) & ((1 << CHARACTERBITS)-1)), \
1570 (XINT (gc) >> CHARACTERBITS)); \
1571 } \
1572 while (0)
1573
1574 /* The ID of the mode line highlighting face. */
1575 #define GLYPH_MODE_LINE_FACE 1
1576 \f
1577 /* Structure to hold mouse highlight data. This is here because other
1578 header files need it for defining struct x_output etc. */
1579 typedef struct {
1580 /* These variables describe the range of text currently shown in its
1581 mouse-face, together with the window they apply to. As long as
1582 the mouse stays within this range, we need not redraw anything on
1583 its account. Rows and columns are glyph matrix positions in
1584 MOUSE_FACE_WINDOW. */
1585 int mouse_face_beg_row, mouse_face_beg_col;
1586 int mouse_face_beg_x, mouse_face_beg_y;
1587 int mouse_face_end_row, mouse_face_end_col;
1588 int mouse_face_end_x, mouse_face_end_y;
1589 int mouse_face_past_end;
1590 Lisp_Object mouse_face_window;
1591 int mouse_face_face_id;
1592 Lisp_Object mouse_face_overlay;
1593
1594 /* 1 if a mouse motion event came and we didn't handle it right away because
1595 gc was in progress. */
1596 int mouse_face_deferred_gc;
1597
1598 /* FRAME and X, Y position of mouse when last checked for
1599 highlighting. X and Y can be negative or out of range for the frame. */
1600 struct frame *mouse_face_mouse_frame;
1601 int mouse_face_mouse_x, mouse_face_mouse_y;
1602
1603 /* Nonzero means defer mouse-motion highlighting. */
1604 int mouse_face_defer;
1605
1606 /* Nonzero means that the mouse highlight should not be shown. */
1607 int mouse_face_hidden;
1608
1609 int mouse_face_image_state;
1610 } Mouse_HLInfo;
1611 \f
1612 /* Data type checking */
1613
1614 #define NILP(x) EQ (x, Qnil)
1615
1616 #define NUMBERP(x) (INTEGERP (x) || FLOATP (x))
1617 #define NATNUMP(x) (INTEGERP (x) && XINT (x) >= 0)
1618
1619 #define RANGED_INTEGERP(lo, x, hi) \
1620 (INTEGERP (x) && (lo) <= XINT (x) && XINT (x) <= (hi))
1621 #define TYPE_RANGED_INTEGERP(type, x) \
1622 (TYPE_SIGNED (type) \
1623 ? RANGED_INTEGERP (TYPE_MINIMUM (type), x, TYPE_MAXIMUM (type)) \
1624 : RANGED_INTEGERP (0, x, TYPE_MAXIMUM (type)))
1625
1626 #define INTEGERP(x) (LISP_INT_TAG_P (XTYPE ((x))))
1627 #define SYMBOLP(x) (XTYPE ((x)) == Lisp_Symbol)
1628 #define MISCP(x) (XTYPE ((x)) == Lisp_Misc)
1629 #define VECTORLIKEP(x) (XTYPE ((x)) == Lisp_Vectorlike)
1630 #define STRINGP(x) (XTYPE ((x)) == Lisp_String)
1631 #define CONSP(x) (XTYPE ((x)) == Lisp_Cons)
1632
1633 #define FLOATP(x) (XTYPE ((x)) == Lisp_Float)
1634 #define VECTORP(x) (VECTORLIKEP (x) && !(ASIZE (x) & PSEUDOVECTOR_FLAG))
1635 #define OVERLAYP(x) (MISCP (x) && XMISCTYPE (x) == Lisp_Misc_Overlay)
1636 #define MARKERP(x) (MISCP (x) && XMISCTYPE (x) == Lisp_Misc_Marker)
1637 #define SAVE_VALUEP(x) (MISCP (x) && XMISCTYPE (x) == Lisp_Misc_Save_Value)
1638
1639 #define INTFWDP(x) (XFWDTYPE (x) == Lisp_Fwd_Int)
1640 #define BOOLFWDP(x) (XFWDTYPE (x) == Lisp_Fwd_Bool)
1641 #define OBJFWDP(x) (XFWDTYPE (x) == Lisp_Fwd_Obj)
1642 #define BUFFER_OBJFWDP(x) (XFWDTYPE (x) == Lisp_Fwd_Buffer_Obj)
1643 #define KBOARD_OBJFWDP(x) (XFWDTYPE (x) == Lisp_Fwd_Kboard_Obj)
1644
1645 /* True if object X is a pseudovector whose code is CODE. The cast to struct
1646 vectorlike_header * avoids aliasing issues. */
1647 #define PSEUDOVECTORP(x, code) \
1648 TYPED_PSEUDOVECTORP (x, vectorlike_header, code)
1649
1650 #define PSEUDOVECTOR_TYPEP(v, code) \
1651 (((v)->size & (PSEUDOVECTOR_FLAG | PVEC_TYPE_MASK)) \
1652 == (PSEUDOVECTOR_FLAG | ((code) << PSEUDOVECTOR_SIZE_BITS)))
1653
1654 /* True if object X, with internal type struct T *, is a pseudovector whose
1655 code is CODE. */
1656 #define TYPED_PSEUDOVECTORP(x, t, code) \
1657 (VECTORLIKEP (x) \
1658 && PSEUDOVECTOR_TYPEP ((struct t *) XUNTAG (x, Lisp_Vectorlike), code))
1659
1660 /* Test for specific pseudovector types. */
1661 #define WINDOW_CONFIGURATIONP(x) PSEUDOVECTORP (x, PVEC_WINDOW_CONFIGURATION)
1662 #define PROCESSP(x) PSEUDOVECTORP (x, PVEC_PROCESS)
1663 #define WINDOWP(x) PSEUDOVECTORP (x, PVEC_WINDOW)
1664 #define TERMINALP(x) PSEUDOVECTORP (x, PVEC_TERMINAL)
1665 /* SUBRP is special since Lisp_Subr lacks struct vectorlike_header. */
1666 #define SUBRP(x) TYPED_PSEUDOVECTORP (x, Lisp_Subr, PVEC_SUBR)
1667 #define COMPILEDP(x) PSEUDOVECTORP (x, PVEC_COMPILED)
1668 #define BUFFERP(x) PSEUDOVECTORP (x, PVEC_BUFFER)
1669 #define CHAR_TABLE_P(x) PSEUDOVECTORP (x, PVEC_CHAR_TABLE)
1670 #define SUB_CHAR_TABLE_P(x) PSEUDOVECTORP (x, PVEC_SUB_CHAR_TABLE)
1671 #define BOOL_VECTOR_P(x) PSEUDOVECTORP (x, PVEC_BOOL_VECTOR)
1672 #define FRAMEP(x) PSEUDOVECTORP (x, PVEC_FRAME)
1673
1674 /* Test for image (image . spec) */
1675 #define IMAGEP(x) (CONSP (x) && EQ (XCAR (x), Qimage))
1676
1677 /* Array types. */
1678
1679 #define ARRAYP(x) \
1680 (VECTORP (x) || STRINGP (x) || CHAR_TABLE_P (x) || BOOL_VECTOR_P (x))
1681 \f
1682 #define CHECK_LIST(x) \
1683 CHECK_TYPE (CONSP (x) || NILP (x), Qlistp, x)
1684
1685 #define CHECK_LIST_CONS(x, y) \
1686 CHECK_TYPE (CONSP (x), Qlistp, y)
1687
1688 #define CHECK_LIST_END(x, y) \
1689 CHECK_TYPE (NILP (x), Qlistp, y)
1690
1691 #define CHECK_STRING(x) \
1692 CHECK_TYPE (STRINGP (x), Qstringp, x)
1693
1694 #define CHECK_STRING_CAR(x) \
1695 CHECK_TYPE (STRINGP (XCAR (x)), Qstringp, XCAR (x))
1696
1697 #define CHECK_CONS(x) \
1698 CHECK_TYPE (CONSP (x), Qconsp, x)
1699
1700 #define CHECK_SYMBOL(x) \
1701 CHECK_TYPE (SYMBOLP (x), Qsymbolp, x)
1702
1703 #define CHECK_CHAR_TABLE(x) \
1704 CHECK_TYPE (CHAR_TABLE_P (x), Qchar_table_p, x)
1705
1706 #define CHECK_VECTOR(x) \
1707 CHECK_TYPE (VECTORP (x), Qvectorp, x)
1708
1709 #define CHECK_VECTOR_OR_STRING(x) \
1710 CHECK_TYPE (VECTORP (x) || STRINGP (x), Qarrayp, x)
1711
1712 #define CHECK_ARRAY(x, Qxxxp) \
1713 CHECK_TYPE (ARRAYP (x), Qxxxp, x)
1714
1715 #define CHECK_VECTOR_OR_CHAR_TABLE(x) \
1716 CHECK_TYPE (VECTORP (x) || CHAR_TABLE_P (x), Qvector_or_char_table_p, x)
1717
1718 #define CHECK_BUFFER(x) \
1719 CHECK_TYPE (BUFFERP (x), Qbufferp, x)
1720
1721 #define CHECK_WINDOW(x) \
1722 CHECK_TYPE (WINDOWP (x), Qwindowp, x)
1723
1724 #define CHECK_WINDOW_CONFIGURATION(x) \
1725 CHECK_TYPE (WINDOW_CONFIGURATIONP (x), Qwindow_configuration_p, x)
1726
1727 /* This macro rejects windows on the interior of the window tree as
1728 "dead", which is what we want; this is an argument-checking macro, and
1729 the user should never get access to interior windows.
1730
1731 A window of any sort, leaf or interior, is dead if the buffer,
1732 vchild, and hchild members are all nil. */
1733
1734 #define CHECK_LIVE_WINDOW(x) \
1735 CHECK_TYPE (WINDOWP (x) && !NILP (XWINDOW (x)->buffer), Qwindow_live_p, x)
1736
1737 #define CHECK_PROCESS(x) \
1738 CHECK_TYPE (PROCESSP (x), Qprocessp, x)
1739
1740 #define CHECK_SUBR(x) \
1741 CHECK_TYPE (SUBRP (x), Qsubrp, x)
1742
1743 #define CHECK_NUMBER(x) \
1744 CHECK_TYPE (INTEGERP (x), Qintegerp, x)
1745
1746 #define CHECK_NATNUM(x) \
1747 CHECK_TYPE (NATNUMP (x), Qwholenump, x)
1748
1749 #define CHECK_RANGED_INTEGER(x, lo, hi) \
1750 do { \
1751 CHECK_NUMBER (x); \
1752 if (! ((lo) <= XINT (x) && XINT (x) <= (hi))) \
1753 args_out_of_range_3 \
1754 (x, \
1755 make_number ((lo) < 0 && (lo) < MOST_NEGATIVE_FIXNUM \
1756 ? MOST_NEGATIVE_FIXNUM \
1757 : (lo)), \
1758 make_number (min (hi, MOST_POSITIVE_FIXNUM))); \
1759 } while (0)
1760 #define CHECK_TYPE_RANGED_INTEGER(type, x) \
1761 do { \
1762 if (TYPE_SIGNED (type)) \
1763 CHECK_RANGED_INTEGER (x, TYPE_MINIMUM (type), TYPE_MAXIMUM (type)); \
1764 else \
1765 CHECK_RANGED_INTEGER (x, 0, TYPE_MAXIMUM (type)); \
1766 } while (0)
1767
1768 #define CHECK_MARKER(x) \
1769 CHECK_TYPE (MARKERP (x), Qmarkerp, x)
1770
1771 #define CHECK_NUMBER_COERCE_MARKER(x) \
1772 do { if (MARKERP ((x))) XSETFASTINT (x, marker_position (x)); \
1773 else CHECK_TYPE (INTEGERP (x), Qinteger_or_marker_p, x); } while (0)
1774
1775 #define XFLOATINT(n) extract_float((n))
1776
1777 #define CHECK_FLOAT(x) \
1778 CHECK_TYPE (FLOATP (x), Qfloatp, x)
1779
1780 #define CHECK_NUMBER_OR_FLOAT(x) \
1781 CHECK_TYPE (FLOATP (x) || INTEGERP (x), Qnumberp, x)
1782
1783 #define CHECK_NUMBER_OR_FLOAT_COERCE_MARKER(x) \
1784 do { if (MARKERP (x)) XSETFASTINT (x, marker_position (x)); \
1785 else CHECK_TYPE (INTEGERP (x) || FLOATP (x), Qnumber_or_marker_p, x); } while (0)
1786
1787 #define CHECK_OVERLAY(x) \
1788 CHECK_TYPE (OVERLAYP (x), Qoverlayp, x)
1789
1790 /* Since we can't assign directly to the CAR or CDR fields of a cons
1791 cell, use these when checking that those fields contain numbers. */
1792 #define CHECK_NUMBER_CAR(x) \
1793 do { \
1794 Lisp_Object tmp = XCAR (x); \
1795 CHECK_NUMBER (tmp); \
1796 XSETCAR ((x), tmp); \
1797 } while (0)
1798
1799 #define CHECK_NUMBER_CDR(x) \
1800 do { \
1801 Lisp_Object tmp = XCDR (x); \
1802 CHECK_NUMBER (tmp); \
1803 XSETCDR ((x), tmp); \
1804 } while (0)
1805
1806 #define CHECK_NATNUM_CAR(x) \
1807 do { \
1808 Lisp_Object tmp = XCAR (x); \
1809 CHECK_NATNUM (tmp); \
1810 XSETCAR ((x), tmp); \
1811 } while (0)
1812
1813 #define CHECK_NATNUM_CDR(x) \
1814 do { \
1815 Lisp_Object tmp = XCDR (x); \
1816 CHECK_NATNUM (tmp); \
1817 XSETCDR ((x), tmp); \
1818 } while (0)
1819 \f
1820 /* Define a built-in function for calling from Lisp.
1821 `lname' should be the name to give the function in Lisp,
1822 as a null-terminated C string.
1823 `fnname' should be the name of the function in C.
1824 By convention, it starts with F.
1825 `sname' should be the name for the C constant structure
1826 that records information on this function for internal use.
1827 By convention, it should be the same as `fnname' but with S instead of F.
1828 It's too bad that C macros can't compute this from `fnname'.
1829 `minargs' should be a number, the minimum number of arguments allowed.
1830 `maxargs' should be a number, the maximum number of arguments allowed,
1831 or else MANY or UNEVALLED.
1832 MANY means pass a vector of evaluated arguments,
1833 in the form of an integer number-of-arguments
1834 followed by the address of a vector of Lisp_Objects
1835 which contains the argument values.
1836 UNEVALLED means pass the list of unevaluated arguments
1837 `intspec' says how interactive arguments are to be fetched.
1838 If the string starts with a `(', `intspec' is evaluated and the resulting
1839 list is the list of arguments.
1840 If it's a string that doesn't start with `(', the value should follow
1841 the one of the doc string for `interactive'.
1842 A null string means call interactively with no arguments.
1843 `doc' is documentation for the user. */
1844
1845 /* This version of DEFUN declares a function prototype with the right
1846 arguments, so we can catch errors with maxargs at compile-time. */
1847 #ifdef _MSC_VER
1848 #define DEFUN(lname, fnname, sname, minargs, maxargs, intspec, doc) \
1849 Lisp_Object fnname DEFUN_ARGS_ ## maxargs ; \
1850 static DECL_ALIGN (struct Lisp_Subr, sname) = \
1851 { (PVEC_SUBR << PSEUDOVECTOR_SIZE_BITS) \
1852 | (sizeof (struct Lisp_Subr) / sizeof (EMACS_INT)), \
1853 { (Lisp_Object (__cdecl *)(void))fnname }, \
1854 minargs, maxargs, lname, intspec, 0}; \
1855 Lisp_Object fnname
1856 #else /* not _MSC_VER */
1857 #define DEFUN(lname, fnname, sname, minargs, maxargs, intspec, doc) \
1858 Lisp_Object fnname DEFUN_ARGS_ ## maxargs ; \
1859 static DECL_ALIGN (struct Lisp_Subr, sname) = \
1860 { PVEC_SUBR << PSEUDOVECTOR_SIZE_BITS, \
1861 { .a ## maxargs = fnname }, \
1862 minargs, maxargs, lname, intspec, 0}; \
1863 Lisp_Object fnname
1864 #endif
1865
1866 /* Note that the weird token-substitution semantics of ANSI C makes
1867 this work for MANY and UNEVALLED. */
1868 #define DEFUN_ARGS_MANY (ptrdiff_t, Lisp_Object *)
1869 #define DEFUN_ARGS_UNEVALLED (Lisp_Object)
1870 #define DEFUN_ARGS_0 (void)
1871 #define DEFUN_ARGS_1 (Lisp_Object)
1872 #define DEFUN_ARGS_2 (Lisp_Object, Lisp_Object)
1873 #define DEFUN_ARGS_3 (Lisp_Object, Lisp_Object, Lisp_Object)
1874 #define DEFUN_ARGS_4 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object)
1875 #define DEFUN_ARGS_5 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, \
1876 Lisp_Object)
1877 #define DEFUN_ARGS_6 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, \
1878 Lisp_Object, Lisp_Object)
1879 #define DEFUN_ARGS_7 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, \
1880 Lisp_Object, Lisp_Object, Lisp_Object)
1881 #define DEFUN_ARGS_8 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, \
1882 Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object)
1883
1884 /* Non-zero if OBJ is a Lisp function. */
1885 #define FUNCTIONP(OBJ) \
1886 ((CONSP (OBJ) && EQ (XCAR (OBJ), Qlambda)) \
1887 || (SYMBOLP (OBJ) && !NILP (Ffboundp (OBJ))) \
1888 || COMPILEDP (OBJ) \
1889 || SUBRP (OBJ))
1890
1891 /* defsubr (Sname);
1892 is how we define the symbol for function `name' at start-up time. */
1893 extern void defsubr (struct Lisp_Subr *);
1894
1895 #define MANY -2
1896 #define UNEVALLED -1
1897
1898 extern void defvar_lisp (struct Lisp_Objfwd *, const char *, Lisp_Object *);
1899 extern void defvar_lisp_nopro (struct Lisp_Objfwd *, const char *, Lisp_Object *);
1900 extern void defvar_bool (struct Lisp_Boolfwd *, const char *, int *);
1901 extern void defvar_int (struct Lisp_Intfwd *, const char *, EMACS_INT *);
1902 extern void defvar_kboard (struct Lisp_Kboard_Objfwd *, const char *, int);
1903
1904 /* Macros we use to define forwarded Lisp variables.
1905 These are used in the syms_of_FILENAME functions.
1906
1907 An ordinary (not in buffer_defaults, per-buffer, or per-keyboard)
1908 lisp variable is actually a field in `struct emacs_globals'. The
1909 field's name begins with "f_", which is a convention enforced by
1910 these macros. Each such global has a corresponding #define in
1911 globals.h; the plain name should be used in the code.
1912
1913 E.g., the global "cons_cells_consed" is declared as "int
1914 f_cons_cells_consed" in globals.h, but there is a define:
1915
1916 #define cons_cells_consed globals.f_cons_cells_consed
1917
1918 All C code uses the `cons_cells_consed' name. This is all done
1919 this way to support indirection for multi-threaded Emacs. */
1920
1921 #define DEFVAR_LISP(lname, vname, doc) \
1922 do { \
1923 static struct Lisp_Objfwd o_fwd; \
1924 defvar_lisp (&o_fwd, lname, &globals.f_ ## vname); \
1925 } while (0)
1926 #define DEFVAR_LISP_NOPRO(lname, vname, doc) \
1927 do { \
1928 static struct Lisp_Objfwd o_fwd; \
1929 defvar_lisp_nopro (&o_fwd, lname, &globals.f_ ## vname); \
1930 } while (0)
1931 #define DEFVAR_BOOL(lname, vname, doc) \
1932 do { \
1933 static struct Lisp_Boolfwd b_fwd; \
1934 defvar_bool (&b_fwd, lname, &globals.f_ ## vname); \
1935 } while (0)
1936 #define DEFVAR_INT(lname, vname, doc) \
1937 do { \
1938 static struct Lisp_Intfwd i_fwd; \
1939 defvar_int (&i_fwd, lname, &globals.f_ ## vname); \
1940 } while (0)
1941
1942 #define DEFVAR_BUFFER_DEFAULTS(lname, vname, doc) \
1943 do { \
1944 static struct Lisp_Objfwd o_fwd; \
1945 defvar_lisp_nopro (&o_fwd, lname, &BVAR (&buffer_defaults, vname)); \
1946 } while (0)
1947
1948 #define DEFVAR_KBOARD(lname, vname, doc) \
1949 do { \
1950 static struct Lisp_Kboard_Objfwd ko_fwd; \
1951 defvar_kboard (&ko_fwd, lname, offsetof (KBOARD, vname ## _)); \
1952 } while (0)
1953
1954
1955 \f
1956 /* Structure for recording Lisp call stack for backtrace purposes. */
1957
1958 /* The special binding stack holds the outer values of variables while
1959 they are bound by a function application or a let form, stores the
1960 code to be executed for Lisp unwind-protect forms, and stores the C
1961 functions to be called for record_unwind_protect.
1962
1963 If func is non-zero, undoing this binding applies func to old_value;
1964 This implements record_unwind_protect.
1965
1966 Otherwise, the element is a variable binding.
1967
1968 If the symbol field is a symbol, it is an ordinary variable binding.
1969
1970 Otherwise, it should be a structure (SYMBOL WHERE . CURRENT-BUFFER),
1971 which means having bound a local value while CURRENT-BUFFER was active.
1972 If WHERE is nil this means we saw the default value when binding SYMBOL.
1973 WHERE being a buffer or frame means we saw a buffer-local or frame-local
1974 value. Other values of WHERE mean an internal error. */
1975
1976 typedef Lisp_Object (*specbinding_func) (Lisp_Object);
1977
1978 struct specbinding
1979 {
1980 Lisp_Object symbol, old_value;
1981 specbinding_func func;
1982 Lisp_Object unused; /* Dividing by 16 is faster than by 12 */
1983 };
1984
1985 extern struct specbinding *specpdl;
1986 extern struct specbinding *specpdl_ptr;
1987 extern ptrdiff_t specpdl_size;
1988
1989 #define SPECPDL_INDEX() (specpdl_ptr - specpdl)
1990
1991 /* Everything needed to describe an active condition case. */
1992 struct handler
1993 {
1994 /* The handler clauses and variable from the condition-case form. */
1995 /* For a handler set up in Lisp code, this is always a list.
1996 For an internal handler set up by internal_condition_case*,
1997 this can instead be the symbol t or `error'.
1998 t: handle all conditions.
1999 error: handle all conditions, and errors can run the debugger
2000 or display a backtrace. */
2001 Lisp_Object handler;
2002 Lisp_Object var;
2003 /* Fsignal stores here the condition-case clause that applies,
2004 and Fcondition_case thus knows which clause to run. */
2005 Lisp_Object chosen_clause;
2006
2007 /* Used to effect the longjump out to the handler. */
2008 struct catchtag *tag;
2009
2010 /* The next enclosing handler. */
2011 struct handler *next;
2012 };
2013
2014 /* This structure helps implement the `catch' and `throw' control
2015 structure. A struct catchtag contains all the information needed
2016 to restore the state of the interpreter after a non-local jump.
2017
2018 Handlers for error conditions (represented by `struct handler'
2019 structures) just point to a catch tag to do the cleanup required
2020 for their jumps.
2021
2022 catchtag structures are chained together in the C calling stack;
2023 the `next' member points to the next outer catchtag.
2024
2025 A call like (throw TAG VAL) searches for a catchtag whose `tag'
2026 member is TAG, and then unbinds to it. The `val' member is used to
2027 hold VAL while the stack is unwound; `val' is returned as the value
2028 of the catch form.
2029
2030 All the other members are concerned with restoring the interpreter
2031 state. */
2032
2033 struct catchtag
2034 {
2035 Lisp_Object tag;
2036 Lisp_Object val;
2037 struct catchtag *next;
2038 struct gcpro *gcpro;
2039 jmp_buf jmp;
2040 struct backtrace *backlist;
2041 struct handler *handlerlist;
2042 EMACS_INT lisp_eval_depth;
2043 ptrdiff_t pdlcount;
2044 int poll_suppress_count;
2045 int interrupt_input_blocked;
2046 struct byte_stack *byte_stack;
2047 };
2048
2049 extern Lisp_Object memory_signal_data;
2050
2051 /* An address near the bottom of the stack.
2052 Tells GC how to save a copy of the stack. */
2053 extern char *stack_bottom;
2054
2055 /* Check quit-flag and quit if it is non-nil.
2056 Typing C-g does not directly cause a quit; it only sets Vquit_flag.
2057 So the program needs to do QUIT at times when it is safe to quit.
2058 Every loop that might run for a long time or might not exit
2059 ought to do QUIT at least once, at a safe place.
2060 Unless that is impossible, of course.
2061 But it is very desirable to avoid creating loops where QUIT is impossible.
2062
2063 Exception: if you set immediate_quit to nonzero,
2064 then the handler that responds to the C-g does the quit itself.
2065 This is a good thing to do around a loop that has no side effects
2066 and (in particular) cannot call arbitrary Lisp code.
2067
2068 If quit-flag is set to `kill-emacs' the SIGINT handler has received
2069 a request to exit Emacs when it is safe to do. */
2070
2071 #ifdef SYNC_INPUT
2072 extern void process_pending_signals (void);
2073 extern int pending_signals;
2074 #define ELSE_PENDING_SIGNALS \
2075 else if (pending_signals) \
2076 process_pending_signals ();
2077 #else /* not SYNC_INPUT */
2078 #define ELSE_PENDING_SIGNALS
2079 #endif /* not SYNC_INPUT */
2080
2081 extern void process_quit_flag (void);
2082 #define QUIT \
2083 do { \
2084 if (!NILP (Vquit_flag) && NILP (Vinhibit_quit)) \
2085 process_quit_flag (); \
2086 ELSE_PENDING_SIGNALS \
2087 } while (0)
2088
2089
2090 /* Nonzero if ought to quit now. */
2091
2092 #define QUITP (!NILP (Vquit_flag) && NILP (Vinhibit_quit))
2093 \f
2094 extern Lisp_Object Vascii_downcase_table;
2095 extern Lisp_Object Vascii_canon_table;
2096 \f
2097 /* Structure for recording stack slots that need marking. */
2098
2099 /* This is a chain of structures, each of which points at a Lisp_Object
2100 variable whose value should be marked in garbage collection.
2101 Normally every link of the chain is an automatic variable of a function,
2102 and its `val' points to some argument or local variable of the function.
2103 On exit to the function, the chain is set back to the value it had on entry.
2104 This way, no link remains in the chain when the stack frame containing the
2105 link disappears.
2106
2107 Every function that can call Feval must protect in this fashion all
2108 Lisp_Object variables whose contents will be used again. */
2109
2110 extern struct gcpro *gcprolist;
2111
2112 struct gcpro
2113 {
2114 struct gcpro *next;
2115
2116 /* Address of first protected variable. */
2117 volatile Lisp_Object *var;
2118
2119 /* Number of consecutive protected variables. */
2120 ptrdiff_t nvars;
2121
2122 #ifdef DEBUG_GCPRO
2123 int level;
2124 #endif
2125 };
2126
2127 /* Values of GC_MARK_STACK during compilation:
2128
2129 0 Use GCPRO as before
2130 1 Do the real thing, make GCPROs and UNGCPRO no-ops.
2131 2 Mark the stack, and check that everything GCPRO'd is
2132 marked.
2133 3 Mark using GCPRO's, mark stack last, and count how many
2134 dead objects are kept alive. */
2135
2136
2137 #define GC_USE_GCPROS_AS_BEFORE 0
2138 #define GC_MAKE_GCPROS_NOOPS 1
2139 #define GC_MARK_STACK_CHECK_GCPROS 2
2140 #define GC_USE_GCPROS_CHECK_ZOMBIES 3
2141
2142 #ifndef GC_MARK_STACK
2143 #define GC_MARK_STACK GC_MAKE_GCPROS_NOOPS
2144 #endif
2145
2146 /* Whether we do the stack marking manually. */
2147 #define BYTE_MARK_STACK !(GC_MARK_STACK == GC_MAKE_GCPROS_NOOPS \
2148 || GC_MARK_STACK == GC_MARK_STACK_CHECK_GCPROS)
2149
2150
2151 #if GC_MARK_STACK == GC_MAKE_GCPROS_NOOPS
2152
2153 /* Do something silly with gcproN vars just so gcc shuts up. */
2154 /* You get warnings from MIPSPro... */
2155
2156 #define GCPRO1(varname) ((void) gcpro1)
2157 #define GCPRO2(varname1, varname2) ((void) gcpro2, (void) gcpro1)
2158 #define GCPRO3(varname1, varname2, varname3) \
2159 ((void) gcpro3, (void) gcpro2, (void) gcpro1)
2160 #define GCPRO4(varname1, varname2, varname3, varname4) \
2161 ((void) gcpro4, (void) gcpro3, (void) gcpro2, (void) gcpro1)
2162 #define GCPRO5(varname1, varname2, varname3, varname4, varname5) \
2163 ((void) gcpro5, (void) gcpro4, (void) gcpro3, (void) gcpro2, (void) gcpro1)
2164 #define GCPRO6(varname1, varname2, varname3, varname4, varname5, varname6) \
2165 ((void) gcpro6, (void) gcpro5, (void) gcpro4, (void) gcpro3, (void) gcpro2, \
2166 (void) gcpro1)
2167 #define UNGCPRO ((void) 0)
2168
2169 #else /* GC_MARK_STACK != GC_MAKE_GCPROS_NOOPS */
2170
2171 #ifndef DEBUG_GCPRO
2172
2173 #define GCPRO1(varname) \
2174 {gcpro1.next = gcprolist; gcpro1.var = &varname; gcpro1.nvars = 1; \
2175 gcprolist = &gcpro1; }
2176
2177 #define GCPRO2(varname1, varname2) \
2178 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2179 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2180 gcprolist = &gcpro2; }
2181
2182 #define GCPRO3(varname1, varname2, varname3) \
2183 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2184 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2185 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2186 gcprolist = &gcpro3; }
2187
2188 #define GCPRO4(varname1, varname2, varname3, varname4) \
2189 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2190 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2191 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2192 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
2193 gcprolist = &gcpro4; }
2194
2195 #define GCPRO5(varname1, varname2, varname3, varname4, varname5) \
2196 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2197 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2198 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2199 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
2200 gcpro5.next = &gcpro4; gcpro5.var = &varname5; gcpro5.nvars = 1; \
2201 gcprolist = &gcpro5; }
2202
2203 #define GCPRO6(varname1, varname2, varname3, varname4, varname5, varname6) \
2204 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2205 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2206 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2207 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
2208 gcpro5.next = &gcpro4; gcpro5.var = &varname5; gcpro5.nvars = 1; \
2209 gcpro6.next = &gcpro5; gcpro6.var = &varname6; gcpro6.nvars = 1; \
2210 gcprolist = &gcpro6; }
2211
2212 #define UNGCPRO (gcprolist = gcpro1.next)
2213
2214 #else
2215
2216 extern int gcpro_level;
2217
2218 #define GCPRO1(varname) \
2219 {gcpro1.next = gcprolist; gcpro1.var = &varname; gcpro1.nvars = 1; \
2220 gcpro1.level = gcpro_level++; \
2221 gcprolist = &gcpro1; }
2222
2223 #define GCPRO2(varname1, varname2) \
2224 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2225 gcpro1.level = gcpro_level; \
2226 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2227 gcpro2.level = gcpro_level++; \
2228 gcprolist = &gcpro2; }
2229
2230 #define GCPRO3(varname1, varname2, varname3) \
2231 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2232 gcpro1.level = gcpro_level; \
2233 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2234 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2235 gcpro3.level = gcpro_level++; \
2236 gcprolist = &gcpro3; }
2237
2238 #define GCPRO4(varname1, varname2, varname3, varname4) \
2239 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2240 gcpro1.level = gcpro_level; \
2241 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2242 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2243 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
2244 gcpro4.level = gcpro_level++; \
2245 gcprolist = &gcpro4; }
2246
2247 #define GCPRO5(varname1, varname2, varname3, varname4, varname5) \
2248 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2249 gcpro1.level = gcpro_level; \
2250 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2251 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2252 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
2253 gcpro5.next = &gcpro4; gcpro5.var = &varname5; gcpro5.nvars = 1; \
2254 gcpro5.level = gcpro_level++; \
2255 gcprolist = &gcpro5; }
2256
2257 #define GCPRO6(varname1, varname2, varname3, varname4, varname5, varname6) \
2258 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2259 gcpro1.level = gcpro_level; \
2260 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2261 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2262 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
2263 gcpro5.next = &gcpro4; gcpro5.var = &varname5; gcpro5.nvars = 1; \
2264 gcpro6.next = &gcpro5; gcpro6.var = &varname6; gcpro6.nvars = 1; \
2265 gcpro6.level = gcpro_level++; \
2266 gcprolist = &gcpro6; }
2267
2268 #define UNGCPRO \
2269 ((--gcpro_level != gcpro1.level) \
2270 ? (abort (), 0) \
2271 : ((gcprolist = gcpro1.next), 0))
2272
2273 #endif /* DEBUG_GCPRO */
2274 #endif /* GC_MARK_STACK != GC_MAKE_GCPROS_NOOPS */
2275
2276
2277 /* Evaluate expr, UNGCPRO, and then return the value of expr. */
2278 #define RETURN_UNGCPRO(expr) \
2279 do \
2280 { \
2281 Lisp_Object ret_ungc_val; \
2282 ret_ungc_val = (expr); \
2283 UNGCPRO; \
2284 return ret_ungc_val; \
2285 } \
2286 while (0)
2287
2288 /* Call staticpro (&var) to protect static variable `var'. */
2289
2290 void staticpro (Lisp_Object *);
2291 \f
2292 /* Declare a Lisp-callable function. The MAXARGS parameter has the same
2293 meaning as in the DEFUN macro, and is used to construct a prototype. */
2294 /* We can use the same trick as in the DEFUN macro to generate the
2295 appropriate prototype. */
2296 #define EXFUN(fnname, maxargs) \
2297 extern Lisp_Object fnname DEFUN_ARGS_ ## maxargs
2298
2299 /* Forward declarations for prototypes. */
2300 struct window;
2301 struct frame;
2302
2303 /* Defined in data.c. */
2304 extern Lisp_Object Qnil, Qt, Qquote, Qlambda, Qunbound;
2305 extern Lisp_Object Qerror_conditions, Qerror_message, Qtop_level;
2306 extern Lisp_Object Qerror, Qquit, Qargs_out_of_range;
2307 extern Lisp_Object Qvoid_variable, Qvoid_function;
2308 extern Lisp_Object Qinvalid_read_syntax;
2309 extern Lisp_Object Qinvalid_function, Qwrong_number_of_arguments, Qno_catch;
2310 extern Lisp_Object Quser_error, Qend_of_file, Qarith_error, Qmark_inactive;
2311 extern Lisp_Object Qbeginning_of_buffer, Qend_of_buffer, Qbuffer_read_only;
2312 extern Lisp_Object Qtext_read_only;
2313 extern Lisp_Object Qinteractive_form;
2314 extern Lisp_Object Qcircular_list;
2315 extern Lisp_Object Qintegerp, Qwholenump, Qsymbolp, Qlistp, Qconsp;
2316 extern Lisp_Object Qstringp, Qarrayp, Qsequencep, Qbufferp;
2317 extern Lisp_Object Qchar_or_string_p, Qmarkerp, Qinteger_or_marker_p, Qvectorp;
2318 extern Lisp_Object Qbuffer_or_string_p;
2319 extern Lisp_Object Qfboundp;
2320 extern Lisp_Object Qchar_table_p, Qvector_or_char_table_p;
2321
2322 extern Lisp_Object Qcdr;
2323
2324 extern Lisp_Object Qrange_error, Qdomain_error, Qsingularity_error;
2325 extern Lisp_Object Qoverflow_error, Qunderflow_error;
2326
2327 extern Lisp_Object Qfloatp;
2328 extern Lisp_Object Qnumberp, Qnumber_or_marker_p;
2329
2330 extern Lisp_Object Qinteger, Qinterval, Qsymbol, Qstring;
2331 extern Lisp_Object Qmisc, Qvector, Qfloat, Qcons, Qbuffer;
2332
2333 extern Lisp_Object Qfont_spec, Qfont_entity, Qfont_object;
2334
2335 EXFUN (Fbyteorder, 0) ATTRIBUTE_CONST;
2336
2337 /* Defined in frame.c */
2338 extern Lisp_Object Qframep;
2339
2340 /* Defined in data.c */
2341 extern Lisp_Object indirect_function (Lisp_Object);
2342 extern Lisp_Object find_symbol_value (Lisp_Object);
2343
2344 /* Convert the integer I to an Emacs representation, either the integer
2345 itself, or a cons of two or three integers, or if all else fails a float.
2346 I should not have side effects. */
2347 #define INTEGER_TO_CONS(i) \
2348 (! FIXNUM_OVERFLOW_P (i) \
2349 ? make_number (i) \
2350 : ! ((FIXNUM_OVERFLOW_P (INTMAX_MIN >> 16) \
2351 || FIXNUM_OVERFLOW_P (UINTMAX_MAX >> 16)) \
2352 && FIXNUM_OVERFLOW_P ((i) >> 16)) \
2353 ? Fcons (make_number ((i) >> 16), make_number ((i) & 0xffff)) \
2354 : ! ((FIXNUM_OVERFLOW_P (INTMAX_MIN >> 16 >> 24) \
2355 || FIXNUM_OVERFLOW_P (UINTMAX_MAX >> 16 >> 24)) \
2356 && FIXNUM_OVERFLOW_P ((i) >> 16 >> 24)) \
2357 ? Fcons (make_number ((i) >> 16 >> 24), \
2358 Fcons (make_number ((i) >> 16 & 0xffffff), \
2359 make_number ((i) & 0xffff))) \
2360 : make_float (i))
2361
2362 /* Convert the Emacs representation CONS back to an integer of type
2363 TYPE, storing the result the variable VAR. Signal an error if CONS
2364 is not a valid representation or is out of range for TYPE. */
2365 #define CONS_TO_INTEGER(cons, type, var) \
2366 (TYPE_SIGNED (type) \
2367 ? ((var) = cons_to_signed (cons, TYPE_MINIMUM (type), TYPE_MAXIMUM (type))) \
2368 : ((var) = cons_to_unsigned (cons, TYPE_MAXIMUM (type))))
2369 extern intmax_t cons_to_signed (Lisp_Object, intmax_t, intmax_t);
2370 extern uintmax_t cons_to_unsigned (Lisp_Object, uintmax_t);
2371
2372 extern struct Lisp_Symbol *indirect_variable (struct Lisp_Symbol *);
2373 extern _Noreturn void args_out_of_range (Lisp_Object, Lisp_Object);
2374 extern _Noreturn void args_out_of_range_3 (Lisp_Object, Lisp_Object,
2375 Lisp_Object);
2376 extern _Noreturn Lisp_Object wrong_type_argument (Lisp_Object, Lisp_Object);
2377 extern Lisp_Object do_symval_forwarding (union Lisp_Fwd *);
2378 extern void set_internal (Lisp_Object, Lisp_Object, Lisp_Object, int);
2379 extern void syms_of_data (void);
2380 extern void init_data (void);
2381 extern void swap_in_global_binding (struct Lisp_Symbol *);
2382
2383 /* Defined in cmds.c */
2384 extern void syms_of_cmds (void);
2385 extern void keys_of_cmds (void);
2386
2387 /* Defined in coding.c */
2388 extern Lisp_Object Qcharset;
2389 extern Lisp_Object detect_coding_system (const unsigned char *, ptrdiff_t,
2390 ptrdiff_t, int, int, Lisp_Object);
2391 extern void init_coding (void);
2392 extern void init_coding_once (void);
2393 extern void syms_of_coding (void);
2394
2395 /* Defined in character.c */
2396 EXFUN (Fmax_char, 0) ATTRIBUTE_CONST;
2397 extern ptrdiff_t chars_in_text (const unsigned char *, ptrdiff_t);
2398 extern ptrdiff_t multibyte_chars_in_text (const unsigned char *, ptrdiff_t);
2399 extern int multibyte_char_to_unibyte (int) ATTRIBUTE_CONST;
2400 extern int multibyte_char_to_unibyte_safe (int) ATTRIBUTE_CONST;
2401 extern void syms_of_character (void);
2402
2403 /* Defined in charset.c */
2404 extern void init_charset (void);
2405 extern void init_charset_once (void);
2406 extern void syms_of_charset (void);
2407 /* Structure forward declarations. */
2408 struct charset;
2409
2410 /* Defined in composite.c */
2411 extern void syms_of_composite (void);
2412
2413 /* Defined in syntax.c */
2414 extern void init_syntax_once (void);
2415 extern void syms_of_syntax (void);
2416
2417 /* Defined in fns.c */
2418 extern Lisp_Object QCrehash_size, QCrehash_threshold;
2419 enum { NEXT_ALMOST_PRIME_LIMIT = 11 };
2420 EXFUN (Fidentity, 1) ATTRIBUTE_CONST;
2421 extern EMACS_INT next_almost_prime (EMACS_INT) ATTRIBUTE_CONST;
2422 extern Lisp_Object larger_vector (Lisp_Object, ptrdiff_t, ptrdiff_t);
2423 extern void sweep_weak_hash_tables (void);
2424 extern Lisp_Object Qcursor_in_echo_area;
2425 extern Lisp_Object Qstring_lessp;
2426 extern Lisp_Object QCsize, QCtest, QCweakness, Qequal, Qeq, Qeql;
2427 EMACS_UINT hash_string (char const *, ptrdiff_t);
2428 EMACS_UINT sxhash (Lisp_Object, int);
2429 Lisp_Object make_hash_table (Lisp_Object, Lisp_Object, Lisp_Object,
2430 Lisp_Object, Lisp_Object, Lisp_Object,
2431 Lisp_Object);
2432 ptrdiff_t hash_lookup (struct Lisp_Hash_Table *, Lisp_Object, EMACS_UINT *);
2433 ptrdiff_t hash_put (struct Lisp_Hash_Table *, Lisp_Object, Lisp_Object,
2434 EMACS_UINT);
2435
2436 extern Lisp_Object substring_both (Lisp_Object, ptrdiff_t, ptrdiff_t,
2437 ptrdiff_t, ptrdiff_t);
2438 extern Lisp_Object do_yes_or_no_p (Lisp_Object);
2439 extern Lisp_Object concat2 (Lisp_Object, Lisp_Object);
2440 extern Lisp_Object concat3 (Lisp_Object, Lisp_Object, Lisp_Object);
2441 extern Lisp_Object nconc2 (Lisp_Object, Lisp_Object);
2442 extern Lisp_Object assq_no_quit (Lisp_Object, Lisp_Object);
2443 extern Lisp_Object assoc_no_quit (Lisp_Object, Lisp_Object);
2444 extern void clear_string_char_byte_cache (void);
2445 extern ptrdiff_t string_char_to_byte (Lisp_Object, ptrdiff_t);
2446 extern ptrdiff_t string_byte_to_char (Lisp_Object, ptrdiff_t);
2447 extern Lisp_Object string_to_multibyte (Lisp_Object);
2448 extern Lisp_Object string_make_unibyte (Lisp_Object);
2449 extern void syms_of_fns (void);
2450
2451 /* Defined in floatfns.c */
2452 extern double extract_float (Lisp_Object);
2453 extern void init_floatfns (void);
2454 extern void syms_of_floatfns (void);
2455 extern Lisp_Object fmod_float (Lisp_Object x, Lisp_Object y);
2456
2457 /* Defined in fringe.c */
2458 extern void syms_of_fringe (void);
2459 extern void init_fringe (void);
2460 #ifdef HAVE_WINDOW_SYSTEM
2461 extern void mark_fringe_data (void);
2462 extern void init_fringe_once (void);
2463 #endif /* HAVE_WINDOW_SYSTEM */
2464
2465 /* Defined in image.c */
2466 extern Lisp_Object QCascent, QCmargin, QCrelief;
2467 extern Lisp_Object QCconversion;
2468 extern int x_bitmap_mask (struct frame *, ptrdiff_t);
2469 extern void syms_of_image (void);
2470
2471 /* Defined in insdel.c */
2472 extern Lisp_Object Qinhibit_modification_hooks;
2473 extern void move_gap (ptrdiff_t);
2474 extern void move_gap_both (ptrdiff_t, ptrdiff_t);
2475 extern _Noreturn void buffer_overflow (void);
2476 extern void make_gap (ptrdiff_t);
2477 extern ptrdiff_t copy_text (const unsigned char *, unsigned char *,
2478 ptrdiff_t, int, int);
2479 extern int count_combining_before (const unsigned char *,
2480 ptrdiff_t, ptrdiff_t, ptrdiff_t);
2481 extern int count_combining_after (const unsigned char *,
2482 ptrdiff_t, ptrdiff_t, ptrdiff_t);
2483 extern void insert (const char *, ptrdiff_t);
2484 extern void insert_and_inherit (const char *, ptrdiff_t);
2485 extern void insert_1 (const char *, ptrdiff_t, int, int, int);
2486 extern void insert_1_both (const char *, ptrdiff_t, ptrdiff_t,
2487 int, int, int);
2488 extern void insert_from_gap (ptrdiff_t, ptrdiff_t);
2489 extern void insert_from_string (Lisp_Object, ptrdiff_t, ptrdiff_t,
2490 ptrdiff_t, ptrdiff_t, int);
2491 extern void insert_from_buffer (struct buffer *, ptrdiff_t, ptrdiff_t, int);
2492 extern void insert_char (int);
2493 extern void insert_string (const char *);
2494 extern void insert_before_markers (const char *, ptrdiff_t);
2495 extern void insert_before_markers_and_inherit (const char *, ptrdiff_t);
2496 extern void insert_from_string_before_markers (Lisp_Object, ptrdiff_t,
2497 ptrdiff_t, ptrdiff_t,
2498 ptrdiff_t, int);
2499 extern void del_range (ptrdiff_t, ptrdiff_t);
2500 extern Lisp_Object del_range_1 (ptrdiff_t, ptrdiff_t, int, int);
2501 extern void del_range_byte (ptrdiff_t, ptrdiff_t, int);
2502 extern void del_range_both (ptrdiff_t, ptrdiff_t, ptrdiff_t, ptrdiff_t, int);
2503 extern Lisp_Object del_range_2 (ptrdiff_t, ptrdiff_t,
2504 ptrdiff_t, ptrdiff_t, int);
2505 extern void modify_region (struct buffer *, ptrdiff_t, ptrdiff_t, int);
2506 extern void prepare_to_modify_buffer (ptrdiff_t, ptrdiff_t, ptrdiff_t *);
2507 extern void signal_after_change (ptrdiff_t, ptrdiff_t, ptrdiff_t);
2508 extern void adjust_after_insert (ptrdiff_t, ptrdiff_t, ptrdiff_t,
2509 ptrdiff_t, ptrdiff_t);
2510 extern void adjust_markers_for_delete (ptrdiff_t, ptrdiff_t,
2511 ptrdiff_t, ptrdiff_t);
2512 extern void replace_range (ptrdiff_t, ptrdiff_t, Lisp_Object, int, int, int);
2513 extern void replace_range_2 (ptrdiff_t, ptrdiff_t, ptrdiff_t, ptrdiff_t,
2514 const char *, ptrdiff_t, ptrdiff_t, int);
2515 extern void syms_of_insdel (void);
2516
2517 /* Defined in dispnew.c */
2518 #if (defined PROFILING \
2519 && (defined __FreeBSD__ || defined GNU_LINUX || defined __MINGW32__))
2520 _Noreturn void __executable_start (void);
2521 #endif
2522 extern Lisp_Object selected_frame;
2523 extern Lisp_Object Vwindow_system;
2524 void duration_to_sec_usec (double, int *, int *);
2525 extern Lisp_Object sit_for (Lisp_Object, int, int);
2526 extern void init_display (void);
2527 extern void syms_of_display (void);
2528
2529 /* Defined in xdisp.c */
2530 extern Lisp_Object Qinhibit_point_motion_hooks;
2531 extern Lisp_Object Qinhibit_redisplay, Qdisplay;
2532 extern Lisp_Object Qmenu_bar_update_hook;
2533 extern Lisp_Object Qwindow_scroll_functions;
2534 extern Lisp_Object Qoverriding_local_map, Qoverriding_terminal_local_map;
2535 extern Lisp_Object Qimage, Qtext, Qboth, Qboth_horiz, Qtext_image_horiz;
2536 extern Lisp_Object Qspace, Qcenter, QCalign_to;
2537 extern Lisp_Object Qbar, Qhbar, Qbox, Qhollow;
2538 extern Lisp_Object Qleft_margin, Qright_margin;
2539 extern Lisp_Object Qglyphless_char;
2540 extern Lisp_Object QCdata, QCfile;
2541 extern Lisp_Object QCmap;
2542 extern Lisp_Object Qrisky_local_variable;
2543 extern struct frame *last_glyphless_glyph_frame;
2544 extern int last_glyphless_glyph_face_id;
2545 extern int last_glyphless_glyph_merged_face_id;
2546 extern int noninteractive_need_newline;
2547 extern Lisp_Object echo_area_buffer[2];
2548 extern void add_to_log (const char *, Lisp_Object, Lisp_Object);
2549 extern void check_message_stack (void);
2550 extern void setup_echo_area_for_printing (int);
2551 extern int push_message (void);
2552 extern Lisp_Object pop_message_unwind (Lisp_Object);
2553 extern Lisp_Object restore_message_unwind (Lisp_Object);
2554 extern void restore_message (void);
2555 extern Lisp_Object current_message (void);
2556 extern void clear_message (int, int);
2557 extern void message (const char *, ...) ATTRIBUTE_FORMAT_PRINTF (1, 2);
2558 extern void message1 (const char *);
2559 extern void message1_nolog (const char *);
2560 extern void message2 (const char *, ptrdiff_t, int);
2561 extern void message2_nolog (const char *, ptrdiff_t, int);
2562 extern void message3 (Lisp_Object, ptrdiff_t, int);
2563 extern void message3_nolog (Lisp_Object, ptrdiff_t, int);
2564 extern void message_dolog (const char *, ptrdiff_t, int, int);
2565 extern void message_with_string (const char *, Lisp_Object, int);
2566 extern void message_log_maybe_newline (void);
2567 extern void update_echo_area (void);
2568 extern void truncate_echo_area (ptrdiff_t);
2569 extern void redisplay (void);
2570 extern void redisplay_preserve_echo_area (int);
2571 extern void prepare_menu_bars (void);
2572
2573 void set_frame_cursor_types (struct frame *, Lisp_Object);
2574 extern void syms_of_xdisp (void);
2575 extern void init_xdisp (void);
2576 extern Lisp_Object safe_eval (Lisp_Object);
2577 extern int pos_visible_p (struct window *, ptrdiff_t, int *,
2578 int *, int *, int *, int *, int *);
2579
2580 /* Defined in xsettings.c */
2581 extern void syms_of_xsettings (void);
2582
2583 /* Defined in vm-limit.c. */
2584 extern void memory_warnings (void *, void (*warnfun) (const char *));
2585
2586 /* Defined in alloc.c */
2587 extern void check_pure_size (void);
2588 extern void allocate_string_data (struct Lisp_String *, EMACS_INT, EMACS_INT);
2589 extern void reset_malloc_hooks (void);
2590 extern void uninterrupt_malloc (void);
2591 extern void malloc_warning (const char *);
2592 extern _Noreturn void memory_full (size_t);
2593 extern _Noreturn void buffer_memory_full (ptrdiff_t);
2594 extern int survives_gc_p (Lisp_Object);
2595 extern void mark_object (Lisp_Object);
2596 #if defined REL_ALLOC && !defined SYSTEM_MALLOC
2597 extern void refill_memory_reserve (void);
2598 #endif
2599 extern const char *pending_malloc_warning;
2600 extern Lisp_Object zero_vector;
2601 extern Lisp_Object *stack_base;
2602 extern EMACS_INT consing_since_gc;
2603 extern EMACS_INT gc_relative_threshold;
2604 extern EMACS_INT memory_full_cons_threshold;
2605 extern Lisp_Object list1 (Lisp_Object);
2606 extern Lisp_Object list2 (Lisp_Object, Lisp_Object);
2607 extern Lisp_Object list3 (Lisp_Object, Lisp_Object, Lisp_Object);
2608 extern Lisp_Object list4 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
2609 extern Lisp_Object list5 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object,
2610 Lisp_Object);
2611 extern _Noreturn void string_overflow (void);
2612 extern Lisp_Object make_string (const char *, ptrdiff_t);
2613 extern Lisp_Object make_formatted_string (char *, const char *, ...)
2614 ATTRIBUTE_FORMAT_PRINTF (2, 3);
2615 extern Lisp_Object make_unibyte_string (const char *, ptrdiff_t);
2616
2617 /* Make unibyte string from C string when the length isn't known. */
2618
2619 static inline Lisp_Object
2620 build_unibyte_string (const char *str)
2621 {
2622 return make_unibyte_string (str, strlen (str));
2623 }
2624
2625 extern Lisp_Object make_multibyte_string (const char *, ptrdiff_t, ptrdiff_t);
2626 extern Lisp_Object make_event_array (int, Lisp_Object *);
2627 extern Lisp_Object make_uninit_string (EMACS_INT);
2628 extern Lisp_Object make_uninit_multibyte_string (EMACS_INT, EMACS_INT);
2629 extern Lisp_Object make_string_from_bytes (const char *, ptrdiff_t, ptrdiff_t);
2630 extern Lisp_Object make_specified_string (const char *,
2631 ptrdiff_t, ptrdiff_t, int);
2632 extern Lisp_Object make_pure_string (const char *, ptrdiff_t, ptrdiff_t, int);
2633 extern Lisp_Object make_pure_c_string (const char *, ptrdiff_t);
2634
2635 /* Make a string allocated in pure space, use STR as string data. */
2636
2637 static inline Lisp_Object
2638 build_pure_c_string (const char *str)
2639 {
2640 return make_pure_c_string (str, strlen (str));
2641 }
2642
2643 /* Make a string from the data at STR, treating it as multibyte if the
2644 data warrants. */
2645
2646 static inline Lisp_Object
2647 build_string (const char *str)
2648 {
2649 return make_string (str, strlen (str));
2650 }
2651
2652 extern Lisp_Object pure_cons (Lisp_Object, Lisp_Object);
2653 extern void make_byte_code (struct Lisp_Vector *);
2654 extern Lisp_Object Qchar_table_extra_slots;
2655 extern struct Lisp_Vector *allocate_vector (EMACS_INT);
2656 extern struct Lisp_Vector *allocate_pseudovector (int memlen, int lisplen, int tag);
2657 #define ALLOCATE_PSEUDOVECTOR(typ,field,tag) \
2658 ((typ*) \
2659 allocate_pseudovector \
2660 (VECSIZE (typ), PSEUDOVECSIZE (typ, field), tag))
2661 extern struct Lisp_Hash_Table *allocate_hash_table (void);
2662 extern struct window *allocate_window (void);
2663 extern struct frame *allocate_frame (void);
2664 extern struct Lisp_Process *allocate_process (void);
2665 extern struct terminal *allocate_terminal (void);
2666 extern int gc_in_progress;
2667 extern int abort_on_gc;
2668 extern Lisp_Object make_float (double);
2669 extern void display_malloc_warning (void);
2670 extern ptrdiff_t inhibit_garbage_collection (void);
2671 extern Lisp_Object make_save_value (void *, ptrdiff_t);
2672 extern Lisp_Object build_overlay (Lisp_Object, Lisp_Object, Lisp_Object);
2673 extern void free_marker (Lisp_Object);
2674 extern void free_cons (struct Lisp_Cons *);
2675 extern void init_alloc_once (void);
2676 extern void init_alloc (void);
2677 extern void syms_of_alloc (void);
2678 extern struct buffer * allocate_buffer (void);
2679 extern int valid_lisp_object_p (Lisp_Object);
2680
2681 #ifdef REL_ALLOC
2682 /* Defined in ralloc.c */
2683 extern void *r_alloc (void **, size_t);
2684 extern void r_alloc_free (void **);
2685 extern void *r_re_alloc (void **, size_t);
2686 extern void r_alloc_reset_variable (void **, void **);
2687 extern void r_alloc_inhibit_buffer_relocation (int);
2688 #endif
2689
2690 /* Defined in chartab.c */
2691 extern Lisp_Object copy_char_table (Lisp_Object);
2692 extern Lisp_Object char_table_ref (Lisp_Object, int);
2693 extern Lisp_Object char_table_ref_and_range (Lisp_Object, int,
2694 int *, int *);
2695 extern Lisp_Object char_table_set (Lisp_Object, int, Lisp_Object);
2696 extern Lisp_Object char_table_set_range (Lisp_Object, int, int,
2697 Lisp_Object);
2698 extern int char_table_translate (Lisp_Object, int);
2699 extern void map_char_table (void (*) (Lisp_Object, Lisp_Object,
2700 Lisp_Object),
2701 Lisp_Object, Lisp_Object, Lisp_Object);
2702 extern void map_char_table_for_charset (void (*c_function) (Lisp_Object, Lisp_Object),
2703 Lisp_Object, Lisp_Object,
2704 Lisp_Object, struct charset *,
2705 unsigned, unsigned);
2706 extern Lisp_Object uniprop_table (Lisp_Object);
2707 extern void syms_of_chartab (void);
2708
2709 /* Defined in print.c */
2710 extern Lisp_Object Vprin1_to_string_buffer;
2711 extern void debug_print (Lisp_Object) EXTERNALLY_VISIBLE;
2712 extern Lisp_Object Qstandard_output;
2713 extern Lisp_Object Qexternal_debugging_output;
2714 extern void temp_output_buffer_setup (const char *);
2715 extern int print_level;
2716 extern Lisp_Object Qprint_escape_newlines;
2717 extern void write_string (const char *, int);
2718 extern void print_error_message (Lisp_Object, Lisp_Object, const char *,
2719 Lisp_Object);
2720 extern Lisp_Object internal_with_output_to_temp_buffer
2721 (const char *, Lisp_Object (*) (Lisp_Object), Lisp_Object);
2722 #define FLOAT_TO_STRING_BUFSIZE 350
2723 extern int float_to_string (char *, double);
2724 extern void syms_of_print (void);
2725
2726 /* Defined in doprnt.c */
2727 extern ptrdiff_t doprnt (char *, ptrdiff_t, const char *, const char *,
2728 va_list);
2729 extern ptrdiff_t esprintf (char *, char const *, ...)
2730 ATTRIBUTE_FORMAT_PRINTF (2, 3);
2731 extern ptrdiff_t exprintf (char **, ptrdiff_t *, char const *, ptrdiff_t,
2732 char const *, ...)
2733 ATTRIBUTE_FORMAT_PRINTF (5, 6);
2734 extern ptrdiff_t evxprintf (char **, ptrdiff_t *, char const *, ptrdiff_t,
2735 char const *, va_list)
2736 ATTRIBUTE_FORMAT_PRINTF (5, 0);
2737
2738 /* Defined in lread.c. */
2739 extern Lisp_Object Qvariable_documentation, Qstandard_input;
2740 extern Lisp_Object Qbackquote, Qcomma, Qcomma_at, Qcomma_dot, Qfunction;
2741 extern Lisp_Object check_obarray (Lisp_Object);
2742 extern Lisp_Object intern_1 (const char *, ptrdiff_t);
2743 extern Lisp_Object intern_c_string_1 (const char *, ptrdiff_t);
2744 extern Lisp_Object oblookup (Lisp_Object, const char *, ptrdiff_t, ptrdiff_t);
2745 #define LOADHIST_ATTACH(x) \
2746 do { \
2747 if (initialized) Vcurrent_load_list = Fcons (x, Vcurrent_load_list); \
2748 } while (0)
2749 extern int openp (Lisp_Object, Lisp_Object, Lisp_Object,
2750 Lisp_Object *, Lisp_Object);
2751 Lisp_Object string_to_number (char const *, int, int);
2752 extern void map_obarray (Lisp_Object, void (*) (Lisp_Object, Lisp_Object),
2753 Lisp_Object);
2754 extern void dir_warning (const char *, Lisp_Object);
2755 extern void close_load_descs (void);
2756 extern void init_obarray (void);
2757 extern void init_lread (void);
2758 extern void syms_of_lread (void);
2759
2760 static inline Lisp_Object
2761 intern (const char *str)
2762 {
2763 return intern_1 (str, strlen (str));
2764 }
2765
2766 static inline Lisp_Object
2767 intern_c_string (const char *str)
2768 {
2769 return intern_c_string_1 (str, strlen (str));
2770 }
2771
2772 /* Defined in eval.c. */
2773 extern Lisp_Object Qautoload, Qexit, Qinteractive, Qcommandp, Qmacro;
2774 extern Lisp_Object Qinhibit_quit, Qclosure;
2775 extern Lisp_Object Qand_rest;
2776 extern Lisp_Object Vautoload_queue;
2777 extern Lisp_Object Vsignaling_function;
2778 extern Lisp_Object inhibit_lisp_code;
2779 extern int handling_signal;
2780 #if BYTE_MARK_STACK
2781 extern struct catchtag *catchlist;
2782 extern struct handler *handlerlist;
2783 #endif
2784 /* To run a normal hook, use the appropriate function from the list below.
2785 The calling convention:
2786
2787 if (!NILP (Vrun_hooks))
2788 call1 (Vrun_hooks, Qmy_funny_hook);
2789
2790 should no longer be used. */
2791 extern Lisp_Object Vrun_hooks;
2792 extern void run_hook_with_args_2 (Lisp_Object, Lisp_Object, Lisp_Object);
2793 extern Lisp_Object run_hook_with_args (ptrdiff_t nargs, Lisp_Object *args,
2794 Lisp_Object (*funcall)
2795 (ptrdiff_t nargs, Lisp_Object *args));
2796 extern _Noreturn void xsignal (Lisp_Object, Lisp_Object);
2797 extern _Noreturn void xsignal0 (Lisp_Object);
2798 extern _Noreturn void xsignal1 (Lisp_Object, Lisp_Object);
2799 extern _Noreturn void xsignal2 (Lisp_Object, Lisp_Object, Lisp_Object);
2800 extern _Noreturn void xsignal3 (Lisp_Object, Lisp_Object, Lisp_Object,
2801 Lisp_Object);
2802 extern _Noreturn void signal_error (const char *, Lisp_Object);
2803 extern Lisp_Object eval_sub (Lisp_Object form);
2804 extern Lisp_Object apply1 (Lisp_Object, Lisp_Object);
2805 extern Lisp_Object call0 (Lisp_Object);
2806 extern Lisp_Object call1 (Lisp_Object, Lisp_Object);
2807 extern Lisp_Object call2 (Lisp_Object, Lisp_Object, Lisp_Object);
2808 extern Lisp_Object call3 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
2809 extern Lisp_Object call4 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
2810 extern Lisp_Object call5 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
2811 extern Lisp_Object call6 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
2812 extern Lisp_Object call7 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
2813 extern Lisp_Object internal_catch (Lisp_Object, Lisp_Object (*) (Lisp_Object), Lisp_Object);
2814 extern Lisp_Object internal_lisp_condition_case (Lisp_Object, Lisp_Object, Lisp_Object);
2815 extern Lisp_Object internal_condition_case (Lisp_Object (*) (void), Lisp_Object, Lisp_Object (*) (Lisp_Object));
2816 extern Lisp_Object internal_condition_case_1 (Lisp_Object (*) (Lisp_Object), Lisp_Object, Lisp_Object, Lisp_Object (*) (Lisp_Object));
2817 extern Lisp_Object internal_condition_case_2 (Lisp_Object (*) (Lisp_Object, Lisp_Object), Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object (*) (Lisp_Object));
2818 extern Lisp_Object internal_condition_case_n (Lisp_Object (*) (ptrdiff_t, Lisp_Object *), ptrdiff_t, Lisp_Object *, Lisp_Object, Lisp_Object (*) (Lisp_Object));
2819 extern void specbind (Lisp_Object, Lisp_Object);
2820 extern void record_unwind_protect (Lisp_Object (*) (Lisp_Object), Lisp_Object);
2821 extern Lisp_Object unbind_to (ptrdiff_t, Lisp_Object);
2822 extern _Noreturn void error (const char *, ...) ATTRIBUTE_FORMAT_PRINTF (1, 2);
2823 extern _Noreturn void verror (const char *, va_list)
2824 ATTRIBUTE_FORMAT_PRINTF (1, 0);
2825 extern void do_autoload (Lisp_Object, Lisp_Object);
2826 extern Lisp_Object un_autoload (Lisp_Object);
2827 extern void init_eval_once (void);
2828 extern Lisp_Object safe_call (ptrdiff_t, Lisp_Object *);
2829 extern Lisp_Object safe_call1 (Lisp_Object, Lisp_Object);
2830 extern Lisp_Object safe_call2 (Lisp_Object, Lisp_Object, Lisp_Object);
2831 extern void init_eval (void);
2832 #if BYTE_MARK_STACK
2833 extern void mark_backtrace (void);
2834 #endif
2835 extern void syms_of_eval (void);
2836
2837 /* Defined in editfns.c */
2838 extern Lisp_Object Qfield;
2839 extern void insert1 (Lisp_Object);
2840 extern Lisp_Object format2 (const char *, Lisp_Object, Lisp_Object);
2841 extern Lisp_Object save_excursion_save (void);
2842 extern Lisp_Object save_restriction_save (void);
2843 extern Lisp_Object save_excursion_restore (Lisp_Object);
2844 extern Lisp_Object save_restriction_restore (Lisp_Object);
2845 extern _Noreturn void time_overflow (void);
2846 extern Lisp_Object make_buffer_string (ptrdiff_t, ptrdiff_t, int);
2847 extern Lisp_Object make_buffer_string_both (ptrdiff_t, ptrdiff_t, ptrdiff_t,
2848 ptrdiff_t, int);
2849 extern void init_editfns (void);
2850 const char *get_system_name (void);
2851 extern void syms_of_editfns (void);
2852 extern void set_time_zone_rule (const char *);
2853
2854 /* Defined in buffer.c */
2855 extern int mouse_face_overlay_overlaps (Lisp_Object);
2856 extern _Noreturn void nsberror (Lisp_Object);
2857 extern void adjust_overlays_for_insert (ptrdiff_t, ptrdiff_t);
2858 extern void adjust_overlays_for_delete (ptrdiff_t, ptrdiff_t);
2859 extern void fix_start_end_in_overlays (ptrdiff_t, ptrdiff_t);
2860 extern void report_overlay_modification (Lisp_Object, Lisp_Object, int,
2861 Lisp_Object, Lisp_Object, Lisp_Object);
2862 extern int overlay_touches_p (ptrdiff_t);
2863 extern Lisp_Object Vbuffer_alist;
2864 extern Lisp_Object set_buffer_if_live (Lisp_Object);
2865 extern Lisp_Object other_buffer_safely (Lisp_Object);
2866 extern Lisp_Object Qpriority, Qwindow, Qbefore_string, Qafter_string;
2867 extern Lisp_Object get_truename_buffer (Lisp_Object);
2868 extern void init_buffer_once (void);
2869 extern void init_buffer (void);
2870 extern void syms_of_buffer (void);
2871 extern void keys_of_buffer (void);
2872
2873 /* Defined in marker.c */
2874
2875 extern ptrdiff_t marker_position (Lisp_Object);
2876 extern ptrdiff_t marker_byte_position (Lisp_Object);
2877 extern void clear_charpos_cache (struct buffer *);
2878 extern ptrdiff_t charpos_to_bytepos (ptrdiff_t);
2879 extern ptrdiff_t buf_charpos_to_bytepos (struct buffer *, ptrdiff_t);
2880 extern ptrdiff_t buf_bytepos_to_charpos (struct buffer *, ptrdiff_t);
2881 extern void unchain_marker (struct Lisp_Marker *marker);
2882 extern Lisp_Object set_marker_restricted (Lisp_Object, Lisp_Object, Lisp_Object);
2883 extern Lisp_Object set_marker_both (Lisp_Object, Lisp_Object, ptrdiff_t, ptrdiff_t);
2884 extern Lisp_Object set_marker_restricted_both (Lisp_Object, Lisp_Object,
2885 ptrdiff_t, ptrdiff_t);
2886 extern Lisp_Object build_marker (struct buffer *, ptrdiff_t, ptrdiff_t);
2887 extern void syms_of_marker (void);
2888
2889 /* Defined in fileio.c */
2890
2891 extern Lisp_Object Qfile_error;
2892 extern Lisp_Object Qfile_exists_p;
2893 extern Lisp_Object Qfile_directory_p;
2894 extern Lisp_Object Qinsert_file_contents;
2895 extern Lisp_Object Qfile_name_history;
2896 extern Lisp_Object expand_and_dir_to_file (Lisp_Object, Lisp_Object);
2897 EXFUN (Fread_file_name, 6); /* not a normal DEFUN */
2898 extern Lisp_Object close_file_unwind (Lisp_Object);
2899 extern Lisp_Object restore_point_unwind (Lisp_Object);
2900 extern _Noreturn void report_file_error (const char *, Lisp_Object);
2901 extern int internal_delete_file (Lisp_Object);
2902 extern void syms_of_fileio (void);
2903 extern Lisp_Object make_temp_name (Lisp_Object, int);
2904 extern Lisp_Object Qdelete_file;
2905
2906 /* Defined in search.c */
2907 extern void shrink_regexp_cache (void);
2908 extern void restore_search_regs (void);
2909 extern void record_unwind_save_match_data (void);
2910 struct re_registers;
2911 extern struct re_pattern_buffer *compile_pattern (Lisp_Object,
2912 struct re_registers *,
2913 Lisp_Object, int, int);
2914 extern ptrdiff_t fast_string_match (Lisp_Object, Lisp_Object);
2915 extern ptrdiff_t fast_c_string_match_ignore_case (Lisp_Object, const char *,
2916 ptrdiff_t);
2917 extern ptrdiff_t fast_string_match_ignore_case (Lisp_Object, Lisp_Object);
2918 extern ptrdiff_t fast_looking_at (Lisp_Object, ptrdiff_t, ptrdiff_t,
2919 ptrdiff_t, ptrdiff_t, Lisp_Object);
2920 extern ptrdiff_t scan_buffer (int, ptrdiff_t, ptrdiff_t, ptrdiff_t,
2921 ptrdiff_t *, int);
2922 extern EMACS_INT scan_newline (ptrdiff_t, ptrdiff_t, ptrdiff_t, ptrdiff_t,
2923 EMACS_INT, int);
2924 extern ptrdiff_t find_next_newline (ptrdiff_t, int);
2925 extern ptrdiff_t find_next_newline_no_quit (ptrdiff_t, ptrdiff_t);
2926 extern ptrdiff_t find_before_next_newline (ptrdiff_t, ptrdiff_t, ptrdiff_t);
2927 extern void syms_of_search (void);
2928 extern void clear_regexp_cache (void);
2929
2930 /* Defined in minibuf.c. */
2931
2932 extern Lisp_Object Qcompletion_ignore_case;
2933 extern Lisp_Object Vminibuffer_list;
2934 extern Lisp_Object last_minibuf_string;
2935 extern Lisp_Object get_minibuffer (EMACS_INT);
2936 extern void init_minibuf_once (void);
2937 extern void syms_of_minibuf (void);
2938
2939 /* Defined in callint.c. */
2940
2941 extern Lisp_Object Qminus, Qplus;
2942 extern Lisp_Object Qwhen;
2943 extern Lisp_Object Qcall_interactively, Qmouse_leave_buffer_hook;
2944 extern void syms_of_callint (void);
2945
2946 /* Defined in casefiddle.c. */
2947
2948 extern Lisp_Object Qidentity;
2949 extern void syms_of_casefiddle (void);
2950 extern void keys_of_casefiddle (void);
2951
2952 /* Defined in casetab.c. */
2953
2954 extern void init_casetab_once (void);
2955 extern void syms_of_casetab (void);
2956
2957 /* Defined in keyboard.c. */
2958
2959 extern Lisp_Object echo_message_buffer;
2960 extern struct kboard *echo_kboard;
2961 extern void cancel_echoing (void);
2962 extern Lisp_Object Qdisabled, QCfilter;
2963 extern Lisp_Object Qup, Qdown, Qbottom;
2964 extern Lisp_Object Qtop;
2965 extern Lisp_Object last_undo_boundary;
2966 extern int input_pending;
2967 extern Lisp_Object menu_bar_items (Lisp_Object);
2968 extern Lisp_Object tool_bar_items (Lisp_Object, int *);
2969 extern void discard_mouse_events (void);
2970 extern Lisp_Object pending_funcalls;
2971 extern int detect_input_pending (void);
2972 extern int detect_input_pending_ignore_squeezables (void);
2973 extern int detect_input_pending_run_timers (int);
2974 extern void safe_run_hooks (Lisp_Object);
2975 extern void cmd_error_internal (Lisp_Object, const char *);
2976 extern Lisp_Object command_loop_1 (void);
2977 extern Lisp_Object recursive_edit_1 (void);
2978 extern void record_auto_save (void);
2979 #ifdef SIGDANGER
2980 extern void force_auto_save_soon (void);
2981 #endif
2982 extern void init_keyboard (void);
2983 extern void syms_of_keyboard (void);
2984 extern void keys_of_keyboard (void);
2985
2986 /* Defined in indent.c. */
2987 extern ptrdiff_t current_column (void);
2988 extern void invalidate_current_column (void);
2989 extern int indented_beyond_p (ptrdiff_t, ptrdiff_t, EMACS_INT);
2990 extern void syms_of_indent (void);
2991
2992 /* Defined in frame.c. */
2993 extern Lisp_Object Qonly;
2994 extern Lisp_Object Qvisible;
2995 extern void store_frame_param (struct frame *, Lisp_Object, Lisp_Object);
2996 extern void store_in_alist (Lisp_Object *, Lisp_Object, Lisp_Object);
2997 extern Lisp_Object do_switch_frame (Lisp_Object, int, int, Lisp_Object);
2998 #if HAVE_NS
2999 extern Lisp_Object get_frame_param (struct frame *, Lisp_Object);
3000 #endif
3001 extern Lisp_Object frame_buffer_predicate (Lisp_Object);
3002 extern void frames_discard_buffer (Lisp_Object);
3003 extern void syms_of_frame (void);
3004
3005 /* Defined in emacs.c. */
3006 extern char **initial_argv;
3007 extern int initial_argc;
3008 #if defined (HAVE_X_WINDOWS) || defined (HAVE_NS)
3009 extern int display_arg;
3010 #endif
3011 extern Lisp_Object decode_env_path (const char *, const char *);
3012 extern Lisp_Object empty_unibyte_string, empty_multibyte_string;
3013 extern Lisp_Object Qfile_name_handler_alist;
3014 #ifdef FLOAT_CATCH_SIGILL
3015 extern void fatal_error_signal (int);
3016 #endif
3017 extern Lisp_Object Qkill_emacs;
3018 #if HAVE_SETLOCALE
3019 void fixup_locale (void);
3020 void synchronize_system_messages_locale (void);
3021 void synchronize_system_time_locale (void);
3022 #else
3023 #define setlocale(category, locale)
3024 #define fixup_locale()
3025 #define synchronize_system_messages_locale()
3026 #define synchronize_system_time_locale()
3027 #endif
3028 void shut_down_emacs (int, int, Lisp_Object);
3029 /* Nonzero means don't do interactive redisplay and don't change tty modes. */
3030 extern int noninteractive;
3031
3032 /* Nonzero means remove site-lisp directories from load-path. */
3033 extern int no_site_lisp;
3034
3035 /* Pipe used to send exit notification to the daemon parent at
3036 startup. */
3037 extern int daemon_pipe[2];
3038 #define IS_DAEMON (daemon_pipe[1] != 0)
3039
3040 /* Nonzero means don't do use window-system-specific display code. */
3041 extern int inhibit_window_system;
3042 /* Nonzero means that a filter or a sentinel is running. */
3043 extern int running_asynch_code;
3044
3045 /* Defined in process.c. */
3046 extern Lisp_Object QCtype, Qlocal;
3047 extern Lisp_Object Qprocessp;
3048 extern void kill_buffer_processes (Lisp_Object);
3049 extern int wait_reading_process_output (intmax_t, int, int, int,
3050 Lisp_Object,
3051 struct Lisp_Process *,
3052 int);
3053 /* Max value for the first argument of wait_reading_process_output. */
3054 #if __GNUC__ == 3 || (__GNUC__ == 4 && __GNUC_MINOR__ <= 5)
3055 /* Work around a bug in GCC 3.4.2, known to be fixed in GCC 4.6.3.
3056 The bug merely causes a bogus warning, but the warning is annoying. */
3057 # define WAIT_READING_MAX min (TYPE_MAXIMUM (time_t), INTMAX_MAX)
3058 #else
3059 # define WAIT_READING_MAX INTMAX_MAX
3060 #endif
3061 extern void add_keyboard_wait_descriptor (int);
3062 extern void delete_keyboard_wait_descriptor (int);
3063 #ifdef HAVE_GPM
3064 extern void add_gpm_wait_descriptor (int);
3065 extern void delete_gpm_wait_descriptor (int);
3066 #endif
3067 extern void close_process_descs (void);
3068 extern void init_process_emacs (void);
3069 extern void syms_of_process (void);
3070 extern void setup_process_coding_systems (Lisp_Object);
3071
3072 #ifndef DOS_NT
3073 _Noreturn
3074 #endif
3075 extern int child_setup (int, int, int, char **, int, Lisp_Object);
3076 extern void init_callproc_1 (void);
3077 extern void init_callproc (void);
3078 extern void set_initial_environment (void);
3079 extern void syms_of_callproc (void);
3080
3081 /* Defined in doc.c */
3082 extern Lisp_Object Qfunction_documentation;
3083 extern Lisp_Object read_doc_string (Lisp_Object);
3084 extern Lisp_Object get_doc_string (Lisp_Object, int, int);
3085 extern void syms_of_doc (void);
3086 extern int read_bytecode_char (int);
3087
3088 /* Defined in bytecode.c */
3089 extern Lisp_Object Qbytecode;
3090 extern void syms_of_bytecode (void);
3091 extern struct byte_stack *byte_stack_list;
3092 #if BYTE_MARK_STACK
3093 extern void mark_byte_stack (void);
3094 #endif
3095 extern void unmark_byte_stack (void);
3096 extern Lisp_Object exec_byte_code (Lisp_Object, Lisp_Object, Lisp_Object,
3097 Lisp_Object, ptrdiff_t, Lisp_Object *);
3098
3099 /* Defined in macros.c */
3100 extern Lisp_Object Qexecute_kbd_macro;
3101 extern void init_macros (void);
3102 extern void syms_of_macros (void);
3103
3104 /* Defined in undo.c */
3105 extern Lisp_Object Qapply;
3106 extern Lisp_Object Qinhibit_read_only;
3107 extern void truncate_undo_list (struct buffer *);
3108 extern void record_marker_adjustment (Lisp_Object, ptrdiff_t);
3109 extern void record_insert (ptrdiff_t, ptrdiff_t);
3110 extern void record_delete (ptrdiff_t, Lisp_Object);
3111 extern void record_first_change (void);
3112 extern void record_change (ptrdiff_t, ptrdiff_t);
3113 extern void record_property_change (ptrdiff_t, ptrdiff_t,
3114 Lisp_Object, Lisp_Object,
3115 Lisp_Object);
3116 extern void syms_of_undo (void);
3117 /* Defined in textprop.c */
3118 extern Lisp_Object Qfont, Qmouse_face;
3119 extern Lisp_Object Qinsert_in_front_hooks, Qinsert_behind_hooks;
3120 extern Lisp_Object Qfront_sticky, Qrear_nonsticky;
3121 extern Lisp_Object Qminibuffer_prompt;
3122
3123 extern void report_interval_modification (Lisp_Object, Lisp_Object);
3124
3125 /* Defined in menu.c */
3126 extern void syms_of_menu (void);
3127
3128 /* Defined in xmenu.c */
3129 extern void syms_of_xmenu (void);
3130
3131 /* Defined in termchar.h */
3132 struct tty_display_info;
3133
3134 /* Defined in termhooks.h */
3135 struct terminal;
3136
3137 /* Defined in sysdep.c */
3138 #ifndef HAVE_GET_CURRENT_DIR_NAME
3139 extern char *get_current_dir_name (void);
3140 #endif
3141 extern void stuff_char (char c);
3142 extern void init_sigio (int);
3143 extern void sys_subshell (void);
3144 extern void sys_suspend (void);
3145 extern void discard_tty_input (void);
3146 extern void init_sys_modes (struct tty_display_info *);
3147 extern void reset_sys_modes (struct tty_display_info *);
3148 extern void init_all_sys_modes (void);
3149 extern void reset_all_sys_modes (void);
3150 extern void wait_for_termination (pid_t);
3151 extern void interruptible_wait_for_termination (pid_t);
3152 extern void flush_pending_output (int) ATTRIBUTE_CONST;
3153 extern void child_setup_tty (int);
3154 extern void setup_pty (int);
3155 extern int set_window_size (int, int, int);
3156 extern EMACS_INT get_random (void);
3157 extern void seed_random (long);
3158 extern int emacs_open (const char *, int, int);
3159 extern int emacs_close (int);
3160 extern ptrdiff_t emacs_read (int, char *, ptrdiff_t);
3161 extern ptrdiff_t emacs_write (int, const char *, ptrdiff_t);
3162 enum { READLINK_BUFSIZE = 1024 };
3163 extern char *emacs_readlink (const char *, char [READLINK_BUFSIZE]);
3164
3165 extern void unlock_all_files (void);
3166 extern void lock_file (Lisp_Object);
3167 extern void unlock_file (Lisp_Object);
3168 extern void unlock_buffer (struct buffer *);
3169 extern void syms_of_filelock (void);
3170
3171 /* Defined in sound.c */
3172 extern void syms_of_sound (void);
3173
3174 /* Defined in category.c */
3175 extern void init_category_once (void);
3176 extern Lisp_Object char_category_set (int);
3177 extern void syms_of_category (void);
3178
3179 /* Defined in ccl.c */
3180 extern void syms_of_ccl (void);
3181
3182 /* Defined in dired.c */
3183 extern void syms_of_dired (void);
3184 extern Lisp_Object directory_files_internal (Lisp_Object, Lisp_Object,
3185 Lisp_Object, Lisp_Object,
3186 int, Lisp_Object);
3187
3188 /* Defined in term.c */
3189 extern int *char_ins_del_vector;
3190 extern void mark_ttys (void);
3191 extern void syms_of_term (void);
3192 extern _Noreturn void fatal (const char *msgid, ...)
3193 ATTRIBUTE_FORMAT_PRINTF (1, 2);
3194
3195 /* Defined in terminal.c */
3196 extern void syms_of_terminal (void);
3197
3198 /* Defined in font.c */
3199 extern void syms_of_font (void);
3200 extern void init_font (void);
3201
3202 #ifdef HAVE_WINDOW_SYSTEM
3203 /* Defined in fontset.c */
3204 extern void syms_of_fontset (void);
3205
3206 /* Defined in xfns.c, w32fns.c, or macfns.c */
3207 extern Lisp_Object Qfont_param;
3208 #endif
3209
3210 /* Defined in xfaces.c */
3211 extern Lisp_Object Qdefault, Qtool_bar, Qfringe;
3212 extern Lisp_Object Qheader_line, Qscroll_bar, Qcursor;
3213 extern Lisp_Object Qmode_line_inactive;
3214 extern Lisp_Object Qface;
3215 extern Lisp_Object Qnormal;
3216 extern Lisp_Object QCfamily, QCweight, QCslant;
3217 extern Lisp_Object QCheight, QCname, QCwidth, QCforeground, QCbackground;
3218 extern Lisp_Object Vface_alternative_font_family_alist;
3219 extern Lisp_Object Vface_alternative_font_registry_alist;
3220 extern void syms_of_xfaces (void);
3221
3222 #ifdef HAVE_X_WINDOWS
3223 /* Defined in xfns.c */
3224 extern void syms_of_xfns (void);
3225
3226 /* Defined in xsmfns.c */
3227 extern void syms_of_xsmfns (void);
3228
3229 /* Defined in xselect.c */
3230 extern void syms_of_xselect (void);
3231
3232 /* Defined in xterm.c */
3233 extern void syms_of_xterm (void);
3234 #endif /* HAVE_X_WINDOWS */
3235
3236 #ifdef HAVE_WINDOW_SYSTEM
3237 /* Defined in xterm.c, nsterm.m, w32term.c */
3238 extern char *x_get_keysym_name (int);
3239 #endif /* HAVE_WINDOW_SYSTEM */
3240
3241 #ifdef HAVE_LIBXML2
3242 /* Defined in xml.c */
3243 extern void syms_of_xml (void);
3244 extern void xml_cleanup_parser (void);
3245 #endif
3246
3247 #ifdef HAVE_MENUS
3248 /* Defined in (x|w32)fns.c, nsfns.m... */
3249 extern int have_menus_p (void);
3250 #endif
3251
3252 #ifdef HAVE_DBUS
3253 /* Defined in dbusbind.c */
3254 void syms_of_dbusbind (void);
3255 #endif
3256
3257 #ifdef DOS_NT
3258 /* Defined in msdos.c, w32.c */
3259 extern char *emacs_root_dir (void);
3260 #endif /* DOS_NT */
3261 \f
3262 /* Nonzero means Emacs has already been initialized.
3263 Used during startup to detect startup of dumped Emacs. */
3264 extern int initialized;
3265
3266 extern int immediate_quit; /* Nonzero means ^G can quit instantly */
3267
3268 extern void *xmalloc (size_t);
3269 extern void *xzalloc (size_t);
3270 extern void *xrealloc (void *, size_t);
3271 extern void xfree (void *);
3272 extern void *xnmalloc (ptrdiff_t, ptrdiff_t);
3273 extern void *xnrealloc (void *, ptrdiff_t, ptrdiff_t);
3274 extern void *xpalloc (void *, ptrdiff_t *, ptrdiff_t, ptrdiff_t, ptrdiff_t);
3275
3276 extern char *xstrdup (const char *);
3277
3278 extern char *egetenv (const char *);
3279
3280 /* Set up the name of the machine we're running on. */
3281 extern void init_system_name (void);
3282
3283 /* Some systems (e.g., NT) use a different path separator than Unix,
3284 in addition to a device separator. Set the path separator
3285 to '/', and don't test for a device separator in IS_ANY_SEP. */
3286
3287 #define DIRECTORY_SEP '/'
3288 #ifndef IS_DIRECTORY_SEP
3289 #define IS_DIRECTORY_SEP(_c_) ((_c_) == DIRECTORY_SEP)
3290 #endif
3291 #ifndef IS_DEVICE_SEP
3292 #ifndef DEVICE_SEP
3293 #define IS_DEVICE_SEP(_c_) 0
3294 #else
3295 #define IS_DEVICE_SEP(_c_) ((_c_) == DEVICE_SEP)
3296 #endif
3297 #endif
3298 #ifndef IS_ANY_SEP
3299 #define IS_ANY_SEP(_c_) (IS_DIRECTORY_SEP (_c_))
3300 #endif
3301
3302 #define SWITCH_ENUM_CAST(x) (x)
3303
3304 /* Use this to suppress gcc's warnings. */
3305 #ifdef lint
3306
3307 /* Use CODE only if lint checking is in effect. */
3308 # define IF_LINT(Code) Code
3309
3310 /* Assume that the expression COND is true. This differs in intent
3311 from 'assert', as it is a message from the programmer to the compiler. */
3312 # define lint_assume(cond) ((cond) ? (void) 0 : abort ())
3313
3314 #else
3315 # define IF_LINT(Code) /* empty */
3316 # define lint_assume(cond) ((void) (0 && (cond)))
3317 #endif
3318
3319 /* The ubiquitous min and max macros. */
3320
3321 #ifdef max
3322 #undef max
3323 #undef min
3324 #endif
3325 #define min(a, b) ((a) < (b) ? (a) : (b))
3326 #define max(a, b) ((a) > (b) ? (a) : (b))
3327
3328 /* We used to use `abs', but that clashes with system headers on some
3329 platforms, and using a name reserved by Standard C is a bad idea
3330 anyway. */
3331 #if !defined (eabs)
3332 #define eabs(x) ((x) < 0 ? -(x) : (x))
3333 #endif
3334
3335 /* Return a fixnum or float, depending on whether VAL fits in a Lisp
3336 fixnum. */
3337
3338 #define make_fixnum_or_float(val) \
3339 (FIXNUM_OVERFLOW_P (val) ? make_float (val) : make_number (val))
3340
3341
3342 /* Checks the `cycle check' variable CHECK to see if it indicates that
3343 EL is part of a cycle; CHECK must be either Qnil or a value returned
3344 by an earlier use of CYCLE_CHECK. SUSPICIOUS is the number of
3345 elements after which a cycle might be suspected; after that many
3346 elements, this macro begins consing in order to keep more precise
3347 track of elements.
3348
3349 Returns nil if a cycle was detected, otherwise a new value for CHECK
3350 that includes EL.
3351
3352 CHECK is evaluated multiple times, EL and SUSPICIOUS 0 or 1 times, so
3353 the caller should make sure that's ok. */
3354
3355 #define CYCLE_CHECK(check, el, suspicious) \
3356 (NILP (check) \
3357 ? make_number (0) \
3358 : (INTEGERP (check) \
3359 ? (XFASTINT (check) < (suspicious) \
3360 ? make_number (XFASTINT (check) + 1) \
3361 : Fcons (el, Qnil)) \
3362 : (!NILP (Fmemq ((el), (check))) \
3363 ? Qnil \
3364 : Fcons ((el), (check)))))
3365
3366
3367 /* SAFE_ALLOCA normally allocates memory on the stack, but if size is
3368 larger than MAX_ALLOCA, use xmalloc to avoid overflowing the stack. */
3369
3370 #define MAX_ALLOCA 16*1024
3371
3372 extern Lisp_Object safe_alloca_unwind (Lisp_Object);
3373
3374 #define USE_SAFE_ALLOCA \
3375 ptrdiff_t sa_count = SPECPDL_INDEX (); int sa_must_free = 0
3376
3377 /* SAFE_ALLOCA allocates a simple buffer. */
3378
3379 #define SAFE_ALLOCA(buf, type, size) \
3380 do { \
3381 if ((size) < MAX_ALLOCA) \
3382 buf = (type) alloca (size); \
3383 else \
3384 { \
3385 buf = xmalloc (size); \
3386 sa_must_free = 1; \
3387 record_unwind_protect (safe_alloca_unwind, \
3388 make_save_value (buf, 0)); \
3389 } \
3390 } while (0)
3391
3392 /* SAFE_NALLOCA sets BUF to a newly allocated array of MULTIPLIER *
3393 NITEMS items, each of the same type as *BUF. MULTIPLIER must
3394 positive. The code is tuned for MULTIPLIER being a constant. */
3395
3396 #define SAFE_NALLOCA(buf, multiplier, nitems) \
3397 do { \
3398 if ((nitems) <= MAX_ALLOCA / sizeof *(buf) / (multiplier)) \
3399 (buf) = alloca (sizeof *(buf) * (multiplier) * (nitems)); \
3400 else \
3401 { \
3402 (buf) = xnmalloc (nitems, sizeof *(buf) * (multiplier)); \
3403 sa_must_free = 1; \
3404 record_unwind_protect (safe_alloca_unwind, \
3405 make_save_value (buf, 0)); \
3406 } \
3407 } while (0)
3408
3409 /* SAFE_FREE frees xmalloced memory and enables GC as needed. */
3410
3411 #define SAFE_FREE() \
3412 do { \
3413 if (sa_must_free) { \
3414 sa_must_free = 0; \
3415 unbind_to (sa_count, Qnil); \
3416 } \
3417 } while (0)
3418
3419
3420 /* SAFE_ALLOCA_LISP allocates an array of Lisp_Objects. */
3421
3422 #define SAFE_ALLOCA_LISP(buf, nelt) \
3423 do { \
3424 if ((nelt) < MAX_ALLOCA / sizeof (Lisp_Object)) \
3425 buf = (Lisp_Object *) alloca ((nelt) * sizeof (Lisp_Object)); \
3426 else if ((nelt) < min (PTRDIFF_MAX, SIZE_MAX) / sizeof (Lisp_Object)) \
3427 { \
3428 Lisp_Object arg_; \
3429 buf = xmalloc ((nelt) * sizeof (Lisp_Object)); \
3430 arg_ = make_save_value (buf, nelt); \
3431 XSAVE_VALUE (arg_)->dogc = 1; \
3432 sa_must_free = 1; \
3433 record_unwind_protect (safe_alloca_unwind, arg_); \
3434 } \
3435 else \
3436 memory_full (SIZE_MAX); \
3437 } while (0)
3438
3439
3440 #include "globals.h"
3441
3442 /* Check whether it's time for GC, and run it if so. */
3443
3444 static inline void
3445 maybe_gc (void)
3446 {
3447 if ((consing_since_gc > gc_cons_threshold
3448 && consing_since_gc > gc_relative_threshold)
3449 || (!NILP (Vmemory_full)
3450 && consing_since_gc > memory_full_cons_threshold))
3451 Fgarbage_collect ();
3452 }
3453
3454 #endif /* EMACS_LISP_H */