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