Merged from emacs@sv.gnu.org. Last-minute emacsclient rewrites be damned!
[bpt/emacs.git] / src / data.c
1 /* Primitive operations on Lisp data types for GNU Emacs Lisp interpreter.
2 Copyright (C) 1985, 1986, 1988, 1993, 1994, 1995, 1997, 1998, 1999, 2000,
3 2001, 2002, 2003, 2004, 2005, 2006 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 2, or (at your option)
10 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; see the file COPYING. If not, write to
19 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
20 Boston, MA 02110-1301, USA. */
21
22
23 #include <config.h>
24 #include <signal.h>
25 #include <stdio.h>
26 #include "lisp.h"
27 #include "puresize.h"
28 #include "charset.h"
29 #include "buffer.h"
30 #include "keyboard.h"
31 #include "frame.h"
32 #include "syssignal.h"
33 #include "termhooks.h" /* For FRAME_KBOARD reference in y-or-n-p. */
34
35 #ifdef STDC_HEADERS
36 #include <float.h>
37 #endif
38
39 /* If IEEE_FLOATING_POINT isn't defined, default it from FLT_*. */
40 #ifndef IEEE_FLOATING_POINT
41 #if (FLT_RADIX == 2 && FLT_MANT_DIG == 24 \
42 && FLT_MIN_EXP == -125 && FLT_MAX_EXP == 128)
43 #define IEEE_FLOATING_POINT 1
44 #else
45 #define IEEE_FLOATING_POINT 0
46 #endif
47 #endif
48
49 /* Work around a problem that happens because math.h on hpux 7
50 defines two static variables--which, in Emacs, are not really static,
51 because `static' is defined as nothing. The problem is that they are
52 here, in floatfns.c, and in lread.c.
53 These macros prevent the name conflict. */
54 #if defined (HPUX) && !defined (HPUX8)
55 #define _MAXLDBL data_c_maxldbl
56 #define _NMAXLDBL data_c_nmaxldbl
57 #endif
58
59 #include <math.h>
60
61 #if !defined (atof)
62 extern double atof ();
63 #endif /* !atof */
64
65 Lisp_Object Qnil, Qt, Qquote, Qlambda, Qsubr, Qunbound;
66 Lisp_Object Qerror_conditions, Qerror_message, Qtop_level;
67 Lisp_Object Qerror, Qquit, Qwrong_type_argument, Qargs_out_of_range;
68 Lisp_Object Qvoid_variable, Qvoid_function, Qcyclic_function_indirection;
69 Lisp_Object Qcyclic_variable_indirection, Qcircular_list;
70 Lisp_Object Qsetting_constant, Qinvalid_read_syntax;
71 Lisp_Object Qinvalid_function, Qwrong_number_of_arguments, Qno_catch;
72 Lisp_Object Qend_of_file, Qarith_error, Qmark_inactive;
73 Lisp_Object Qbeginning_of_buffer, Qend_of_buffer, Qbuffer_read_only;
74 Lisp_Object Qtext_read_only;
75
76 Lisp_Object Qintegerp, Qnatnump, Qwholenump, Qsymbolp, Qlistp, Qconsp;
77 Lisp_Object Qstringp, Qarrayp, Qsequencep, Qbufferp;
78 Lisp_Object Qchar_or_string_p, Qmarkerp, Qinteger_or_marker_p, Qvectorp;
79 Lisp_Object Qbuffer_or_string_p, Qkeywordp;
80 Lisp_Object Qboundp, Qfboundp;
81 Lisp_Object Qchar_table_p, Qvector_or_char_table_p;
82
83 Lisp_Object Qcdr;
84 Lisp_Object Qad_advice_info, Qad_activate_internal;
85
86 Lisp_Object Qrange_error, Qdomain_error, Qsingularity_error;
87 Lisp_Object Qoverflow_error, Qunderflow_error;
88
89 Lisp_Object Qfloatp;
90 Lisp_Object Qnumberp, Qnumber_or_marker_p;
91
92 Lisp_Object Qinteger;
93 static Lisp_Object Qsymbol, Qstring, Qcons, Qmarker, Qoverlay;
94 static Lisp_Object Qfloat, Qwindow_configuration, Qwindow;
95 Lisp_Object Qprocess;
96 static Lisp_Object Qcompiled_function, Qbuffer, Qframe, Qvector;
97 static Lisp_Object Qchar_table, Qbool_vector, Qhash_table;
98 static Lisp_Object Qsubrp, Qmany, Qunevalled;
99
100 static Lisp_Object swap_in_symval_forwarding P_ ((Lisp_Object, Lisp_Object));
101
102 Lisp_Object Vmost_positive_fixnum, Vmost_negative_fixnum;
103
104
105 void
106 circular_list_error (list)
107 Lisp_Object list;
108 {
109 xsignal (Qcircular_list, list);
110 }
111
112
113 Lisp_Object
114 wrong_type_argument (predicate, value)
115 register Lisp_Object predicate, value;
116 {
117 /* If VALUE is not even a valid Lisp object, abort here
118 where we can get a backtrace showing where it came from. */
119 if ((unsigned int) XGCTYPE (value) >= Lisp_Type_Limit)
120 abort ();
121
122 xsignal2 (Qwrong_type_argument, predicate, value);
123 }
124
125 void
126 pure_write_error ()
127 {
128 error ("Attempt to modify read-only object");
129 }
130
131 void
132 args_out_of_range (a1, a2)
133 Lisp_Object a1, a2;
134 {
135 xsignal2 (Qargs_out_of_range, a1, a2);
136 }
137
138 void
139 args_out_of_range_3 (a1, a2, a3)
140 Lisp_Object a1, a2, a3;
141 {
142 xsignal3 (Qargs_out_of_range, a1, a2, a3);
143 }
144
145 /* On some machines, XINT needs a temporary location.
146 Here it is, in case it is needed. */
147
148 int sign_extend_temp;
149
150 /* On a few machines, XINT can only be done by calling this. */
151
152 int
153 sign_extend_lisp_int (num)
154 EMACS_INT num;
155 {
156 if (num & (((EMACS_INT) 1) << (VALBITS - 1)))
157 return num | (((EMACS_INT) (-1)) << VALBITS);
158 else
159 return num & ((((EMACS_INT) 1) << VALBITS) - 1);
160 }
161 \f
162 /* Data type predicates */
163
164 DEFUN ("eq", Feq, Seq, 2, 2, 0,
165 doc: /* Return t if the two args are the same Lisp object. */)
166 (obj1, obj2)
167 Lisp_Object obj1, obj2;
168 {
169 if (EQ (obj1, obj2))
170 return Qt;
171 return Qnil;
172 }
173
174 DEFUN ("null", Fnull, Snull, 1, 1, 0,
175 doc: /* Return t if OBJECT is nil. */)
176 (object)
177 Lisp_Object object;
178 {
179 if (NILP (object))
180 return Qt;
181 return Qnil;
182 }
183
184 DEFUN ("type-of", Ftype_of, Stype_of, 1, 1, 0,
185 doc: /* Return a symbol representing the type of OBJECT.
186 The symbol returned names the object's basic type;
187 for example, (type-of 1) returns `integer'. */)
188 (object)
189 Lisp_Object object;
190 {
191 switch (XGCTYPE (object))
192 {
193 case Lisp_Int:
194 return Qinteger;
195
196 case Lisp_Symbol:
197 return Qsymbol;
198
199 case Lisp_String:
200 return Qstring;
201
202 case Lisp_Cons:
203 return Qcons;
204
205 case Lisp_Misc:
206 switch (XMISCTYPE (object))
207 {
208 case Lisp_Misc_Marker:
209 return Qmarker;
210 case Lisp_Misc_Overlay:
211 return Qoverlay;
212 case Lisp_Misc_Float:
213 return Qfloat;
214 }
215 abort ();
216
217 case Lisp_Vectorlike:
218 if (GC_WINDOW_CONFIGURATIONP (object))
219 return Qwindow_configuration;
220 if (GC_PROCESSP (object))
221 return Qprocess;
222 if (GC_WINDOWP (object))
223 return Qwindow;
224 if (GC_SUBRP (object))
225 return Qsubr;
226 if (GC_COMPILEDP (object))
227 return Qcompiled_function;
228 if (GC_BUFFERP (object))
229 return Qbuffer;
230 if (GC_CHAR_TABLE_P (object))
231 return Qchar_table;
232 if (GC_BOOL_VECTOR_P (object))
233 return Qbool_vector;
234 if (GC_FRAMEP (object))
235 return Qframe;
236 if (GC_HASH_TABLE_P (object))
237 return Qhash_table;
238 return Qvector;
239
240 case Lisp_Float:
241 return Qfloat;
242
243 default:
244 abort ();
245 }
246 }
247
248 DEFUN ("consp", Fconsp, Sconsp, 1, 1, 0,
249 doc: /* Return t if OBJECT is a cons cell. */)
250 (object)
251 Lisp_Object object;
252 {
253 if (CONSP (object))
254 return Qt;
255 return Qnil;
256 }
257
258 DEFUN ("atom", Fatom, Satom, 1, 1, 0,
259 doc: /* Return t if OBJECT is not a cons cell. This includes nil. */)
260 (object)
261 Lisp_Object object;
262 {
263 if (CONSP (object))
264 return Qnil;
265 return Qt;
266 }
267
268 DEFUN ("listp", Flistp, Slistp, 1, 1, 0,
269 doc: /* Return t if OBJECT is a list, that is, a cons cell or nil.
270 Otherwise, return nil. */)
271 (object)
272 Lisp_Object object;
273 {
274 if (CONSP (object) || NILP (object))
275 return Qt;
276 return Qnil;
277 }
278
279 DEFUN ("nlistp", Fnlistp, Snlistp, 1, 1, 0,
280 doc: /* Return t if OBJECT is not a list. Lists include nil. */)
281 (object)
282 Lisp_Object object;
283 {
284 if (CONSP (object) || NILP (object))
285 return Qnil;
286 return Qt;
287 }
288 \f
289 DEFUN ("symbolp", Fsymbolp, Ssymbolp, 1, 1, 0,
290 doc: /* Return t if OBJECT is a symbol. */)
291 (object)
292 Lisp_Object object;
293 {
294 if (SYMBOLP (object))
295 return Qt;
296 return Qnil;
297 }
298
299 /* Define this in C to avoid unnecessarily consing up the symbol
300 name. */
301 DEFUN ("keywordp", Fkeywordp, Skeywordp, 1, 1, 0,
302 doc: /* Return t if OBJECT is a keyword.
303 This means that it is a symbol with a print name beginning with `:'
304 interned in the initial obarray. */)
305 (object)
306 Lisp_Object object;
307 {
308 if (SYMBOLP (object)
309 && SREF (SYMBOL_NAME (object), 0) == ':'
310 && SYMBOL_INTERNED_IN_INITIAL_OBARRAY_P (object))
311 return Qt;
312 return Qnil;
313 }
314
315 DEFUN ("vectorp", Fvectorp, Svectorp, 1, 1, 0,
316 doc: /* Return t if OBJECT is a vector. */)
317 (object)
318 Lisp_Object object;
319 {
320 if (VECTORP (object))
321 return Qt;
322 return Qnil;
323 }
324
325 DEFUN ("stringp", Fstringp, Sstringp, 1, 1, 0,
326 doc: /* Return t if OBJECT is a string. */)
327 (object)
328 Lisp_Object object;
329 {
330 if (STRINGP (object))
331 return Qt;
332 return Qnil;
333 }
334
335 DEFUN ("multibyte-string-p", Fmultibyte_string_p, Smultibyte_string_p,
336 1, 1, 0,
337 doc: /* Return t if OBJECT is a multibyte string. */)
338 (object)
339 Lisp_Object object;
340 {
341 if (STRINGP (object) && STRING_MULTIBYTE (object))
342 return Qt;
343 return Qnil;
344 }
345
346 DEFUN ("char-table-p", Fchar_table_p, Schar_table_p, 1, 1, 0,
347 doc: /* Return t if OBJECT is a char-table. */)
348 (object)
349 Lisp_Object object;
350 {
351 if (CHAR_TABLE_P (object))
352 return Qt;
353 return Qnil;
354 }
355
356 DEFUN ("vector-or-char-table-p", Fvector_or_char_table_p,
357 Svector_or_char_table_p, 1, 1, 0,
358 doc: /* Return t if OBJECT is a char-table or vector. */)
359 (object)
360 Lisp_Object object;
361 {
362 if (VECTORP (object) || CHAR_TABLE_P (object))
363 return Qt;
364 return Qnil;
365 }
366
367 DEFUN ("bool-vector-p", Fbool_vector_p, Sbool_vector_p, 1, 1, 0,
368 doc: /* Return t if OBJECT is a bool-vector. */)
369 (object)
370 Lisp_Object object;
371 {
372 if (BOOL_VECTOR_P (object))
373 return Qt;
374 return Qnil;
375 }
376
377 DEFUN ("arrayp", Farrayp, Sarrayp, 1, 1, 0,
378 doc: /* Return t if OBJECT is an array (string or vector). */)
379 (object)
380 Lisp_Object object;
381 {
382 if (ARRAYP (object))
383 return Qt;
384 return Qnil;
385 }
386
387 DEFUN ("sequencep", Fsequencep, Ssequencep, 1, 1, 0,
388 doc: /* Return t if OBJECT is a sequence (list or array). */)
389 (object)
390 register Lisp_Object object;
391 {
392 if (CONSP (object) || NILP (object) || ARRAYP (object))
393 return Qt;
394 return Qnil;
395 }
396
397 DEFUN ("bufferp", Fbufferp, Sbufferp, 1, 1, 0,
398 doc: /* Return t if OBJECT is an editor buffer. */)
399 (object)
400 Lisp_Object object;
401 {
402 if (BUFFERP (object))
403 return Qt;
404 return Qnil;
405 }
406
407 DEFUN ("markerp", Fmarkerp, Smarkerp, 1, 1, 0,
408 doc: /* Return t if OBJECT is a marker (editor pointer). */)
409 (object)
410 Lisp_Object object;
411 {
412 if (MARKERP (object))
413 return Qt;
414 return Qnil;
415 }
416
417 DEFUN ("subrp", Fsubrp, Ssubrp, 1, 1, 0,
418 doc: /* Return t if OBJECT is a built-in function. */)
419 (object)
420 Lisp_Object object;
421 {
422 if (SUBRP (object))
423 return Qt;
424 return Qnil;
425 }
426
427 DEFUN ("byte-code-function-p", Fbyte_code_function_p, Sbyte_code_function_p,
428 1, 1, 0,
429 doc: /* Return t if OBJECT is a byte-compiled function object. */)
430 (object)
431 Lisp_Object object;
432 {
433 if (COMPILEDP (object))
434 return Qt;
435 return Qnil;
436 }
437
438 DEFUN ("char-or-string-p", Fchar_or_string_p, Schar_or_string_p, 1, 1, 0,
439 doc: /* Return t if OBJECT is a character (an integer) or a string. */)
440 (object)
441 register Lisp_Object object;
442 {
443 if (INTEGERP (object) || STRINGP (object))
444 return Qt;
445 return Qnil;
446 }
447 \f
448 DEFUN ("integerp", Fintegerp, Sintegerp, 1, 1, 0,
449 doc: /* Return t if OBJECT is an integer. */)
450 (object)
451 Lisp_Object object;
452 {
453 if (INTEGERP (object))
454 return Qt;
455 return Qnil;
456 }
457
458 DEFUN ("integer-or-marker-p", Finteger_or_marker_p, Sinteger_or_marker_p, 1, 1, 0,
459 doc: /* Return t if OBJECT is an integer or a marker (editor pointer). */)
460 (object)
461 register Lisp_Object object;
462 {
463 if (MARKERP (object) || INTEGERP (object))
464 return Qt;
465 return Qnil;
466 }
467
468 DEFUN ("natnump", Fnatnump, Snatnump, 1, 1, 0,
469 doc: /* Return t if OBJECT is a nonnegative integer. */)
470 (object)
471 Lisp_Object object;
472 {
473 if (NATNUMP (object))
474 return Qt;
475 return Qnil;
476 }
477
478 DEFUN ("numberp", Fnumberp, Snumberp, 1, 1, 0,
479 doc: /* Return t if OBJECT is a number (floating point or integer). */)
480 (object)
481 Lisp_Object object;
482 {
483 if (NUMBERP (object))
484 return Qt;
485 else
486 return Qnil;
487 }
488
489 DEFUN ("number-or-marker-p", Fnumber_or_marker_p,
490 Snumber_or_marker_p, 1, 1, 0,
491 doc: /* Return t if OBJECT is a number or a marker. */)
492 (object)
493 Lisp_Object object;
494 {
495 if (NUMBERP (object) || MARKERP (object))
496 return Qt;
497 return Qnil;
498 }
499
500 DEFUN ("floatp", Ffloatp, Sfloatp, 1, 1, 0,
501 doc: /* Return t if OBJECT is a floating point number. */)
502 (object)
503 Lisp_Object object;
504 {
505 if (FLOATP (object))
506 return Qt;
507 return Qnil;
508 }
509
510 \f
511 /* Extract and set components of lists */
512
513 DEFUN ("car", Fcar, Scar, 1, 1, 0,
514 doc: /* Return the car of LIST. If arg is nil, return nil.
515 Error if arg is not nil and not a cons cell. See also `car-safe'.
516
517 See Info node `(elisp)Cons Cells' for a discussion of related basic
518 Lisp concepts such as car, cdr, cons cell and list. */)
519 (list)
520 register Lisp_Object list;
521 {
522 return CAR (list);
523 }
524
525 DEFUN ("car-safe", Fcar_safe, Scar_safe, 1, 1, 0,
526 doc: /* Return the car of OBJECT if it is a cons cell, or else nil. */)
527 (object)
528 Lisp_Object object;
529 {
530 return CAR_SAFE (object);
531 }
532
533 DEFUN ("cdr", Fcdr, Scdr, 1, 1, 0,
534 doc: /* Return the cdr of LIST. If arg is nil, return nil.
535 Error if arg is not nil and not a cons cell. See also `cdr-safe'.
536
537 See Info node `(elisp)Cons Cells' for a discussion of related basic
538 Lisp concepts such as cdr, car, cons cell and list. */)
539 (list)
540 register Lisp_Object list;
541 {
542 return CDR (list);
543 }
544
545 DEFUN ("cdr-safe", Fcdr_safe, Scdr_safe, 1, 1, 0,
546 doc: /* Return the cdr of OBJECT if it is a cons cell, or else nil. */)
547 (object)
548 Lisp_Object object;
549 {
550 return CDR_SAFE (object);
551 }
552
553 DEFUN ("setcar", Fsetcar, Ssetcar, 2, 2, 0,
554 doc: /* Set the car of CELL to be NEWCAR. Returns NEWCAR. */)
555 (cell, newcar)
556 register Lisp_Object cell, newcar;
557 {
558 CHECK_CONS (cell);
559 CHECK_IMPURE (cell);
560 XSETCAR (cell, newcar);
561 return newcar;
562 }
563
564 DEFUN ("setcdr", Fsetcdr, Ssetcdr, 2, 2, 0,
565 doc: /* Set the cdr of CELL to be NEWCDR. Returns NEWCDR. */)
566 (cell, newcdr)
567 register Lisp_Object cell, newcdr;
568 {
569 CHECK_CONS (cell);
570 CHECK_IMPURE (cell);
571 XSETCDR (cell, newcdr);
572 return newcdr;
573 }
574 \f
575 /* Extract and set components of symbols */
576
577 DEFUN ("boundp", Fboundp, Sboundp, 1, 1, 0,
578 doc: /* Return t if SYMBOL's value is not void. */)
579 (symbol)
580 register Lisp_Object symbol;
581 {
582 Lisp_Object valcontents;
583 CHECK_SYMBOL (symbol);
584
585 valcontents = SYMBOL_VALUE (symbol);
586
587 if (BUFFER_LOCAL_VALUEP (valcontents)
588 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
589 valcontents = swap_in_symval_forwarding (symbol, valcontents);
590
591 return (EQ (valcontents, Qunbound) ? Qnil : Qt);
592 }
593
594 DEFUN ("fboundp", Ffboundp, Sfboundp, 1, 1, 0,
595 doc: /* Return t if SYMBOL's function definition is not void. */)
596 (symbol)
597 register Lisp_Object symbol;
598 {
599 CHECK_SYMBOL (symbol);
600 return (EQ (XSYMBOL (symbol)->function, Qunbound) ? Qnil : Qt);
601 }
602
603 DEFUN ("makunbound", Fmakunbound, Smakunbound, 1, 1, 0,
604 doc: /* Make SYMBOL's value be void.
605 Return SYMBOL. */)
606 (symbol)
607 register Lisp_Object symbol;
608 {
609 CHECK_SYMBOL (symbol);
610 if (SYMBOL_CONSTANT_P (symbol))
611 xsignal1 (Qsetting_constant, symbol);
612 Fset (symbol, Qunbound);
613 return symbol;
614 }
615
616 DEFUN ("fmakunbound", Ffmakunbound, Sfmakunbound, 1, 1, 0,
617 doc: /* Make SYMBOL's function definition be void.
618 Return SYMBOL. */)
619 (symbol)
620 register Lisp_Object symbol;
621 {
622 CHECK_SYMBOL (symbol);
623 if (NILP (symbol) || EQ (symbol, Qt))
624 xsignal1 (Qsetting_constant, symbol);
625 XSYMBOL (symbol)->function = Qunbound;
626 return symbol;
627 }
628
629 DEFUN ("symbol-function", Fsymbol_function, Ssymbol_function, 1, 1, 0,
630 doc: /* Return SYMBOL's function definition. Error if that is void. */)
631 (symbol)
632 register Lisp_Object symbol;
633 {
634 CHECK_SYMBOL (symbol);
635 if (!EQ (XSYMBOL (symbol)->function, Qunbound))
636 return XSYMBOL (symbol)->function;
637 xsignal1 (Qvoid_function, symbol);
638 }
639
640 DEFUN ("symbol-plist", Fsymbol_plist, Ssymbol_plist, 1, 1, 0,
641 doc: /* Return SYMBOL's property list. */)
642 (symbol)
643 register Lisp_Object symbol;
644 {
645 CHECK_SYMBOL (symbol);
646 return XSYMBOL (symbol)->plist;
647 }
648
649 DEFUN ("symbol-name", Fsymbol_name, Ssymbol_name, 1, 1, 0,
650 doc: /* Return SYMBOL's name, a string. */)
651 (symbol)
652 register Lisp_Object symbol;
653 {
654 register Lisp_Object name;
655
656 CHECK_SYMBOL (symbol);
657 name = SYMBOL_NAME (symbol);
658 return name;
659 }
660
661 DEFUN ("fset", Ffset, Sfset, 2, 2, 0,
662 doc: /* Set SYMBOL's function definition to DEFINITION, and return DEFINITION. */)
663 (symbol, definition)
664 register Lisp_Object symbol, definition;
665 {
666 CHECK_SYMBOL (symbol);
667 if (NILP (symbol) || EQ (symbol, Qt))
668 xsignal1 (Qsetting_constant, symbol);
669 if (!NILP (Vautoload_queue) && !EQ (XSYMBOL (symbol)->function, Qunbound))
670 Vautoload_queue = Fcons (Fcons (symbol, XSYMBOL (symbol)->function),
671 Vautoload_queue);
672 XSYMBOL (symbol)->function = definition;
673 /* Handle automatic advice activation */
674 if (CONSP (XSYMBOL (symbol)->plist) && !NILP (Fget (symbol, Qad_advice_info)))
675 {
676 call2 (Qad_activate_internal, symbol, Qnil);
677 definition = XSYMBOL (symbol)->function;
678 }
679 return definition;
680 }
681
682 extern Lisp_Object Qfunction_documentation;
683
684 DEFUN ("defalias", Fdefalias, Sdefalias, 2, 3, 0,
685 doc: /* Set SYMBOL's function definition to DEFINITION, and return DEFINITION.
686 Associates the function with the current load file, if any.
687 The optional third argument DOCSTRING specifies the documentation string
688 for SYMBOL; if it is omitted or nil, SYMBOL uses the documentation string
689 determined by DEFINITION. */)
690 (symbol, definition, docstring)
691 register Lisp_Object symbol, definition, docstring;
692 {
693 CHECK_SYMBOL (symbol);
694 if (CONSP (XSYMBOL (symbol)->function)
695 && EQ (XCAR (XSYMBOL (symbol)->function), Qautoload))
696 LOADHIST_ATTACH (Fcons (Qt, symbol));
697 definition = Ffset (symbol, definition);
698 LOADHIST_ATTACH (Fcons (Qdefun, symbol));
699 if (!NILP (docstring))
700 Fput (symbol, Qfunction_documentation, docstring);
701 return definition;
702 }
703
704 DEFUN ("setplist", Fsetplist, Ssetplist, 2, 2, 0,
705 doc: /* Set SYMBOL's property list to NEWPLIST, and return NEWPLIST. */)
706 (symbol, newplist)
707 register Lisp_Object symbol, newplist;
708 {
709 CHECK_SYMBOL (symbol);
710 XSYMBOL (symbol)->plist = newplist;
711 return newplist;
712 }
713
714 DEFUN ("subr-arity", Fsubr_arity, Ssubr_arity, 1, 1, 0,
715 doc: /* Return minimum and maximum number of args allowed for SUBR.
716 SUBR must be a built-in function.
717 The returned value is a pair (MIN . MAX). MIN is the minimum number
718 of args. MAX is the maximum number or the symbol `many', for a
719 function with `&rest' args, or `unevalled' for a special form. */)
720 (subr)
721 Lisp_Object subr;
722 {
723 short minargs, maxargs;
724 CHECK_SUBR (subr);
725 minargs = XSUBR (subr)->min_args;
726 maxargs = XSUBR (subr)->max_args;
727 if (maxargs == MANY)
728 return Fcons (make_number (minargs), Qmany);
729 else if (maxargs == UNEVALLED)
730 return Fcons (make_number (minargs), Qunevalled);
731 else
732 return Fcons (make_number (minargs), make_number (maxargs));
733 }
734
735 DEFUN ("subr-name", Fsubr_name, Ssubr_name, 1, 1, 0,
736 doc: /* Return name of subroutine SUBR.
737 SUBR must be a built-in function. */)
738 (subr)
739 Lisp_Object subr;
740 {
741 const char *name;
742 CHECK_SUBR (subr);
743 name = XSUBR (subr)->symbol_name;
744 return make_string (name, strlen (name));
745 }
746
747 DEFUN ("interactive-form", Finteractive_form, Sinteractive_form, 1, 1, 0,
748 doc: /* Return the interactive form of CMD or nil if none.
749 If CMD is not a command, the return value is nil.
750 Value, if non-nil, is a list \(interactive SPEC). */)
751 (cmd)
752 Lisp_Object cmd;
753 {
754 Lisp_Object fun = indirect_function (cmd);
755
756 if (SUBRP (fun))
757 {
758 if (XSUBR (fun)->prompt)
759 return list2 (Qinteractive, build_string (XSUBR (fun)->prompt));
760 }
761 else if (COMPILEDP (fun))
762 {
763 if ((ASIZE (fun) & PSEUDOVECTOR_SIZE_MASK) > COMPILED_INTERACTIVE)
764 return list2 (Qinteractive, AREF (fun, COMPILED_INTERACTIVE));
765 }
766 else if (CONSP (fun))
767 {
768 Lisp_Object funcar = XCAR (fun);
769 if (EQ (funcar, Qlambda))
770 return Fassq (Qinteractive, Fcdr (XCDR (fun)));
771 else if (EQ (funcar, Qautoload))
772 {
773 struct gcpro gcpro1;
774 GCPRO1 (cmd);
775 do_autoload (fun, cmd);
776 UNGCPRO;
777 return Finteractive_form (cmd);
778 }
779 }
780 return Qnil;
781 }
782
783 \f
784 /***********************************************************************
785 Getting and Setting Values of Symbols
786 ***********************************************************************/
787
788 /* Return the symbol holding SYMBOL's value. Signal
789 `cyclic-variable-indirection' if SYMBOL's chain of variable
790 indirections contains a loop. */
791
792 Lisp_Object
793 indirect_variable (symbol)
794 Lisp_Object symbol;
795 {
796 Lisp_Object tortoise, hare;
797
798 hare = tortoise = symbol;
799
800 while (XSYMBOL (hare)->indirect_variable)
801 {
802 hare = XSYMBOL (hare)->value;
803 if (!XSYMBOL (hare)->indirect_variable)
804 break;
805
806 hare = XSYMBOL (hare)->value;
807 tortoise = XSYMBOL (tortoise)->value;
808
809 if (EQ (hare, tortoise))
810 xsignal1 (Qcyclic_variable_indirection, symbol);
811 }
812
813 return hare;
814 }
815
816
817 DEFUN ("indirect-variable", Findirect_variable, Sindirect_variable, 1, 1, 0,
818 doc: /* Return the variable at the end of OBJECT's variable chain.
819 If OBJECT is a symbol, follow all variable indirections and return the final
820 variable. If OBJECT is not a symbol, just return it.
821 Signal a cyclic-variable-indirection error if there is a loop in the
822 variable chain of symbols. */)
823 (object)
824 Lisp_Object object;
825 {
826 if (SYMBOLP (object))
827 object = indirect_variable (object);
828 return object;
829 }
830
831
832 /* Given the raw contents of a symbol value cell,
833 return the Lisp value of the symbol.
834 This does not handle buffer-local variables; use
835 swap_in_symval_forwarding for that. */
836
837 Lisp_Object
838 do_symval_forwarding (valcontents)
839 register Lisp_Object valcontents;
840 {
841 register Lisp_Object val;
842 int offset;
843 if (MISCP (valcontents))
844 switch (XMISCTYPE (valcontents))
845 {
846 case Lisp_Misc_Intfwd:
847 XSETINT (val, *XINTFWD (valcontents)->intvar);
848 return val;
849
850 case Lisp_Misc_Boolfwd:
851 return (*XBOOLFWD (valcontents)->boolvar ? Qt : Qnil);
852
853 case Lisp_Misc_Objfwd:
854 return *XOBJFWD (valcontents)->objvar;
855
856 case Lisp_Misc_Buffer_Objfwd:
857 offset = XBUFFER_OBJFWD (valcontents)->offset;
858 return PER_BUFFER_VALUE (current_buffer, offset);
859
860 case Lisp_Misc_Kboard_Objfwd:
861 offset = XKBOARD_OBJFWD (valcontents)->offset;
862 /* We used to simply use current_kboard here, but from Lisp
863 code, it's value is often unexpected. It seems nicer to
864 allow constructions like this to work as intuitively expected:
865
866 (with-selected-frame frame
867 (define-key local-function-map "\eOP" [f1]))
868
869 On the other hand, this affects the semantics of
870 last-command and real-last-command, and people may rely on
871 that. I took a quick look at the Lisp codebase, and I
872 don't think anything will break. --lorentey */
873 return *(Lisp_Object *)(offset + (char *)FRAME_KBOARD (SELECTED_FRAME ()));
874 }
875 return valcontents;
876 }
877
878 /* Store NEWVAL into SYMBOL, where VALCONTENTS is found in the value cell
879 of SYMBOL. If SYMBOL is buffer-local, VALCONTENTS should be the
880 buffer-independent contents of the value cell: forwarded just one
881 step past the buffer-localness.
882
883 BUF non-zero means set the value in buffer BUF instead of the
884 current buffer. This only plays a role for per-buffer variables. */
885
886 void
887 store_symval_forwarding (symbol, valcontents, newval, buf)
888 Lisp_Object symbol;
889 register Lisp_Object valcontents, newval;
890 struct buffer *buf;
891 {
892 switch (SWITCH_ENUM_CAST (XTYPE (valcontents)))
893 {
894 case Lisp_Misc:
895 switch (XMISCTYPE (valcontents))
896 {
897 case Lisp_Misc_Intfwd:
898 CHECK_NUMBER (newval);
899 *XINTFWD (valcontents)->intvar = XINT (newval);
900 if (*XINTFWD (valcontents)->intvar != XINT (newval))
901 error ("Value out of range for variable `%s'",
902 SDATA (SYMBOL_NAME (symbol)));
903 break;
904
905 case Lisp_Misc_Boolfwd:
906 *XBOOLFWD (valcontents)->boolvar = NILP (newval) ? 0 : 1;
907 break;
908
909 case Lisp_Misc_Objfwd:
910 *XOBJFWD (valcontents)->objvar = newval;
911
912 /* If this variable is a default for something stored
913 in the buffer itself, such as default-fill-column,
914 find the buffers that don't have local values for it
915 and update them. */
916 if (XOBJFWD (valcontents)->objvar > (Lisp_Object *) &buffer_defaults
917 && XOBJFWD (valcontents)->objvar < (Lisp_Object *) (&buffer_defaults + 1))
918 {
919 int offset = ((char *) XOBJFWD (valcontents)->objvar
920 - (char *) &buffer_defaults);
921 int idx = PER_BUFFER_IDX (offset);
922
923 Lisp_Object tail;
924
925 if (idx <= 0)
926 break;
927
928 for (tail = Vbuffer_alist; CONSP (tail); tail = XCDR (tail))
929 {
930 Lisp_Object buf;
931 struct buffer *b;
932
933 buf = Fcdr (XCAR (tail));
934 if (!BUFFERP (buf)) continue;
935 b = XBUFFER (buf);
936
937 if (! PER_BUFFER_VALUE_P (b, idx))
938 PER_BUFFER_VALUE (b, offset) = newval;
939 }
940 }
941 break;
942
943 case Lisp_Misc_Buffer_Objfwd:
944 {
945 int offset = XBUFFER_OBJFWD (valcontents)->offset;
946 Lisp_Object type;
947
948 type = PER_BUFFER_TYPE (offset);
949 if (! NILP (type) && ! NILP (newval)
950 && XTYPE (newval) != XINT (type))
951 buffer_slot_type_mismatch (offset);
952
953 if (buf == NULL)
954 buf = current_buffer;
955 PER_BUFFER_VALUE (buf, offset) = newval;
956 }
957 break;
958
959 case Lisp_Misc_Kboard_Objfwd:
960 {
961 char *base = (char *) FRAME_KBOARD (SELECTED_FRAME ());
962 char *p = base + XKBOARD_OBJFWD (valcontents)->offset;
963 *(Lisp_Object *) p = newval;
964 }
965 break;
966
967 default:
968 goto def;
969 }
970 break;
971
972 default:
973 def:
974 valcontents = SYMBOL_VALUE (symbol);
975 if (BUFFER_LOCAL_VALUEP (valcontents)
976 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
977 XBUFFER_LOCAL_VALUE (valcontents)->realvalue = newval;
978 else
979 SET_SYMBOL_VALUE (symbol, newval);
980 }
981 }
982
983 /* Set up SYMBOL to refer to its global binding.
984 This makes it safe to alter the status of other bindings. */
985
986 void
987 swap_in_global_binding (symbol)
988 Lisp_Object symbol;
989 {
990 Lisp_Object valcontents, cdr;
991
992 valcontents = SYMBOL_VALUE (symbol);
993 if (!BUFFER_LOCAL_VALUEP (valcontents)
994 && !SOME_BUFFER_LOCAL_VALUEP (valcontents))
995 abort ();
996 cdr = XBUFFER_LOCAL_VALUE (valcontents)->cdr;
997
998 /* Unload the previously loaded binding. */
999 Fsetcdr (XCAR (cdr),
1000 do_symval_forwarding (XBUFFER_LOCAL_VALUE (valcontents)->realvalue));
1001
1002 /* Select the global binding in the symbol. */
1003 XSETCAR (cdr, cdr);
1004 store_symval_forwarding (symbol, valcontents, XCDR (cdr), NULL);
1005
1006 /* Indicate that the global binding is set up now. */
1007 XBUFFER_LOCAL_VALUE (valcontents)->frame = Qnil;
1008 XBUFFER_LOCAL_VALUE (valcontents)->buffer = Qnil;
1009 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 0;
1010 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1011 }
1012
1013 /* Set up the buffer-local symbol SYMBOL for validity in the current buffer.
1014 VALCONTENTS is the contents of its value cell,
1015 which points to a struct Lisp_Buffer_Local_Value.
1016
1017 Return the value forwarded one step past the buffer-local stage.
1018 This could be another forwarding pointer. */
1019
1020 static Lisp_Object
1021 swap_in_symval_forwarding (symbol, valcontents)
1022 Lisp_Object symbol, valcontents;
1023 {
1024 register Lisp_Object tem1;
1025
1026 tem1 = XBUFFER_LOCAL_VALUE (valcontents)->buffer;
1027
1028 if (NILP (tem1)
1029 || current_buffer != XBUFFER (tem1)
1030 || (XBUFFER_LOCAL_VALUE (valcontents)->check_frame
1031 && ! EQ (selected_frame, XBUFFER_LOCAL_VALUE (valcontents)->frame)))
1032 {
1033 if (XSYMBOL (symbol)->indirect_variable)
1034 symbol = indirect_variable (symbol);
1035
1036 /* Unload the previously loaded binding. */
1037 tem1 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1038 Fsetcdr (tem1,
1039 do_symval_forwarding (XBUFFER_LOCAL_VALUE (valcontents)->realvalue));
1040 /* Choose the new binding. */
1041 tem1 = assq_no_quit (symbol, current_buffer->local_var_alist);
1042 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 0;
1043 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1044 if (NILP (tem1))
1045 {
1046 if (XBUFFER_LOCAL_VALUE (valcontents)->check_frame)
1047 tem1 = assq_no_quit (symbol, XFRAME (selected_frame)->param_alist);
1048 if (! NILP (tem1))
1049 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 1;
1050 else
1051 tem1 = XBUFFER_LOCAL_VALUE (valcontents)->cdr;
1052 }
1053 else
1054 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 1;
1055
1056 /* Load the new binding. */
1057 XSETCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr, tem1);
1058 XSETBUFFER (XBUFFER_LOCAL_VALUE (valcontents)->buffer, current_buffer);
1059 XBUFFER_LOCAL_VALUE (valcontents)->frame = selected_frame;
1060 store_symval_forwarding (symbol,
1061 XBUFFER_LOCAL_VALUE (valcontents)->realvalue,
1062 Fcdr (tem1), NULL);
1063 }
1064 return XBUFFER_LOCAL_VALUE (valcontents)->realvalue;
1065 }
1066 \f
1067 /* Find the value of a symbol, returning Qunbound if it's not bound.
1068 This is helpful for code which just wants to get a variable's value
1069 if it has one, without signaling an error.
1070 Note that it must not be possible to quit
1071 within this function. Great care is required for this. */
1072
1073 Lisp_Object
1074 find_symbol_value (symbol)
1075 Lisp_Object symbol;
1076 {
1077 register Lisp_Object valcontents;
1078 register Lisp_Object val;
1079
1080 CHECK_SYMBOL (symbol);
1081 valcontents = SYMBOL_VALUE (symbol);
1082
1083 if (BUFFER_LOCAL_VALUEP (valcontents)
1084 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1085 valcontents = swap_in_symval_forwarding (symbol, valcontents);
1086
1087 if (MISCP (valcontents))
1088 {
1089 switch (XMISCTYPE (valcontents))
1090 {
1091 case Lisp_Misc_Intfwd:
1092 XSETINT (val, *XINTFWD (valcontents)->intvar);
1093 return val;
1094
1095 case Lisp_Misc_Boolfwd:
1096 return (*XBOOLFWD (valcontents)->boolvar ? Qt : Qnil);
1097
1098 case Lisp_Misc_Objfwd:
1099 return *XOBJFWD (valcontents)->objvar;
1100
1101 case Lisp_Misc_Buffer_Objfwd:
1102 return PER_BUFFER_VALUE (current_buffer,
1103 XBUFFER_OBJFWD (valcontents)->offset);
1104
1105 case Lisp_Misc_Kboard_Objfwd:
1106 return *(Lisp_Object *)(XKBOARD_OBJFWD (valcontents)->offset
1107 + (char *)FRAME_KBOARD (SELECTED_FRAME ()));
1108 }
1109 }
1110
1111 return valcontents;
1112 }
1113
1114 DEFUN ("symbol-value", Fsymbol_value, Ssymbol_value, 1, 1, 0,
1115 doc: /* Return SYMBOL's value. Error if that is void. */)
1116 (symbol)
1117 Lisp_Object symbol;
1118 {
1119 Lisp_Object val;
1120
1121 val = find_symbol_value (symbol);
1122 if (!EQ (val, Qunbound))
1123 return val;
1124
1125 xsignal1 (Qvoid_variable, symbol);
1126 }
1127
1128 DEFUN ("set", Fset, Sset, 2, 2, 0,
1129 doc: /* Set SYMBOL's value to NEWVAL, and return NEWVAL. */)
1130 (symbol, newval)
1131 register Lisp_Object symbol, newval;
1132 {
1133 return set_internal (symbol, newval, current_buffer, 0);
1134 }
1135
1136 /* Return 1 if SYMBOL currently has a let-binding
1137 which was made in the buffer that is now current. */
1138
1139 static int
1140 let_shadows_buffer_binding_p (symbol)
1141 Lisp_Object symbol;
1142 {
1143 volatile struct specbinding *p;
1144
1145 for (p = specpdl_ptr - 1; p >= specpdl; p--)
1146 if (p->func == NULL
1147 && CONSP (p->symbol))
1148 {
1149 Lisp_Object let_bound_symbol = XCAR (p->symbol);
1150 if ((EQ (symbol, let_bound_symbol)
1151 || (XSYMBOL (let_bound_symbol)->indirect_variable
1152 && EQ (symbol, indirect_variable (let_bound_symbol))))
1153 && XBUFFER (XCDR (XCDR (p->symbol))) == current_buffer)
1154 break;
1155 }
1156
1157 return p >= specpdl;
1158 }
1159
1160 /* Store the value NEWVAL into SYMBOL.
1161 If buffer-locality is an issue, BUF specifies which buffer to use.
1162 (0 stands for the current buffer.)
1163
1164 If BINDFLAG is zero, then if this symbol is supposed to become
1165 local in every buffer where it is set, then we make it local.
1166 If BINDFLAG is nonzero, we don't do that. */
1167
1168 Lisp_Object
1169 set_internal (symbol, newval, buf, bindflag)
1170 register Lisp_Object symbol, newval;
1171 struct buffer *buf;
1172 int bindflag;
1173 {
1174 int voide = EQ (newval, Qunbound);
1175
1176 register Lisp_Object valcontents, innercontents, tem1, current_alist_element;
1177
1178 if (buf == 0)
1179 buf = current_buffer;
1180
1181 /* If restoring in a dead buffer, do nothing. */
1182 if (NILP (buf->name))
1183 return newval;
1184
1185 CHECK_SYMBOL (symbol);
1186 if (SYMBOL_CONSTANT_P (symbol)
1187 && (NILP (Fkeywordp (symbol))
1188 || !EQ (newval, SYMBOL_VALUE (symbol))))
1189 xsignal1 (Qsetting_constant, symbol);
1190
1191 innercontents = valcontents = SYMBOL_VALUE (symbol);
1192
1193 if (BUFFER_OBJFWDP (valcontents))
1194 {
1195 int offset = XBUFFER_OBJFWD (valcontents)->offset;
1196 int idx = PER_BUFFER_IDX (offset);
1197 if (idx > 0
1198 && !bindflag
1199 && !let_shadows_buffer_binding_p (symbol))
1200 SET_PER_BUFFER_VALUE_P (buf, idx, 1);
1201 }
1202 else if (BUFFER_LOCAL_VALUEP (valcontents)
1203 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1204 {
1205 /* valcontents is a struct Lisp_Buffer_Local_Value. */
1206 if (XSYMBOL (symbol)->indirect_variable)
1207 symbol = indirect_variable (symbol);
1208
1209 /* What binding is loaded right now? */
1210 current_alist_element
1211 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1212
1213 /* If the current buffer is not the buffer whose binding is
1214 loaded, or if there may be frame-local bindings and the frame
1215 isn't the right one, or if it's a Lisp_Buffer_Local_Value and
1216 the default binding is loaded, the loaded binding may be the
1217 wrong one. */
1218 if (!BUFFERP (XBUFFER_LOCAL_VALUE (valcontents)->buffer)
1219 || buf != XBUFFER (XBUFFER_LOCAL_VALUE (valcontents)->buffer)
1220 || (XBUFFER_LOCAL_VALUE (valcontents)->check_frame
1221 && !EQ (selected_frame, XBUFFER_LOCAL_VALUE (valcontents)->frame))
1222 || (BUFFER_LOCAL_VALUEP (valcontents)
1223 && EQ (XCAR (current_alist_element),
1224 current_alist_element)))
1225 {
1226 /* The currently loaded binding is not necessarily valid.
1227 We need to unload it, and choose a new binding. */
1228
1229 /* Write out `realvalue' to the old loaded binding. */
1230 Fsetcdr (current_alist_element,
1231 do_symval_forwarding (XBUFFER_LOCAL_VALUE (valcontents)->realvalue));
1232
1233 /* Find the new binding. */
1234 tem1 = Fassq (symbol, buf->local_var_alist);
1235 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 1;
1236 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 0;
1237
1238 if (NILP (tem1))
1239 {
1240 /* This buffer still sees the default value. */
1241
1242 /* If the variable is a Lisp_Some_Buffer_Local_Value,
1243 or if this is `let' rather than `set',
1244 make CURRENT-ALIST-ELEMENT point to itself,
1245 indicating that we're seeing the default value.
1246 Likewise if the variable has been let-bound
1247 in the current buffer. */
1248 if (bindflag || SOME_BUFFER_LOCAL_VALUEP (valcontents)
1249 || let_shadows_buffer_binding_p (symbol))
1250 {
1251 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1252
1253 if (XBUFFER_LOCAL_VALUE (valcontents)->check_frame)
1254 tem1 = Fassq (symbol,
1255 XFRAME (selected_frame)->param_alist);
1256
1257 if (! NILP (tem1))
1258 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 1;
1259 else
1260 tem1 = XBUFFER_LOCAL_VALUE (valcontents)->cdr;
1261 }
1262 /* If it's a Lisp_Buffer_Local_Value, being set not bound,
1263 and we're not within a let that was made for this buffer,
1264 create a new buffer-local binding for the variable.
1265 That means, give this buffer a new assoc for a local value
1266 and load that binding. */
1267 else
1268 {
1269 tem1 = Fcons (symbol, XCDR (current_alist_element));
1270 buf->local_var_alist
1271 = Fcons (tem1, buf->local_var_alist);
1272 }
1273 }
1274
1275 /* Record which binding is now loaded. */
1276 XSETCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr,
1277 tem1);
1278
1279 /* Set `buffer' and `frame' slots for thebinding now loaded. */
1280 XSETBUFFER (XBUFFER_LOCAL_VALUE (valcontents)->buffer, buf);
1281 XBUFFER_LOCAL_VALUE (valcontents)->frame = selected_frame;
1282 }
1283 innercontents = XBUFFER_LOCAL_VALUE (valcontents)->realvalue;
1284 }
1285
1286 /* If storing void (making the symbol void), forward only through
1287 buffer-local indicator, not through Lisp_Objfwd, etc. */
1288 if (voide)
1289 store_symval_forwarding (symbol, Qnil, newval, buf);
1290 else
1291 store_symval_forwarding (symbol, innercontents, newval, buf);
1292
1293 /* If we just set a variable whose current binding is frame-local,
1294 store the new value in the frame parameter too. */
1295
1296 if (BUFFER_LOCAL_VALUEP (valcontents)
1297 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1298 {
1299 /* What binding is loaded right now? */
1300 current_alist_element
1301 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1302
1303 /* If the current buffer is not the buffer whose binding is
1304 loaded, or if there may be frame-local bindings and the frame
1305 isn't the right one, or if it's a Lisp_Buffer_Local_Value and
1306 the default binding is loaded, the loaded binding may be the
1307 wrong one. */
1308 if (XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame)
1309 XSETCDR (current_alist_element, newval);
1310 }
1311
1312 return newval;
1313 }
1314 \f
1315 /* Access or set a buffer-local symbol's default value. */
1316
1317 /* Return the default value of SYMBOL, but don't check for voidness.
1318 Return Qunbound if it is void. */
1319
1320 Lisp_Object
1321 default_value (symbol)
1322 Lisp_Object symbol;
1323 {
1324 register Lisp_Object valcontents;
1325
1326 CHECK_SYMBOL (symbol);
1327 valcontents = SYMBOL_VALUE (symbol);
1328
1329 /* For a built-in buffer-local variable, get the default value
1330 rather than letting do_symval_forwarding get the current value. */
1331 if (BUFFER_OBJFWDP (valcontents))
1332 {
1333 int offset = XBUFFER_OBJFWD (valcontents)->offset;
1334 if (PER_BUFFER_IDX (offset) != 0)
1335 return PER_BUFFER_DEFAULT (offset);
1336 }
1337
1338 /* Handle user-created local variables. */
1339 if (BUFFER_LOCAL_VALUEP (valcontents)
1340 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1341 {
1342 /* If var is set up for a buffer that lacks a local value for it,
1343 the current value is nominally the default value.
1344 But the `realvalue' slot may be more up to date, since
1345 ordinary setq stores just that slot. So use that. */
1346 Lisp_Object current_alist_element, alist_element_car;
1347 current_alist_element
1348 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1349 alist_element_car = XCAR (current_alist_element);
1350 if (EQ (alist_element_car, current_alist_element))
1351 return do_symval_forwarding (XBUFFER_LOCAL_VALUE (valcontents)->realvalue);
1352 else
1353 return XCDR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1354 }
1355 /* For other variables, get the current value. */
1356 return do_symval_forwarding (valcontents);
1357 }
1358
1359 DEFUN ("default-boundp", Fdefault_boundp, Sdefault_boundp, 1, 1, 0,
1360 doc: /* Return t if SYMBOL has a non-void default value.
1361 This is the value that is seen in buffers that do not have their own values
1362 for this variable. */)
1363 (symbol)
1364 Lisp_Object symbol;
1365 {
1366 register Lisp_Object value;
1367
1368 value = default_value (symbol);
1369 return (EQ (value, Qunbound) ? Qnil : Qt);
1370 }
1371
1372 DEFUN ("default-value", Fdefault_value, Sdefault_value, 1, 1, 0,
1373 doc: /* Return SYMBOL's default value.
1374 This is the value that is seen in buffers that do not have their own values
1375 for this variable. The default value is meaningful for variables with
1376 local bindings in certain buffers. */)
1377 (symbol)
1378 Lisp_Object symbol;
1379 {
1380 register Lisp_Object value;
1381
1382 value = default_value (symbol);
1383 if (!EQ (value, Qunbound))
1384 return value;
1385
1386 xsignal1 (Qvoid_variable, symbol);
1387 }
1388
1389 DEFUN ("set-default", Fset_default, Sset_default, 2, 2, 0,
1390 doc: /* Set SYMBOL's default value to VALUE. SYMBOL and VALUE are evaluated.
1391 The default value is seen in buffers that do not have their own values
1392 for this variable. */)
1393 (symbol, value)
1394 Lisp_Object symbol, value;
1395 {
1396 register Lisp_Object valcontents, current_alist_element, alist_element_buffer;
1397
1398 CHECK_SYMBOL (symbol);
1399 valcontents = SYMBOL_VALUE (symbol);
1400
1401 /* Handle variables like case-fold-search that have special slots
1402 in the buffer. Make them work apparently like Lisp_Buffer_Local_Value
1403 variables. */
1404 if (BUFFER_OBJFWDP (valcontents))
1405 {
1406 int offset = XBUFFER_OBJFWD (valcontents)->offset;
1407 int idx = PER_BUFFER_IDX (offset);
1408
1409 PER_BUFFER_DEFAULT (offset) = value;
1410
1411 /* If this variable is not always local in all buffers,
1412 set it in the buffers that don't nominally have a local value. */
1413 if (idx > 0)
1414 {
1415 struct buffer *b;
1416
1417 for (b = all_buffers; b; b = b->next)
1418 if (!PER_BUFFER_VALUE_P (b, idx))
1419 PER_BUFFER_VALUE (b, offset) = value;
1420 }
1421 return value;
1422 }
1423
1424 if (!BUFFER_LOCAL_VALUEP (valcontents)
1425 && !SOME_BUFFER_LOCAL_VALUEP (valcontents))
1426 return Fset (symbol, value);
1427
1428 /* Store new value into the DEFAULT-VALUE slot. */
1429 XSETCDR (XBUFFER_LOCAL_VALUE (valcontents)->cdr, value);
1430
1431 /* If the default binding is now loaded, set the REALVALUE slot too. */
1432 current_alist_element
1433 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1434 alist_element_buffer = Fcar (current_alist_element);
1435 if (EQ (alist_element_buffer, current_alist_element))
1436 store_symval_forwarding (symbol,
1437 XBUFFER_LOCAL_VALUE (valcontents)->realvalue,
1438 value, NULL);
1439
1440 return value;
1441 }
1442
1443 DEFUN ("setq-default", Fsetq_default, Ssetq_default, 0, UNEVALLED, 0,
1444 doc: /* Set the default value of variable VAR to VALUE.
1445 VAR, the variable name, is literal (not evaluated);
1446 VALUE is an expression: it is evaluated and its value returned.
1447 The default value of a variable is seen in buffers
1448 that do not have their own values for the variable.
1449
1450 More generally, you can use multiple variables and values, as in
1451 (setq-default VAR VALUE VAR VALUE...)
1452 This sets each VAR's default value to the corresponding VALUE.
1453 The VALUE for the Nth VAR can refer to the new default values
1454 of previous VARs.
1455 usage: (setq-default [VAR VALUE...]) */)
1456 (args)
1457 Lisp_Object args;
1458 {
1459 register Lisp_Object args_left;
1460 register Lisp_Object val, symbol;
1461 struct gcpro gcpro1;
1462
1463 if (NILP (args))
1464 return Qnil;
1465
1466 args_left = args;
1467 GCPRO1 (args);
1468
1469 do
1470 {
1471 val = Feval (Fcar (Fcdr (args_left)));
1472 symbol = XCAR (args_left);
1473 Fset_default (symbol, val);
1474 args_left = Fcdr (XCDR (args_left));
1475 }
1476 while (!NILP (args_left));
1477
1478 UNGCPRO;
1479 return val;
1480 }
1481 \f
1482 /* Lisp functions for creating and removing buffer-local variables. */
1483
1484 DEFUN ("make-variable-buffer-local", Fmake_variable_buffer_local, Smake_variable_buffer_local,
1485 1, 1, "vMake Variable Buffer Local: ",
1486 doc: /* Make VARIABLE become buffer-local whenever it is set.
1487 At any time, the value for the current buffer is in effect,
1488 unless the variable has never been set in this buffer,
1489 in which case the default value is in effect.
1490 Note that binding the variable with `let', or setting it while
1491 a `let'-style binding made in this buffer is in effect,
1492 does not make the variable buffer-local. Return VARIABLE.
1493
1494 In most cases it is better to use `make-local-variable',
1495 which makes a variable local in just one buffer.
1496
1497 The function `default-value' gets the default value and `set-default' sets it. */)
1498 (variable)
1499 register Lisp_Object variable;
1500 {
1501 register Lisp_Object tem, valcontents, newval;
1502
1503 CHECK_SYMBOL (variable);
1504 variable = indirect_variable (variable);
1505
1506 valcontents = SYMBOL_VALUE (variable);
1507 if (EQ (variable, Qnil) || EQ (variable, Qt) || KBOARD_OBJFWDP (valcontents))
1508 error ("Symbol %s may not be buffer-local", SDATA (SYMBOL_NAME (variable)));
1509
1510 if (BUFFER_LOCAL_VALUEP (valcontents) || BUFFER_OBJFWDP (valcontents))
1511 return variable;
1512 if (SOME_BUFFER_LOCAL_VALUEP (valcontents))
1513 {
1514 XMISCTYPE (SYMBOL_VALUE (variable)) = Lisp_Misc_Buffer_Local_Value;
1515 return variable;
1516 }
1517 if (EQ (valcontents, Qunbound))
1518 SET_SYMBOL_VALUE (variable, Qnil);
1519 tem = Fcons (Qnil, Fsymbol_value (variable));
1520 XSETCAR (tem, tem);
1521 newval = allocate_misc ();
1522 XMISCTYPE (newval) = Lisp_Misc_Buffer_Local_Value;
1523 XBUFFER_LOCAL_VALUE (newval)->realvalue = SYMBOL_VALUE (variable);
1524 XBUFFER_LOCAL_VALUE (newval)->buffer = Fcurrent_buffer ();
1525 XBUFFER_LOCAL_VALUE (newval)->frame = Qnil;
1526 XBUFFER_LOCAL_VALUE (newval)->found_for_buffer = 0;
1527 XBUFFER_LOCAL_VALUE (newval)->found_for_frame = 0;
1528 XBUFFER_LOCAL_VALUE (newval)->check_frame = 0;
1529 XBUFFER_LOCAL_VALUE (newval)->cdr = tem;
1530 SET_SYMBOL_VALUE (variable, newval);
1531 return variable;
1532 }
1533
1534 DEFUN ("make-local-variable", Fmake_local_variable, Smake_local_variable,
1535 1, 1, "vMake Local Variable: ",
1536 doc: /* Make VARIABLE have a separate value in the current buffer.
1537 Other buffers will continue to share a common default value.
1538 \(The buffer-local value of VARIABLE starts out as the same value
1539 VARIABLE previously had. If VARIABLE was void, it remains void.\)
1540 Return VARIABLE.
1541
1542 If the variable is already arranged to become local when set,
1543 this function causes a local value to exist for this buffer,
1544 just as setting the variable would do.
1545
1546 This function returns VARIABLE, and therefore
1547 (set (make-local-variable 'VARIABLE) VALUE-EXP)
1548 works.
1549
1550 See also `make-variable-buffer-local'.
1551
1552 Do not use `make-local-variable' to make a hook variable buffer-local.
1553 Instead, use `add-hook' and specify t for the LOCAL argument. */)
1554 (variable)
1555 register Lisp_Object variable;
1556 {
1557 register Lisp_Object tem, valcontents;
1558
1559 CHECK_SYMBOL (variable);
1560 variable = indirect_variable (variable);
1561
1562 valcontents = SYMBOL_VALUE (variable);
1563 if (EQ (variable, Qnil) || EQ (variable, Qt) || KBOARD_OBJFWDP (valcontents))
1564 error ("Symbol %s may not be buffer-local", SDATA (SYMBOL_NAME (variable)));
1565
1566 if (BUFFER_LOCAL_VALUEP (valcontents) || BUFFER_OBJFWDP (valcontents))
1567 {
1568 tem = Fboundp (variable);
1569
1570 /* Make sure the symbol has a local value in this particular buffer,
1571 by setting it to the same value it already has. */
1572 Fset (variable, (EQ (tem, Qt) ? Fsymbol_value (variable) : Qunbound));
1573 return variable;
1574 }
1575 /* Make sure symbol is set up to hold per-buffer values. */
1576 if (!SOME_BUFFER_LOCAL_VALUEP (valcontents))
1577 {
1578 Lisp_Object newval;
1579 tem = Fcons (Qnil, do_symval_forwarding (valcontents));
1580 XSETCAR (tem, tem);
1581 newval = allocate_misc ();
1582 XMISCTYPE (newval) = Lisp_Misc_Some_Buffer_Local_Value;
1583 XBUFFER_LOCAL_VALUE (newval)->realvalue = SYMBOL_VALUE (variable);
1584 XBUFFER_LOCAL_VALUE (newval)->buffer = Qnil;
1585 XBUFFER_LOCAL_VALUE (newval)->frame = Qnil;
1586 XBUFFER_LOCAL_VALUE (newval)->found_for_buffer = 0;
1587 XBUFFER_LOCAL_VALUE (newval)->found_for_frame = 0;
1588 XBUFFER_LOCAL_VALUE (newval)->check_frame = 0;
1589 XBUFFER_LOCAL_VALUE (newval)->cdr = tem;
1590 SET_SYMBOL_VALUE (variable, newval);;
1591 }
1592 /* Make sure this buffer has its own value of symbol. */
1593 tem = Fassq (variable, current_buffer->local_var_alist);
1594 if (NILP (tem))
1595 {
1596 /* Swap out any local binding for some other buffer, and make
1597 sure the current value is permanently recorded, if it's the
1598 default value. */
1599 find_symbol_value (variable);
1600
1601 current_buffer->local_var_alist
1602 = Fcons (Fcons (variable, XCDR (XBUFFER_LOCAL_VALUE (SYMBOL_VALUE (variable))->cdr)),
1603 current_buffer->local_var_alist);
1604
1605 /* Make sure symbol does not think it is set up for this buffer;
1606 force it to look once again for this buffer's value. */
1607 {
1608 Lisp_Object *pvalbuf;
1609
1610 valcontents = SYMBOL_VALUE (variable);
1611
1612 pvalbuf = &XBUFFER_LOCAL_VALUE (valcontents)->buffer;
1613 if (current_buffer == XBUFFER (*pvalbuf))
1614 *pvalbuf = Qnil;
1615 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1616 }
1617 }
1618
1619 /* If the symbol forwards into a C variable, then load the binding
1620 for this buffer now. If C code modifies the variable before we
1621 load the binding in, then that new value will clobber the default
1622 binding the next time we unload it. */
1623 valcontents = XBUFFER_LOCAL_VALUE (SYMBOL_VALUE (variable))->realvalue;
1624 if (INTFWDP (valcontents) || BOOLFWDP (valcontents) || OBJFWDP (valcontents))
1625 swap_in_symval_forwarding (variable, SYMBOL_VALUE (variable));
1626
1627 return variable;
1628 }
1629
1630 DEFUN ("kill-local-variable", Fkill_local_variable, Skill_local_variable,
1631 1, 1, "vKill Local Variable: ",
1632 doc: /* Make VARIABLE no longer have a separate value in the current buffer.
1633 From now on the default value will apply in this buffer. Return VARIABLE. */)
1634 (variable)
1635 register Lisp_Object variable;
1636 {
1637 register Lisp_Object tem, valcontents;
1638
1639 CHECK_SYMBOL (variable);
1640 variable = indirect_variable (variable);
1641
1642 valcontents = SYMBOL_VALUE (variable);
1643
1644 if (BUFFER_OBJFWDP (valcontents))
1645 {
1646 int offset = XBUFFER_OBJFWD (valcontents)->offset;
1647 int idx = PER_BUFFER_IDX (offset);
1648
1649 if (idx > 0)
1650 {
1651 SET_PER_BUFFER_VALUE_P (current_buffer, idx, 0);
1652 PER_BUFFER_VALUE (current_buffer, offset)
1653 = PER_BUFFER_DEFAULT (offset);
1654 }
1655 return variable;
1656 }
1657
1658 if (!BUFFER_LOCAL_VALUEP (valcontents)
1659 && !SOME_BUFFER_LOCAL_VALUEP (valcontents))
1660 return variable;
1661
1662 /* Get rid of this buffer's alist element, if any. */
1663
1664 tem = Fassq (variable, current_buffer->local_var_alist);
1665 if (!NILP (tem))
1666 current_buffer->local_var_alist
1667 = Fdelq (tem, current_buffer->local_var_alist);
1668
1669 /* If the symbol is set up with the current buffer's binding
1670 loaded, recompute its value. We have to do it now, or else
1671 forwarded objects won't work right. */
1672 {
1673 Lisp_Object *pvalbuf, buf;
1674 valcontents = SYMBOL_VALUE (variable);
1675 pvalbuf = &XBUFFER_LOCAL_VALUE (valcontents)->buffer;
1676 XSETBUFFER (buf, current_buffer);
1677 if (EQ (buf, *pvalbuf))
1678 {
1679 *pvalbuf = Qnil;
1680 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1681 find_symbol_value (variable);
1682 }
1683 }
1684
1685 return variable;
1686 }
1687
1688 /* Lisp functions for creating and removing buffer-local variables. */
1689
1690 DEFUN ("make-variable-frame-local", Fmake_variable_frame_local, Smake_variable_frame_local,
1691 1, 1, "vMake Variable Frame Local: ",
1692 doc: /* Enable VARIABLE to have frame-local bindings.
1693 This does not create any frame-local bindings for VARIABLE,
1694 it just makes them possible.
1695
1696 A frame-local binding is actually a frame parameter value.
1697 If a frame F has a value for the frame parameter named VARIABLE,
1698 that also acts as a frame-local binding for VARIABLE in F--
1699 provided this function has been called to enable VARIABLE
1700 to have frame-local bindings at all.
1701
1702 The only way to create a frame-local binding for VARIABLE in a frame
1703 is to set the VARIABLE frame parameter of that frame. See
1704 `modify-frame-parameters' for how to set frame parameters.
1705
1706 Buffer-local bindings take precedence over frame-local bindings. */)
1707 (variable)
1708 register Lisp_Object variable;
1709 {
1710 register Lisp_Object tem, valcontents, newval;
1711
1712 CHECK_SYMBOL (variable);
1713 variable = indirect_variable (variable);
1714
1715 valcontents = SYMBOL_VALUE (variable);
1716 if (EQ (variable, Qnil) || EQ (variable, Qt) || KBOARD_OBJFWDP (valcontents)
1717 || BUFFER_OBJFWDP (valcontents))
1718 error ("Symbol %s may not be frame-local", SDATA (SYMBOL_NAME (variable)));
1719
1720 if (BUFFER_LOCAL_VALUEP (valcontents)
1721 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1722 {
1723 XBUFFER_LOCAL_VALUE (valcontents)->check_frame = 1;
1724 return variable;
1725 }
1726
1727 if (EQ (valcontents, Qunbound))
1728 SET_SYMBOL_VALUE (variable, Qnil);
1729 tem = Fcons (Qnil, Fsymbol_value (variable));
1730 XSETCAR (tem, tem);
1731 newval = allocate_misc ();
1732 XMISCTYPE (newval) = Lisp_Misc_Some_Buffer_Local_Value;
1733 XBUFFER_LOCAL_VALUE (newval)->realvalue = SYMBOL_VALUE (variable);
1734 XBUFFER_LOCAL_VALUE (newval)->buffer = Qnil;
1735 XBUFFER_LOCAL_VALUE (newval)->frame = Qnil;
1736 XBUFFER_LOCAL_VALUE (newval)->found_for_buffer = 0;
1737 XBUFFER_LOCAL_VALUE (newval)->found_for_frame = 0;
1738 XBUFFER_LOCAL_VALUE (newval)->check_frame = 1;
1739 XBUFFER_LOCAL_VALUE (newval)->cdr = tem;
1740 SET_SYMBOL_VALUE (variable, newval);
1741 return variable;
1742 }
1743
1744 DEFUN ("local-variable-p", Flocal_variable_p, Slocal_variable_p,
1745 1, 2, 0,
1746 doc: /* Non-nil if VARIABLE has a local binding in buffer BUFFER.
1747 BUFFER defaults to the current buffer. */)
1748 (variable, buffer)
1749 register Lisp_Object variable, buffer;
1750 {
1751 Lisp_Object valcontents;
1752 register struct buffer *buf;
1753
1754 if (NILP (buffer))
1755 buf = current_buffer;
1756 else
1757 {
1758 CHECK_BUFFER (buffer);
1759 buf = XBUFFER (buffer);
1760 }
1761
1762 CHECK_SYMBOL (variable);
1763 variable = indirect_variable (variable);
1764
1765 valcontents = SYMBOL_VALUE (variable);
1766 if (BUFFER_LOCAL_VALUEP (valcontents)
1767 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1768 {
1769 Lisp_Object tail, elt;
1770
1771 for (tail = buf->local_var_alist; CONSP (tail); tail = XCDR (tail))
1772 {
1773 elt = XCAR (tail);
1774 if (EQ (variable, XCAR (elt)))
1775 return Qt;
1776 }
1777 }
1778 if (BUFFER_OBJFWDP (valcontents))
1779 {
1780 int offset = XBUFFER_OBJFWD (valcontents)->offset;
1781 int idx = PER_BUFFER_IDX (offset);
1782 if (idx == -1 || PER_BUFFER_VALUE_P (buf, idx))
1783 return Qt;
1784 }
1785 return Qnil;
1786 }
1787
1788 DEFUN ("local-variable-if-set-p", Flocal_variable_if_set_p, Slocal_variable_if_set_p,
1789 1, 2, 0,
1790 doc: /* Non-nil if VARIABLE will be local in buffer BUFFER when set there.
1791 More precisely, this means that setting the variable \(with `set' or`setq'),
1792 while it does not have a `let'-style binding that was made in BUFFER,
1793 will produce a buffer local binding. See Info node
1794 `(elisp)Creating Buffer-Local'.
1795 BUFFER defaults to the current buffer. */)
1796 (variable, buffer)
1797 register Lisp_Object variable, buffer;
1798 {
1799 Lisp_Object valcontents;
1800 register struct buffer *buf;
1801
1802 if (NILP (buffer))
1803 buf = current_buffer;
1804 else
1805 {
1806 CHECK_BUFFER (buffer);
1807 buf = XBUFFER (buffer);
1808 }
1809
1810 CHECK_SYMBOL (variable);
1811 variable = indirect_variable (variable);
1812
1813 valcontents = SYMBOL_VALUE (variable);
1814
1815 /* This means that make-variable-buffer-local was done. */
1816 if (BUFFER_LOCAL_VALUEP (valcontents))
1817 return Qt;
1818 /* All these slots become local if they are set. */
1819 if (BUFFER_OBJFWDP (valcontents))
1820 return Qt;
1821 if (SOME_BUFFER_LOCAL_VALUEP (valcontents))
1822 {
1823 Lisp_Object tail, elt;
1824 for (tail = buf->local_var_alist; CONSP (tail); tail = XCDR (tail))
1825 {
1826 elt = XCAR (tail);
1827 if (EQ (variable, XCAR (elt)))
1828 return Qt;
1829 }
1830 }
1831 return Qnil;
1832 }
1833
1834 DEFUN ("variable-binding-locus", Fvariable_binding_locus, Svariable_binding_locus,
1835 1, 1, 0,
1836 doc: /* Return a value indicating where VARIABLE's current binding comes from.
1837 If the current binding is buffer-local, the value is the current buffer.
1838 If the current binding is frame-local, the value is the selected frame.
1839 If the current binding is global (the default), the value is nil. */)
1840 (variable)
1841 register Lisp_Object variable;
1842 {
1843 Lisp_Object valcontents;
1844
1845 CHECK_SYMBOL (variable);
1846 variable = indirect_variable (variable);
1847
1848 /* Make sure the current binding is actually swapped in. */
1849 find_symbol_value (variable);
1850
1851 valcontents = XSYMBOL (variable)->value;
1852
1853 if (BUFFER_LOCAL_VALUEP (valcontents)
1854 || SOME_BUFFER_LOCAL_VALUEP (valcontents)
1855 || BUFFER_OBJFWDP (valcontents))
1856 {
1857 /* For a local variable, record both the symbol and which
1858 buffer's or frame's value we are saving. */
1859 if (!NILP (Flocal_variable_p (variable, Qnil)))
1860 return Fcurrent_buffer ();
1861 else if (!BUFFER_OBJFWDP (valcontents)
1862 && XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame)
1863 return XBUFFER_LOCAL_VALUE (valcontents)->frame;
1864 }
1865
1866 return Qnil;
1867 }
1868
1869 /* This code is disabled now that we use the selected frame to return
1870 keyboard-local-values. */
1871 #if 0
1872 extern struct terminal *get_terminal P_ ((Lisp_Object display, int));
1873
1874 DEFUN ("terminal-local-value", Fterminal_local_value, Sterminal_local_value, 2, 2, 0,
1875 doc: /* Return the terminal-local value of SYMBOL on TERMINAL.
1876 If SYMBOL is not a terminal-local variable, then return its normal
1877 value, like `symbol-value'.
1878
1879 TERMINAL may be a terminal id, a frame, or nil (meaning the
1880 selected frame's terminal device). */)
1881 (symbol, terminal)
1882 Lisp_Object symbol;
1883 Lisp_Object terminal;
1884 {
1885 Lisp_Object result;
1886 struct terminal *t = get_terminal (terminal, 1);
1887 push_kboard (t->kboard);
1888 result = Fsymbol_value (symbol);
1889 pop_kboard ();
1890 return result;
1891 }
1892
1893 DEFUN ("set-terminal-local-value", Fset_terminal_local_value, Sset_terminal_local_value, 3, 3, 0,
1894 doc: /* Set the terminal-local binding of SYMBOL on TERMINAL to VALUE.
1895 If VARIABLE is not a terminal-local variable, then set its normal
1896 binding, like `set'.
1897
1898 TERMINAL may be a terminal id, a frame, or nil (meaning the
1899 selected frame's terminal device). */)
1900 (symbol, terminal, value)
1901 Lisp_Object symbol;
1902 Lisp_Object terminal;
1903 Lisp_Object value;
1904 {
1905 Lisp_Object result;
1906 struct terminal *t = get_terminal (terminal, 1);
1907 push_kboard (d->kboard);
1908 result = Fset (symbol, value);
1909 pop_kboard ();
1910 return result;
1911 }
1912 #endif
1913 \f
1914 /* Find the function at the end of a chain of symbol function indirections. */
1915
1916 /* If OBJECT is a symbol, find the end of its function chain and
1917 return the value found there. If OBJECT is not a symbol, just
1918 return it. If there is a cycle in the function chain, signal a
1919 cyclic-function-indirection error.
1920
1921 This is like Findirect_function, except that it doesn't signal an
1922 error if the chain ends up unbound. */
1923 Lisp_Object
1924 indirect_function (object)
1925 register Lisp_Object object;
1926 {
1927 Lisp_Object tortoise, hare;
1928
1929 hare = tortoise = object;
1930
1931 for (;;)
1932 {
1933 if (!SYMBOLP (hare) || EQ (hare, Qunbound))
1934 break;
1935 hare = XSYMBOL (hare)->function;
1936 if (!SYMBOLP (hare) || EQ (hare, Qunbound))
1937 break;
1938 hare = XSYMBOL (hare)->function;
1939
1940 tortoise = XSYMBOL (tortoise)->function;
1941
1942 if (EQ (hare, tortoise))
1943 xsignal1 (Qcyclic_function_indirection, object);
1944 }
1945
1946 return hare;
1947 }
1948
1949 DEFUN ("indirect-function", Findirect_function, Sindirect_function, 1, 2, 0,
1950 doc: /* Return the function at the end of OBJECT's function chain.
1951 If OBJECT is not a symbol, just return it. Otherwise, follow all
1952 function indirections to find the final function binding and return it.
1953 If the final symbol in the chain is unbound, signal a void-function error.
1954 Optional arg NOERROR non-nil means to return nil instead of signalling.
1955 Signal a cyclic-function-indirection error if there is a loop in the
1956 function chain of symbols. */)
1957 (object, noerror)
1958 register Lisp_Object object;
1959 Lisp_Object noerror;
1960 {
1961 Lisp_Object result;
1962
1963 /* Optimize for no indirection. */
1964 result = object;
1965 if (SYMBOLP (result) && !EQ (result, Qunbound)
1966 && (result = XSYMBOL (result)->function, SYMBOLP (result)))
1967 result = indirect_function (result);
1968 if (!EQ (result, Qunbound))
1969 return result;
1970
1971 if (NILP (noerror))
1972 xsignal1 (Qvoid_function, object);
1973
1974 return Qnil;
1975 }
1976 \f
1977 /* Extract and set vector and string elements */
1978
1979 DEFUN ("aref", Faref, Saref, 2, 2, 0,
1980 doc: /* Return the element of ARRAY at index IDX.
1981 ARRAY may be a vector, a string, a char-table, a bool-vector,
1982 or a byte-code object. IDX starts at 0. */)
1983 (array, idx)
1984 register Lisp_Object array;
1985 Lisp_Object idx;
1986 {
1987 register int idxval;
1988
1989 CHECK_NUMBER (idx);
1990 idxval = XINT (idx);
1991 if (STRINGP (array))
1992 {
1993 int c, idxval_byte;
1994
1995 if (idxval < 0 || idxval >= SCHARS (array))
1996 args_out_of_range (array, idx);
1997 if (! STRING_MULTIBYTE (array))
1998 return make_number ((unsigned char) SREF (array, idxval));
1999 idxval_byte = string_char_to_byte (array, idxval);
2000
2001 c = STRING_CHAR (SDATA (array) + idxval_byte,
2002 SBYTES (array) - idxval_byte);
2003 return make_number (c);
2004 }
2005 else if (BOOL_VECTOR_P (array))
2006 {
2007 int val;
2008
2009 if (idxval < 0 || idxval >= XBOOL_VECTOR (array)->size)
2010 args_out_of_range (array, idx);
2011
2012 val = (unsigned char) XBOOL_VECTOR (array)->data[idxval / BOOL_VECTOR_BITS_PER_CHAR];
2013 return (val & (1 << (idxval % BOOL_VECTOR_BITS_PER_CHAR)) ? Qt : Qnil);
2014 }
2015 else if (CHAR_TABLE_P (array))
2016 {
2017 Lisp_Object val;
2018
2019 val = Qnil;
2020
2021 if (idxval < 0)
2022 args_out_of_range (array, idx);
2023 if (idxval < CHAR_TABLE_ORDINARY_SLOTS)
2024 {
2025 if (! SINGLE_BYTE_CHAR_P (idxval))
2026 args_out_of_range (array, idx);
2027 /* For ASCII and 8-bit European characters, the element is
2028 stored in the top table. */
2029 val = XCHAR_TABLE (array)->contents[idxval];
2030 if (NILP (val))
2031 {
2032 int default_slot
2033 = (idxval < 0x80 ? CHAR_TABLE_DEFAULT_SLOT_ASCII
2034 : idxval < 0xA0 ? CHAR_TABLE_DEFAULT_SLOT_8_BIT_CONTROL
2035 : CHAR_TABLE_DEFAULT_SLOT_8_BIT_GRAPHIC);
2036 val = XCHAR_TABLE (array)->contents[default_slot];
2037 }
2038 if (NILP (val))
2039 val = XCHAR_TABLE (array)->defalt;
2040 while (NILP (val)) /* Follow parents until we find some value. */
2041 {
2042 array = XCHAR_TABLE (array)->parent;
2043 if (NILP (array))
2044 return Qnil;
2045 val = XCHAR_TABLE (array)->contents[idxval];
2046 if (NILP (val))
2047 val = XCHAR_TABLE (array)->defalt;
2048 }
2049 return val;
2050 }
2051 else
2052 {
2053 int code[4], i;
2054 Lisp_Object sub_table;
2055 Lisp_Object current_default;
2056
2057 SPLIT_CHAR (idxval, code[0], code[1], code[2]);
2058 if (code[1] < 32) code[1] = -1;
2059 else if (code[2] < 32) code[2] = -1;
2060
2061 /* Here, the possible range of CODE[0] (== charset ID) is
2062 128..MAX_CHARSET. Since the top level char table contains
2063 data for multibyte characters after 256th element, we must
2064 increment CODE[0] by 128 to get a correct index. */
2065 code[0] += 128;
2066 code[3] = -1; /* anchor */
2067
2068 try_parent_char_table:
2069 current_default = XCHAR_TABLE (array)->defalt;
2070 sub_table = array;
2071 for (i = 0; code[i] >= 0; i++)
2072 {
2073 val = XCHAR_TABLE (sub_table)->contents[code[i]];
2074 if (SUB_CHAR_TABLE_P (val))
2075 {
2076 sub_table = val;
2077 if (! NILP (XCHAR_TABLE (sub_table)->defalt))
2078 current_default = XCHAR_TABLE (sub_table)->defalt;
2079 }
2080 else
2081 {
2082 if (NILP (val))
2083 val = current_default;
2084 if (NILP (val))
2085 {
2086 array = XCHAR_TABLE (array)->parent;
2087 if (!NILP (array))
2088 goto try_parent_char_table;
2089 }
2090 return val;
2091 }
2092 }
2093 /* Reaching here means IDXVAL is a generic character in
2094 which each character or a group has independent value.
2095 Essentially it's nonsense to get a value for such a
2096 generic character, but for backward compatibility, we try
2097 the default value and parent. */
2098 val = current_default;
2099 if (NILP (val))
2100 {
2101 array = XCHAR_TABLE (array)->parent;
2102 if (!NILP (array))
2103 goto try_parent_char_table;
2104 }
2105 return val;
2106 }
2107 }
2108 else
2109 {
2110 int size = 0;
2111 if (VECTORP (array))
2112 size = XVECTOR (array)->size;
2113 else if (COMPILEDP (array))
2114 size = XVECTOR (array)->size & PSEUDOVECTOR_SIZE_MASK;
2115 else
2116 wrong_type_argument (Qarrayp, array);
2117
2118 if (idxval < 0 || idxval >= size)
2119 args_out_of_range (array, idx);
2120 return XVECTOR (array)->contents[idxval];
2121 }
2122 }
2123
2124 DEFUN ("aset", Faset, Saset, 3, 3, 0,
2125 doc: /* Store into the element of ARRAY at index IDX the value NEWELT.
2126 Return NEWELT. ARRAY may be a vector, a string, a char-table or a
2127 bool-vector. IDX starts at 0. */)
2128 (array, idx, newelt)
2129 register Lisp_Object array;
2130 Lisp_Object idx, newelt;
2131 {
2132 register int idxval;
2133
2134 CHECK_NUMBER (idx);
2135 idxval = XINT (idx);
2136 CHECK_ARRAY (array, Qarrayp);
2137 CHECK_IMPURE (array);
2138
2139 if (VECTORP (array))
2140 {
2141 if (idxval < 0 || idxval >= XVECTOR (array)->size)
2142 args_out_of_range (array, idx);
2143 XVECTOR (array)->contents[idxval] = newelt;
2144 }
2145 else if (BOOL_VECTOR_P (array))
2146 {
2147 int val;
2148
2149 if (idxval < 0 || idxval >= XBOOL_VECTOR (array)->size)
2150 args_out_of_range (array, idx);
2151
2152 val = (unsigned char) XBOOL_VECTOR (array)->data[idxval / BOOL_VECTOR_BITS_PER_CHAR];
2153
2154 if (! NILP (newelt))
2155 val |= 1 << (idxval % BOOL_VECTOR_BITS_PER_CHAR);
2156 else
2157 val &= ~(1 << (idxval % BOOL_VECTOR_BITS_PER_CHAR));
2158 XBOOL_VECTOR (array)->data[idxval / BOOL_VECTOR_BITS_PER_CHAR] = val;
2159 }
2160 else if (CHAR_TABLE_P (array))
2161 {
2162 if (idxval < 0)
2163 args_out_of_range (array, idx);
2164 if (idxval < CHAR_TABLE_ORDINARY_SLOTS)
2165 {
2166 if (! SINGLE_BYTE_CHAR_P (idxval))
2167 args_out_of_range (array, idx);
2168 XCHAR_TABLE (array)->contents[idxval] = newelt;
2169 }
2170 else
2171 {
2172 int code[4], i;
2173 Lisp_Object val;
2174
2175 SPLIT_CHAR (idxval, code[0], code[1], code[2]);
2176 if (code[1] < 32) code[1] = -1;
2177 else if (code[2] < 32) code[2] = -1;
2178
2179 /* See the comment of the corresponding part in Faref. */
2180 code[0] += 128;
2181 code[3] = -1; /* anchor */
2182 for (i = 0; code[i + 1] >= 0; i++)
2183 {
2184 val = XCHAR_TABLE (array)->contents[code[i]];
2185 if (SUB_CHAR_TABLE_P (val))
2186 array = val;
2187 else
2188 {
2189 Lisp_Object temp;
2190
2191 /* VAL is a leaf. Create a sub char table with the
2192 initial value VAL and look into it. */
2193
2194 temp = make_sub_char_table (val);
2195 XCHAR_TABLE (array)->contents[code[i]] = temp;
2196 array = temp;
2197 }
2198 }
2199 XCHAR_TABLE (array)->contents[code[i]] = newelt;
2200 }
2201 }
2202 else if (STRING_MULTIBYTE (array))
2203 {
2204 int idxval_byte, prev_bytes, new_bytes, nbytes;
2205 unsigned char workbuf[MAX_MULTIBYTE_LENGTH], *p0 = workbuf, *p1;
2206
2207 if (idxval < 0 || idxval >= SCHARS (array))
2208 args_out_of_range (array, idx);
2209 CHECK_NUMBER (newelt);
2210
2211 nbytes = SBYTES (array);
2212
2213 idxval_byte = string_char_to_byte (array, idxval);
2214 p1 = SDATA (array) + idxval_byte;
2215 PARSE_MULTIBYTE_SEQ (p1, nbytes - idxval_byte, prev_bytes);
2216 new_bytes = CHAR_STRING (XINT (newelt), p0);
2217 if (prev_bytes != new_bytes)
2218 {
2219 /* We must relocate the string data. */
2220 int nchars = SCHARS (array);
2221 unsigned char *str;
2222 USE_SAFE_ALLOCA;
2223
2224 SAFE_ALLOCA (str, unsigned char *, nbytes);
2225 bcopy (SDATA (array), str, nbytes);
2226 allocate_string_data (XSTRING (array), nchars,
2227 nbytes + new_bytes - prev_bytes);
2228 bcopy (str, SDATA (array), idxval_byte);
2229 p1 = SDATA (array) + idxval_byte;
2230 bcopy (str + idxval_byte + prev_bytes, p1 + new_bytes,
2231 nbytes - (idxval_byte + prev_bytes));
2232 SAFE_FREE ();
2233 clear_string_char_byte_cache ();
2234 }
2235 while (new_bytes--)
2236 *p1++ = *p0++;
2237 }
2238 else
2239 {
2240 if (idxval < 0 || idxval >= SCHARS (array))
2241 args_out_of_range (array, idx);
2242 CHECK_NUMBER (newelt);
2243
2244 if (XINT (newelt) < 0 || SINGLE_BYTE_CHAR_P (XINT (newelt)))
2245 SSET (array, idxval, XINT (newelt));
2246 else
2247 {
2248 /* We must relocate the string data while converting it to
2249 multibyte. */
2250 int idxval_byte, prev_bytes, new_bytes;
2251 unsigned char workbuf[MAX_MULTIBYTE_LENGTH], *p0 = workbuf, *p1;
2252 unsigned char *origstr = SDATA (array), *str;
2253 int nchars, nbytes;
2254 USE_SAFE_ALLOCA;
2255
2256 nchars = SCHARS (array);
2257 nbytes = idxval_byte = count_size_as_multibyte (origstr, idxval);
2258 nbytes += count_size_as_multibyte (origstr + idxval,
2259 nchars - idxval);
2260 SAFE_ALLOCA (str, unsigned char *, nbytes);
2261 copy_text (SDATA (array), str, nchars, 0, 1);
2262 PARSE_MULTIBYTE_SEQ (str + idxval_byte, nbytes - idxval_byte,
2263 prev_bytes);
2264 new_bytes = CHAR_STRING (XINT (newelt), p0);
2265 allocate_string_data (XSTRING (array), nchars,
2266 nbytes + new_bytes - prev_bytes);
2267 bcopy (str, SDATA (array), idxval_byte);
2268 p1 = SDATA (array) + idxval_byte;
2269 while (new_bytes--)
2270 *p1++ = *p0++;
2271 bcopy (str + idxval_byte + prev_bytes, p1,
2272 nbytes - (idxval_byte + prev_bytes));
2273 SAFE_FREE ();
2274 clear_string_char_byte_cache ();
2275 }
2276 }
2277
2278 return newelt;
2279 }
2280 \f
2281 /* Arithmetic functions */
2282
2283 enum comparison { equal, notequal, less, grtr, less_or_equal, grtr_or_equal };
2284
2285 Lisp_Object
2286 arithcompare (num1, num2, comparison)
2287 Lisp_Object num1, num2;
2288 enum comparison comparison;
2289 {
2290 double f1 = 0, f2 = 0;
2291 int floatp = 0;
2292
2293 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (num1);
2294 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (num2);
2295
2296 if (FLOATP (num1) || FLOATP (num2))
2297 {
2298 floatp = 1;
2299 f1 = (FLOATP (num1)) ? XFLOAT_DATA (num1) : XINT (num1);
2300 f2 = (FLOATP (num2)) ? XFLOAT_DATA (num2) : XINT (num2);
2301 }
2302
2303 switch (comparison)
2304 {
2305 case equal:
2306 if (floatp ? f1 == f2 : XINT (num1) == XINT (num2))
2307 return Qt;
2308 return Qnil;
2309
2310 case notequal:
2311 if (floatp ? f1 != f2 : XINT (num1) != XINT (num2))
2312 return Qt;
2313 return Qnil;
2314
2315 case less:
2316 if (floatp ? f1 < f2 : XINT (num1) < XINT (num2))
2317 return Qt;
2318 return Qnil;
2319
2320 case less_or_equal:
2321 if (floatp ? f1 <= f2 : XINT (num1) <= XINT (num2))
2322 return Qt;
2323 return Qnil;
2324
2325 case grtr:
2326 if (floatp ? f1 > f2 : XINT (num1) > XINT (num2))
2327 return Qt;
2328 return Qnil;
2329
2330 case grtr_or_equal:
2331 if (floatp ? f1 >= f2 : XINT (num1) >= XINT (num2))
2332 return Qt;
2333 return Qnil;
2334
2335 default:
2336 abort ();
2337 }
2338 }
2339
2340 DEFUN ("=", Feqlsign, Seqlsign, 2, 2, 0,
2341 doc: /* Return t if two args, both numbers or markers, are equal. */)
2342 (num1, num2)
2343 register Lisp_Object num1, num2;
2344 {
2345 return arithcompare (num1, num2, equal);
2346 }
2347
2348 DEFUN ("<", Flss, Slss, 2, 2, 0,
2349 doc: /* Return t if first arg is less than second arg. Both must be numbers or markers. */)
2350 (num1, num2)
2351 register Lisp_Object num1, num2;
2352 {
2353 return arithcompare (num1, num2, less);
2354 }
2355
2356 DEFUN (">", Fgtr, Sgtr, 2, 2, 0,
2357 doc: /* Return t if first arg is greater than second arg. Both must be numbers or markers. */)
2358 (num1, num2)
2359 register Lisp_Object num1, num2;
2360 {
2361 return arithcompare (num1, num2, grtr);
2362 }
2363
2364 DEFUN ("<=", Fleq, Sleq, 2, 2, 0,
2365 doc: /* Return t if first arg is less than or equal to second arg.
2366 Both must be numbers or markers. */)
2367 (num1, num2)
2368 register Lisp_Object num1, num2;
2369 {
2370 return arithcompare (num1, num2, less_or_equal);
2371 }
2372
2373 DEFUN (">=", Fgeq, Sgeq, 2, 2, 0,
2374 doc: /* Return t if first arg is greater than or equal to second arg.
2375 Both must be numbers or markers. */)
2376 (num1, num2)
2377 register Lisp_Object num1, num2;
2378 {
2379 return arithcompare (num1, num2, grtr_or_equal);
2380 }
2381
2382 DEFUN ("/=", Fneq, Sneq, 2, 2, 0,
2383 doc: /* Return t if first arg is not equal to second arg. Both must be numbers or markers. */)
2384 (num1, num2)
2385 register Lisp_Object num1, num2;
2386 {
2387 return arithcompare (num1, num2, notequal);
2388 }
2389
2390 DEFUN ("zerop", Fzerop, Szerop, 1, 1, 0,
2391 doc: /* Return t if NUMBER is zero. */)
2392 (number)
2393 register Lisp_Object number;
2394 {
2395 CHECK_NUMBER_OR_FLOAT (number);
2396
2397 if (FLOATP (number))
2398 {
2399 if (XFLOAT_DATA (number) == 0.0)
2400 return Qt;
2401 return Qnil;
2402 }
2403
2404 if (!XINT (number))
2405 return Qt;
2406 return Qnil;
2407 }
2408 \f
2409 /* Convert between long values and pairs of Lisp integers. */
2410
2411 Lisp_Object
2412 long_to_cons (i)
2413 unsigned long i;
2414 {
2415 unsigned long top = i >> 16;
2416 unsigned int bot = i & 0xFFFF;
2417 if (top == 0)
2418 return make_number (bot);
2419 if (top == (unsigned long)-1 >> 16)
2420 return Fcons (make_number (-1), make_number (bot));
2421 return Fcons (make_number (top), make_number (bot));
2422 }
2423
2424 unsigned long
2425 cons_to_long (c)
2426 Lisp_Object c;
2427 {
2428 Lisp_Object top, bot;
2429 if (INTEGERP (c))
2430 return XINT (c);
2431 top = XCAR (c);
2432 bot = XCDR (c);
2433 if (CONSP (bot))
2434 bot = XCAR (bot);
2435 return ((XINT (top) << 16) | XINT (bot));
2436 }
2437 \f
2438 DEFUN ("number-to-string", Fnumber_to_string, Snumber_to_string, 1, 1, 0,
2439 doc: /* Return the decimal representation of NUMBER as a string.
2440 Uses a minus sign if negative.
2441 NUMBER may be an integer or a floating point number. */)
2442 (number)
2443 Lisp_Object number;
2444 {
2445 char buffer[VALBITS];
2446
2447 CHECK_NUMBER_OR_FLOAT (number);
2448
2449 if (FLOATP (number))
2450 {
2451 char pigbuf[350]; /* see comments in float_to_string */
2452
2453 float_to_string (pigbuf, XFLOAT_DATA (number));
2454 return build_string (pigbuf);
2455 }
2456
2457 if (sizeof (int) == sizeof (EMACS_INT))
2458 sprintf (buffer, "%d", XINT (number));
2459 else if (sizeof (long) == sizeof (EMACS_INT))
2460 sprintf (buffer, "%ld", (long) XINT (number));
2461 else
2462 abort ();
2463 return build_string (buffer);
2464 }
2465
2466 INLINE static int
2467 digit_to_number (character, base)
2468 int character, base;
2469 {
2470 int digit;
2471
2472 if (character >= '0' && character <= '9')
2473 digit = character - '0';
2474 else if (character >= 'a' && character <= 'z')
2475 digit = character - 'a' + 10;
2476 else if (character >= 'A' && character <= 'Z')
2477 digit = character - 'A' + 10;
2478 else
2479 return -1;
2480
2481 if (digit >= base)
2482 return -1;
2483 else
2484 return digit;
2485 }
2486
2487 DEFUN ("string-to-number", Fstring_to_number, Sstring_to_number, 1, 2, 0,
2488 doc: /* Parse STRING as a decimal number and return the number.
2489 This parses both integers and floating point numbers.
2490 It ignores leading spaces and tabs.
2491
2492 If BASE, interpret STRING as a number in that base. If BASE isn't
2493 present, base 10 is used. BASE must be between 2 and 16 (inclusive).
2494 If the base used is not 10, floating point is not recognized. */)
2495 (string, base)
2496 register Lisp_Object string, base;
2497 {
2498 register unsigned char *p;
2499 register int b;
2500 int sign = 1;
2501 Lisp_Object val;
2502
2503 CHECK_STRING (string);
2504
2505 if (NILP (base))
2506 b = 10;
2507 else
2508 {
2509 CHECK_NUMBER (base);
2510 b = XINT (base);
2511 if (b < 2 || b > 16)
2512 xsignal1 (Qargs_out_of_range, base);
2513 }
2514
2515 /* Skip any whitespace at the front of the number. Some versions of
2516 atoi do this anyway, so we might as well make Emacs lisp consistent. */
2517 p = SDATA (string);
2518 while (*p == ' ' || *p == '\t')
2519 p++;
2520
2521 if (*p == '-')
2522 {
2523 sign = -1;
2524 p++;
2525 }
2526 else if (*p == '+')
2527 p++;
2528
2529 if (isfloat_string (p) && b == 10)
2530 val = make_float (sign * atof (p));
2531 else
2532 {
2533 double v = 0;
2534
2535 while (1)
2536 {
2537 int digit = digit_to_number (*p++, b);
2538 if (digit < 0)
2539 break;
2540 v = v * b + digit;
2541 }
2542
2543 val = make_fixnum_or_float (sign * v);
2544 }
2545
2546 return val;
2547 }
2548
2549 \f
2550 enum arithop
2551 {
2552 Aadd,
2553 Asub,
2554 Amult,
2555 Adiv,
2556 Alogand,
2557 Alogior,
2558 Alogxor,
2559 Amax,
2560 Amin
2561 };
2562
2563 static Lisp_Object float_arith_driver P_ ((double, int, enum arithop,
2564 int, Lisp_Object *));
2565 extern Lisp_Object fmod_float ();
2566
2567 Lisp_Object
2568 arith_driver (code, nargs, args)
2569 enum arithop code;
2570 int nargs;
2571 register Lisp_Object *args;
2572 {
2573 register Lisp_Object val;
2574 register int argnum;
2575 register EMACS_INT accum = 0;
2576 register EMACS_INT next;
2577
2578 switch (SWITCH_ENUM_CAST (code))
2579 {
2580 case Alogior:
2581 case Alogxor:
2582 case Aadd:
2583 case Asub:
2584 accum = 0;
2585 break;
2586 case Amult:
2587 accum = 1;
2588 break;
2589 case Alogand:
2590 accum = -1;
2591 break;
2592 default:
2593 break;
2594 }
2595
2596 for (argnum = 0; argnum < nargs; argnum++)
2597 {
2598 /* Using args[argnum] as argument to CHECK_NUMBER_... */
2599 val = args[argnum];
2600 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (val);
2601
2602 if (FLOATP (val))
2603 return float_arith_driver ((double) accum, argnum, code,
2604 nargs, args);
2605 args[argnum] = val;
2606 next = XINT (args[argnum]);
2607 switch (SWITCH_ENUM_CAST (code))
2608 {
2609 case Aadd:
2610 accum += next;
2611 break;
2612 case Asub:
2613 accum = argnum ? accum - next : nargs == 1 ? - next : next;
2614 break;
2615 case Amult:
2616 accum *= next;
2617 break;
2618 case Adiv:
2619 if (!argnum)
2620 accum = next;
2621 else
2622 {
2623 if (next == 0)
2624 xsignal0 (Qarith_error);
2625 accum /= next;
2626 }
2627 break;
2628 case Alogand:
2629 accum &= next;
2630 break;
2631 case Alogior:
2632 accum |= next;
2633 break;
2634 case Alogxor:
2635 accum ^= next;
2636 break;
2637 case Amax:
2638 if (!argnum || next > accum)
2639 accum = next;
2640 break;
2641 case Amin:
2642 if (!argnum || next < accum)
2643 accum = next;
2644 break;
2645 }
2646 }
2647
2648 XSETINT (val, accum);
2649 return val;
2650 }
2651
2652 #undef isnan
2653 #define isnan(x) ((x) != (x))
2654
2655 static Lisp_Object
2656 float_arith_driver (accum, argnum, code, nargs, args)
2657 double accum;
2658 register int argnum;
2659 enum arithop code;
2660 int nargs;
2661 register Lisp_Object *args;
2662 {
2663 register Lisp_Object val;
2664 double next;
2665
2666 for (; argnum < nargs; argnum++)
2667 {
2668 val = args[argnum]; /* using args[argnum] as argument to CHECK_NUMBER_... */
2669 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (val);
2670
2671 if (FLOATP (val))
2672 {
2673 next = XFLOAT_DATA (val);
2674 }
2675 else
2676 {
2677 args[argnum] = val; /* runs into a compiler bug. */
2678 next = XINT (args[argnum]);
2679 }
2680 switch (SWITCH_ENUM_CAST (code))
2681 {
2682 case Aadd:
2683 accum += next;
2684 break;
2685 case Asub:
2686 accum = argnum ? accum - next : nargs == 1 ? - next : next;
2687 break;
2688 case Amult:
2689 accum *= next;
2690 break;
2691 case Adiv:
2692 if (!argnum)
2693 accum = next;
2694 else
2695 {
2696 if (! IEEE_FLOATING_POINT && next == 0)
2697 xsignal0 (Qarith_error);
2698 accum /= next;
2699 }
2700 break;
2701 case Alogand:
2702 case Alogior:
2703 case Alogxor:
2704 return wrong_type_argument (Qinteger_or_marker_p, val);
2705 case Amax:
2706 if (!argnum || isnan (next) || next > accum)
2707 accum = next;
2708 break;
2709 case Amin:
2710 if (!argnum || isnan (next) || next < accum)
2711 accum = next;
2712 break;
2713 }
2714 }
2715
2716 return make_float (accum);
2717 }
2718
2719
2720 DEFUN ("+", Fplus, Splus, 0, MANY, 0,
2721 doc: /* Return sum of any number of arguments, which are numbers or markers.
2722 usage: (+ &rest NUMBERS-OR-MARKERS) */)
2723 (nargs, args)
2724 int nargs;
2725 Lisp_Object *args;
2726 {
2727 return arith_driver (Aadd, nargs, args);
2728 }
2729
2730 DEFUN ("-", Fminus, Sminus, 0, MANY, 0,
2731 doc: /* Negate number or subtract numbers or markers and return the result.
2732 With one arg, negates it. With more than one arg,
2733 subtracts all but the first from the first.
2734 usage: (- &optional NUMBER-OR-MARKER &rest MORE-NUMBERS-OR-MARKERS) */)
2735 (nargs, args)
2736 int nargs;
2737 Lisp_Object *args;
2738 {
2739 return arith_driver (Asub, nargs, args);
2740 }
2741
2742 DEFUN ("*", Ftimes, Stimes, 0, MANY, 0,
2743 doc: /* Return product of any number of arguments, which are numbers or markers.
2744 usage: (* &rest NUMBERS-OR-MARKERS) */)
2745 (nargs, args)
2746 int nargs;
2747 Lisp_Object *args;
2748 {
2749 return arith_driver (Amult, nargs, args);
2750 }
2751
2752 DEFUN ("/", Fquo, Squo, 2, MANY, 0,
2753 doc: /* Return first argument divided by all the remaining arguments.
2754 The arguments must be numbers or markers.
2755 usage: (/ DIVIDEND DIVISOR &rest DIVISORS) */)
2756 (nargs, args)
2757 int nargs;
2758 Lisp_Object *args;
2759 {
2760 int argnum;
2761 for (argnum = 2; argnum < nargs; argnum++)
2762 if (FLOATP (args[argnum]))
2763 return float_arith_driver (0, 0, Adiv, nargs, args);
2764 return arith_driver (Adiv, nargs, args);
2765 }
2766
2767 DEFUN ("%", Frem, Srem, 2, 2, 0,
2768 doc: /* Return remainder of X divided by Y.
2769 Both must be integers or markers. */)
2770 (x, y)
2771 register Lisp_Object x, y;
2772 {
2773 Lisp_Object val;
2774
2775 CHECK_NUMBER_COERCE_MARKER (x);
2776 CHECK_NUMBER_COERCE_MARKER (y);
2777
2778 if (XFASTINT (y) == 0)
2779 xsignal0 (Qarith_error);
2780
2781 XSETINT (val, XINT (x) % XINT (y));
2782 return val;
2783 }
2784
2785 #ifndef HAVE_FMOD
2786 double
2787 fmod (f1, f2)
2788 double f1, f2;
2789 {
2790 double r = f1;
2791
2792 if (f2 < 0.0)
2793 f2 = -f2;
2794
2795 /* If the magnitude of the result exceeds that of the divisor, or
2796 the sign of the result does not agree with that of the dividend,
2797 iterate with the reduced value. This does not yield a
2798 particularly accurate result, but at least it will be in the
2799 range promised by fmod. */
2800 do
2801 r -= f2 * floor (r / f2);
2802 while (f2 <= (r < 0 ? -r : r) || ((r < 0) != (f1 < 0) && ! isnan (r)));
2803
2804 return r;
2805 }
2806 #endif /* ! HAVE_FMOD */
2807
2808 DEFUN ("mod", Fmod, Smod, 2, 2, 0,
2809 doc: /* Return X modulo Y.
2810 The result falls between zero (inclusive) and Y (exclusive).
2811 Both X and Y must be numbers or markers. */)
2812 (x, y)
2813 register Lisp_Object x, y;
2814 {
2815 Lisp_Object val;
2816 EMACS_INT i1, i2;
2817
2818 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (x);
2819 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (y);
2820
2821 if (FLOATP (x) || FLOATP (y))
2822 return fmod_float (x, y);
2823
2824 i1 = XINT (x);
2825 i2 = XINT (y);
2826
2827 if (i2 == 0)
2828 xsignal0 (Qarith_error);
2829
2830 i1 %= i2;
2831
2832 /* If the "remainder" comes out with the wrong sign, fix it. */
2833 if (i2 < 0 ? i1 > 0 : i1 < 0)
2834 i1 += i2;
2835
2836 XSETINT (val, i1);
2837 return val;
2838 }
2839
2840 DEFUN ("max", Fmax, Smax, 1, MANY, 0,
2841 doc: /* Return largest of all the arguments (which must be numbers or markers).
2842 The value is always a number; markers are converted to numbers.
2843 usage: (max NUMBER-OR-MARKER &rest NUMBERS-OR-MARKERS) */)
2844 (nargs, args)
2845 int nargs;
2846 Lisp_Object *args;
2847 {
2848 return arith_driver (Amax, nargs, args);
2849 }
2850
2851 DEFUN ("min", Fmin, Smin, 1, MANY, 0,
2852 doc: /* Return smallest of all the arguments (which must be numbers or markers).
2853 The value is always a number; markers are converted to numbers.
2854 usage: (min NUMBER-OR-MARKER &rest NUMBERS-OR-MARKERS) */)
2855 (nargs, args)
2856 int nargs;
2857 Lisp_Object *args;
2858 {
2859 return arith_driver (Amin, nargs, args);
2860 }
2861
2862 DEFUN ("logand", Flogand, Slogand, 0, MANY, 0,
2863 doc: /* Return bitwise-and of all the arguments.
2864 Arguments may be integers, or markers converted to integers.
2865 usage: (logand &rest INTS-OR-MARKERS) */)
2866 (nargs, args)
2867 int nargs;
2868 Lisp_Object *args;
2869 {
2870 return arith_driver (Alogand, nargs, args);
2871 }
2872
2873 DEFUN ("logior", Flogior, Slogior, 0, MANY, 0,
2874 doc: /* Return bitwise-or of all the arguments.
2875 Arguments may be integers, or markers converted to integers.
2876 usage: (logior &rest INTS-OR-MARKERS) */)
2877 (nargs, args)
2878 int nargs;
2879 Lisp_Object *args;
2880 {
2881 return arith_driver (Alogior, nargs, args);
2882 }
2883
2884 DEFUN ("logxor", Flogxor, Slogxor, 0, MANY, 0,
2885 doc: /* Return bitwise-exclusive-or of all the arguments.
2886 Arguments may be integers, or markers converted to integers.
2887 usage: (logxor &rest INTS-OR-MARKERS) */)
2888 (nargs, args)
2889 int nargs;
2890 Lisp_Object *args;
2891 {
2892 return arith_driver (Alogxor, nargs, args);
2893 }
2894
2895 DEFUN ("ash", Fash, Sash, 2, 2, 0,
2896 doc: /* Return VALUE with its bits shifted left by COUNT.
2897 If COUNT is negative, shifting is actually to the right.
2898 In this case, the sign bit is duplicated. */)
2899 (value, count)
2900 register Lisp_Object value, count;
2901 {
2902 register Lisp_Object val;
2903
2904 CHECK_NUMBER (value);
2905 CHECK_NUMBER (count);
2906
2907 if (XINT (count) >= BITS_PER_EMACS_INT)
2908 XSETINT (val, 0);
2909 else if (XINT (count) > 0)
2910 XSETINT (val, XINT (value) << XFASTINT (count));
2911 else if (XINT (count) <= -BITS_PER_EMACS_INT)
2912 XSETINT (val, XINT (value) < 0 ? -1 : 0);
2913 else
2914 XSETINT (val, XINT (value) >> -XINT (count));
2915 return val;
2916 }
2917
2918 DEFUN ("lsh", Flsh, Slsh, 2, 2, 0,
2919 doc: /* Return VALUE with its bits shifted left by COUNT.
2920 If COUNT is negative, shifting is actually to the right.
2921 In this case, zeros are shifted in on the left. */)
2922 (value, count)
2923 register Lisp_Object value, count;
2924 {
2925 register Lisp_Object val;
2926
2927 CHECK_NUMBER (value);
2928 CHECK_NUMBER (count);
2929
2930 if (XINT (count) >= BITS_PER_EMACS_INT)
2931 XSETINT (val, 0);
2932 else if (XINT (count) > 0)
2933 XSETINT (val, (EMACS_UINT) XUINT (value) << XFASTINT (count));
2934 else if (XINT (count) <= -BITS_PER_EMACS_INT)
2935 XSETINT (val, 0);
2936 else
2937 XSETINT (val, (EMACS_UINT) XUINT (value) >> -XINT (count));
2938 return val;
2939 }
2940
2941 DEFUN ("1+", Fadd1, Sadd1, 1, 1, 0,
2942 doc: /* Return NUMBER plus one. NUMBER may be a number or a marker.
2943 Markers are converted to integers. */)
2944 (number)
2945 register Lisp_Object number;
2946 {
2947 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (number);
2948
2949 if (FLOATP (number))
2950 return (make_float (1.0 + XFLOAT_DATA (number)));
2951
2952 XSETINT (number, XINT (number) + 1);
2953 return number;
2954 }
2955
2956 DEFUN ("1-", Fsub1, Ssub1, 1, 1, 0,
2957 doc: /* Return NUMBER minus one. NUMBER may be a number or a marker.
2958 Markers are converted to integers. */)
2959 (number)
2960 register Lisp_Object number;
2961 {
2962 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (number);
2963
2964 if (FLOATP (number))
2965 return (make_float (-1.0 + XFLOAT_DATA (number)));
2966
2967 XSETINT (number, XINT (number) - 1);
2968 return number;
2969 }
2970
2971 DEFUN ("lognot", Flognot, Slognot, 1, 1, 0,
2972 doc: /* Return the bitwise complement of NUMBER. NUMBER must be an integer. */)
2973 (number)
2974 register Lisp_Object number;
2975 {
2976 CHECK_NUMBER (number);
2977 XSETINT (number, ~XINT (number));
2978 return number;
2979 }
2980
2981 DEFUN ("byteorder", Fbyteorder, Sbyteorder, 0, 0, 0,
2982 doc: /* Return the byteorder for the machine.
2983 Returns 66 (ASCII uppercase B) for big endian machines or 108 (ASCII
2984 lowercase l) for small endian machines. */)
2985 ()
2986 {
2987 unsigned i = 0x04030201;
2988 int order = *(char *)&i == 1 ? 108 : 66;
2989
2990 return make_number (order);
2991 }
2992
2993
2994 \f
2995 void
2996 syms_of_data ()
2997 {
2998 Lisp_Object error_tail, arith_tail;
2999
3000 Qquote = intern ("quote");
3001 Qlambda = intern ("lambda");
3002 Qsubr = intern ("subr");
3003 Qerror_conditions = intern ("error-conditions");
3004 Qerror_message = intern ("error-message");
3005 Qtop_level = intern ("top-level");
3006
3007 Qerror = intern ("error");
3008 Qquit = intern ("quit");
3009 Qwrong_type_argument = intern ("wrong-type-argument");
3010 Qargs_out_of_range = intern ("args-out-of-range");
3011 Qvoid_function = intern ("void-function");
3012 Qcyclic_function_indirection = intern ("cyclic-function-indirection");
3013 Qcyclic_variable_indirection = intern ("cyclic-variable-indirection");
3014 Qvoid_variable = intern ("void-variable");
3015 Qsetting_constant = intern ("setting-constant");
3016 Qinvalid_read_syntax = intern ("invalid-read-syntax");
3017
3018 Qinvalid_function = intern ("invalid-function");
3019 Qwrong_number_of_arguments = intern ("wrong-number-of-arguments");
3020 Qno_catch = intern ("no-catch");
3021 Qend_of_file = intern ("end-of-file");
3022 Qarith_error = intern ("arith-error");
3023 Qbeginning_of_buffer = intern ("beginning-of-buffer");
3024 Qend_of_buffer = intern ("end-of-buffer");
3025 Qbuffer_read_only = intern ("buffer-read-only");
3026 Qtext_read_only = intern ("text-read-only");
3027 Qmark_inactive = intern ("mark-inactive");
3028
3029 Qlistp = intern ("listp");
3030 Qconsp = intern ("consp");
3031 Qsymbolp = intern ("symbolp");
3032 Qkeywordp = intern ("keywordp");
3033 Qintegerp = intern ("integerp");
3034 Qnatnump = intern ("natnump");
3035 Qwholenump = intern ("wholenump");
3036 Qstringp = intern ("stringp");
3037 Qarrayp = intern ("arrayp");
3038 Qsequencep = intern ("sequencep");
3039 Qbufferp = intern ("bufferp");
3040 Qvectorp = intern ("vectorp");
3041 Qchar_or_string_p = intern ("char-or-string-p");
3042 Qmarkerp = intern ("markerp");
3043 Qbuffer_or_string_p = intern ("buffer-or-string-p");
3044 Qinteger_or_marker_p = intern ("integer-or-marker-p");
3045 Qboundp = intern ("boundp");
3046 Qfboundp = intern ("fboundp");
3047
3048 Qfloatp = intern ("floatp");
3049 Qnumberp = intern ("numberp");
3050 Qnumber_or_marker_p = intern ("number-or-marker-p");
3051
3052 Qchar_table_p = intern ("char-table-p");
3053 Qvector_or_char_table_p = intern ("vector-or-char-table-p");
3054
3055 Qsubrp = intern ("subrp");
3056 Qunevalled = intern ("unevalled");
3057 Qmany = intern ("many");
3058
3059 Qcdr = intern ("cdr");
3060
3061 /* Handle automatic advice activation */
3062 Qad_advice_info = intern ("ad-advice-info");
3063 Qad_activate_internal = intern ("ad-activate-internal");
3064
3065 error_tail = Fcons (Qerror, Qnil);
3066
3067 /* ERROR is used as a signaler for random errors for which nothing else is right */
3068
3069 Fput (Qerror, Qerror_conditions,
3070 error_tail);
3071 Fput (Qerror, Qerror_message,
3072 build_string ("error"));
3073
3074 Fput (Qquit, Qerror_conditions,
3075 Fcons (Qquit, Qnil));
3076 Fput (Qquit, Qerror_message,
3077 build_string ("Quit"));
3078
3079 Fput (Qwrong_type_argument, Qerror_conditions,
3080 Fcons (Qwrong_type_argument, error_tail));
3081 Fput (Qwrong_type_argument, Qerror_message,
3082 build_string ("Wrong type argument"));
3083
3084 Fput (Qargs_out_of_range, Qerror_conditions,
3085 Fcons (Qargs_out_of_range, error_tail));
3086 Fput (Qargs_out_of_range, Qerror_message,
3087 build_string ("Args out of range"));
3088
3089 Fput (Qvoid_function, Qerror_conditions,
3090 Fcons (Qvoid_function, error_tail));
3091 Fput (Qvoid_function, Qerror_message,
3092 build_string ("Symbol's function definition is void"));
3093
3094 Fput (Qcyclic_function_indirection, Qerror_conditions,
3095 Fcons (Qcyclic_function_indirection, error_tail));
3096 Fput (Qcyclic_function_indirection, Qerror_message,
3097 build_string ("Symbol's chain of function indirections contains a loop"));
3098
3099 Fput (Qcyclic_variable_indirection, Qerror_conditions,
3100 Fcons (Qcyclic_variable_indirection, error_tail));
3101 Fput (Qcyclic_variable_indirection, Qerror_message,
3102 build_string ("Symbol's chain of variable indirections contains a loop"));
3103
3104 Qcircular_list = intern ("circular-list");
3105 staticpro (&Qcircular_list);
3106 Fput (Qcircular_list, Qerror_conditions,
3107 Fcons (Qcircular_list, error_tail));
3108 Fput (Qcircular_list, Qerror_message,
3109 build_string ("List contains a loop"));
3110
3111 Fput (Qvoid_variable, Qerror_conditions,
3112 Fcons (Qvoid_variable, error_tail));
3113 Fput (Qvoid_variable, Qerror_message,
3114 build_string ("Symbol's value as variable is void"));
3115
3116 Fput (Qsetting_constant, Qerror_conditions,
3117 Fcons (Qsetting_constant, error_tail));
3118 Fput (Qsetting_constant, Qerror_message,
3119 build_string ("Attempt to set a constant symbol"));
3120
3121 Fput (Qinvalid_read_syntax, Qerror_conditions,
3122 Fcons (Qinvalid_read_syntax, error_tail));
3123 Fput (Qinvalid_read_syntax, Qerror_message,
3124 build_string ("Invalid read syntax"));
3125
3126 Fput (Qinvalid_function, Qerror_conditions,
3127 Fcons (Qinvalid_function, error_tail));
3128 Fput (Qinvalid_function, Qerror_message,
3129 build_string ("Invalid function"));
3130
3131 Fput (Qwrong_number_of_arguments, Qerror_conditions,
3132 Fcons (Qwrong_number_of_arguments, error_tail));
3133 Fput (Qwrong_number_of_arguments, Qerror_message,
3134 build_string ("Wrong number of arguments"));
3135
3136 Fput (Qno_catch, Qerror_conditions,
3137 Fcons (Qno_catch, error_tail));
3138 Fput (Qno_catch, Qerror_message,
3139 build_string ("No catch for tag"));
3140
3141 Fput (Qend_of_file, Qerror_conditions,
3142 Fcons (Qend_of_file, error_tail));
3143 Fput (Qend_of_file, Qerror_message,
3144 build_string ("End of file during parsing"));
3145
3146 arith_tail = Fcons (Qarith_error, error_tail);
3147 Fput (Qarith_error, Qerror_conditions,
3148 arith_tail);
3149 Fput (Qarith_error, Qerror_message,
3150 build_string ("Arithmetic error"));
3151
3152 Fput (Qbeginning_of_buffer, Qerror_conditions,
3153 Fcons (Qbeginning_of_buffer, error_tail));
3154 Fput (Qbeginning_of_buffer, Qerror_message,
3155 build_string ("Beginning of buffer"));
3156
3157 Fput (Qend_of_buffer, Qerror_conditions,
3158 Fcons (Qend_of_buffer, error_tail));
3159 Fput (Qend_of_buffer, Qerror_message,
3160 build_string ("End of buffer"));
3161
3162 Fput (Qbuffer_read_only, Qerror_conditions,
3163 Fcons (Qbuffer_read_only, error_tail));
3164 Fput (Qbuffer_read_only, Qerror_message,
3165 build_string ("Buffer is read-only"));
3166
3167 Fput (Qtext_read_only, Qerror_conditions,
3168 Fcons (Qtext_read_only, error_tail));
3169 Fput (Qtext_read_only, Qerror_message,
3170 build_string ("Text is read-only"));
3171
3172 Qrange_error = intern ("range-error");
3173 Qdomain_error = intern ("domain-error");
3174 Qsingularity_error = intern ("singularity-error");
3175 Qoverflow_error = intern ("overflow-error");
3176 Qunderflow_error = intern ("underflow-error");
3177
3178 Fput (Qdomain_error, Qerror_conditions,
3179 Fcons (Qdomain_error, arith_tail));
3180 Fput (Qdomain_error, Qerror_message,
3181 build_string ("Arithmetic domain error"));
3182
3183 Fput (Qrange_error, Qerror_conditions,
3184 Fcons (Qrange_error, arith_tail));
3185 Fput (Qrange_error, Qerror_message,
3186 build_string ("Arithmetic range error"));
3187
3188 Fput (Qsingularity_error, Qerror_conditions,
3189 Fcons (Qsingularity_error, Fcons (Qdomain_error, arith_tail)));
3190 Fput (Qsingularity_error, Qerror_message,
3191 build_string ("Arithmetic singularity error"));
3192
3193 Fput (Qoverflow_error, Qerror_conditions,
3194 Fcons (Qoverflow_error, Fcons (Qdomain_error, arith_tail)));
3195 Fput (Qoverflow_error, Qerror_message,
3196 build_string ("Arithmetic overflow error"));
3197
3198 Fput (Qunderflow_error, Qerror_conditions,
3199 Fcons (Qunderflow_error, Fcons (Qdomain_error, arith_tail)));
3200 Fput (Qunderflow_error, Qerror_message,
3201 build_string ("Arithmetic underflow error"));
3202
3203 staticpro (&Qrange_error);
3204 staticpro (&Qdomain_error);
3205 staticpro (&Qsingularity_error);
3206 staticpro (&Qoverflow_error);
3207 staticpro (&Qunderflow_error);
3208
3209 staticpro (&Qnil);
3210 staticpro (&Qt);
3211 staticpro (&Qquote);
3212 staticpro (&Qlambda);
3213 staticpro (&Qsubr);
3214 staticpro (&Qunbound);
3215 staticpro (&Qerror_conditions);
3216 staticpro (&Qerror_message);
3217 staticpro (&Qtop_level);
3218
3219 staticpro (&Qerror);
3220 staticpro (&Qquit);
3221 staticpro (&Qwrong_type_argument);
3222 staticpro (&Qargs_out_of_range);
3223 staticpro (&Qvoid_function);
3224 staticpro (&Qcyclic_function_indirection);
3225 staticpro (&Qcyclic_variable_indirection);
3226 staticpro (&Qvoid_variable);
3227 staticpro (&Qsetting_constant);
3228 staticpro (&Qinvalid_read_syntax);
3229 staticpro (&Qwrong_number_of_arguments);
3230 staticpro (&Qinvalid_function);
3231 staticpro (&Qno_catch);
3232 staticpro (&Qend_of_file);
3233 staticpro (&Qarith_error);
3234 staticpro (&Qbeginning_of_buffer);
3235 staticpro (&Qend_of_buffer);
3236 staticpro (&Qbuffer_read_only);
3237 staticpro (&Qtext_read_only);
3238 staticpro (&Qmark_inactive);
3239
3240 staticpro (&Qlistp);
3241 staticpro (&Qconsp);
3242 staticpro (&Qsymbolp);
3243 staticpro (&Qkeywordp);
3244 staticpro (&Qintegerp);
3245 staticpro (&Qnatnump);
3246 staticpro (&Qwholenump);
3247 staticpro (&Qstringp);
3248 staticpro (&Qarrayp);
3249 staticpro (&Qsequencep);
3250 staticpro (&Qbufferp);
3251 staticpro (&Qvectorp);
3252 staticpro (&Qchar_or_string_p);
3253 staticpro (&Qmarkerp);
3254 staticpro (&Qbuffer_or_string_p);
3255 staticpro (&Qinteger_or_marker_p);
3256 staticpro (&Qfloatp);
3257 staticpro (&Qnumberp);
3258 staticpro (&Qnumber_or_marker_p);
3259 staticpro (&Qchar_table_p);
3260 staticpro (&Qvector_or_char_table_p);
3261 staticpro (&Qsubrp);
3262 staticpro (&Qmany);
3263 staticpro (&Qunevalled);
3264
3265 staticpro (&Qboundp);
3266 staticpro (&Qfboundp);
3267 staticpro (&Qcdr);
3268 staticpro (&Qad_advice_info);
3269 staticpro (&Qad_activate_internal);
3270
3271 /* Types that type-of returns. */
3272 Qinteger = intern ("integer");
3273 Qsymbol = intern ("symbol");
3274 Qstring = intern ("string");
3275 Qcons = intern ("cons");
3276 Qmarker = intern ("marker");
3277 Qoverlay = intern ("overlay");
3278 Qfloat = intern ("float");
3279 Qwindow_configuration = intern ("window-configuration");
3280 Qprocess = intern ("process");
3281 Qwindow = intern ("window");
3282 /* Qsubr = intern ("subr"); */
3283 Qcompiled_function = intern ("compiled-function");
3284 Qbuffer = intern ("buffer");
3285 Qframe = intern ("frame");
3286 Qvector = intern ("vector");
3287 Qchar_table = intern ("char-table");
3288 Qbool_vector = intern ("bool-vector");
3289 Qhash_table = intern ("hash-table");
3290
3291 staticpro (&Qinteger);
3292 staticpro (&Qsymbol);
3293 staticpro (&Qstring);
3294 staticpro (&Qcons);
3295 staticpro (&Qmarker);
3296 staticpro (&Qoverlay);
3297 staticpro (&Qfloat);
3298 staticpro (&Qwindow_configuration);
3299 staticpro (&Qprocess);
3300 staticpro (&Qwindow);
3301 /* staticpro (&Qsubr); */
3302 staticpro (&Qcompiled_function);
3303 staticpro (&Qbuffer);
3304 staticpro (&Qframe);
3305 staticpro (&Qvector);
3306 staticpro (&Qchar_table);
3307 staticpro (&Qbool_vector);
3308 staticpro (&Qhash_table);
3309
3310 defsubr (&Sindirect_variable);
3311 defsubr (&Sinteractive_form);
3312 defsubr (&Seq);
3313 defsubr (&Snull);
3314 defsubr (&Stype_of);
3315 defsubr (&Slistp);
3316 defsubr (&Snlistp);
3317 defsubr (&Sconsp);
3318 defsubr (&Satom);
3319 defsubr (&Sintegerp);
3320 defsubr (&Sinteger_or_marker_p);
3321 defsubr (&Snumberp);
3322 defsubr (&Snumber_or_marker_p);
3323 defsubr (&Sfloatp);
3324 defsubr (&Snatnump);
3325 defsubr (&Ssymbolp);
3326 defsubr (&Skeywordp);
3327 defsubr (&Sstringp);
3328 defsubr (&Smultibyte_string_p);
3329 defsubr (&Svectorp);
3330 defsubr (&Schar_table_p);
3331 defsubr (&Svector_or_char_table_p);
3332 defsubr (&Sbool_vector_p);
3333 defsubr (&Sarrayp);
3334 defsubr (&Ssequencep);
3335 defsubr (&Sbufferp);
3336 defsubr (&Smarkerp);
3337 defsubr (&Ssubrp);
3338 defsubr (&Sbyte_code_function_p);
3339 defsubr (&Schar_or_string_p);
3340 defsubr (&Scar);
3341 defsubr (&Scdr);
3342 defsubr (&Scar_safe);
3343 defsubr (&Scdr_safe);
3344 defsubr (&Ssetcar);
3345 defsubr (&Ssetcdr);
3346 defsubr (&Ssymbol_function);
3347 defsubr (&Sindirect_function);
3348 defsubr (&Ssymbol_plist);
3349 defsubr (&Ssymbol_name);
3350 defsubr (&Smakunbound);
3351 defsubr (&Sfmakunbound);
3352 defsubr (&Sboundp);
3353 defsubr (&Sfboundp);
3354 defsubr (&Sfset);
3355 defsubr (&Sdefalias);
3356 defsubr (&Ssetplist);
3357 defsubr (&Ssymbol_value);
3358 defsubr (&Sset);
3359 defsubr (&Sdefault_boundp);
3360 defsubr (&Sdefault_value);
3361 defsubr (&Sset_default);
3362 defsubr (&Ssetq_default);
3363 defsubr (&Smake_variable_buffer_local);
3364 defsubr (&Smake_local_variable);
3365 defsubr (&Skill_local_variable);
3366 defsubr (&Smake_variable_frame_local);
3367 defsubr (&Slocal_variable_p);
3368 defsubr (&Slocal_variable_if_set_p);
3369 defsubr (&Svariable_binding_locus);
3370 #if 0 /* XXX Remove this. --lorentey */
3371 defsubr (&Sterminal_local_value);
3372 defsubr (&Sset_terminal_local_value);
3373 #endif
3374 defsubr (&Saref);
3375 defsubr (&Saset);
3376 defsubr (&Snumber_to_string);
3377 defsubr (&Sstring_to_number);
3378 defsubr (&Seqlsign);
3379 defsubr (&Slss);
3380 defsubr (&Sgtr);
3381 defsubr (&Sleq);
3382 defsubr (&Sgeq);
3383 defsubr (&Sneq);
3384 defsubr (&Szerop);
3385 defsubr (&Splus);
3386 defsubr (&Sminus);
3387 defsubr (&Stimes);
3388 defsubr (&Squo);
3389 defsubr (&Srem);
3390 defsubr (&Smod);
3391 defsubr (&Smax);
3392 defsubr (&Smin);
3393 defsubr (&Slogand);
3394 defsubr (&Slogior);
3395 defsubr (&Slogxor);
3396 defsubr (&Slsh);
3397 defsubr (&Sash);
3398 defsubr (&Sadd1);
3399 defsubr (&Ssub1);
3400 defsubr (&Slognot);
3401 defsubr (&Sbyteorder);
3402 defsubr (&Ssubr_arity);
3403 defsubr (&Ssubr_name);
3404
3405 XSYMBOL (Qwholenump)->function = XSYMBOL (Qnatnump)->function;
3406
3407 DEFVAR_LISP ("most-positive-fixnum", &Vmost_positive_fixnum,
3408 doc: /* The largest value that is representable in a Lisp integer. */);
3409 Vmost_positive_fixnum = make_number (MOST_POSITIVE_FIXNUM);
3410
3411 DEFVAR_LISP ("most-negative-fixnum", &Vmost_negative_fixnum,
3412 doc: /* The smallest value that is representable in a Lisp integer. */);
3413 Vmost_negative_fixnum = make_number (MOST_NEGATIVE_FIXNUM);
3414 }
3415
3416 SIGTYPE
3417 arith_error (signo)
3418 int signo;
3419 {
3420 #if defined(USG) && !defined(POSIX_SIGNALS)
3421 /* USG systems forget handlers when they are used;
3422 must reestablish each time */
3423 signal (signo, arith_error);
3424 #endif /* USG */
3425 #ifdef VMS
3426 /* VMS systems are like USG. */
3427 signal (signo, arith_error);
3428 #endif /* VMS */
3429 #ifdef BSD4_1
3430 sigrelse (SIGFPE);
3431 #else /* not BSD4_1 */
3432 sigsetmask (SIGEMPTYMASK);
3433 #endif /* not BSD4_1 */
3434
3435 SIGNAL_THREAD_CHECK (signo);
3436 xsignal0 (Qarith_error);
3437 }
3438
3439 void
3440 init_data ()
3441 {
3442 /* Don't do this if just dumping out.
3443 We don't want to call `signal' in this case
3444 so that we don't have trouble with dumping
3445 signal-delivering routines in an inconsistent state. */
3446 #ifndef CANNOT_DUMP
3447 if (!initialized)
3448 return;
3449 #endif /* CANNOT_DUMP */
3450 signal (SIGFPE, arith_error);
3451
3452 #ifdef uts
3453 signal (SIGEMT, arith_error);
3454 #endif /* uts */
3455 }
3456
3457 /* arch-tag: 25879798-b84d-479a-9c89-7d148e2109f7
3458 (do not change this comment) */