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