* keyboard.c (Qratio): New symbol.
[emacs.git] / src / data.c
blob3d2cd4a73328c3d16e4918b3d9bcb123647d1c50
1 /* Primitive operations on Lisp data types for GNU Emacs Lisp interpreter.
2 Copyright (C) 1985,86,88,93,94,95,97,98, 1999 Free Software Foundation, Inc.
4 This file is part of GNU Emacs.
6 GNU Emacs is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
11 GNU Emacs is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU Emacs; see the file COPYING. If not, write to
18 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
22 #include <config.h>
23 #include <signal.h>
24 #include <stdio.h>
25 #include "lisp.h"
26 #include "puresize.h"
27 #include "charset.h"
29 #ifndef standalone
30 #include "buffer.h"
31 #include "keyboard.h"
32 #include "frame.h"
33 #endif
35 #include "syssignal.h"
37 #ifdef LISP_FLOAT_TYPE
39 #ifdef STDC_HEADERS
40 #include <float.h>
41 #endif
43 /* If IEEE_FLOATING_POINT isn't defined, default it from FLT_*. */
44 #ifndef IEEE_FLOATING_POINT
45 #if (FLT_RADIX == 2 && FLT_MANT_DIG == 24 \
46 && FLT_MIN_EXP == -125 && FLT_MAX_EXP == 128)
47 #define IEEE_FLOATING_POINT 1
48 #else
49 #define IEEE_FLOATING_POINT 0
50 #endif
51 #endif
53 /* Work around a problem that happens because math.h on hpux 7
54 defines two static variables--which, in Emacs, are not really static,
55 because `static' is defined as nothing. The problem is that they are
56 here, in floatfns.c, and in lread.c.
57 These macros prevent the name conflict. */
58 #if defined (HPUX) && !defined (HPUX8)
59 #define _MAXLDBL data_c_maxldbl
60 #define _NMAXLDBL data_c_nmaxldbl
61 #endif
63 #include <math.h>
64 #endif /* LISP_FLOAT_TYPE */
66 #if !defined (atof)
67 extern double atof ();
68 #endif /* !atof */
70 /* Nonzero means it is an error to set a symbol whose name starts with
71 colon. */
72 int keyword_symbols_constant_flag;
74 Lisp_Object Qnil, Qt, Qquote, Qlambda, Qsubr, Qunbound;
75 Lisp_Object Qerror_conditions, Qerror_message, Qtop_level;
76 Lisp_Object Qerror, Qquit, Qwrong_type_argument, Qargs_out_of_range;
77 Lisp_Object Qvoid_variable, Qvoid_function, Qcyclic_function_indirection;
78 Lisp_Object Qsetting_constant, Qinvalid_read_syntax;
79 Lisp_Object Qinvalid_function, Qwrong_number_of_arguments, Qno_catch;
80 Lisp_Object Qend_of_file, Qarith_error, Qmark_inactive;
81 Lisp_Object Qbeginning_of_buffer, Qend_of_buffer, Qbuffer_read_only;
82 Lisp_Object Qtext_read_only;
83 Lisp_Object Qintegerp, Qnatnump, Qwholenump, Qsymbolp, Qlistp, Qconsp;
84 Lisp_Object Qstringp, Qarrayp, Qsequencep, Qbufferp;
85 Lisp_Object Qchar_or_string_p, Qmarkerp, Qinteger_or_marker_p, Qvectorp;
86 Lisp_Object Qbuffer_or_string_p;
87 Lisp_Object Qboundp, Qfboundp;
88 Lisp_Object Qchar_table_p, Qvector_or_char_table_p;
90 Lisp_Object Qcdr;
91 Lisp_Object Qad_advice_info, Qad_activate_internal;
93 Lisp_Object Qrange_error, Qdomain_error, Qsingularity_error;
94 Lisp_Object Qoverflow_error, Qunderflow_error;
96 #ifdef LISP_FLOAT_TYPE
97 Lisp_Object Qfloatp;
98 Lisp_Object Qnumberp, Qnumber_or_marker_p;
99 #endif
101 static Lisp_Object Qinteger, Qsymbol, Qstring, Qcons, Qmarker, Qoverlay;
102 static Lisp_Object Qfloat, Qwindow_configuration, Qwindow;
103 Lisp_Object Qprocess;
104 static Lisp_Object Qcompiled_function, Qbuffer, Qframe, Qvector;
105 static Lisp_Object Qchar_table, Qbool_vector, Qhash_table;
107 static Lisp_Object swap_in_symval_forwarding ();
109 Lisp_Object set_internal ();
111 Lisp_Object
112 wrong_type_argument (predicate, value)
113 register Lisp_Object predicate, value;
115 register Lisp_Object tem;
118 if (!EQ (Vmocklisp_arguments, Qt))
120 if (STRINGP (value) &&
121 (EQ (predicate, Qintegerp) || EQ (predicate, Qinteger_or_marker_p)))
122 return Fstring_to_number (value, Qnil);
123 if (INTEGERP (value) && EQ (predicate, Qstringp))
124 return Fnumber_to_string (value);
127 /* If VALUE is not even a valid Lisp object, abort here
128 where we can get a backtrace showing where it came from. */
129 if ((unsigned int) XGCTYPE (value) >= Lisp_Type_Limit)
130 abort ();
132 value = Fsignal (Qwrong_type_argument, Fcons (predicate, Fcons (value, Qnil)));
133 tem = call1 (predicate, value);
135 while (NILP (tem));
136 return value;
139 void
140 pure_write_error ()
142 error ("Attempt to modify read-only object");
145 void
146 args_out_of_range (a1, a2)
147 Lisp_Object a1, a2;
149 while (1)
150 Fsignal (Qargs_out_of_range, Fcons (a1, Fcons (a2, Qnil)));
153 void
154 args_out_of_range_3 (a1, a2, a3)
155 Lisp_Object a1, a2, a3;
157 while (1)
158 Fsignal (Qargs_out_of_range, Fcons (a1, Fcons (a2, Fcons (a3, Qnil))));
161 /* On some machines, XINT needs a temporary location.
162 Here it is, in case it is needed. */
164 int sign_extend_temp;
166 /* On a few machines, XINT can only be done by calling this. */
169 sign_extend_lisp_int (num)
170 EMACS_INT num;
172 if (num & (((EMACS_INT) 1) << (VALBITS - 1)))
173 return num | (((EMACS_INT) (-1)) << VALBITS);
174 else
175 return num & ((((EMACS_INT) 1) << VALBITS) - 1);
178 /* Data type predicates */
180 DEFUN ("eq", Feq, Seq, 2, 2, 0,
181 "Return t if the two args are the same Lisp object.")
182 (obj1, obj2)
183 Lisp_Object obj1, obj2;
185 if (EQ (obj1, obj2))
186 return Qt;
187 return Qnil;
190 DEFUN ("null", Fnull, Snull, 1, 1, 0, "Return t if OBJECT is nil.")
191 (object)
192 Lisp_Object object;
194 if (NILP (object))
195 return Qt;
196 return Qnil;
199 DEFUN ("type-of", Ftype_of, Stype_of, 1, 1, 0,
200 "Return a symbol representing the type of OBJECT.\n\
201 The symbol returned names the object's basic type;\n\
202 for example, (type-of 1) returns `integer'.")
203 (object)
204 Lisp_Object object;
206 switch (XGCTYPE (object))
208 case Lisp_Int:
209 return Qinteger;
211 case Lisp_Symbol:
212 return Qsymbol;
214 case Lisp_String:
215 return Qstring;
217 case Lisp_Cons:
218 return Qcons;
220 case Lisp_Misc:
221 switch (XMISCTYPE (object))
223 case Lisp_Misc_Marker:
224 return Qmarker;
225 case Lisp_Misc_Overlay:
226 return Qoverlay;
227 case Lisp_Misc_Float:
228 return Qfloat;
230 abort ();
232 case Lisp_Vectorlike:
233 if (GC_WINDOW_CONFIGURATIONP (object))
234 return Qwindow_configuration;
235 if (GC_PROCESSP (object))
236 return Qprocess;
237 if (GC_WINDOWP (object))
238 return Qwindow;
239 if (GC_SUBRP (object))
240 return Qsubr;
241 if (GC_COMPILEDP (object))
242 return Qcompiled_function;
243 if (GC_BUFFERP (object))
244 return Qbuffer;
245 if (GC_CHAR_TABLE_P (object))
246 return Qchar_table;
247 if (GC_BOOL_VECTOR_P (object))
248 return Qbool_vector;
249 if (GC_FRAMEP (object))
250 return Qframe;
251 if (GC_HASH_TABLE_P (object))
252 return Qhash_table;
253 return Qvector;
255 #ifdef LISP_FLOAT_TYPE
256 case Lisp_Float:
257 return Qfloat;
258 #endif
260 default:
261 abort ();
265 DEFUN ("consp", Fconsp, Sconsp, 1, 1, 0, "Return t if OBJECT is a cons cell.")
266 (object)
267 Lisp_Object object;
269 if (CONSP (object))
270 return Qt;
271 return Qnil;
274 DEFUN ("atom", Fatom, Satom, 1, 1, 0,
275 "Return t if OBJECT is not a cons cell. This includes nil.")
276 (object)
277 Lisp_Object object;
279 if (CONSP (object))
280 return Qnil;
281 return Qt;
284 DEFUN ("listp", Flistp, Slistp, 1, 1, 0,
285 "Return t if OBJECT is a list. This includes nil.")
286 (object)
287 Lisp_Object object;
289 if (CONSP (object) || NILP (object))
290 return Qt;
291 return Qnil;
294 DEFUN ("nlistp", Fnlistp, Snlistp, 1, 1, 0,
295 "Return t if OBJECT is not a list. Lists include nil.")
296 (object)
297 Lisp_Object object;
299 if (CONSP (object) || NILP (object))
300 return Qnil;
301 return Qt;
304 DEFUN ("symbolp", Fsymbolp, Ssymbolp, 1, 1, 0,
305 "Return t if OBJECT is a symbol.")
306 (object)
307 Lisp_Object object;
309 if (SYMBOLP (object))
310 return Qt;
311 return Qnil;
314 DEFUN ("vectorp", Fvectorp, Svectorp, 1, 1, 0,
315 "Return t if OBJECT is a vector.")
316 (object)
317 Lisp_Object object;
319 if (VECTORP (object))
320 return Qt;
321 return Qnil;
324 DEFUN ("stringp", Fstringp, Sstringp, 1, 1, 0,
325 "Return t if OBJECT is a string.")
326 (object)
327 Lisp_Object object;
329 if (STRINGP (object))
330 return Qt;
331 return Qnil;
334 DEFUN ("multibyte-string-p", Fmultibyte_string_p, Smultibyte_string_p,
335 1, 1, 0, "Return t if OBJECT is a multibyte string.")
336 (object)
337 Lisp_Object object;
339 if (STRINGP (object) && STRING_MULTIBYTE (object))
340 return Qt;
341 return Qnil;
344 DEFUN ("char-table-p", Fchar_table_p, Schar_table_p, 1, 1, 0,
345 "Return t if OBJECT is a char-table.")
346 (object)
347 Lisp_Object object;
349 if (CHAR_TABLE_P (object))
350 return Qt;
351 return Qnil;
354 DEFUN ("vector-or-char-table-p", Fvector_or_char_table_p,
355 Svector_or_char_table_p, 1, 1, 0,
356 "Return t if OBJECT is a char-table or vector.")
357 (object)
358 Lisp_Object object;
360 if (VECTORP (object) || CHAR_TABLE_P (object))
361 return Qt;
362 return Qnil;
365 DEFUN ("bool-vector-p", Fbool_vector_p, Sbool_vector_p, 1, 1, 0, "Return t if OBJECT is a bool-vector.")
366 (object)
367 Lisp_Object object;
369 if (BOOL_VECTOR_P (object))
370 return Qt;
371 return Qnil;
374 DEFUN ("arrayp", Farrayp, Sarrayp, 1, 1, 0, "Return t if OBJECT is an array (string or vector).")
375 (object)
376 Lisp_Object object;
378 if (VECTORP (object) || STRINGP (object)
379 || CHAR_TABLE_P (object) || BOOL_VECTOR_P (object))
380 return Qt;
381 return Qnil;
384 DEFUN ("sequencep", Fsequencep, Ssequencep, 1, 1, 0,
385 "Return t if OBJECT is a sequence (list or array).")
386 (object)
387 register Lisp_Object object;
389 if (CONSP (object) || NILP (object) || VECTORP (object) || STRINGP (object)
390 || CHAR_TABLE_P (object) || BOOL_VECTOR_P (object))
391 return Qt;
392 return Qnil;
395 DEFUN ("bufferp", Fbufferp, Sbufferp, 1, 1, 0, "Return t if OBJECT is an editor buffer.")
396 (object)
397 Lisp_Object object;
399 if (BUFFERP (object))
400 return Qt;
401 return Qnil;
404 DEFUN ("markerp", Fmarkerp, Smarkerp, 1, 1, 0, "Return t if OBJECT is a marker (editor pointer).")
405 (object)
406 Lisp_Object object;
408 if (MARKERP (object))
409 return Qt;
410 return Qnil;
413 DEFUN ("subrp", Fsubrp, Ssubrp, 1, 1, 0, "Return t if OBJECT is a built-in function.")
414 (object)
415 Lisp_Object object;
417 if (SUBRP (object))
418 return Qt;
419 return Qnil;
422 DEFUN ("byte-code-function-p", Fbyte_code_function_p, Sbyte_code_function_p,
423 1, 1, 0, "Return t if OBJECT is a byte-compiled function object.")
424 (object)
425 Lisp_Object object;
427 if (COMPILEDP (object))
428 return Qt;
429 return Qnil;
432 DEFUN ("char-or-string-p", Fchar_or_string_p, Schar_or_string_p, 1, 1, 0,
433 "Return t if OBJECT is a character (an integer) or a string.")
434 (object)
435 register Lisp_Object object;
437 if (INTEGERP (object) || STRINGP (object))
438 return Qt;
439 return Qnil;
442 DEFUN ("integerp", Fintegerp, Sintegerp, 1, 1, 0, "Return t if OBJECT is an integer.")
443 (object)
444 Lisp_Object object;
446 if (INTEGERP (object))
447 return Qt;
448 return Qnil;
451 DEFUN ("integer-or-marker-p", Finteger_or_marker_p, Sinteger_or_marker_p, 1, 1, 0,
452 "Return t if OBJECT is an integer or a marker (editor pointer).")
453 (object)
454 register Lisp_Object object;
456 if (MARKERP (object) || INTEGERP (object))
457 return Qt;
458 return Qnil;
461 DEFUN ("natnump", Fnatnump, Snatnump, 1, 1, 0,
462 "Return t if OBJECT is a nonnegative integer.")
463 (object)
464 Lisp_Object object;
466 if (NATNUMP (object))
467 return Qt;
468 return Qnil;
471 DEFUN ("numberp", Fnumberp, Snumberp, 1, 1, 0,
472 "Return t if OBJECT is a number (floating point or integer).")
473 (object)
474 Lisp_Object object;
476 if (NUMBERP (object))
477 return Qt;
478 else
479 return Qnil;
482 DEFUN ("number-or-marker-p", Fnumber_or_marker_p,
483 Snumber_or_marker_p, 1, 1, 0,
484 "Return t if OBJECT is a number or a marker.")
485 (object)
486 Lisp_Object object;
488 if (NUMBERP (object) || MARKERP (object))
489 return Qt;
490 return Qnil;
493 #ifdef LISP_FLOAT_TYPE
494 DEFUN ("floatp", Ffloatp, Sfloatp, 1, 1, 0,
495 "Return t if OBJECT is a floating point number.")
496 (object)
497 Lisp_Object object;
499 if (FLOATP (object))
500 return Qt;
501 return Qnil;
503 #endif /* LISP_FLOAT_TYPE */
505 /* Extract and set components of lists */
507 DEFUN ("car", Fcar, Scar, 1, 1, 0,
508 "Return the car of LIST. If arg is nil, return nil.\n\
509 Error if arg is not nil and not a cons cell. See also `car-safe'.")
510 (list)
511 register Lisp_Object list;
513 while (1)
515 if (CONSP (list))
516 return XCAR (list);
517 else if (EQ (list, Qnil))
518 return Qnil;
519 else
520 list = wrong_type_argument (Qlistp, list);
524 DEFUN ("car-safe", Fcar_safe, Scar_safe, 1, 1, 0,
525 "Return the car of OBJECT if it is a cons cell, or else nil.")
526 (object)
527 Lisp_Object object;
529 if (CONSP (object))
530 return XCAR (object);
531 else
532 return Qnil;
535 DEFUN ("cdr", Fcdr, Scdr, 1, 1, 0,
536 "Return the cdr of LIST. If arg is nil, return nil.\n\
537 Error if arg is not nil and not a cons cell. See also `cdr-safe'.")
539 (list)
540 register Lisp_Object list;
542 while (1)
544 if (CONSP (list))
545 return XCDR (list);
546 else if (EQ (list, Qnil))
547 return Qnil;
548 else
549 list = wrong_type_argument (Qlistp, list);
553 DEFUN ("cdr-safe", Fcdr_safe, Scdr_safe, 1, 1, 0,
554 "Return the cdr of OBJECT if it is a cons cell, or else nil.")
555 (object)
556 Lisp_Object object;
558 if (CONSP (object))
559 return XCDR (object);
560 else
561 return Qnil;
564 DEFUN ("setcar", Fsetcar, Ssetcar, 2, 2, 0,
565 "Set the car of CELL to be NEWCAR. Returns NEWCAR.")
566 (cell, newcar)
567 register Lisp_Object cell, newcar;
569 if (!CONSP (cell))
570 cell = wrong_type_argument (Qconsp, cell);
572 CHECK_IMPURE (cell);
573 XCAR (cell) = newcar;
574 return newcar;
577 DEFUN ("setcdr", Fsetcdr, Ssetcdr, 2, 2, 0,
578 "Set the cdr of CELL to be NEWCDR. Returns NEWCDR.")
579 (cell, newcdr)
580 register Lisp_Object cell, newcdr;
582 if (!CONSP (cell))
583 cell = wrong_type_argument (Qconsp, cell);
585 CHECK_IMPURE (cell);
586 XCDR (cell) = newcdr;
587 return newcdr;
590 /* Extract and set components of symbols */
592 DEFUN ("boundp", Fboundp, Sboundp, 1, 1, 0, "Return t if SYMBOL's value is not void.")
593 (symbol)
594 register Lisp_Object symbol;
596 Lisp_Object valcontents;
597 CHECK_SYMBOL (symbol, 0);
599 valcontents = XSYMBOL (symbol)->value;
601 if (BUFFER_LOCAL_VALUEP (valcontents)
602 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
603 valcontents = swap_in_symval_forwarding (symbol, valcontents);
605 return (EQ (valcontents, Qunbound) ? Qnil : Qt);
608 DEFUN ("fboundp", Ffboundp, Sfboundp, 1, 1, 0, "Return t if SYMBOL's function definition is not void.")
609 (symbol)
610 register Lisp_Object symbol;
612 CHECK_SYMBOL (symbol, 0);
613 return (EQ (XSYMBOL (symbol)->function, Qunbound) ? Qnil : Qt);
616 DEFUN ("makunbound", Fmakunbound, Smakunbound, 1, 1, 0, "Make SYMBOL's value be void.")
617 (symbol)
618 register Lisp_Object symbol;
620 CHECK_SYMBOL (symbol, 0);
621 if (NILP (symbol) || EQ (symbol, Qt)
622 || (XSYMBOL (symbol)->name->data[0] == ':'
623 && EQ (XSYMBOL (symbol)->obarray, initial_obarray)
624 && keyword_symbols_constant_flag))
625 return Fsignal (Qsetting_constant, Fcons (symbol, Qnil));
626 Fset (symbol, Qunbound);
627 return symbol;
630 DEFUN ("fmakunbound", Ffmakunbound, Sfmakunbound, 1, 1, 0, "Make SYMBOL's function definition be void.")
631 (symbol)
632 register Lisp_Object symbol;
634 CHECK_SYMBOL (symbol, 0);
635 if (NILP (symbol) || EQ (symbol, Qt))
636 return Fsignal (Qsetting_constant, Fcons (symbol, Qnil));
637 XSYMBOL (symbol)->function = Qunbound;
638 return symbol;
641 DEFUN ("symbol-function", Fsymbol_function, Ssymbol_function, 1, 1, 0,
642 "Return SYMBOL's function definition. Error if that is void.")
643 (symbol)
644 register Lisp_Object symbol;
646 CHECK_SYMBOL (symbol, 0);
647 if (EQ (XSYMBOL (symbol)->function, Qunbound))
648 return Fsignal (Qvoid_function, Fcons (symbol, Qnil));
649 return XSYMBOL (symbol)->function;
652 DEFUN ("symbol-plist", Fsymbol_plist, Ssymbol_plist, 1, 1, 0, "Return SYMBOL's property list.")
653 (symbol)
654 register Lisp_Object symbol;
656 CHECK_SYMBOL (symbol, 0);
657 return XSYMBOL (symbol)->plist;
660 DEFUN ("symbol-name", Fsymbol_name, Ssymbol_name, 1, 1, 0, "Return SYMBOL's name, a string.")
661 (symbol)
662 register Lisp_Object symbol;
664 register Lisp_Object name;
666 CHECK_SYMBOL (symbol, 0);
667 XSETSTRING (name, XSYMBOL (symbol)->name);
668 return name;
671 DEFUN ("fset", Ffset, Sfset, 2, 2, 0,
672 "Set SYMBOL's function definition to DEFINITION, and return DEFINITION.")
673 (symbol, definition)
674 register Lisp_Object symbol, definition;
676 CHECK_SYMBOL (symbol, 0);
677 if (NILP (symbol) || EQ (symbol, Qt))
678 return Fsignal (Qsetting_constant, Fcons (symbol, Qnil));
679 if (!NILP (Vautoload_queue) && !EQ (XSYMBOL (symbol)->function, Qunbound))
680 Vautoload_queue = Fcons (Fcons (symbol, XSYMBOL (symbol)->function),
681 Vautoload_queue);
682 XSYMBOL (symbol)->function = definition;
683 /* Handle automatic advice activation */
684 if (CONSP (XSYMBOL (symbol)->plist) && !NILP (Fget (symbol, Qad_advice_info)))
686 call2 (Qad_activate_internal, symbol, Qnil);
687 definition = XSYMBOL (symbol)->function;
689 return definition;
692 DEFUN ("defalias", Fdefalias, Sdefalias, 2, 2, 0,
693 "Set SYMBOL's function definition to DEFINITION, and return DEFINITION.\n\
694 Associates the function with the current load file, if any.")
695 (symbol, definition)
696 register Lisp_Object symbol, definition;
698 definition = Ffset (symbol, definition);
699 LOADHIST_ATTACH (symbol);
700 return definition;
703 DEFUN ("setplist", Fsetplist, Ssetplist, 2, 2, 0,
704 "Set SYMBOL's property list to NEWVAL, and return NEWVAL.")
705 (symbol, newplist)
706 register Lisp_Object symbol, newplist;
708 CHECK_SYMBOL (symbol, 0);
709 XSYMBOL (symbol)->plist = newplist;
710 return newplist;
714 /* Getting and setting values of symbols */
716 /* Given the raw contents of a symbol value cell,
717 return the Lisp value of the symbol.
718 This does not handle buffer-local variables; use
719 swap_in_symval_forwarding for that. */
721 Lisp_Object
722 do_symval_forwarding (valcontents)
723 register Lisp_Object valcontents;
725 register Lisp_Object val;
726 int offset;
727 if (MISCP (valcontents))
728 switch (XMISCTYPE (valcontents))
730 case Lisp_Misc_Intfwd:
731 XSETINT (val, *XINTFWD (valcontents)->intvar);
732 return val;
734 case Lisp_Misc_Boolfwd:
735 return (*XBOOLFWD (valcontents)->boolvar ? Qt : Qnil);
737 case Lisp_Misc_Objfwd:
738 return *XOBJFWD (valcontents)->objvar;
740 case Lisp_Misc_Buffer_Objfwd:
741 offset = XBUFFER_OBJFWD (valcontents)->offset;
742 return *(Lisp_Object *)(offset + (char *)current_buffer);
744 case Lisp_Misc_Kboard_Objfwd:
745 offset = XKBOARD_OBJFWD (valcontents)->offset;
746 return *(Lisp_Object *)(offset + (char *)current_kboard);
748 return valcontents;
751 /* Store NEWVAL into SYMBOL, where VALCONTENTS is found in the value cell
752 of SYMBOL. If SYMBOL is buffer-local, VALCONTENTS should be the
753 buffer-independent contents of the value cell: forwarded just one
754 step past the buffer-localness. */
756 void
757 store_symval_forwarding (symbol, valcontents, newval)
758 Lisp_Object symbol;
759 register Lisp_Object valcontents, newval;
761 switch (SWITCH_ENUM_CAST (XTYPE (valcontents)))
763 case Lisp_Misc:
764 switch (XMISCTYPE (valcontents))
766 case Lisp_Misc_Intfwd:
767 CHECK_NUMBER (newval, 1);
768 *XINTFWD (valcontents)->intvar = XINT (newval);
769 if (*XINTFWD (valcontents)->intvar != XINT (newval))
770 error ("Value out of range for variable `%s'",
771 XSYMBOL (symbol)->name->data);
772 break;
774 case Lisp_Misc_Boolfwd:
775 *XBOOLFWD (valcontents)->boolvar = NILP (newval) ? 0 : 1;
776 break;
778 case Lisp_Misc_Objfwd:
779 *XOBJFWD (valcontents)->objvar = newval;
780 break;
782 case Lisp_Misc_Buffer_Objfwd:
784 int offset = XBUFFER_OBJFWD (valcontents)->offset;
785 Lisp_Object type;
787 type = *(Lisp_Object *)(offset + (char *)&buffer_local_types);
788 if (XINT (type) == -1)
789 error ("Variable %s is read-only", XSYMBOL (symbol)->name->data);
791 if (! NILP (type) && ! NILP (newval)
792 && XTYPE (newval) != XINT (type))
793 buffer_slot_type_mismatch (offset);
795 *(Lisp_Object *)(offset + (char *)current_buffer) = newval;
797 break;
799 case Lisp_Misc_Kboard_Objfwd:
800 (*(Lisp_Object *)((char *)current_kboard
801 + XKBOARD_OBJFWD (valcontents)->offset))
802 = newval;
803 break;
805 default:
806 goto def;
808 break;
810 default:
811 def:
812 valcontents = XSYMBOL (symbol)->value;
813 if (BUFFER_LOCAL_VALUEP (valcontents)
814 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
815 XBUFFER_LOCAL_VALUE (valcontents)->realvalue = newval;
816 else
817 XSYMBOL (symbol)->value = newval;
821 /* Set up the buffer-local symbol SYMBOL for validity in the current
822 buffer. VALCONTENTS is the contents of its value cell.
823 Return the value forwarded one step past the buffer-local indicator. */
825 static Lisp_Object
826 swap_in_symval_forwarding (symbol, valcontents)
827 Lisp_Object symbol, valcontents;
829 /* valcontents is a pointer to a struct resembling the cons
830 (REALVALUE BUFFER CURRENT-ALIST-ELEMENT . DEFAULT-VALUE)).
832 CURRENT-ALIST-ELEMENT is a pointer to an element of BUFFER's
833 local_var_alist, that being the element whose car is this
834 variable. Or it can be a pointer to the
835 (CURRENT-ALIST-ELEMENT . DEFAULT-VALUE), if BUFFER does not have
836 an element in its alist for this variable.
838 If the current buffer is not BUFFER, we store the current
839 REALVALUE value into CURRENT-ALIST-ELEMENT, then find the
840 appropriate alist element for the buffer now current and set up
841 CURRENT-ALIST-ELEMENT. Then we set REALVALUE out of that
842 element, and store into BUFFER.
844 Note that REALVALUE can be a forwarding pointer. */
846 register Lisp_Object tem1;
847 tem1 = XBUFFER_LOCAL_VALUE (valcontents)->buffer;
849 if (NILP (tem1) || current_buffer != XBUFFER (tem1)
850 || !EQ (selected_frame, XBUFFER_LOCAL_VALUE (valcontents)->frame))
852 tem1 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
853 Fsetcdr (tem1,
854 do_symval_forwarding (XBUFFER_LOCAL_VALUE (valcontents)->realvalue));
855 tem1 = assq_no_quit (symbol, current_buffer->local_var_alist);
856 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 0;
857 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
858 if (NILP (tem1))
860 if (XBUFFER_LOCAL_VALUE (valcontents)->check_frame)
861 tem1 = assq_no_quit (symbol, XFRAME (selected_frame)->param_alist);
862 if (! NILP (tem1))
863 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 1;
864 else
865 tem1 = XBUFFER_LOCAL_VALUE (valcontents)->cdr;
867 else
868 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 1;
870 XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr) = tem1;
871 XSETBUFFER (XBUFFER_LOCAL_VALUE (valcontents)->buffer, current_buffer);
872 XBUFFER_LOCAL_VALUE (valcontents)->frame = selected_frame;
873 store_symval_forwarding (symbol,
874 XBUFFER_LOCAL_VALUE (valcontents)->realvalue,
875 Fcdr (tem1));
877 return XBUFFER_LOCAL_VALUE (valcontents)->realvalue;
880 /* Find the value of a symbol, returning Qunbound if it's not bound.
881 This is helpful for code which just wants to get a variable's value
882 if it has one, without signaling an error.
883 Note that it must not be possible to quit
884 within this function. Great care is required for this. */
886 Lisp_Object
887 find_symbol_value (symbol)
888 Lisp_Object symbol;
890 register Lisp_Object valcontents;
891 register Lisp_Object val;
892 CHECK_SYMBOL (symbol, 0);
893 valcontents = XSYMBOL (symbol)->value;
895 if (BUFFER_LOCAL_VALUEP (valcontents)
896 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
897 valcontents = swap_in_symval_forwarding (symbol, valcontents);
899 if (MISCP (valcontents))
901 switch (XMISCTYPE (valcontents))
903 case Lisp_Misc_Intfwd:
904 XSETINT (val, *XINTFWD (valcontents)->intvar);
905 return val;
907 case Lisp_Misc_Boolfwd:
908 return (*XBOOLFWD (valcontents)->boolvar ? Qt : Qnil);
910 case Lisp_Misc_Objfwd:
911 return *XOBJFWD (valcontents)->objvar;
913 case Lisp_Misc_Buffer_Objfwd:
914 return *(Lisp_Object *)(XBUFFER_OBJFWD (valcontents)->offset
915 + (char *)current_buffer);
917 case Lisp_Misc_Kboard_Objfwd:
918 return *(Lisp_Object *)(XKBOARD_OBJFWD (valcontents)->offset
919 + (char *)current_kboard);
923 return valcontents;
926 DEFUN ("symbol-value", Fsymbol_value, Ssymbol_value, 1, 1, 0,
927 "Return SYMBOL's value. Error if that is void.")
928 (symbol)
929 Lisp_Object symbol;
931 Lisp_Object val;
933 val = find_symbol_value (symbol);
934 if (EQ (val, Qunbound))
935 return Fsignal (Qvoid_variable, Fcons (symbol, Qnil));
936 else
937 return val;
940 DEFUN ("set", Fset, Sset, 2, 2, 0,
941 "Set SYMBOL's value to NEWVAL, and return NEWVAL.")
942 (symbol, newval)
943 register Lisp_Object symbol, newval;
945 return set_internal (symbol, newval, 0);
948 /* Store the value NEWVAL into SYMBOL.
949 If BINDFLAG is zero, then if this symbol is supposed to become
950 local in every buffer where it is set, then we make it local.
951 If BINDFLAG is nonzero, we don't do that. */
953 Lisp_Object
954 set_internal (symbol, newval, bindflag)
955 register Lisp_Object symbol, newval;
956 int bindflag;
958 int voide = EQ (newval, Qunbound);
960 register Lisp_Object valcontents, tem1, current_alist_element;
962 CHECK_SYMBOL (symbol, 0);
963 if (NILP (symbol) || EQ (symbol, Qt)
964 || (XSYMBOL (symbol)->name->data[0] == ':'
965 && EQ (XSYMBOL (symbol)->obarray, initial_obarray)
966 && keyword_symbols_constant_flag && ! EQ (newval, symbol)))
967 return Fsignal (Qsetting_constant, Fcons (symbol, Qnil));
968 valcontents = XSYMBOL (symbol)->value;
970 if (BUFFER_OBJFWDP (valcontents))
972 register int idx = XBUFFER_OBJFWD (valcontents)->offset;
973 register int mask = XINT (*((Lisp_Object *)
974 (idx + (char *)&buffer_local_flags)));
975 if (mask > 0 && ! bindflag)
976 current_buffer->local_var_flags |= mask;
979 else if (BUFFER_LOCAL_VALUEP (valcontents)
980 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
982 /* valcontents is actually a pointer to a struct resembling a cons,
983 with contents something like:
984 (REALVALUE BUFFER CURRENT-ALIST-ELEMENT . DEFAULT-VALUE).
986 BUFFER is the last buffer for which this symbol's value was
987 made up to date.
989 CURRENT-ALIST-ELEMENT is a pointer to an element of BUFFER's
990 local_var_alist, that being the element whose car is this
991 variable. Or it can be a pointer to the
992 (CURRENT-ALIST-ELEMENT . DEFAULT-VALUE), if BUFFER does not
993 have an element in its alist for this variable (that is, if
994 BUFFER sees the default value of this variable).
996 If we want to examine or set the value and BUFFER is current,
997 we just examine or set REALVALUE. If BUFFER is not current, we
998 store the current REALVALUE value into CURRENT-ALIST-ELEMENT,
999 then find the appropriate alist element for the buffer now
1000 current and set up CURRENT-ALIST-ELEMENT. Then we set
1001 REALVALUE out of that element, and store into BUFFER.
1003 If we are setting the variable and the current buffer does
1004 not have an alist entry for this variable, an alist entry is
1005 created.
1007 Note that REALVALUE can be a forwarding pointer. Each time
1008 it is examined or set, forwarding must be done. */
1010 /* What value are we caching right now? */
1011 current_alist_element
1012 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1014 /* If the current buffer is not the buffer whose binding is
1015 currently cached, or if it's a Lisp_Buffer_Local_Value and
1016 we're looking at the default value, the cache is invalid; we
1017 need to write it out, and find the new CURRENT-ALIST-ELEMENT. */
1018 if (current_buffer != XBUFFER (XBUFFER_LOCAL_VALUE (valcontents)->buffer)
1019 || !EQ (selected_frame, XBUFFER_LOCAL_VALUE (valcontents)->frame)
1020 || (BUFFER_LOCAL_VALUEP (valcontents)
1021 && EQ (XCAR (current_alist_element),
1022 current_alist_element)))
1024 /* Write out the cached value for the old buffer; copy it
1025 back to its alist element. This works if the current
1026 buffer only sees the default value, too. */
1027 Fsetcdr (current_alist_element,
1028 do_symval_forwarding (XBUFFER_LOCAL_VALUE (valcontents)->realvalue));
1030 /* Find the new value for CURRENT-ALIST-ELEMENT. */
1031 tem1 = Fassq (symbol, current_buffer->local_var_alist);
1032 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 1;
1033 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 0;
1035 if (NILP (tem1))
1037 /* This buffer still sees the default value. */
1039 /* If the variable is a Lisp_Some_Buffer_Local_Value,
1040 or if this is `let' rather than `set',
1041 make CURRENT-ALIST-ELEMENT point to itself,
1042 indicating that we're seeing the default value. */
1043 if (bindflag || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1045 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1047 if (XBUFFER_LOCAL_VALUE (valcontents)->check_frame)
1048 tem1 = Fassq (symbol,
1049 XFRAME (selected_frame)->param_alist);
1051 if (! NILP (tem1))
1052 XBUFFER_LOCAL_VALUE (valcontents)->found_for_frame = 1;
1053 else
1054 tem1 = XBUFFER_LOCAL_VALUE (valcontents)->cdr;
1056 /* If it's a Lisp_Buffer_Local_Value, being set not bound,
1057 give this buffer a new assoc for a local value and set
1058 CURRENT-ALIST-ELEMENT to point to that. */
1059 else
1061 tem1 = Fcons (symbol, Fcdr (current_alist_element));
1062 current_buffer->local_var_alist
1063 = Fcons (tem1, current_buffer->local_var_alist);
1067 /* Cache the new buffer's assoc in CURRENT-ALIST-ELEMENT. */
1068 XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr)
1069 = tem1;
1071 /* Set BUFFER and FRAME for binding now loaded. */
1072 XSETBUFFER (XBUFFER_LOCAL_VALUE (valcontents)->buffer,
1073 current_buffer);
1074 XBUFFER_LOCAL_VALUE (valcontents)->frame = selected_frame;
1076 valcontents = XBUFFER_LOCAL_VALUE (valcontents)->realvalue;
1079 /* If storing void (making the symbol void), forward only through
1080 buffer-local indicator, not through Lisp_Objfwd, etc. */
1081 if (voide)
1082 store_symval_forwarding (symbol, Qnil, newval);
1083 else
1084 store_symval_forwarding (symbol, valcontents, newval);
1086 return newval;
1089 /* Access or set a buffer-local symbol's default value. */
1091 /* Return the default value of SYMBOL, but don't check for voidness.
1092 Return Qunbound if it is void. */
1094 Lisp_Object
1095 default_value (symbol)
1096 Lisp_Object symbol;
1098 register Lisp_Object valcontents;
1100 CHECK_SYMBOL (symbol, 0);
1101 valcontents = XSYMBOL (symbol)->value;
1103 /* For a built-in buffer-local variable, get the default value
1104 rather than letting do_symval_forwarding get the current value. */
1105 if (BUFFER_OBJFWDP (valcontents))
1107 register int idx = XBUFFER_OBJFWD (valcontents)->offset;
1109 if (XINT (*(Lisp_Object *) (idx + (char *) &buffer_local_flags)) != 0)
1110 return *(Lisp_Object *)(idx + (char *) &buffer_defaults);
1113 /* Handle user-created local variables. */
1114 if (BUFFER_LOCAL_VALUEP (valcontents)
1115 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1117 /* If var is set up for a buffer that lacks a local value for it,
1118 the current value is nominally the default value.
1119 But the current value slot may be more up to date, since
1120 ordinary setq stores just that slot. So use that. */
1121 Lisp_Object current_alist_element, alist_element_car;
1122 current_alist_element
1123 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1124 alist_element_car = XCAR (current_alist_element);
1125 if (EQ (alist_element_car, current_alist_element))
1126 return do_symval_forwarding (XBUFFER_LOCAL_VALUE (valcontents)->realvalue);
1127 else
1128 return XCDR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1130 /* For other variables, get the current value. */
1131 return do_symval_forwarding (valcontents);
1134 DEFUN ("default-boundp", Fdefault_boundp, Sdefault_boundp, 1, 1, 0,
1135 "Return t if SYMBOL has a non-void default value.\n\
1136 This is the value that is seen in buffers that do not have their own values\n\
1137 for this variable.")
1138 (symbol)
1139 Lisp_Object symbol;
1141 register Lisp_Object value;
1143 value = default_value (symbol);
1144 return (EQ (value, Qunbound) ? Qnil : Qt);
1147 DEFUN ("default-value", Fdefault_value, Sdefault_value, 1, 1, 0,
1148 "Return SYMBOL's default value.\n\
1149 This is the value that is seen in buffers that do not have their own values\n\
1150 for this variable. The default value is meaningful for variables with\n\
1151 local bindings in certain buffers.")
1152 (symbol)
1153 Lisp_Object symbol;
1155 register Lisp_Object value;
1157 value = default_value (symbol);
1158 if (EQ (value, Qunbound))
1159 return Fsignal (Qvoid_variable, Fcons (symbol, Qnil));
1160 return value;
1163 DEFUN ("set-default", Fset_default, Sset_default, 2, 2, 0,
1164 "Set SYMBOL's default value to VAL. SYMBOL and VAL are evaluated.\n\
1165 The default value is seen in buffers that do not have their own values\n\
1166 for this variable.")
1167 (symbol, value)
1168 Lisp_Object symbol, value;
1170 register Lisp_Object valcontents, current_alist_element, alist_element_buffer;
1172 CHECK_SYMBOL (symbol, 0);
1173 valcontents = XSYMBOL (symbol)->value;
1175 /* Handle variables like case-fold-search that have special slots
1176 in the buffer. Make them work apparently like Lisp_Buffer_Local_Value
1177 variables. */
1178 if (BUFFER_OBJFWDP (valcontents))
1180 register int idx = XBUFFER_OBJFWD (valcontents)->offset;
1181 register struct buffer *b;
1182 register int mask = XINT (*((Lisp_Object *)
1183 (idx + (char *)&buffer_local_flags)));
1185 *(Lisp_Object *)(idx + (char *) &buffer_defaults) = value;
1187 /* If this variable is not always local in all buffers,
1188 set it in the buffers that don't nominally have a local value. */
1189 if (mask > 0)
1191 for (b = all_buffers; b; b = b->next)
1192 if (!(b->local_var_flags & mask))
1193 *(Lisp_Object *)(idx + (char *) b) = value;
1195 return value;
1198 if (!BUFFER_LOCAL_VALUEP (valcontents)
1199 && !SOME_BUFFER_LOCAL_VALUEP (valcontents))
1200 return Fset (symbol, value);
1202 /* Store new value into the DEFAULT-VALUE slot */
1203 XCDR (XBUFFER_LOCAL_VALUE (valcontents)->cdr) = value;
1205 /* If that slot is current, we must set the REALVALUE slot too */
1206 current_alist_element
1207 = XCAR (XBUFFER_LOCAL_VALUE (valcontents)->cdr);
1208 alist_element_buffer = Fcar (current_alist_element);
1209 if (EQ (alist_element_buffer, current_alist_element))
1210 store_symval_forwarding (symbol, XBUFFER_LOCAL_VALUE (valcontents)->realvalue,
1211 value);
1213 return value;
1216 DEFUN ("setq-default", Fsetq_default, Ssetq_default, 2, UNEVALLED, 0,
1217 "Set the default value of variable VAR to VALUE.\n\
1218 VAR, the variable name, is literal (not evaluated);\n\
1219 VALUE is an expression and it is evaluated.\n\
1220 The default value of a variable is seen in buffers\n\
1221 that do not have their own values for the variable.\n\
1223 More generally, you can use multiple variables and values, as in\n\
1224 (setq-default SYMBOL VALUE SYMBOL VALUE...)\n\
1225 This sets each SYMBOL's default value to the corresponding VALUE.\n\
1226 The VALUE for the Nth SYMBOL can refer to the new default values\n\
1227 of previous SYMs.")
1228 (args)
1229 Lisp_Object args;
1231 register Lisp_Object args_left;
1232 register Lisp_Object val, symbol;
1233 struct gcpro gcpro1;
1235 if (NILP (args))
1236 return Qnil;
1238 args_left = args;
1239 GCPRO1 (args);
1243 val = Feval (Fcar (Fcdr (args_left)));
1244 symbol = Fcar (args_left);
1245 Fset_default (symbol, val);
1246 args_left = Fcdr (Fcdr (args_left));
1248 while (!NILP (args_left));
1250 UNGCPRO;
1251 return val;
1254 /* Lisp functions for creating and removing buffer-local variables. */
1256 DEFUN ("make-variable-buffer-local", Fmake_variable_buffer_local, Smake_variable_buffer_local,
1257 1, 1, "vMake Variable Buffer Local: ",
1258 "Make VARIABLE have a separate value for each buffer.\n\
1259 At any time, the value for the current buffer is in effect.\n\
1260 There is also a default value which is seen in any buffer which has not yet\n\
1261 set its own value.\n\
1262 Using `set' or `setq' to set the variable causes it to have a separate value\n\
1263 for the current buffer if it was previously using the default value.\n\
1264 The function `default-value' gets the default value and `set-default' sets it.")
1265 (variable)
1266 register Lisp_Object variable;
1268 register Lisp_Object tem, valcontents, newval;
1270 CHECK_SYMBOL (variable, 0);
1272 valcontents = XSYMBOL (variable)->value;
1273 if (EQ (variable, Qnil) || EQ (variable, Qt) || KBOARD_OBJFWDP (valcontents))
1274 error ("Symbol %s may not be buffer-local", XSYMBOL (variable)->name->data);
1276 if (BUFFER_LOCAL_VALUEP (valcontents) || BUFFER_OBJFWDP (valcontents))
1277 return variable;
1278 if (SOME_BUFFER_LOCAL_VALUEP (valcontents))
1280 XMISCTYPE (XSYMBOL (variable)->value) = Lisp_Misc_Buffer_Local_Value;
1281 return variable;
1283 if (EQ (valcontents, Qunbound))
1284 XSYMBOL (variable)->value = Qnil;
1285 tem = Fcons (Qnil, Fsymbol_value (variable));
1286 XCAR (tem) = tem;
1287 newval = allocate_misc ();
1288 XMISCTYPE (newval) = Lisp_Misc_Buffer_Local_Value;
1289 XBUFFER_LOCAL_VALUE (newval)->realvalue = XSYMBOL (variable)->value;
1290 XBUFFER_LOCAL_VALUE (newval)->buffer = Fcurrent_buffer ();
1291 XBUFFER_LOCAL_VALUE (newval)->frame = Qnil;
1292 XBUFFER_LOCAL_VALUE (newval)->found_for_buffer = 1;
1293 XBUFFER_LOCAL_VALUE (newval)->found_for_frame = 0;
1294 XBUFFER_LOCAL_VALUE (newval)->check_frame = 0;
1295 XBUFFER_LOCAL_VALUE (newval)->cdr = tem;
1296 XSYMBOL (variable)->value = newval;
1297 return variable;
1300 DEFUN ("make-local-variable", Fmake_local_variable, Smake_local_variable,
1301 1, 1, "vMake Local Variable: ",
1302 "Make VARIABLE have a separate value in the current buffer.\n\
1303 Other buffers will continue to share a common default value.\n\
1304 \(The buffer-local value of VARIABLE starts out as the same value\n\
1305 VARIABLE previously had. If VARIABLE was void, it remains void.\)\n\
1306 See also `make-variable-buffer-local'.\n\
1308 If the variable is already arranged to become local when set,\n\
1309 this function causes a local value to exist for this buffer,\n\
1310 just as setting the variable would do.\n\
1312 This function returns VARIABLE, and therefore\n\
1313 (set (make-local-variable 'VARIABLE) VALUE-EXP)\n\
1314 works.\n\
1316 Do not use `make-local-variable' to make a hook variable buffer-local.\n\
1317 Use `make-local-hook' instead.")
1318 (variable)
1319 register Lisp_Object variable;
1321 register Lisp_Object tem, valcontents;
1323 CHECK_SYMBOL (variable, 0);
1325 valcontents = XSYMBOL (variable)->value;
1326 if (EQ (variable, Qnil) || EQ (variable, Qt) || KBOARD_OBJFWDP (valcontents))
1327 error ("Symbol %s may not be buffer-local", XSYMBOL (variable)->name->data);
1329 if (BUFFER_LOCAL_VALUEP (valcontents) || BUFFER_OBJFWDP (valcontents))
1331 tem = Fboundp (variable);
1333 /* Make sure the symbol has a local value in this particular buffer,
1334 by setting it to the same value it already has. */
1335 Fset (variable, (EQ (tem, Qt) ? Fsymbol_value (variable) : Qunbound));
1336 return variable;
1338 /* Make sure symbol is set up to hold per-buffer values */
1339 if (!SOME_BUFFER_LOCAL_VALUEP (valcontents))
1341 Lisp_Object newval;
1342 tem = Fcons (Qnil, do_symval_forwarding (valcontents));
1343 XCAR (tem) = tem;
1344 newval = allocate_misc ();
1345 XMISCTYPE (newval) = Lisp_Misc_Some_Buffer_Local_Value;
1346 XBUFFER_LOCAL_VALUE (newval)->realvalue = XSYMBOL (variable)->value;
1347 XBUFFER_LOCAL_VALUE (newval)->buffer = Qnil;
1348 XBUFFER_LOCAL_VALUE (newval)->frame = Qnil;
1349 XBUFFER_LOCAL_VALUE (newval)->found_for_buffer = 0;
1350 XBUFFER_LOCAL_VALUE (newval)->found_for_frame = 0;
1351 XBUFFER_LOCAL_VALUE (newval)->check_frame = 0;
1352 XBUFFER_LOCAL_VALUE (newval)->cdr = tem;
1353 XSYMBOL (variable)->value = newval;
1355 /* Make sure this buffer has its own value of symbol */
1356 tem = Fassq (variable, current_buffer->local_var_alist);
1357 if (NILP (tem))
1359 /* Swap out any local binding for some other buffer, and make
1360 sure the current value is permanently recorded, if it's the
1361 default value. */
1362 find_symbol_value (variable);
1364 current_buffer->local_var_alist
1365 = Fcons (Fcons (variable, XCDR (XBUFFER_LOCAL_VALUE (XSYMBOL (variable)->value)->cdr)),
1366 current_buffer->local_var_alist);
1368 /* Make sure symbol does not think it is set up for this buffer;
1369 force it to look once again for this buffer's value */
1371 Lisp_Object *pvalbuf;
1373 valcontents = XSYMBOL (variable)->value;
1375 pvalbuf = &XBUFFER_LOCAL_VALUE (valcontents)->buffer;
1376 if (current_buffer == XBUFFER (*pvalbuf))
1377 *pvalbuf = Qnil;
1378 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1382 /* If the symbol forwards into a C variable, then swap in the
1383 variable for this buffer immediately. If C code modifies the
1384 variable before we swap in, then that new value will clobber the
1385 default value the next time we swap. */
1386 valcontents = XBUFFER_LOCAL_VALUE (XSYMBOL (variable)->value)->realvalue;
1387 if (INTFWDP (valcontents) || BOOLFWDP (valcontents) || OBJFWDP (valcontents))
1388 swap_in_symval_forwarding (variable, XSYMBOL (variable)->value);
1390 return variable;
1393 DEFUN ("kill-local-variable", Fkill_local_variable, Skill_local_variable,
1394 1, 1, "vKill Local Variable: ",
1395 "Make VARIABLE no longer have a separate value in the current buffer.\n\
1396 From now on the default value will apply in this buffer.")
1397 (variable)
1398 register Lisp_Object variable;
1400 register Lisp_Object tem, valcontents;
1402 CHECK_SYMBOL (variable, 0);
1404 valcontents = XSYMBOL (variable)->value;
1406 if (BUFFER_OBJFWDP (valcontents))
1408 register int idx = XBUFFER_OBJFWD (valcontents)->offset;
1409 register int mask = XINT (*((Lisp_Object*)
1410 (idx + (char *)&buffer_local_flags)));
1412 if (mask > 0)
1414 *(Lisp_Object *)(idx + (char *) current_buffer)
1415 = *(Lisp_Object *)(idx + (char *) &buffer_defaults);
1416 current_buffer->local_var_flags &= ~mask;
1418 return variable;
1421 if (!BUFFER_LOCAL_VALUEP (valcontents)
1422 && !SOME_BUFFER_LOCAL_VALUEP (valcontents))
1423 return variable;
1425 /* Get rid of this buffer's alist element, if any */
1427 tem = Fassq (variable, current_buffer->local_var_alist);
1428 if (!NILP (tem))
1429 current_buffer->local_var_alist
1430 = Fdelq (tem, current_buffer->local_var_alist);
1432 /* If the symbol is set up for the current buffer, recompute its
1433 value. We have to do it now, or else forwarded objects won't
1434 work right. */
1436 Lisp_Object *pvalbuf;
1437 valcontents = XSYMBOL (variable)->value;
1438 pvalbuf = &XBUFFER_LOCAL_VALUE (valcontents)->buffer;
1439 if (current_buffer == XBUFFER (*pvalbuf))
1441 *pvalbuf = Qnil;
1442 XBUFFER_LOCAL_VALUE (valcontents)->found_for_buffer = 0;
1443 find_symbol_value (variable);
1447 return variable;
1450 /* Lisp functions for creating and removing buffer-local variables. */
1452 DEFUN ("make-variable-frame-local", Fmake_variable_frame_local, Smake_variable_frame_local,
1453 1, 1, "vMake Variable Frame Local: ",
1454 "Enable VARIABLE to have frame-local bindings.\n\
1455 When a frame-local binding exists in the current frame,\n\
1456 it is in effect whenever the current buffer has no buffer-local binding.\n\
1457 A frame-local binding is actual a frame parameter value;\n\
1458 thus, any given frame has a local binding for VARIABLE\n\
1459 if it has a value for the frame parameter named VARIABLE.\n\
1460 See `modify-frame-parameters'.")
1461 (variable)
1462 register Lisp_Object variable;
1464 register Lisp_Object tem, valcontents, newval;
1466 CHECK_SYMBOL (variable, 0);
1468 valcontents = XSYMBOL (variable)->value;
1469 if (EQ (variable, Qnil) || EQ (variable, Qt) || KBOARD_OBJFWDP (valcontents)
1470 || BUFFER_OBJFWDP (valcontents))
1471 error ("Symbol %s may not be frame-local", XSYMBOL (variable)->name->data);
1473 if (BUFFER_LOCAL_VALUEP (valcontents)
1474 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1475 return variable;
1477 if (EQ (valcontents, Qunbound))
1478 XSYMBOL (variable)->value = Qnil;
1479 tem = Fcons (Qnil, Fsymbol_value (variable));
1480 XCAR (tem) = tem;
1481 newval = allocate_misc ();
1482 XMISCTYPE (newval) = Lisp_Misc_Some_Buffer_Local_Value;
1483 XBUFFER_LOCAL_VALUE (newval)->realvalue = XSYMBOL (variable)->value;
1484 XBUFFER_LOCAL_VALUE (newval)->buffer = Qnil;
1485 XBUFFER_LOCAL_VALUE (newval)->frame = Qnil;
1486 XBUFFER_LOCAL_VALUE (newval)->found_for_buffer = 0;
1487 XBUFFER_LOCAL_VALUE (newval)->found_for_frame = 0;
1488 XBUFFER_LOCAL_VALUE (newval)->check_frame = 1;
1489 XBUFFER_LOCAL_VALUE (newval)->cdr = tem;
1490 XSYMBOL (variable)->value = newval;
1491 return variable;
1494 DEFUN ("local-variable-p", Flocal_variable_p, Slocal_variable_p,
1495 1, 2, 0,
1496 "Non-nil if VARIABLE has a local binding in buffer BUFFER.\n\
1497 BUFFER defaults to the current buffer.")
1498 (variable, buffer)
1499 register Lisp_Object variable, buffer;
1501 Lisp_Object valcontents;
1502 register struct buffer *buf;
1504 if (NILP (buffer))
1505 buf = current_buffer;
1506 else
1508 CHECK_BUFFER (buffer, 0);
1509 buf = XBUFFER (buffer);
1512 CHECK_SYMBOL (variable, 0);
1514 valcontents = XSYMBOL (variable)->value;
1515 if (BUFFER_LOCAL_VALUEP (valcontents)
1516 || SOME_BUFFER_LOCAL_VALUEP (valcontents))
1518 Lisp_Object tail, elt;
1519 for (tail = buf->local_var_alist; CONSP (tail); tail = XCDR (tail))
1521 elt = XCAR (tail);
1522 if (EQ (variable, XCAR (elt)))
1523 return Qt;
1526 if (BUFFER_OBJFWDP (valcontents))
1528 int offset = XBUFFER_OBJFWD (valcontents)->offset;
1529 int mask = XINT (*(Lisp_Object *)(offset + (char *)&buffer_local_flags));
1530 if (mask == -1 || (buf->local_var_flags & mask))
1531 return Qt;
1533 return Qnil;
1536 DEFUN ("local-variable-if-set-p", Flocal_variable_if_set_p, Slocal_variable_if_set_p,
1537 1, 2, 0,
1538 "Non-nil if VARIABLE will be local in buffer BUFFER if it is set there.\n\
1539 BUFFER defaults to the current buffer.")
1540 (variable, buffer)
1541 register Lisp_Object variable, buffer;
1543 Lisp_Object valcontents;
1544 register struct buffer *buf;
1546 if (NILP (buffer))
1547 buf = current_buffer;
1548 else
1550 CHECK_BUFFER (buffer, 0);
1551 buf = XBUFFER (buffer);
1554 CHECK_SYMBOL (variable, 0);
1556 valcontents = XSYMBOL (variable)->value;
1558 /* This means that make-variable-buffer-local was done. */
1559 if (BUFFER_LOCAL_VALUEP (valcontents))
1560 return Qt;
1561 /* All these slots become local if they are set. */
1562 if (BUFFER_OBJFWDP (valcontents))
1563 return Qt;
1564 if (SOME_BUFFER_LOCAL_VALUEP (valcontents))
1566 Lisp_Object tail, elt;
1567 for (tail = buf->local_var_alist; CONSP (tail); tail = XCDR (tail))
1569 elt = XCAR (tail);
1570 if (EQ (variable, XCAR (elt)))
1571 return Qt;
1574 return Qnil;
1577 /* Find the function at the end of a chain of symbol function indirections. */
1579 /* If OBJECT is a symbol, find the end of its function chain and
1580 return the value found there. If OBJECT is not a symbol, just
1581 return it. If there is a cycle in the function chain, signal a
1582 cyclic-function-indirection error.
1584 This is like Findirect_function, except that it doesn't signal an
1585 error if the chain ends up unbound. */
1586 Lisp_Object
1587 indirect_function (object)
1588 register Lisp_Object object;
1590 Lisp_Object tortoise, hare;
1592 hare = tortoise = object;
1594 for (;;)
1596 if (!SYMBOLP (hare) || EQ (hare, Qunbound))
1597 break;
1598 hare = XSYMBOL (hare)->function;
1599 if (!SYMBOLP (hare) || EQ (hare, Qunbound))
1600 break;
1601 hare = XSYMBOL (hare)->function;
1603 tortoise = XSYMBOL (tortoise)->function;
1605 if (EQ (hare, tortoise))
1606 Fsignal (Qcyclic_function_indirection, Fcons (object, Qnil));
1609 return hare;
1612 DEFUN ("indirect-function", Findirect_function, Sindirect_function, 1, 1, 0,
1613 "Return the function at the end of OBJECT's function chain.\n\
1614 If OBJECT is a symbol, follow all function indirections and return the final\n\
1615 function binding.\n\
1616 If OBJECT is not a symbol, just return it.\n\
1617 Signal a void-function error if the final symbol is unbound.\n\
1618 Signal a cyclic-function-indirection error if there is a loop in the\n\
1619 function chain of symbols.")
1620 (object)
1621 register Lisp_Object object;
1623 Lisp_Object result;
1625 result = indirect_function (object);
1627 if (EQ (result, Qunbound))
1628 return Fsignal (Qvoid_function, Fcons (object, Qnil));
1629 return result;
1632 /* Extract and set vector and string elements */
1634 DEFUN ("aref", Faref, Saref, 2, 2, 0,
1635 "Return the element of ARRAY at index IDX.\n\
1636 ARRAY may be a vector, a string, a char-table, a bool-vector,\n\
1637 or a byte-code object. IDX starts at 0.")
1638 (array, idx)
1639 register Lisp_Object array;
1640 Lisp_Object idx;
1642 register int idxval;
1644 CHECK_NUMBER (idx, 1);
1645 idxval = XINT (idx);
1646 if (STRINGP (array))
1648 int c, idxval_byte;
1650 if (idxval < 0 || idxval >= XSTRING (array)->size)
1651 args_out_of_range (array, idx);
1652 if (! STRING_MULTIBYTE (array))
1653 return make_number ((unsigned char) XSTRING (array)->data[idxval]);
1654 idxval_byte = string_char_to_byte (array, idxval);
1656 c = STRING_CHAR (&XSTRING (array)->data[idxval_byte],
1657 STRING_BYTES (XSTRING (array)) - idxval_byte);
1658 return make_number (c);
1660 else if (BOOL_VECTOR_P (array))
1662 int val;
1664 if (idxval < 0 || idxval >= XBOOL_VECTOR (array)->size)
1665 args_out_of_range (array, idx);
1667 val = (unsigned char) XBOOL_VECTOR (array)->data[idxval / BITS_PER_CHAR];
1668 return (val & (1 << (idxval % BITS_PER_CHAR)) ? Qt : Qnil);
1670 else if (CHAR_TABLE_P (array))
1672 Lisp_Object val;
1674 if (idxval < 0)
1675 args_out_of_range (array, idx);
1676 if (idxval < CHAR_TABLE_ORDINARY_SLOTS)
1678 /* For ASCII and 8-bit European characters, the element is
1679 stored in the top table. */
1680 val = XCHAR_TABLE (array)->contents[idxval];
1681 if (NILP (val))
1682 val = XCHAR_TABLE (array)->defalt;
1683 while (NILP (val)) /* Follow parents until we find some value. */
1685 array = XCHAR_TABLE (array)->parent;
1686 if (NILP (array))
1687 return Qnil;
1688 val = XCHAR_TABLE (array)->contents[idxval];
1689 if (NILP (val))
1690 val = XCHAR_TABLE (array)->defalt;
1692 return val;
1694 else
1696 int code[4], i;
1697 Lisp_Object sub_table;
1699 SPLIT_NON_ASCII_CHAR (idxval, code[0], code[1], code[2]);
1700 if (code[0] != CHARSET_COMPOSITION)
1702 if (code[1] < 32) code[1] = -1;
1703 else if (code[2] < 32) code[2] = -1;
1705 /* Here, the possible range of CODE[0] (== charset ID) is
1706 128..MAX_CHARSET. Since the top level char table contains
1707 data for multibyte characters after 256th element, we must
1708 increment CODE[0] by 128 to get a correct index. */
1709 code[0] += 128;
1710 code[3] = -1; /* anchor */
1712 try_parent_char_table:
1713 sub_table = array;
1714 for (i = 0; code[i] >= 0; i++)
1716 val = XCHAR_TABLE (sub_table)->contents[code[i]];
1717 if (SUB_CHAR_TABLE_P (val))
1718 sub_table = val;
1719 else
1721 if (NILP (val))
1722 val = XCHAR_TABLE (sub_table)->defalt;
1723 if (NILP (val))
1725 array = XCHAR_TABLE (array)->parent;
1726 if (!NILP (array))
1727 goto try_parent_char_table;
1729 return val;
1732 /* Here, VAL is a sub char table. We try the default value
1733 and parent. */
1734 val = XCHAR_TABLE (val)->defalt;
1735 if (NILP (val))
1737 array = XCHAR_TABLE (array)->parent;
1738 if (!NILP (array))
1739 goto try_parent_char_table;
1741 return val;
1744 else
1746 int size;
1747 if (VECTORP (array))
1748 size = XVECTOR (array)->size;
1749 else if (COMPILEDP (array))
1750 size = XVECTOR (array)->size & PSEUDOVECTOR_SIZE_MASK;
1751 else
1752 wrong_type_argument (Qarrayp, array);
1754 if (idxval < 0 || idxval >= size)
1755 args_out_of_range (array, idx);
1756 return XVECTOR (array)->contents[idxval];
1760 DEFUN ("aset", Faset, Saset, 3, 3, 0,
1761 "Store into the element of ARRAY at index IDX the value NEWELT.\n\
1762 ARRAY may be a vector, a string, a char-table or a bool-vector.\n\
1763 IDX starts at 0.")
1764 (array, idx, newelt)
1765 register Lisp_Object array;
1766 Lisp_Object idx, newelt;
1768 register int idxval;
1770 CHECK_NUMBER (idx, 1);
1771 idxval = XINT (idx);
1772 if (!VECTORP (array) && !STRINGP (array) && !BOOL_VECTOR_P (array)
1773 && ! CHAR_TABLE_P (array))
1774 array = wrong_type_argument (Qarrayp, array);
1775 CHECK_IMPURE (array);
1777 if (VECTORP (array))
1779 if (idxval < 0 || idxval >= XVECTOR (array)->size)
1780 args_out_of_range (array, idx);
1781 XVECTOR (array)->contents[idxval] = newelt;
1783 else if (BOOL_VECTOR_P (array))
1785 int val;
1787 if (idxval < 0 || idxval >= XBOOL_VECTOR (array)->size)
1788 args_out_of_range (array, idx);
1790 val = (unsigned char) XBOOL_VECTOR (array)->data[idxval / BITS_PER_CHAR];
1792 if (! NILP (newelt))
1793 val |= 1 << (idxval % BITS_PER_CHAR);
1794 else
1795 val &= ~(1 << (idxval % BITS_PER_CHAR));
1796 XBOOL_VECTOR (array)->data[idxval / BITS_PER_CHAR] = val;
1798 else if (CHAR_TABLE_P (array))
1800 if (idxval < 0)
1801 args_out_of_range (array, idx);
1802 if (idxval < CHAR_TABLE_ORDINARY_SLOTS)
1803 XCHAR_TABLE (array)->contents[idxval] = newelt;
1804 else
1806 int code[4], i;
1807 Lisp_Object val;
1809 SPLIT_NON_ASCII_CHAR (idxval, code[0], code[1], code[2]);
1810 if (code[0] != CHARSET_COMPOSITION)
1812 if (code[1] < 32) code[1] = -1;
1813 else if (code[2] < 32) code[2] = -1;
1815 /* See the comment of the corresponding part in Faref. */
1816 code[0] += 128;
1817 code[3] = -1; /* anchor */
1818 for (i = 0; code[i + 1] >= 0; i++)
1820 val = XCHAR_TABLE (array)->contents[code[i]];
1821 if (SUB_CHAR_TABLE_P (val))
1822 array = val;
1823 else
1825 Lisp_Object temp;
1827 /* VAL is a leaf. Create a sub char table with the
1828 default value VAL or XCHAR_TABLE (array)->defalt
1829 and look into it. */
1831 temp = make_sub_char_table (NILP (val)
1832 ? XCHAR_TABLE (array)->defalt
1833 : val);
1834 XCHAR_TABLE (array)->contents[code[i]] = temp;
1835 array = temp;
1838 XCHAR_TABLE (array)->contents[code[i]] = newelt;
1841 else if (STRING_MULTIBYTE (array))
1843 int idxval_byte, new_len, actual_len;
1844 int prev_byte;
1845 unsigned char *p, workbuf[4], *str;
1847 if (idxval < 0 || idxval >= XSTRING (array)->size)
1848 args_out_of_range (array, idx);
1850 idxval_byte = string_char_to_byte (array, idxval);
1851 p = &XSTRING (array)->data[idxval_byte];
1853 actual_len = MULTIBYTE_FORM_LENGTH (p, STRING_BYTES (XSTRING (array)));
1854 CHECK_NUMBER (newelt, 2);
1855 new_len = CHAR_STRING (XINT (newelt), workbuf, str);
1856 if (actual_len != new_len)
1857 error ("Attempt to change byte length of a string");
1859 /* We can't accept a change causing byte combining. */
1860 if (!ASCII_BYTE_P (*str)
1861 && ((idxval > 0 && !CHAR_HEAD_P (*str)
1862 && (prev_byte = string_char_to_byte (array, idxval - 1),
1863 BYTES_BY_CHAR_HEAD (XSTRING (array)->data[prev_byte])
1864 > idxval_byte - prev_byte))
1865 || (idxval < XSTRING (array)->size - 1
1866 && !CHAR_HEAD_P (p[actual_len])
1867 && new_len < BYTES_BY_CHAR_HEAD (*str))))
1868 error ("Attempt to change char length of a string");
1869 while (new_len--)
1870 *p++ = *str++;
1872 else
1874 if (idxval < 0 || idxval >= XSTRING (array)->size)
1875 args_out_of_range (array, idx);
1876 CHECK_NUMBER (newelt, 2);
1877 XSTRING (array)->data[idxval] = XINT (newelt);
1880 return newelt;
1883 /* Arithmetic functions */
1885 enum comparison { equal, notequal, less, grtr, less_or_equal, grtr_or_equal };
1887 Lisp_Object
1888 arithcompare (num1, num2, comparison)
1889 Lisp_Object num1, num2;
1890 enum comparison comparison;
1892 double f1, f2;
1893 int floatp = 0;
1895 #ifdef LISP_FLOAT_TYPE
1896 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (num1, 0);
1897 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (num2, 0);
1899 if (FLOATP (num1) || FLOATP (num2))
1901 floatp = 1;
1902 f1 = (FLOATP (num1)) ? XFLOAT_DATA (num1) : XINT (num1);
1903 f2 = (FLOATP (num2)) ? XFLOAT_DATA (num2) : XINT (num2);
1905 #else
1906 CHECK_NUMBER_COERCE_MARKER (num1, 0);
1907 CHECK_NUMBER_COERCE_MARKER (num2, 0);
1908 #endif /* LISP_FLOAT_TYPE */
1910 switch (comparison)
1912 case equal:
1913 if (floatp ? f1 == f2 : XINT (num1) == XINT (num2))
1914 return Qt;
1915 return Qnil;
1917 case notequal:
1918 if (floatp ? f1 != f2 : XINT (num1) != XINT (num2))
1919 return Qt;
1920 return Qnil;
1922 case less:
1923 if (floatp ? f1 < f2 : XINT (num1) < XINT (num2))
1924 return Qt;
1925 return Qnil;
1927 case less_or_equal:
1928 if (floatp ? f1 <= f2 : XINT (num1) <= XINT (num2))
1929 return Qt;
1930 return Qnil;
1932 case grtr:
1933 if (floatp ? f1 > f2 : XINT (num1) > XINT (num2))
1934 return Qt;
1935 return Qnil;
1937 case grtr_or_equal:
1938 if (floatp ? f1 >= f2 : XINT (num1) >= XINT (num2))
1939 return Qt;
1940 return Qnil;
1942 default:
1943 abort ();
1947 DEFUN ("=", Feqlsign, Seqlsign, 2, 2, 0,
1948 "Return t if two args, both numbers or markers, are equal.")
1949 (num1, num2)
1950 register Lisp_Object num1, num2;
1952 return arithcompare (num1, num2, equal);
1955 DEFUN ("<", Flss, Slss, 2, 2, 0,
1956 "Return t if first arg is less than second arg. Both must be numbers or markers.")
1957 (num1, num2)
1958 register Lisp_Object num1, num2;
1960 return arithcompare (num1, num2, less);
1963 DEFUN (">", Fgtr, Sgtr, 2, 2, 0,
1964 "Return t if first arg is greater than second arg. Both must be numbers or markers.")
1965 (num1, num2)
1966 register Lisp_Object num1, num2;
1968 return arithcompare (num1, num2, grtr);
1971 DEFUN ("<=", Fleq, Sleq, 2, 2, 0,
1972 "Return t if first arg is less than or equal to second arg.\n\
1973 Both must be numbers or markers.")
1974 (num1, num2)
1975 register Lisp_Object num1, num2;
1977 return arithcompare (num1, num2, less_or_equal);
1980 DEFUN (">=", Fgeq, Sgeq, 2, 2, 0,
1981 "Return t if first arg is greater than or equal to second arg.\n\
1982 Both must be numbers or markers.")
1983 (num1, num2)
1984 register Lisp_Object num1, num2;
1986 return arithcompare (num1, num2, grtr_or_equal);
1989 DEFUN ("/=", Fneq, Sneq, 2, 2, 0,
1990 "Return t if first arg is not equal to second arg. Both must be numbers or markers.")
1991 (num1, num2)
1992 register Lisp_Object num1, num2;
1994 return arithcompare (num1, num2, notequal);
1997 DEFUN ("zerop", Fzerop, Szerop, 1, 1, 0, "Return t if NUMBER is zero.")
1998 (number)
1999 register Lisp_Object number;
2001 #ifdef LISP_FLOAT_TYPE
2002 CHECK_NUMBER_OR_FLOAT (number, 0);
2004 if (FLOATP (number))
2006 if (XFLOAT_DATA (number) == 0.0)
2007 return Qt;
2008 return Qnil;
2010 #else
2011 CHECK_NUMBER (number, 0);
2012 #endif /* LISP_FLOAT_TYPE */
2014 if (!XINT (number))
2015 return Qt;
2016 return Qnil;
2019 /* Convert between long values and pairs of Lisp integers. */
2021 Lisp_Object
2022 long_to_cons (i)
2023 unsigned long i;
2025 unsigned int top = i >> 16;
2026 unsigned int bot = i & 0xFFFF;
2027 if (top == 0)
2028 return make_number (bot);
2029 if (top == (unsigned long)-1 >> 16)
2030 return Fcons (make_number (-1), make_number (bot));
2031 return Fcons (make_number (top), make_number (bot));
2034 unsigned long
2035 cons_to_long (c)
2036 Lisp_Object c;
2038 Lisp_Object top, bot;
2039 if (INTEGERP (c))
2040 return XINT (c);
2041 top = XCAR (c);
2042 bot = XCDR (c);
2043 if (CONSP (bot))
2044 bot = XCAR (bot);
2045 return ((XINT (top) << 16) | XINT (bot));
2048 DEFUN ("number-to-string", Fnumber_to_string, Snumber_to_string, 1, 1, 0,
2049 "Convert NUMBER to a string by printing it in decimal.\n\
2050 Uses a minus sign if negative.\n\
2051 NUMBER may be an integer or a floating point number.")
2052 (number)
2053 Lisp_Object number;
2055 char buffer[VALBITS];
2057 #ifndef LISP_FLOAT_TYPE
2058 CHECK_NUMBER (number, 0);
2059 #else
2060 CHECK_NUMBER_OR_FLOAT (number, 0);
2062 if (FLOATP (number))
2064 char pigbuf[350]; /* see comments in float_to_string */
2066 float_to_string (pigbuf, XFLOAT_DATA (number));
2067 return build_string (pigbuf);
2069 #endif /* LISP_FLOAT_TYPE */
2071 if (sizeof (int) == sizeof (EMACS_INT))
2072 sprintf (buffer, "%d", XINT (number));
2073 else if (sizeof (long) == sizeof (EMACS_INT))
2074 sprintf (buffer, "%ld", (long) XINT (number));
2075 else
2076 abort ();
2077 return build_string (buffer);
2080 INLINE static int
2081 digit_to_number (character, base)
2082 int character, base;
2084 int digit;
2086 if (character >= '0' && character <= '9')
2087 digit = character - '0';
2088 else if (character >= 'a' && character <= 'z')
2089 digit = character - 'a' + 10;
2090 else if (character >= 'A' && character <= 'Z')
2091 digit = character - 'A' + 10;
2092 else
2093 return -1;
2095 if (digit >= base)
2096 return -1;
2097 else
2098 return digit;
2101 DEFUN ("string-to-number", Fstring_to_number, Sstring_to_number, 1, 2, 0,
2102 "Convert STRING to a number by parsing it as a decimal number.\n\
2103 This parses both integers and floating point numbers.\n\
2104 It ignores leading spaces and tabs.\n\
2106 If BASE, interpret STRING as a number in that base. If BASE isn't\n\
2107 present, base 10 is used. BASE must be between 2 and 16 (inclusive).\n\
2108 If the base used is not 10, floating point is not recognized.")
2109 (string, base)
2110 register Lisp_Object string, base;
2112 register unsigned char *p;
2113 register int b, v = 0;
2114 int negative = 1;
2116 CHECK_STRING (string, 0);
2118 if (NILP (base))
2119 b = 10;
2120 else
2122 CHECK_NUMBER (base, 1);
2123 b = XINT (base);
2124 if (b < 2 || b > 16)
2125 Fsignal (Qargs_out_of_range, Fcons (base, Qnil));
2128 p = XSTRING (string)->data;
2130 /* Skip any whitespace at the front of the number. Some versions of
2131 atoi do this anyway, so we might as well make Emacs lisp consistent. */
2132 while (*p == ' ' || *p == '\t')
2133 p++;
2135 if (*p == '-')
2137 negative = -1;
2138 p++;
2140 else if (*p == '+')
2141 p++;
2143 #ifdef LISP_FLOAT_TYPE
2144 if (isfloat_string (p) && b == 10)
2145 return make_float (negative * atof (p));
2146 #endif /* LISP_FLOAT_TYPE */
2148 while (1)
2150 int digit = digit_to_number (*p++, b);
2151 if (digit < 0)
2152 break;
2153 v = v * b + digit;
2156 return make_number (negative * v);
2160 enum arithop
2161 { Aadd, Asub, Amult, Adiv, Alogand, Alogior, Alogxor, Amax, Amin };
2163 extern Lisp_Object float_arith_driver ();
2164 extern Lisp_Object fmod_float ();
2166 Lisp_Object
2167 arith_driver (code, nargs, args)
2168 enum arithop code;
2169 int nargs;
2170 register Lisp_Object *args;
2172 register Lisp_Object val;
2173 register int argnum;
2174 register EMACS_INT accum;
2175 register EMACS_INT next;
2177 switch (SWITCH_ENUM_CAST (code))
2179 case Alogior:
2180 case Alogxor:
2181 case Aadd:
2182 case Asub:
2183 accum = 0; break;
2184 case Amult:
2185 accum = 1; break;
2186 case Alogand:
2187 accum = -1; break;
2190 for (argnum = 0; argnum < nargs; argnum++)
2192 val = args[argnum]; /* using args[argnum] as argument to CHECK_NUMBER_... */
2193 #ifdef LISP_FLOAT_TYPE
2194 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (val, argnum);
2196 if (FLOATP (val)) /* time to do serious math */
2197 return (float_arith_driver ((double) accum, argnum, code,
2198 nargs, args));
2199 #else
2200 CHECK_NUMBER_COERCE_MARKER (val, argnum);
2201 #endif /* LISP_FLOAT_TYPE */
2202 args[argnum] = val; /* runs into a compiler bug. */
2203 next = XINT (args[argnum]);
2204 switch (SWITCH_ENUM_CAST (code))
2206 case Aadd: accum += next; break;
2207 case Asub:
2208 accum = argnum ? accum - next : nargs == 1 ? - next : next;
2209 break;
2210 case Amult: accum *= next; break;
2211 case Adiv:
2212 if (!argnum) accum = next;
2213 else
2215 if (next == 0)
2216 Fsignal (Qarith_error, Qnil);
2217 accum /= next;
2219 break;
2220 case Alogand: accum &= next; break;
2221 case Alogior: accum |= next; break;
2222 case Alogxor: accum ^= next; break;
2223 case Amax: if (!argnum || next > accum) accum = next; break;
2224 case Amin: if (!argnum || next < accum) accum = next; break;
2228 XSETINT (val, accum);
2229 return val;
2232 #undef isnan
2233 #define isnan(x) ((x) != (x))
2235 #ifdef LISP_FLOAT_TYPE
2237 Lisp_Object
2238 float_arith_driver (accum, argnum, code, nargs, args)
2239 double accum;
2240 register int argnum;
2241 enum arithop code;
2242 int nargs;
2243 register Lisp_Object *args;
2245 register Lisp_Object val;
2246 double next;
2248 for (; argnum < nargs; argnum++)
2250 val = args[argnum]; /* using args[argnum] as argument to CHECK_NUMBER_... */
2251 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (val, argnum);
2253 if (FLOATP (val))
2255 next = XFLOAT_DATA (val);
2257 else
2259 args[argnum] = val; /* runs into a compiler bug. */
2260 next = XINT (args[argnum]);
2262 switch (SWITCH_ENUM_CAST (code))
2264 case Aadd:
2265 accum += next;
2266 break;
2267 case Asub:
2268 accum = argnum ? accum - next : nargs == 1 ? - next : next;
2269 break;
2270 case Amult:
2271 accum *= next;
2272 break;
2273 case Adiv:
2274 if (!argnum)
2275 accum = next;
2276 else
2278 if (! IEEE_FLOATING_POINT && next == 0)
2279 Fsignal (Qarith_error, Qnil);
2280 accum /= next;
2282 break;
2283 case Alogand:
2284 case Alogior:
2285 case Alogxor:
2286 return wrong_type_argument (Qinteger_or_marker_p, val);
2287 case Amax:
2288 if (!argnum || isnan (next) || next > accum)
2289 accum = next;
2290 break;
2291 case Amin:
2292 if (!argnum || isnan (next) || next < accum)
2293 accum = next;
2294 break;
2298 return make_float (accum);
2300 #endif /* LISP_FLOAT_TYPE */
2302 DEFUN ("+", Fplus, Splus, 0, MANY, 0,
2303 "Return sum of any number of arguments, which are numbers or markers.")
2304 (nargs, args)
2305 int nargs;
2306 Lisp_Object *args;
2308 return arith_driver (Aadd, nargs, args);
2311 DEFUN ("-", Fminus, Sminus, 0, MANY, 0,
2312 "Negate number or subtract numbers or markers.\n\
2313 With one arg, negates it. With more than one arg,\n\
2314 subtracts all but the first from the first.")
2315 (nargs, args)
2316 int nargs;
2317 Lisp_Object *args;
2319 return arith_driver (Asub, nargs, args);
2322 DEFUN ("*", Ftimes, Stimes, 0, MANY, 0,
2323 "Returns product of any number of arguments, which are numbers or markers.")
2324 (nargs, args)
2325 int nargs;
2326 Lisp_Object *args;
2328 return arith_driver (Amult, nargs, args);
2331 DEFUN ("/", Fquo, Squo, 2, MANY, 0,
2332 "Returns first argument divided by all the remaining arguments.\n\
2333 The arguments must be numbers or markers.")
2334 (nargs, args)
2335 int nargs;
2336 Lisp_Object *args;
2338 return arith_driver (Adiv, nargs, args);
2341 DEFUN ("%", Frem, Srem, 2, 2, 0,
2342 "Returns remainder of X divided by Y.\n\
2343 Both must be integers or markers.")
2344 (x, y)
2345 register Lisp_Object x, y;
2347 Lisp_Object val;
2349 CHECK_NUMBER_COERCE_MARKER (x, 0);
2350 CHECK_NUMBER_COERCE_MARKER (y, 1);
2352 if (XFASTINT (y) == 0)
2353 Fsignal (Qarith_error, Qnil);
2355 XSETINT (val, XINT (x) % XINT (y));
2356 return val;
2359 #ifndef HAVE_FMOD
2360 double
2361 fmod (f1, f2)
2362 double f1, f2;
2364 double r = f1;
2366 if (f2 < 0.0)
2367 f2 = -f2;
2369 /* If the magnitude of the result exceeds that of the divisor, or
2370 the sign of the result does not agree with that of the dividend,
2371 iterate with the reduced value. This does not yield a
2372 particularly accurate result, but at least it will be in the
2373 range promised by fmod. */
2375 r -= f2 * floor (r / f2);
2376 while (f2 <= (r < 0 ? -r : r) || ((r < 0) != (f1 < 0) && ! isnan (r)));
2378 return r;
2380 #endif /* ! HAVE_FMOD */
2382 DEFUN ("mod", Fmod, Smod, 2, 2, 0,
2383 "Returns X modulo Y.\n\
2384 The result falls between zero (inclusive) and Y (exclusive).\n\
2385 Both X and Y must be numbers or markers.")
2386 (x, y)
2387 register Lisp_Object x, y;
2389 Lisp_Object val;
2390 EMACS_INT i1, i2;
2392 #ifdef LISP_FLOAT_TYPE
2393 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (x, 0);
2394 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (y, 1);
2396 if (FLOATP (x) || FLOATP (y))
2397 return fmod_float (x, y);
2399 #else /* not LISP_FLOAT_TYPE */
2400 CHECK_NUMBER_COERCE_MARKER (x, 0);
2401 CHECK_NUMBER_COERCE_MARKER (y, 1);
2402 #endif /* not LISP_FLOAT_TYPE */
2404 i1 = XINT (x);
2405 i2 = XINT (y);
2407 if (i2 == 0)
2408 Fsignal (Qarith_error, Qnil);
2410 i1 %= i2;
2412 /* If the "remainder" comes out with the wrong sign, fix it. */
2413 if (i2 < 0 ? i1 > 0 : i1 < 0)
2414 i1 += i2;
2416 XSETINT (val, i1);
2417 return val;
2420 DEFUN ("max", Fmax, Smax, 1, MANY, 0,
2421 "Return largest of all the arguments (which must be numbers or markers).\n\
2422 The value is always a number; markers are converted to numbers.")
2423 (nargs, args)
2424 int nargs;
2425 Lisp_Object *args;
2427 return arith_driver (Amax, nargs, args);
2430 DEFUN ("min", Fmin, Smin, 1, MANY, 0,
2431 "Return smallest of all the arguments (which must be numbers or markers).\n\
2432 The value is always a number; markers are converted to numbers.")
2433 (nargs, args)
2434 int nargs;
2435 Lisp_Object *args;
2437 return arith_driver (Amin, nargs, args);
2440 DEFUN ("logand", Flogand, Slogand, 0, MANY, 0,
2441 "Return bitwise-and of all the arguments.\n\
2442 Arguments may be integers, or markers converted to integers.")
2443 (nargs, args)
2444 int nargs;
2445 Lisp_Object *args;
2447 return arith_driver (Alogand, nargs, args);
2450 DEFUN ("logior", Flogior, Slogior, 0, MANY, 0,
2451 "Return bitwise-or of all the arguments.\n\
2452 Arguments may be integers, or markers converted to integers.")
2453 (nargs, args)
2454 int nargs;
2455 Lisp_Object *args;
2457 return arith_driver (Alogior, nargs, args);
2460 DEFUN ("logxor", Flogxor, Slogxor, 0, MANY, 0,
2461 "Return bitwise-exclusive-or of all the arguments.\n\
2462 Arguments may be integers, or markers converted to integers.")
2463 (nargs, args)
2464 int nargs;
2465 Lisp_Object *args;
2467 return arith_driver (Alogxor, nargs, args);
2470 DEFUN ("ash", Fash, Sash, 2, 2, 0,
2471 "Return VALUE with its bits shifted left by COUNT.\n\
2472 If COUNT is negative, shifting is actually to the right.\n\
2473 In this case, the sign bit is duplicated.")
2474 (value, count)
2475 register Lisp_Object value, count;
2477 register Lisp_Object val;
2479 CHECK_NUMBER (value, 0);
2480 CHECK_NUMBER (count, 1);
2482 if (XINT (count) >= BITS_PER_EMACS_INT)
2483 XSETINT (val, 0);
2484 else if (XINT (count) > 0)
2485 XSETINT (val, XINT (value) << XFASTINT (count));
2486 else if (XINT (count) <= -BITS_PER_EMACS_INT)
2487 XSETINT (val, XINT (value) < 0 ? -1 : 0);
2488 else
2489 XSETINT (val, XINT (value) >> -XINT (count));
2490 return val;
2493 DEFUN ("lsh", Flsh, Slsh, 2, 2, 0,
2494 "Return VALUE with its bits shifted left by COUNT.\n\
2495 If COUNT is negative, shifting is actually to the right.\n\
2496 In this case, zeros are shifted in on the left.")
2497 (value, count)
2498 register Lisp_Object value, count;
2500 register Lisp_Object val;
2502 CHECK_NUMBER (value, 0);
2503 CHECK_NUMBER (count, 1);
2505 if (XINT (count) >= BITS_PER_EMACS_INT)
2506 XSETINT (val, 0);
2507 else if (XINT (count) > 0)
2508 XSETINT (val, (EMACS_UINT) XUINT (value) << XFASTINT (count));
2509 else if (XINT (count) <= -BITS_PER_EMACS_INT)
2510 XSETINT (val, 0);
2511 else
2512 XSETINT (val, (EMACS_UINT) XUINT (value) >> -XINT (count));
2513 return val;
2516 DEFUN ("1+", Fadd1, Sadd1, 1, 1, 0,
2517 "Return NUMBER plus one. NUMBER may be a number or a marker.\n\
2518 Markers are converted to integers.")
2519 (number)
2520 register Lisp_Object number;
2522 #ifdef LISP_FLOAT_TYPE
2523 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (number, 0);
2525 if (FLOATP (number))
2526 return (make_float (1.0 + XFLOAT_DATA (number)));
2527 #else
2528 CHECK_NUMBER_COERCE_MARKER (number, 0);
2529 #endif /* LISP_FLOAT_TYPE */
2531 XSETINT (number, XINT (number) + 1);
2532 return number;
2535 DEFUN ("1-", Fsub1, Ssub1, 1, 1, 0,
2536 "Return NUMBER minus one. NUMBER may be a number or a marker.\n\
2537 Markers are converted to integers.")
2538 (number)
2539 register Lisp_Object number;
2541 #ifdef LISP_FLOAT_TYPE
2542 CHECK_NUMBER_OR_FLOAT_COERCE_MARKER (number, 0);
2544 if (FLOATP (number))
2545 return (make_float (-1.0 + XFLOAT_DATA (number)));
2546 #else
2547 CHECK_NUMBER_COERCE_MARKER (number, 0);
2548 #endif /* LISP_FLOAT_TYPE */
2550 XSETINT (number, XINT (number) - 1);
2551 return number;
2554 DEFUN ("lognot", Flognot, Slognot, 1, 1, 0,
2555 "Return the bitwise complement of NUMBER. NUMBER must be an integer.")
2556 (number)
2557 register Lisp_Object number;
2559 CHECK_NUMBER (number, 0);
2560 XSETINT (number, ~XINT (number));
2561 return number;
2564 void
2565 syms_of_data ()
2567 Lisp_Object error_tail, arith_tail;
2569 Qquote = intern ("quote");
2570 Qlambda = intern ("lambda");
2571 Qsubr = intern ("subr");
2572 Qerror_conditions = intern ("error-conditions");
2573 Qerror_message = intern ("error-message");
2574 Qtop_level = intern ("top-level");
2576 Qerror = intern ("error");
2577 Qquit = intern ("quit");
2578 Qwrong_type_argument = intern ("wrong-type-argument");
2579 Qargs_out_of_range = intern ("args-out-of-range");
2580 Qvoid_function = intern ("void-function");
2581 Qcyclic_function_indirection = intern ("cyclic-function-indirection");
2582 Qvoid_variable = intern ("void-variable");
2583 Qsetting_constant = intern ("setting-constant");
2584 Qinvalid_read_syntax = intern ("invalid-read-syntax");
2586 Qinvalid_function = intern ("invalid-function");
2587 Qwrong_number_of_arguments = intern ("wrong-number-of-arguments");
2588 Qno_catch = intern ("no-catch");
2589 Qend_of_file = intern ("end-of-file");
2590 Qarith_error = intern ("arith-error");
2591 Qbeginning_of_buffer = intern ("beginning-of-buffer");
2592 Qend_of_buffer = intern ("end-of-buffer");
2593 Qbuffer_read_only = intern ("buffer-read-only");
2594 Qtext_read_only = intern ("text-read-only");
2595 Qmark_inactive = intern ("mark-inactive");
2597 Qlistp = intern ("listp");
2598 Qconsp = intern ("consp");
2599 Qsymbolp = intern ("symbolp");
2600 Qintegerp = intern ("integerp");
2601 Qnatnump = intern ("natnump");
2602 Qwholenump = intern ("wholenump");
2603 Qstringp = intern ("stringp");
2604 Qarrayp = intern ("arrayp");
2605 Qsequencep = intern ("sequencep");
2606 Qbufferp = intern ("bufferp");
2607 Qvectorp = intern ("vectorp");
2608 Qchar_or_string_p = intern ("char-or-string-p");
2609 Qmarkerp = intern ("markerp");
2610 Qbuffer_or_string_p = intern ("buffer-or-string-p");
2611 Qinteger_or_marker_p = intern ("integer-or-marker-p");
2612 Qboundp = intern ("boundp");
2613 Qfboundp = intern ("fboundp");
2615 #ifdef LISP_FLOAT_TYPE
2616 Qfloatp = intern ("floatp");
2617 Qnumberp = intern ("numberp");
2618 Qnumber_or_marker_p = intern ("number-or-marker-p");
2619 #endif /* LISP_FLOAT_TYPE */
2621 Qchar_table_p = intern ("char-table-p");
2622 Qvector_or_char_table_p = intern ("vector-or-char-table-p");
2624 Qcdr = intern ("cdr");
2626 /* Handle automatic advice activation */
2627 Qad_advice_info = intern ("ad-advice-info");
2628 Qad_activate_internal = intern ("ad-activate-internal");
2630 error_tail = Fcons (Qerror, Qnil);
2632 /* ERROR is used as a signaler for random errors for which nothing else is right */
2634 Fput (Qerror, Qerror_conditions,
2635 error_tail);
2636 Fput (Qerror, Qerror_message,
2637 build_string ("error"));
2639 Fput (Qquit, Qerror_conditions,
2640 Fcons (Qquit, Qnil));
2641 Fput (Qquit, Qerror_message,
2642 build_string ("Quit"));
2644 Fput (Qwrong_type_argument, Qerror_conditions,
2645 Fcons (Qwrong_type_argument, error_tail));
2646 Fput (Qwrong_type_argument, Qerror_message,
2647 build_string ("Wrong type argument"));
2649 Fput (Qargs_out_of_range, Qerror_conditions,
2650 Fcons (Qargs_out_of_range, error_tail));
2651 Fput (Qargs_out_of_range, Qerror_message,
2652 build_string ("Args out of range"));
2654 Fput (Qvoid_function, Qerror_conditions,
2655 Fcons (Qvoid_function, error_tail));
2656 Fput (Qvoid_function, Qerror_message,
2657 build_string ("Symbol's function definition is void"));
2659 Fput (Qcyclic_function_indirection, Qerror_conditions,
2660 Fcons (Qcyclic_function_indirection, error_tail));
2661 Fput (Qcyclic_function_indirection, Qerror_message,
2662 build_string ("Symbol's chain of function indirections contains a loop"));
2664 Fput (Qvoid_variable, Qerror_conditions,
2665 Fcons (Qvoid_variable, error_tail));
2666 Fput (Qvoid_variable, Qerror_message,
2667 build_string ("Symbol's value as variable is void"));
2669 Fput (Qsetting_constant, Qerror_conditions,
2670 Fcons (Qsetting_constant, error_tail));
2671 Fput (Qsetting_constant, Qerror_message,
2672 build_string ("Attempt to set a constant symbol"));
2674 Fput (Qinvalid_read_syntax, Qerror_conditions,
2675 Fcons (Qinvalid_read_syntax, error_tail));
2676 Fput (Qinvalid_read_syntax, Qerror_message,
2677 build_string ("Invalid read syntax"));
2679 Fput (Qinvalid_function, Qerror_conditions,
2680 Fcons (Qinvalid_function, error_tail));
2681 Fput (Qinvalid_function, Qerror_message,
2682 build_string ("Invalid function"));
2684 Fput (Qwrong_number_of_arguments, Qerror_conditions,
2685 Fcons (Qwrong_number_of_arguments, error_tail));
2686 Fput (Qwrong_number_of_arguments, Qerror_message,
2687 build_string ("Wrong number of arguments"));
2689 Fput (Qno_catch, Qerror_conditions,
2690 Fcons (Qno_catch, error_tail));
2691 Fput (Qno_catch, Qerror_message,
2692 build_string ("No catch for tag"));
2694 Fput (Qend_of_file, Qerror_conditions,
2695 Fcons (Qend_of_file, error_tail));
2696 Fput (Qend_of_file, Qerror_message,
2697 build_string ("End of file during parsing"));
2699 arith_tail = Fcons (Qarith_error, error_tail);
2700 Fput (Qarith_error, Qerror_conditions,
2701 arith_tail);
2702 Fput (Qarith_error, Qerror_message,
2703 build_string ("Arithmetic error"));
2705 Fput (Qbeginning_of_buffer, Qerror_conditions,
2706 Fcons (Qbeginning_of_buffer, error_tail));
2707 Fput (Qbeginning_of_buffer, Qerror_message,
2708 build_string ("Beginning of buffer"));
2710 Fput (Qend_of_buffer, Qerror_conditions,
2711 Fcons (Qend_of_buffer, error_tail));
2712 Fput (Qend_of_buffer, Qerror_message,
2713 build_string ("End of buffer"));
2715 Fput (Qbuffer_read_only, Qerror_conditions,
2716 Fcons (Qbuffer_read_only, error_tail));
2717 Fput (Qbuffer_read_only, Qerror_message,
2718 build_string ("Buffer is read-only"));
2720 Fput (Qtext_read_only, Qerror_conditions,
2721 Fcons (Qtext_read_only, error_tail));
2722 Fput (Qtext_read_only, Qerror_message,
2723 build_string ("Text is read-only"));
2725 #ifdef LISP_FLOAT_TYPE
2726 Qrange_error = intern ("range-error");
2727 Qdomain_error = intern ("domain-error");
2728 Qsingularity_error = intern ("singularity-error");
2729 Qoverflow_error = intern ("overflow-error");
2730 Qunderflow_error = intern ("underflow-error");
2732 Fput (Qdomain_error, Qerror_conditions,
2733 Fcons (Qdomain_error, arith_tail));
2734 Fput (Qdomain_error, Qerror_message,
2735 build_string ("Arithmetic domain error"));
2737 Fput (Qrange_error, Qerror_conditions,
2738 Fcons (Qrange_error, arith_tail));
2739 Fput (Qrange_error, Qerror_message,
2740 build_string ("Arithmetic range error"));
2742 Fput (Qsingularity_error, Qerror_conditions,
2743 Fcons (Qsingularity_error, Fcons (Qdomain_error, arith_tail)));
2744 Fput (Qsingularity_error, Qerror_message,
2745 build_string ("Arithmetic singularity error"));
2747 Fput (Qoverflow_error, Qerror_conditions,
2748 Fcons (Qoverflow_error, Fcons (Qdomain_error, arith_tail)));
2749 Fput (Qoverflow_error, Qerror_message,
2750 build_string ("Arithmetic overflow error"));
2752 Fput (Qunderflow_error, Qerror_conditions,
2753 Fcons (Qunderflow_error, Fcons (Qdomain_error, arith_tail)));
2754 Fput (Qunderflow_error, Qerror_message,
2755 build_string ("Arithmetic underflow error"));
2757 staticpro (&Qrange_error);
2758 staticpro (&Qdomain_error);
2759 staticpro (&Qsingularity_error);
2760 staticpro (&Qoverflow_error);
2761 staticpro (&Qunderflow_error);
2762 #endif /* LISP_FLOAT_TYPE */
2764 staticpro (&Qnil);
2765 staticpro (&Qt);
2766 staticpro (&Qquote);
2767 staticpro (&Qlambda);
2768 staticpro (&Qsubr);
2769 staticpro (&Qunbound);
2770 staticpro (&Qerror_conditions);
2771 staticpro (&Qerror_message);
2772 staticpro (&Qtop_level);
2774 staticpro (&Qerror);
2775 staticpro (&Qquit);
2776 staticpro (&Qwrong_type_argument);
2777 staticpro (&Qargs_out_of_range);
2778 staticpro (&Qvoid_function);
2779 staticpro (&Qcyclic_function_indirection);
2780 staticpro (&Qvoid_variable);
2781 staticpro (&Qsetting_constant);
2782 staticpro (&Qinvalid_read_syntax);
2783 staticpro (&Qwrong_number_of_arguments);
2784 staticpro (&Qinvalid_function);
2785 staticpro (&Qno_catch);
2786 staticpro (&Qend_of_file);
2787 staticpro (&Qarith_error);
2788 staticpro (&Qbeginning_of_buffer);
2789 staticpro (&Qend_of_buffer);
2790 staticpro (&Qbuffer_read_only);
2791 staticpro (&Qtext_read_only);
2792 staticpro (&Qmark_inactive);
2794 staticpro (&Qlistp);
2795 staticpro (&Qconsp);
2796 staticpro (&Qsymbolp);
2797 staticpro (&Qintegerp);
2798 staticpro (&Qnatnump);
2799 staticpro (&Qwholenump);
2800 staticpro (&Qstringp);
2801 staticpro (&Qarrayp);
2802 staticpro (&Qsequencep);
2803 staticpro (&Qbufferp);
2804 staticpro (&Qvectorp);
2805 staticpro (&Qchar_or_string_p);
2806 staticpro (&Qmarkerp);
2807 staticpro (&Qbuffer_or_string_p);
2808 staticpro (&Qinteger_or_marker_p);
2809 #ifdef LISP_FLOAT_TYPE
2810 staticpro (&Qfloatp);
2811 staticpro (&Qnumberp);
2812 staticpro (&Qnumber_or_marker_p);
2813 #endif /* LISP_FLOAT_TYPE */
2814 staticpro (&Qchar_table_p);
2815 staticpro (&Qvector_or_char_table_p);
2817 staticpro (&Qboundp);
2818 staticpro (&Qfboundp);
2819 staticpro (&Qcdr);
2820 staticpro (&Qad_advice_info);
2821 staticpro (&Qad_activate_internal);
2823 /* Types that type-of returns. */
2824 Qinteger = intern ("integer");
2825 Qsymbol = intern ("symbol");
2826 Qstring = intern ("string");
2827 Qcons = intern ("cons");
2828 Qmarker = intern ("marker");
2829 Qoverlay = intern ("overlay");
2830 Qfloat = intern ("float");
2831 Qwindow_configuration = intern ("window-configuration");
2832 Qprocess = intern ("process");
2833 Qwindow = intern ("window");
2834 /* Qsubr = intern ("subr"); */
2835 Qcompiled_function = intern ("compiled-function");
2836 Qbuffer = intern ("buffer");
2837 Qframe = intern ("frame");
2838 Qvector = intern ("vector");
2839 Qchar_table = intern ("char-table");
2840 Qbool_vector = intern ("bool-vector");
2841 Qhash_table = intern ("hash-table");
2843 staticpro (&Qinteger);
2844 staticpro (&Qsymbol);
2845 staticpro (&Qstring);
2846 staticpro (&Qcons);
2847 staticpro (&Qmarker);
2848 staticpro (&Qoverlay);
2849 staticpro (&Qfloat);
2850 staticpro (&Qwindow_configuration);
2851 staticpro (&Qprocess);
2852 staticpro (&Qwindow);
2853 /* staticpro (&Qsubr); */
2854 staticpro (&Qcompiled_function);
2855 staticpro (&Qbuffer);
2856 staticpro (&Qframe);
2857 staticpro (&Qvector);
2858 staticpro (&Qchar_table);
2859 staticpro (&Qbool_vector);
2860 staticpro (&Qhash_table);
2862 DEFVAR_BOOL ("keyword-symbols-constant-flag", &keyword_symbols_constant_flag,
2863 "Non-nil means it is an error to set a keyword symbol.\n\
2864 A keyword symbol is a symbol whose name starts with a colon (`:').");
2865 keyword_symbols_constant_flag = 1;
2867 defsubr (&Seq);
2868 defsubr (&Snull);
2869 defsubr (&Stype_of);
2870 defsubr (&Slistp);
2871 defsubr (&Snlistp);
2872 defsubr (&Sconsp);
2873 defsubr (&Satom);
2874 defsubr (&Sintegerp);
2875 defsubr (&Sinteger_or_marker_p);
2876 defsubr (&Snumberp);
2877 defsubr (&Snumber_or_marker_p);
2878 #ifdef LISP_FLOAT_TYPE
2879 defsubr (&Sfloatp);
2880 #endif /* LISP_FLOAT_TYPE */
2881 defsubr (&Snatnump);
2882 defsubr (&Ssymbolp);
2883 defsubr (&Sstringp);
2884 defsubr (&Smultibyte_string_p);
2885 defsubr (&Svectorp);
2886 defsubr (&Schar_table_p);
2887 defsubr (&Svector_or_char_table_p);
2888 defsubr (&Sbool_vector_p);
2889 defsubr (&Sarrayp);
2890 defsubr (&Ssequencep);
2891 defsubr (&Sbufferp);
2892 defsubr (&Smarkerp);
2893 defsubr (&Ssubrp);
2894 defsubr (&Sbyte_code_function_p);
2895 defsubr (&Schar_or_string_p);
2896 defsubr (&Scar);
2897 defsubr (&Scdr);
2898 defsubr (&Scar_safe);
2899 defsubr (&Scdr_safe);
2900 defsubr (&Ssetcar);
2901 defsubr (&Ssetcdr);
2902 defsubr (&Ssymbol_function);
2903 defsubr (&Sindirect_function);
2904 defsubr (&Ssymbol_plist);
2905 defsubr (&Ssymbol_name);
2906 defsubr (&Smakunbound);
2907 defsubr (&Sfmakunbound);
2908 defsubr (&Sboundp);
2909 defsubr (&Sfboundp);
2910 defsubr (&Sfset);
2911 defsubr (&Sdefalias);
2912 defsubr (&Ssetplist);
2913 defsubr (&Ssymbol_value);
2914 defsubr (&Sset);
2915 defsubr (&Sdefault_boundp);
2916 defsubr (&Sdefault_value);
2917 defsubr (&Sset_default);
2918 defsubr (&Ssetq_default);
2919 defsubr (&Smake_variable_buffer_local);
2920 defsubr (&Smake_local_variable);
2921 defsubr (&Skill_local_variable);
2922 defsubr (&Smake_variable_frame_local);
2923 defsubr (&Slocal_variable_p);
2924 defsubr (&Slocal_variable_if_set_p);
2925 defsubr (&Saref);
2926 defsubr (&Saset);
2927 defsubr (&Snumber_to_string);
2928 defsubr (&Sstring_to_number);
2929 defsubr (&Seqlsign);
2930 defsubr (&Slss);
2931 defsubr (&Sgtr);
2932 defsubr (&Sleq);
2933 defsubr (&Sgeq);
2934 defsubr (&Sneq);
2935 defsubr (&Szerop);
2936 defsubr (&Splus);
2937 defsubr (&Sminus);
2938 defsubr (&Stimes);
2939 defsubr (&Squo);
2940 defsubr (&Srem);
2941 defsubr (&Smod);
2942 defsubr (&Smax);
2943 defsubr (&Smin);
2944 defsubr (&Slogand);
2945 defsubr (&Slogior);
2946 defsubr (&Slogxor);
2947 defsubr (&Slsh);
2948 defsubr (&Sash);
2949 defsubr (&Sadd1);
2950 defsubr (&Ssub1);
2951 defsubr (&Slognot);
2953 XSYMBOL (Qwholenump)->function = XSYMBOL (Qnatnump)->function;
2956 SIGTYPE
2957 arith_error (signo)
2958 int signo;
2960 #if defined(USG) && !defined(POSIX_SIGNALS)
2961 /* USG systems forget handlers when they are used;
2962 must reestablish each time */
2963 signal (signo, arith_error);
2964 #endif /* USG */
2965 #ifdef VMS
2966 /* VMS systems are like USG. */
2967 signal (signo, arith_error);
2968 #endif /* VMS */
2969 #ifdef BSD4_1
2970 sigrelse (SIGFPE);
2971 #else /* not BSD4_1 */
2972 sigsetmask (SIGEMPTYMASK);
2973 #endif /* not BSD4_1 */
2975 Fsignal (Qarith_error, Qnil);
2978 void
2979 init_data ()
2981 /* Don't do this if just dumping out.
2982 We don't want to call `signal' in this case
2983 so that we don't have trouble with dumping
2984 signal-delivering routines in an inconsistent state. */
2985 #ifndef CANNOT_DUMP
2986 if (!initialized)
2987 return;
2988 #endif /* CANNOT_DUMP */
2989 signal (SIGFPE, arith_error);
2991 #ifdef uts
2992 signal (SIGEMT, arith_error);
2993 #endif /* uts */