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