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