Merged from emacs@sv.gnu.org
[emacs.git] / src / data.c
blobcc15431cd164387d1a2892fae578356ea49b0f2d
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.
5 This file is part of GNU Emacs.
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.
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.
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. */
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. */
35 #ifdef STDC_HEADERS
36 #include <float.h>
37 #endif
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
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
59 #include <math.h>
61 #if !defined (atof)
62 extern double atof ();
63 #endif /* !atof */
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;
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;
83 Lisp_Object Qcdr;
84 Lisp_Object Qad_advice_info, Qad_activate_internal;
86 Lisp_Object Qrange_error, Qdomain_error, Qsingularity_error;
87 Lisp_Object Qoverflow_error, Qunderflow_error;
89 Lisp_Object Qfloatp;
90 Lisp_Object Qnumberp, Qnumber_or_marker_p;
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;
100 static Lisp_Object swap_in_symval_forwarding P_ ((Lisp_Object, Lisp_Object));
102 Lisp_Object Vmost_positive_fixnum, Vmost_negative_fixnum;
105 void
106 circular_list_error (list)
107 Lisp_Object list;
109 xsignal (Qcircular_list, list);
113 Lisp_Object
114 wrong_type_argument (predicate, value)
115 register Lisp_Object predicate, value;
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 ();
122 xsignal2 (Qwrong_type_argument, predicate, value);
125 void
126 pure_write_error ()
128 error ("Attempt to modify read-only object");
131 void
132 args_out_of_range (a1, a2)
133 Lisp_Object a1, a2;
135 xsignal2 (Qargs_out_of_range, a1, a2);
138 void
139 args_out_of_range_3 (a1, a2, a3)
140 Lisp_Object a1, a2, a3;
142 xsignal3 (Qargs_out_of_range, a1, a2, a3);
145 /* On some machines, XINT needs a temporary location.
146 Here it is, in case it is needed. */
148 int sign_extend_temp;
150 /* On a few machines, XINT can only be done by calling this. */
153 sign_extend_lisp_int (num)
154 EMACS_INT num;
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);
162 /* Data type predicates */
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;
169 if (EQ (obj1, obj2))
170 return Qt;
171 return Qnil;
174 DEFUN ("null", Fnull, Snull, 1, 1, 0,
175 doc: /* Return t if OBJECT is nil. */)
176 (object)
177 Lisp_Object object;
179 if (NILP (object))
180 return Qt;
181 return Qnil;
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;
191 switch (XGCTYPE (object))
193 case Lisp_Int:
194 return Qinteger;
196 case Lisp_Symbol:
197 return Qsymbol;
199 case Lisp_String:
200 return Qstring;
202 case Lisp_Cons:
203 return Qcons;
205 case Lisp_Misc:
206 switch (XMISCTYPE (object))
208 case Lisp_Misc_Marker:
209 return Qmarker;
210 case Lisp_Misc_Overlay:
211 return Qoverlay;
212 case Lisp_Misc_Float:
213 return Qfloat;
215 abort ();
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;
240 case Lisp_Float:
241 return Qfloat;
243 default:
244 abort ();
248 DEFUN ("consp", Fconsp, Sconsp, 1, 1, 0,
249 doc: /* Return t if OBJECT is a cons cell. */)
250 (object)
251 Lisp_Object object;
253 if (CONSP (object))
254 return Qt;
255 return Qnil;
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;
263 if (CONSP (object))
264 return Qnil;
265 return Qt;
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;
274 if (CONSP (object) || NILP (object))
275 return Qt;
276 return Qnil;
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;
284 if (CONSP (object) || NILP (object))
285 return Qnil;
286 return Qt;
289 DEFUN ("symbolp", Fsymbolp, Ssymbolp, 1, 1, 0,
290 doc: /* Return t if OBJECT is a symbol. */)
291 (object)
292 Lisp_Object object;
294 if (SYMBOLP (object))
295 return Qt;
296 return Qnil;
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;
308 if (SYMBOLP (object)
309 && SREF (SYMBOL_NAME (object), 0) == ':'
310 && SYMBOL_INTERNED_IN_INITIAL_OBARRAY_P (object))
311 return Qt;
312 return Qnil;
315 DEFUN ("vectorp", Fvectorp, Svectorp, 1, 1, 0,
316 doc: /* Return t if OBJECT is a vector. */)
317 (object)
318 Lisp_Object object;
320 if (VECTORP (object))
321 return Qt;
322 return Qnil;
325 DEFUN ("stringp", Fstringp, Sstringp, 1, 1, 0,
326 doc: /* Return t if OBJECT is a string. */)
327 (object)
328 Lisp_Object object;
330 if (STRINGP (object))
331 return Qt;
332 return Qnil;
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;
341 if (STRINGP (object) && STRING_MULTIBYTE (object))
342 return Qt;
343 return Qnil;
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;
351 if (CHAR_TABLE_P (object))
352 return Qt;
353 return Qnil;
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;
362 if (VECTORP (object) || CHAR_TABLE_P (object))
363 return Qt;
364 return Qnil;
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;
372 if (BOOL_VECTOR_P (object))
373 return Qt;
374 return Qnil;
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;
382 if (ARRAYP (object))
383 return Qt;
384 return Qnil;
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;
392 if (CONSP (object) || NILP (object) || ARRAYP (object))
393 return Qt;
394 return Qnil;
397 DEFUN ("bufferp", Fbufferp, Sbufferp, 1, 1, 0,
398 doc: /* Return t if OBJECT is an editor buffer. */)
399 (object)
400 Lisp_Object object;
402 if (BUFFERP (object))
403 return Qt;
404 return Qnil;
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;
412 if (MARKERP (object))
413 return Qt;
414 return Qnil;
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;
422 if (SUBRP (object))
423 return Qt;
424 return Qnil;
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;
433 if (COMPILEDP (object))
434 return Qt;
435 return Qnil;
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;
443 if (INTEGERP (object) || STRINGP (object))
444 return Qt;
445 return Qnil;
448 DEFUN ("integerp", Fintegerp, Sintegerp, 1, 1, 0,
449 doc: /* Return t if OBJECT is an integer. */)
450 (object)
451 Lisp_Object object;
453 if (INTEGERP (object))
454 return Qt;
455 return Qnil;
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;
463 if (MARKERP (object) || INTEGERP (object))
464 return Qt;
465 return Qnil;
468 DEFUN ("natnump", Fnatnump, Snatnump, 1, 1, 0,
469 doc: /* Return t if OBJECT is a nonnegative integer. */)
470 (object)
471 Lisp_Object object;
473 if (NATNUMP (object))
474 return Qt;
475 return Qnil;
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;
483 if (NUMBERP (object))
484 return Qt;
485 else
486 return Qnil;
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;
495 if (NUMBERP (object) || MARKERP (object))
496 return Qt;
497 return Qnil;
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;
505 if (FLOATP (object))
506 return Qt;
507 return Qnil;
511 /* Extract and set components of lists */
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'.
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;
522 return CAR (list);
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;
530 return CAR_SAFE (object);
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'.
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;
542 return CDR (list);
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;
550 return CDR_SAFE (object);
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;
558 CHECK_CONS (cell);
559 CHECK_IMPURE (cell);
560 XSETCAR (cell, newcar);
561 return newcar;
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;
569 CHECK_CONS (cell);
570 CHECK_IMPURE (cell);
571 XSETCDR (cell, newcdr);
572 return newcdr;
575 /* Extract and set components of symbols */
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;
582 Lisp_Object valcontents;
583 CHECK_SYMBOL (symbol);
585 valcontents = SYMBOL_VALUE (symbol);
587 if (BUFFER_LOCAL_VALUEP (valcontents)
588 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
589 valcontents = swap_in_symval_forwarding (symbol, valcontents);
591 return (EQ (valcontents, Qunbound) ? Qnil : Qt);
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;
599 CHECK_SYMBOL (symbol);
600 return (EQ (XSYMBOL (symbol)->function, Qunbound) ? Qnil : Qt);
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;
609 CHECK_SYMBOL (symbol);
610 if (XSYMBOL (symbol)->constant)
611 xsignal1 (Qsetting_constant, symbol);
612 Fset (symbol, Qunbound);
613 return symbol;
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;
622 CHECK_SYMBOL (symbol);
623 if (NILP (symbol) || EQ (symbol, Qt))
624 xsignal1 (Qsetting_constant, symbol);
625 XSYMBOL (symbol)->function = Qunbound;
626 return symbol;
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;
634 CHECK_SYMBOL (symbol);
635 if (!EQ (XSYMBOL (symbol)->function, Qunbound))
636 return XSYMBOL (symbol)->function;
637 xsignal1 (Qvoid_function, symbol);
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;
645 CHECK_SYMBOL (symbol);
646 return XSYMBOL (symbol)->plist;
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;
654 register Lisp_Object name;
656 CHECK_SYMBOL (symbol);
657 name = SYMBOL_NAME (symbol);
658 return name;
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;
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)))
676 call2 (Qad_activate_internal, symbol, Qnil);
677 definition = XSYMBOL (symbol)->function;
679 return definition;
682 extern Lisp_Object Qfunction_documentation;
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;
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;
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;
709 CHECK_SYMBOL (symbol);
710 XSYMBOL (symbol)->plist = newplist;
711 return newplist;
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;
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));
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;
741 const char *name;
742 CHECK_SUBR (subr);
743 name = XSUBR (subr)->symbol_name;
744 return make_string (name, strlen (name));
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;
754 Lisp_Object fun = indirect_function (cmd);
756 if (SUBRP (fun))
758 if (XSUBR (fun)->prompt)
759 return list2 (Qinteractive, build_string (XSUBR (fun)->prompt));
761 else if (COMPILEDP (fun))
763 if ((ASIZE (fun) & PSEUDOVECTOR_SIZE_MASK) > COMPILED_INTERACTIVE)
764 return list2 (Qinteractive, AREF (fun, COMPILED_INTERACTIVE));
766 else if (CONSP (fun))
768 Lisp_Object funcar = XCAR (fun);
769 if (EQ (funcar, Qlambda))
770 return Fassq (Qinteractive, Fcdr (XCDR (fun)));
771 else if (EQ (funcar, Qautoload))
773 struct gcpro gcpro1;
774 GCPRO1 (cmd);
775 do_autoload (fun, cmd);
776 UNGCPRO;
777 return Finteractive_form (cmd);
780 return Qnil;
784 /***********************************************************************
785 Getting and Setting Values of Symbols
786 ***********************************************************************/
788 /* Return the symbol holding SYMBOL's value. Signal
789 `cyclic-variable-indirection' if SYMBOL's chain of variable
790 indirections contains a loop. */
792 Lisp_Object
793 indirect_variable (symbol)
794 Lisp_Object symbol;
796 Lisp_Object tortoise, hare;
798 hare = tortoise = symbol;
800 while (XSYMBOL (hare)->indirect_variable)
802 hare = XSYMBOL (hare)->value;
803 if (!XSYMBOL (hare)->indirect_variable)
804 break;
806 hare = XSYMBOL (hare)->value;
807 tortoise = XSYMBOL (tortoise)->value;
809 if (EQ (hare, tortoise))
810 xsignal1 (Qcyclic_variable_indirection, symbol);
813 return hare;
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;
826 if (SYMBOLP (object))
827 object = indirect_variable (object);
828 return object;
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. */
837 Lisp_Object
838 do_symval_forwarding (valcontents)
839 register Lisp_Object valcontents;
841 register Lisp_Object val;
842 int offset;
843 if (MISCP (valcontents))
844 switch (XMISCTYPE (valcontents))
846 case Lisp_Misc_Intfwd:
847 XSETINT (val, *XINTFWD (valcontents)->intvar);
848 return val;
850 case Lisp_Misc_Boolfwd:
851 return (*XBOOLFWD (valcontents)->boolvar ? Qt : Qnil);
853 case Lisp_Misc_Objfwd:
854 return *XOBJFWD (valcontents)->objvar;
856 case Lisp_Misc_Buffer_Objfwd:
857 offset = XBUFFER_OBJFWD (valcontents)->offset;
858 return PER_BUFFER_VALUE (current_buffer, offset);
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:
866 (with-selected-frame frame
867 (define-key local-function-map "\eOP" [f1]))
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 ()));
875 return valcontents;
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.
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. */
886 void
887 store_symval_forwarding (symbol, valcontents, newval, buf)
888 Lisp_Object symbol;
889 register Lisp_Object valcontents, newval;
890 struct buffer *buf;
892 switch (SWITCH_ENUM_CAST (XTYPE (valcontents)))
894 case Lisp_Misc:
895 switch (XMISCTYPE (valcontents))
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;
905 case Lisp_Misc_Boolfwd:
906 *XBOOLFWD (valcontents)->boolvar = NILP (newval) ? 0 : 1;
907 break;
909 case Lisp_Misc_Objfwd:
910 *XOBJFWD (valcontents)->objvar = newval;
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))
919 int offset = ((char *) XOBJFWD (valcontents)->objvar
920 - (char *) &buffer_defaults);
921 int idx = PER_BUFFER_IDX (offset);
923 Lisp_Object tail;
925 if (idx <= 0)
926 break;
928 for (tail = Vbuffer_alist; CONSP (tail); tail = XCDR (tail))
930 Lisp_Object buf;
931 struct buffer *b;
933 buf = Fcdr (XCAR (tail));
934 if (!BUFFERP (buf)) continue;
935 b = XBUFFER (buf);
937 if (! PER_BUFFER_VALUE_P (b, idx))
938 PER_BUFFER_VALUE (b, offset) = newval;
941 break;
943 case Lisp_Misc_Buffer_Objfwd:
945 int offset = XBUFFER_OBJFWD (valcontents)->offset;
946 Lisp_Object type;
948 type = PER_BUFFER_TYPE (offset);
949 if (! NILP (type) && ! NILP (newval)
950 && XTYPE (newval) != XINT (type))
951 buffer_slot_type_mismatch (offset);
953 if (buf == NULL)
954 buf = current_buffer;
955 PER_BUFFER_VALUE (buf, offset) = newval;
957 break;
959 case Lisp_Misc_Kboard_Objfwd:
961 char *base = (char *) FRAME_KBOARD (SELECTED_FRAME ());
962 char *p = base + XKBOARD_OBJFWD (valcontents)->offset;
963 *(Lisp_Object *) p = newval;
965 break;
967 default:
968 goto def;
970 break;
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);
983 /* Set up SYMBOL to refer to its global binding.
984 This makes it safe to alter the status of other bindings. */
986 void
987 swap_in_global_binding (symbol)
988 Lisp_Object symbol;
990 Lisp_Object valcontents, cdr;
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;
998 /* Unload the previously loaded binding. */
999 Fsetcdr (XCAR (cdr),
1000 do_symval_forwarding (XBUFFER_LOCAL_VALUE (valcontents)->realvalue));
1002 /* Select the global binding in the symbol. */
1003 XSETCAR (cdr, cdr);
1004 store_symval_forwarding (symbol, valcontents, XCDR (cdr), NULL);
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;
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.
1017 Return the value forwarded one step past the buffer-local stage.
1018 This could be another forwarding pointer. */
1020 static Lisp_Object
1021 swap_in_symval_forwarding (symbol, valcontents)
1022 Lisp_Object symbol, valcontents;
1024 register Lisp_Object tem1;
1026 tem1 = XBUFFER_LOCAL_VALUE (valcontents)->buffer;
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)))
1033 if (XSYMBOL (symbol)->indirect_variable)
1034 symbol = indirect_variable (symbol);
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))
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;
1053 else
1054 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 1;
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);
1064 return XBUFFER_LOCAL_VALUE (valcontents)->realvalue;
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. */
1073 Lisp_Object
1074 find_symbol_value (symbol)
1075 Lisp_Object symbol;
1077 register Lisp_Object valcontents;
1078 register Lisp_Object val;
1080 CHECK_SYMBOL (symbol);
1081 valcontents = SYMBOL_VALUE (symbol);
1083 if (BUFFER_LOCAL_VALUEP (valcontents)
1084 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1085 valcontents = swap_in_symval_forwarding (symbol, valcontents);
1087 if (MISCP (valcontents))
1089 switch (XMISCTYPE (valcontents))
1091 case Lisp_Misc_Intfwd:
1092 XSETINT (val, *XINTFWD (valcontents)->intvar);
1093 return val;
1095 case Lisp_Misc_Boolfwd:
1096 return (*XBOOLFWD (valcontents)->boolvar ? Qt : Qnil);
1098 case Lisp_Misc_Objfwd:
1099 return *XOBJFWD (valcontents)->objvar;
1101 case Lisp_Misc_Buffer_Objfwd:
1102 return PER_BUFFER_VALUE (current_buffer,
1103 XBUFFER_OBJFWD (valcontents)->offset);
1105 case Lisp_Misc_Kboard_Objfwd:
1106 return *(Lisp_Object *)(XKBOARD_OBJFWD (valcontents)->offset
1107 + (char *)FRAME_KBOARD (SELECTED_FRAME ()));
1111 return valcontents;
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;
1119 Lisp_Object val;
1121 val = find_symbol_value (symbol);
1122 if (!EQ (val, Qunbound))
1123 return val;
1125 xsignal1 (Qvoid_variable, symbol);
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;
1133 return set_internal (symbol, newval, current_buffer, 0);
1136 /* Return 1 if SYMBOL currently has a let-binding
1137 which was made in the buffer that is now current. */
1139 static int
1140 let_shadows_buffer_binding_p (symbol)
1141 Lisp_Object symbol;
1143 volatile struct specbinding *p;
1145 for (p = specpdl_ptr - 1; p >= specpdl; p--)
1146 if (p->func == NULL
1147 && CONSP (p->symbol))
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;
1157 return p >= specpdl;
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.)
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. */
1168 Lisp_Object
1169 set_internal (symbol, newval, buf, bindflag)
1170 register Lisp_Object symbol, newval;
1171 struct buffer *buf;
1172 int bindflag;
1174 int voide = EQ (newval, Qunbound);
1176 register Lisp_Object valcontents, innercontents, tem1, current_alist_element;
1178 if (buf == 0)
1179 buf = current_buffer;
1181 /* If restoring in a dead buffer, do nothing. */
1182 if (NILP (buf->name))
1183 return newval;
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);
1191 innercontents = valcontents = SYMBOL_VALUE (symbol);
1193 if (BUFFER_OBJFWDP (valcontents))
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);
1202 else if (BUFFER_LOCAL_VALUEP (valcontents)
1203 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1205 /* valcontents is a struct Lisp_Buffer_Local_Value. */
1206 if (XSYMBOL (symbol)->indirect_variable)
1207 symbol = indirect_variable (symbol);
1209 /* What binding is loaded right now? */
1210 current_alist_element
1211 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
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)))
1226 /* The currently loaded binding is not necessarily valid.
1227 We need to unload it, and choose a new binding. */
1229 /* Write out `realvalue' to the old loaded binding. */
1230 Fsetcdr (current_alist_element,
1231 do_symval_forwarding (XBUFFER_LOCAL_VALUE (valcontents)->realvalue));
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;
1238 if (NILP (tem1))
1240 /* This buffer still sees the default value. */
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))
1251 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1253 if (XBUFFER_LOCAL_VALUE (valcontents)->check_frame)
1254 tem1 = Fassq (symbol,
1255 XFRAME (selected_frame)->param_alist);
1257 if (! NILP (tem1))
1258 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 1;
1259 else
1260 tem1 = XBUFFER_LOCAL_VALUE (valcontents)->cdr;
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
1269 tem1 = Fcons (symbol, XCDR (current_alist_element));
1270 buf->local_var_alist
1271 = Fcons (tem1, buf->local_var_alist);
1275 /* Record which binding is now loaded. */
1276 XSETCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr,
1277 tem1);
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;
1283 innercontents = XBUFFER_LOCAL_VALUE (valcontents)->realvalue;
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);
1293 /* If we just set a variable whose current binding is frame-local,
1294 store the new value in the frame parameter too. */
1296 if (BUFFER_LOCAL_VALUEP (valcontents)
1297 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1299 /* What binding is loaded right now? */
1300 current_alist_element
1301 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
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);
1312 return newval;
1315 /* Access or set a buffer-local symbol's default value. */
1317 /* Return the default value of SYMBOL, but don't check for voidness.
1318 Return Qunbound if it is void. */
1320 Lisp_Object
1321 default_value (symbol)
1322 Lisp_Object symbol;
1324 register Lisp_Object valcontents;
1326 CHECK_SYMBOL (symbol);
1327 valcontents = SYMBOL_VALUE (symbol);
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))
1333 int offset = XBUFFER_OBJFWD (valcontents)->offset;
1334 if (PER_BUFFER_IDX (offset) != 0)
1335 return PER_BUFFER_DEFAULT (offset);
1338 /* Handle user-created local variables. */
1339 if (BUFFER_LOCAL_VALUEP (valcontents)
1340 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
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);
1355 /* For other variables, get the current value. */
1356 return do_symval_forwarding (valcontents);
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;
1366 register Lisp_Object value;
1368 value = default_value (symbol);
1369 return (EQ (value, Qunbound) ? Qnil : Qt);
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;
1380 register Lisp_Object value;
1382 value = default_value (symbol);
1383 if (!EQ (value, Qunbound))
1384 return value;
1386 xsignal1 (Qvoid_variable, symbol);
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;
1396 register Lisp_Object valcontents, current_alist_element, alist_element_buffer;
1398 CHECK_SYMBOL (symbol);
1399 valcontents = SYMBOL_VALUE (symbol);
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))
1406 int offset = XBUFFER_OBJFWD (valcontents)->offset;
1407 int idx = PER_BUFFER_IDX (offset);
1409 PER_BUFFER_DEFAULT (offset) = value;
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)
1415 struct buffer *b;
1417 for (b = all_buffers; b; b = b->next)
1418 if (!PER_BUFFER_VALUE_P (b, idx))
1419 PER_BUFFER_VALUE (b, offset) = value;
1421 return value;
1424 if (!BUFFER_LOCAL_VALUEP (valcontents)
1425 && !SOME_BUFFER_LOCAL_VALUEP (valcontents))
1426 return Fset (symbol, value);
1428 /* Store new value into the DEFAULT-VALUE slot. */
1429 XSETCDR (XBUFFER_LOCAL_VALUE (valcontents)->cdr, value);
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);
1440 return value;
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.
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;
1459 register Lisp_Object args_left;
1460 register Lisp_Object val, symbol;
1461 struct gcpro gcpro1;
1463 if (NILP (args))
1464 return Qnil;
1466 args_left = args;
1467 GCPRO1 (args);
1471 val = Feval (Fcar (Fcdr (args_left)));
1472 symbol = XCAR (args_left);
1473 Fset_default (symbol, val);
1474 args_left = Fcdr (XCDR (args_left));
1476 while (!NILP (args_left));
1478 UNGCPRO;
1479 return val;
1482 /* Lisp functions for creating and removing buffer-local variables. */
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.
1494 In most cases it is better to use `make-local-variable',
1495 which makes a variable local in just one buffer.
1497 The function `default-value' gets the default value and `set-default' sets it. */)
1498 (variable)
1499 register Lisp_Object variable;
1501 register Lisp_Object tem, valcontents, newval;
1503 CHECK_SYMBOL (variable);
1504 variable = indirect_variable (variable);
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)));
1510 if (BUFFER_LOCAL_VALUEP (valcontents) || BUFFER_OBJFWDP (valcontents))
1511 return variable;
1512 if (SOME_BUFFER_LOCAL_VALUEP (valcontents))
1514 XMISCTYPE (SYMBOL_VALUE (variable)) = Lisp_Misc_Buffer_Local_Value;
1515 return variable;
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;
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.
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.
1546 This function returns VARIABLE, and therefore
1547 (set (make-local-variable 'VARIABLE) VALUE-EXP)
1548 works.
1550 See also `make-variable-buffer-local'.
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;
1557 register Lisp_Object tem, valcontents;
1559 CHECK_SYMBOL (variable);
1560 variable = indirect_variable (variable);
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)));
1566 if (BUFFER_LOCAL_VALUEP (valcontents) || BUFFER_OBJFWDP (valcontents))
1568 tem = Fboundp (variable);
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;
1575 /* Make sure symbol is set up to hold per-buffer values. */
1576 if (!SOME_BUFFER_LOCAL_VALUEP (valcontents))
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);;
1592 /* Make sure this buffer has its own value of symbol. */
1593 tem = Fassq (variable, current_buffer->local_var_alist);
1594 if (NILP (tem))
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);
1601 current_buffer->local_var_alist
1602 = Fcons (Fcons (variable, XCDR (XBUFFER_LOCAL_VALUE (SYMBOL_VALUE (variable))->cdr)),
1603 current_buffer->local_var_alist);
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. */
1608 Lisp_Object *pvalbuf;
1610 valcontents = SYMBOL_VALUE (variable);
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;
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));
1627 return variable;
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;
1637 register Lisp_Object tem, valcontents;
1639 CHECK_SYMBOL (variable);
1640 variable = indirect_variable (variable);
1642 valcontents = SYMBOL_VALUE (variable);
1644 if (BUFFER_OBJFWDP (valcontents))
1646 int offset = XBUFFER_OBJFWD (valcontents)->offset;
1647 int idx = PER_BUFFER_IDX (offset);
1649 if (idx > 0)
1651 SET_PER_BUFFER_VALUE_P (current_buffer, idx, 0);
1652 PER_BUFFER_VALUE (current_buffer, offset)
1653 = PER_BUFFER_DEFAULT (offset);
1655 return variable;
1658 if (!BUFFER_LOCAL_VALUEP (valcontents)
1659 && !SOME_BUFFER_LOCAL_VALUEP (valcontents))
1660 return variable;
1662 /* Get rid of this buffer's alist element, if any. */
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);
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. */
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))
1679 *pvalbuf = Qnil;
1680 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1681 find_symbol_value (variable);
1685 return variable;
1688 /* Lisp functions for creating and removing buffer-local variables. */
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.
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.
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.
1706 Buffer-local bindings take precedence over frame-local bindings. */)
1707 (variable)
1708 register Lisp_Object variable;
1710 register Lisp_Object tem, valcontents, newval;
1712 CHECK_SYMBOL (variable);
1713 variable = indirect_variable (variable);
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)));
1720 if (BUFFER_LOCAL_VALUEP (valcontents)
1721 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1723 XBUFFER_LOCAL_VALUE (valcontents)->check_frame = 1;
1724 return variable;
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;
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;
1751 Lisp_Object valcontents;
1752 register struct buffer *buf;
1754 if (NILP (buffer))
1755 buf = current_buffer;
1756 else
1758 CHECK_BUFFER (buffer);
1759 buf = XBUFFER (buffer);
1762 CHECK_SYMBOL (variable);
1763 variable = indirect_variable (variable);
1765 valcontents = SYMBOL_VALUE (variable);
1766 if (BUFFER_LOCAL_VALUEP (valcontents)
1767 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1769 Lisp_Object tail, elt;
1771 for (tail = buf->local_var_alist; CONSP (tail); tail = XCDR (tail))
1773 elt = XCAR (tail);
1774 if (EQ (variable, XCAR (elt)))
1775 return Qt;
1778 if (BUFFER_OBJFWDP (valcontents))
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;
1785 return Qnil;
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;
1799 Lisp_Object valcontents;
1800 register struct buffer *buf;
1802 if (NILP (buffer))
1803 buf = current_buffer;
1804 else
1806 CHECK_BUFFER (buffer);
1807 buf = XBUFFER (buffer);
1810 CHECK_SYMBOL (variable);
1811 variable = indirect_variable (variable);
1813 valcontents = SYMBOL_VALUE (variable);
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))
1823 Lisp_Object tail, elt;
1824 for (tail = buf->local_var_alist; CONSP (tail); tail = XCDR (tail))
1826 elt = XCAR (tail);
1827 if (EQ (variable, XCAR (elt)))
1828 return Qt;
1831 return Qnil;
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;
1843 Lisp_Object valcontents;
1845 CHECK_SYMBOL (variable);
1846 variable = indirect_variable (variable);
1848 /* Make sure the current binding is actually swapped in. */
1849 find_symbol_value (variable);
1851 valcontents = XSYMBOL (variable)->value;
1853 if (BUFFER_LOCAL_VALUEP (valcontents)
1854 || SOME_BUFFER_LOCAL_VALUEP (valcontents)
1855 || BUFFER_OBJFWDP (valcontents))
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;
1866 return Qnil;
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));
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'.
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;
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;
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'.
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;
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;
1912 #endif
1914 /* Find the function at the end of a chain of symbol function indirections. */
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.
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;
1927 Lisp_Object tortoise, hare;
1929 hare = tortoise = object;
1931 for (;;)
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;
1940 tortoise = XSYMBOL (tortoise)->function;
1942 if (EQ (hare, tortoise))
1943 xsignal1 (Qcyclic_function_indirection, object);
1946 return hare;
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;
1961 Lisp_Object result;
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;
1971 if (NILP (noerror))
1972 xsignal1 (Qvoid_function, object);
1974 return Qnil;
1977 /* Extract and set vector and string elements */
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;
1987 register int idxval;
1989 CHECK_NUMBER (idx);
1990 idxval = XINT (idx);
1991 if (STRINGP (array))
1993 int c, idxval_byte;
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);
2001 c = STRING_CHAR (SDATA (array) + idxval_byte,
2002 SBYTES (array) - idxval_byte);
2003 return make_number (c);
2005 else if (BOOL_VECTOR_P (array))
2007 int val;
2009 if (idxval < 0 || idxval >= XBOOL_VECTOR (array)->size)
2010 args_out_of_range (array, idx);
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);
2015 else if (CHAR_TABLE_P (array))
2017 Lisp_Object val;
2019 val = Qnil;
2021 if (idxval < 0)
2022 args_out_of_range (array, idx);
2023 if (idxval < CHAR_TABLE_ORDINARY_SLOTS)
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))
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];
2038 if (NILP (val))
2039 val = XCHAR_TABLE (array)->defalt;
2040 while (NILP (val)) /* Follow parents until we find some value. */
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;
2049 return val;
2051 else
2053 int code[4], i;
2054 Lisp_Object sub_table;
2055 Lisp_Object current_default;
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;
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 */
2068 try_parent_char_table:
2069 current_default = XCHAR_TABLE (array)->defalt;
2070 sub_table = array;
2071 for (i = 0; code[i] >= 0; i++)
2073 val = XCHAR_TABLE (sub_table)->contents[code[i]];
2074 if (SUB_CHAR_TABLE_P (val))
2076 sub_table = val;
2077 if (! NILP (XCHAR_TABLE (sub_table)->defalt))
2078 current_default = XCHAR_TABLE (sub_table)->defalt;
2080 else
2082 if (NILP (val))
2083 val = current_default;
2084 if (NILP (val))
2086 array = XCHAR_TABLE (array)->parent;
2087 if (!NILP (array))
2088 goto try_parent_char_table;
2090 return val;
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))
2101 array = XCHAR_TABLE (array)->parent;
2102 if (!NILP (array))
2103 goto try_parent_char_table;
2105 return val;
2108 else
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);
2118 if (idxval < 0 || idxval >= size)
2119 args_out_of_range (array, idx);
2120 return XVECTOR (array)->contents[idxval];
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;
2132 register int idxval;
2134 CHECK_NUMBER (idx);
2135 idxval = XINT (idx);
2136 CHECK_ARRAY (array, Qarrayp);
2137 CHECK_IMPURE (array);
2139 if (VECTORP (array))
2141 if (idxval < 0 || idxval >= XVECTOR (array)->size)
2142 args_out_of_range (array, idx);
2143 XVECTOR (array)->contents[idxval] = newelt;
2145 else if (BOOL_VECTOR_P (array))
2147 int val;
2149 if (idxval < 0 || idxval >= XBOOL_VECTOR (array)->size)
2150 args_out_of_range (array, idx);
2152 val = (unsigned char) XBOOL_VECTOR (array)->data[idxval / BOOL_VECTOR_BITS_PER_CHAR];
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;
2160 else if (CHAR_TABLE_P (array))
2162 if (idxval < 0)
2163 args_out_of_range (array, idx);
2164 if (idxval < CHAR_TABLE_ORDINARY_SLOTS)
2166 if (! SINGLE_BYTE_CHAR_P (idxval))
2167 args_out_of_range (array, idx);
2168 XCHAR_TABLE (array)->contents[idxval] = newelt;
2170 else
2172 int code[4], i;
2173 Lisp_Object val;
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;
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++)
2184 val = XCHAR_TABLE (array)->contents[code[i]];
2185 if (SUB_CHAR_TABLE_P (val))
2186 array = val;
2187 else
2189 Lisp_Object temp;
2191 /* VAL is a leaf. Create a sub char table with the
2192 initial value VAL and look into it. */
2194 temp = make_sub_char_table (val);
2195 XCHAR_TABLE (array)->contents[code[i]] = temp;
2196 array = temp;
2199 XCHAR_TABLE (array)->contents[code[i]] = newelt;
2202 else if (STRING_MULTIBYTE (array))
2204 int idxval_byte, prev_bytes, new_bytes, nbytes;
2205 unsigned char workbuf[MAX_MULTIBYTE_LENGTH], *p0 = workbuf, *p1;
2207 if (idxval < 0 || idxval >= SCHARS (array))
2208 args_out_of_range (array, idx);
2209 CHECK_NUMBER (newelt);
2211 nbytes = SBYTES (array);
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)
2219 /* We must relocate the string data. */
2220 int nchars = SCHARS (array);
2221 unsigned char *str;
2222 USE_SAFE_ALLOCA;
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 ();
2235 while (new_bytes--)
2236 *p1++ = *p0++;
2238 else
2240 if (idxval < 0 || idxval >= SCHARS (array))
2241 args_out_of_range (array, idx);
2242 CHECK_NUMBER (newelt);
2244 if (XINT (newelt) < 0 || SINGLE_BYTE_CHAR_P (XINT (newelt)))
2245 SSET (array, idxval, XINT (newelt));
2246 else
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;
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 ();
2278 return newelt;
2281 /* Arithmetic functions */
2283 enum comparison { equal, notequal, less, grtr, less_or_equal, grtr_or_equal };
2285 Lisp_Object
2286 arithcompare (num1, num2, comparison)
2287 Lisp_Object num1, num2;
2288 enum comparison comparison;
2290 double f1 = 0, f2 = 0;
2291 int floatp = 0;
2293 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (num1);
2294 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (num2);
2296 if (FLOATP (num1) || FLOATP (num2))
2298 floatp = 1;
2299 f1 = (FLOATP (num1)) ? XFLOAT_DATA (num1) : XINT (num1);
2300 f2 = (FLOATP (num2)) ? XFLOAT_DATA (num2) : XINT (num2);
2303 switch (comparison)
2305 case equal:
2306 if (floatp ? f1 == f2 : XINT (num1) == XINT (num2))
2307 return Qt;
2308 return Qnil;
2310 case notequal:
2311 if (floatp ? f1 != f2 : XINT (num1) != XINT (num2))
2312 return Qt;
2313 return Qnil;
2315 case less:
2316 if (floatp ? f1 < f2 : XINT (num1) < XINT (num2))
2317 return Qt;
2318 return Qnil;
2320 case less_or_equal:
2321 if (floatp ? f1 <= f2 : XINT (num1) <= XINT (num2))
2322 return Qt;
2323 return Qnil;
2325 case grtr:
2326 if (floatp ? f1 > f2 : XINT (num1) > XINT (num2))
2327 return Qt;
2328 return Qnil;
2330 case grtr_or_equal:
2331 if (floatp ? f1 >= f2 : XINT (num1) >= XINT (num2))
2332 return Qt;
2333 return Qnil;
2335 default:
2336 abort ();
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;
2345 return arithcompare (num1, num2, equal);
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;
2353 return arithcompare (num1, num2, less);
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;
2361 return arithcompare (num1, num2, grtr);
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;
2370 return arithcompare (num1, num2, less_or_equal);
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;
2379 return arithcompare (num1, num2, grtr_or_equal);
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;
2387 return arithcompare (num1, num2, notequal);
2390 DEFUN ("zerop", Fzerop, Szerop, 1, 1, 0,
2391 doc: /* Return t if NUMBER is zero. */)
2392 (number)
2393 register Lisp_Object number;
2395 CHECK_NUMBER_OR_FLOAT (number);
2397 if (FLOATP (number))
2399 if (XFLOAT_DATA (number) == 0.0)
2400 return Qt;
2401 return Qnil;
2404 if (!XINT (number))
2405 return Qt;
2406 return Qnil;
2409 /* Convert between long values and pairs of Lisp integers. */
2411 Lisp_Object
2412 long_to_cons (i)
2413 unsigned long i;
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));
2424 unsigned long
2425 cons_to_long (c)
2426 Lisp_Object c;
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));
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;
2445 char buffer[VALBITS];
2447 CHECK_NUMBER_OR_FLOAT (number);
2449 if (FLOATP (number))
2451 char pigbuf[350]; /* see comments in float_to_string */
2453 float_to_string (pigbuf, XFLOAT_DATA (number));
2454 return build_string (pigbuf);
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);
2466 INLINE static int
2467 digit_to_number (character, base)
2468 int character, base;
2470 int digit;
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;
2481 if (digit >= base)
2482 return -1;
2483 else
2484 return digit;
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.
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;
2498 register unsigned char *p;
2499 register int b;
2500 int sign = 1;
2501 Lisp_Object val;
2503 CHECK_STRING (string);
2505 if (NILP (base))
2506 b = 10;
2507 else
2509 CHECK_NUMBER (base);
2510 b = XINT (base);
2511 if (b < 2 || b > 16)
2512 xsignal1 (Qargs_out_of_range, base);
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++;
2521 if (*p == '-')
2523 sign = -1;
2524 p++;
2526 else if (*p == '+')
2527 p++;
2529 if (isfloat_string (p) && b == 10)
2530 val = make_float (sign * atof (p));
2531 else
2533 double v = 0;
2535 while (1)
2537 int digit = digit_to_number (*p++, b);
2538 if (digit < 0)
2539 break;
2540 v = v * b + digit;
2543 val = make_fixnum_or_float (sign * v);
2546 return val;
2550 enum arithop
2552 Aadd,
2553 Asub,
2554 Amult,
2555 Adiv,
2556 Alogand,
2557 Alogior,
2558 Alogxor,
2559 Amax,
2560 Amin
2563 static Lisp_Object float_arith_driver P_ ((double, int, enum arithop,
2564 int, Lisp_Object *));
2565 extern Lisp_Object fmod_float ();
2567 Lisp_Object
2568 arith_driver (code, nargs, args)
2569 enum arithop code;
2570 int nargs;
2571 register Lisp_Object *args;
2573 register Lisp_Object val;
2574 register int argnum;
2575 register EMACS_INT accum = 0;
2576 register EMACS_INT next;
2578 switch (SWITCH_ENUM_CAST (code))
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;
2596 for (argnum = 0; argnum < nargs; argnum++)
2598 /* Using args[argnum] as argument to CHECK_NUMBER_... */
2599 val = args[argnum];
2600 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (val);
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))
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
2623 if (next == 0)
2624 xsignal0 (Qarith_error);
2625 accum /= next;
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;
2648 XSETINT (val, accum);
2649 return val;
2652 #undef isnan
2653 #define isnan(x) ((x) != (x))
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;
2663 register Lisp_Object val;
2664 double next;
2666 for (; argnum < nargs; argnum++)
2668 val = args[argnum]; /* using args[argnum] as argument to CHECK_NUMBER_... */
2669 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (val);
2671 if (FLOATP (val))
2673 next = XFLOAT_DATA (val);
2675 else
2677 args[argnum] = val; /* runs into a compiler bug. */
2678 next = XINT (args[argnum]);
2680 switch (SWITCH_ENUM_CAST (code))
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
2696 if (! IEEE_FLOATING_POINT && next == 0)
2697 xsignal0 (Qarith_error);
2698 accum /= next;
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;
2716 return make_float (accum);
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;
2727 return arith_driver (Aadd, nargs, args);
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;
2739 return arith_driver (Asub, nargs, args);
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;
2749 return arith_driver (Amult, nargs, args);
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;
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);
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;
2773 Lisp_Object val;
2775 CHECK_NUMBER_COERCE_MARKER (x);
2776 CHECK_NUMBER_COERCE_MARKER (y);
2778 if (XFASTINT (y) == 0)
2779 xsignal0 (Qarith_error);
2781 XSETINT (val, XINT (x) % XINT (y));
2782 return val;
2785 #ifndef HAVE_FMOD
2786 double
2787 fmod (f1, f2)
2788 double f1, f2;
2790 double r = f1;
2792 if (f2 < 0.0)
2793 f2 = -f2;
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. */
2801 r -= f2 * floor (r / f2);
2802 while (f2 <= (r < 0 ? -r : r) || ((r < 0) != (f1 < 0) && ! isnan (r)));
2804 return r;
2806 #endif /* ! HAVE_FMOD */
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;
2815 Lisp_Object val;
2816 EMACS_INT i1, i2;
2818 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (x);
2819 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (y);
2821 if (FLOATP (x) || FLOATP (y))
2822 return fmod_float (x, y);
2824 i1 = XINT (x);
2825 i2 = XINT (y);
2827 if (i2 == 0)
2828 xsignal0 (Qarith_error);
2830 i1 %= i2;
2832 /* If the "remainder" comes out with the wrong sign, fix it. */
2833 if (i2 < 0 ? i1 > 0 : i1 < 0)
2834 i1 += i2;
2836 XSETINT (val, i1);
2837 return val;
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;
2848 return arith_driver (Amax, nargs, args);
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;
2859 return arith_driver (Amin, nargs, args);
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;
2870 return arith_driver (Alogand, nargs, args);
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;
2881 return arith_driver (Alogior, nargs, args);
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;
2892 return arith_driver (Alogxor, nargs, args);
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;
2902 register Lisp_Object val;
2904 CHECK_NUMBER (value);
2905 CHECK_NUMBER (count);
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;
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;
2925 register Lisp_Object val;
2927 CHECK_NUMBER (value);
2928 CHECK_NUMBER (count);
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;
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;
2947 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (number);
2949 if (FLOATP (number))
2950 return (make_float (1.0 + XFLOAT_DATA (number)));
2952 XSETINT (number, XINT (number) + 1);
2953 return number;
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;
2962 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (number);
2964 if (FLOATP (number))
2965 return (make_float (-1.0 + XFLOAT_DATA (number)));
2967 XSETINT (number, XINT (number) - 1);
2968 return number;
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;
2976 CHECK_NUMBER (number);
2977 XSETINT (number, ~XINT (number));
2978 return number;
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. */)
2987 unsigned i = 0x04030201;
2988 int order = *(char *)&i == 1 ? 108 : 66;
2990 return make_number (order);
2995 void
2996 syms_of_data ()
2998 Lisp_Object error_tail, arith_tail;
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");
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");
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");
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");
3048 Qfloatp = intern ("floatp");
3049 Qnumberp = intern ("numberp");
3050 Qnumber_or_marker_p = intern ("number-or-marker-p");
3052 Qchar_table_p = intern ("char-table-p");
3053 Qvector_or_char_table_p = intern ("vector-or-char-table-p");
3055 Qsubrp = intern ("subrp");
3056 Qunevalled = intern ("unevalled");
3057 Qmany = intern ("many");
3059 Qcdr = intern ("cdr");
3061 /* Handle automatic advice activation */
3062 Qad_advice_info = intern ("ad-advice-info");
3063 Qad_activate_internal = intern ("ad-activate-internal");
3065 error_tail = Fcons (Qerror, Qnil);
3067 /* ERROR is used as a signaler for random errors for which nothing else is right */
3069 Fput (Qerror, Qerror_conditions,
3070 error_tail);
3071 Fput (Qerror, Qerror_message,
3072 build_string ("error"));
3074 Fput (Qquit, Qerror_conditions,
3075 Fcons (Qquit, Qnil));
3076 Fput (Qquit, Qerror_message,
3077 build_string ("Quit"));
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"));
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"));
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"));
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"));
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"));
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"));
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"));
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"));
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"));
3126 Fput (Qinvalid_function, Qerror_conditions,
3127 Fcons (Qinvalid_function, error_tail));
3128 Fput (Qinvalid_function, Qerror_message,
3129 build_string ("Invalid function"));
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"));
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"));
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"));
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"));
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"));
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"));
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"));
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"));
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");
3178 Fput (Qdomain_error, Qerror_conditions,
3179 Fcons (Qdomain_error, arith_tail));
3180 Fput (Qdomain_error, Qerror_message,
3181 build_string ("Arithmetic domain error"));
3183 Fput (Qrange_error, Qerror_conditions,
3184 Fcons (Qrange_error, arith_tail));
3185 Fput (Qrange_error, Qerror_message,
3186 build_string ("Arithmetic range error"));
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"));
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"));
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"));
3203 staticpro (&Qrange_error);
3204 staticpro (&Qdomain_error);
3205 staticpro (&Qsingularity_error);
3206 staticpro (&Qoverflow_error);
3207 staticpro (&Qunderflow_error);
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);
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);
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);
3265 staticpro (&Qboundp);
3266 staticpro (&Qfboundp);
3267 staticpro (&Qcdr);
3268 staticpro (&Qad_advice_info);
3269 staticpro (&Qad_activate_internal);
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");
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);
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);
3405 XSYMBOL (Qwholenump)->function = XSYMBOL (Qnatnump)->function;
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);
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);
3416 SIGTYPE
3417 arith_error (signo)
3418 int signo;
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 */
3435 SIGNAL_THREAD_CHECK (signo);
3436 xsignal0 (Qarith_error);
3439 void
3440 init_data ()
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);
3452 #ifdef uts
3453 signal (SIGEMT, arith_error);
3454 #endif /* uts */
3457 /* arch-tag: 25879798-b84d-479a-9c89-7d148e2109f7
3458 (do not change this comment) */