Docstring fixes.
[emacs.git] / src / fns.c
blob5cbaea0f5c0e907adb38e32f90ad354b3273f2e7
1 /* Random utility Lisp functions.
2 Copyright (C) 1985, 86, 87, 93, 94, 95, 97, 98, 99, 2000 Free Software Foundation, Inc.
4 This file is part of GNU Emacs.
6 GNU Emacs is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
11 GNU Emacs is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU Emacs; see the file COPYING. If not, write to
18 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
22 #include <config.h>
24 #ifdef HAVE_UNISTD_H
25 #include <unistd.h>
26 #endif
27 #include <time.h>
29 /* Note on some machines this defines `vector' as a typedef,
30 so make sure we don't use that name in this file. */
31 #undef vector
32 #define vector *****
34 #include "lisp.h"
35 #include "commands.h"
36 #include "charset.h"
38 #include "buffer.h"
39 #include "keyboard.h"
40 #include "intervals.h"
41 #include "frame.h"
42 #include "window.h"
43 #if defined (HAVE_MENUS) && defined (HAVE_X_WINDOWS)
44 #include "xterm.h"
45 #endif
47 #ifndef NULL
48 #define NULL (void *)0
49 #endif
51 #ifndef min
52 #define min(a, b) ((a) < (b) ? (a) : (b))
53 #define max(a, b) ((a) > (b) ? (a) : (b))
54 #endif
56 /* Nonzero enables use of dialog boxes for questions
57 asked by mouse commands. */
58 int use_dialog_box;
60 extern int minibuffer_auto_raise;
61 extern Lisp_Object minibuf_window;
63 Lisp_Object Qstring_lessp, Qprovide, Qrequire;
64 Lisp_Object Qyes_or_no_p_history;
65 Lisp_Object Qcursor_in_echo_area;
66 Lisp_Object Qwidget_type;
68 extern Lisp_Object Qinput_method_function;
70 static int internal_equal ();
72 extern long get_random ();
73 extern void seed_random ();
75 #ifndef HAVE_UNISTD_H
76 extern long time ();
77 #endif
79 DEFUN ("identity", Fidentity, Sidentity, 1, 1, 0,
80 "Return the argument unchanged.")
81 (arg)
82 Lisp_Object arg;
84 return arg;
87 DEFUN ("random", Frandom, Srandom, 0, 1, 0,
88 "Return a pseudo-random number.\n\
89 All integers representable in Lisp are equally likely.\n\
90 On most systems, this is 28 bits' worth.\n\
91 With positive integer argument N, return random number in interval [0,N).\n\
92 With argument t, set the random number seed from the current time and pid.")
93 (n)
94 Lisp_Object n;
96 EMACS_INT val;
97 Lisp_Object lispy_val;
98 unsigned long denominator;
100 if (EQ (n, Qt))
101 seed_random (getpid () + time (NULL));
102 if (NATNUMP (n) && XFASTINT (n) != 0)
104 /* Try to take our random number from the higher bits of VAL,
105 not the lower, since (says Gentzel) the low bits of `random'
106 are less random than the higher ones. We do this by using the
107 quotient rather than the remainder. At the high end of the RNG
108 it's possible to get a quotient larger than n; discarding
109 these values eliminates the bias that would otherwise appear
110 when using a large n. */
111 denominator = ((unsigned long)1 << VALBITS) / XFASTINT (n);
113 val = get_random () / denominator;
114 while (val >= XFASTINT (n));
116 else
117 val = get_random ();
118 XSETINT (lispy_val, val);
119 return lispy_val;
122 /* Random data-structure functions */
124 DEFUN ("length", Flength, Slength, 1, 1, 0,
125 "Return the length of vector, list or string SEQUENCE.\n\
126 A byte-code function object is also allowed.\n\
127 If the string contains multibyte characters, this is not the necessarily\n\
128 the number of bytes in the string; it is the number of characters.\n\
129 To get the number of bytes, use `string-bytes'")
130 (sequence)
131 register Lisp_Object sequence;
133 register Lisp_Object tail, val;
134 register int i;
136 retry:
137 if (STRINGP (sequence))
138 XSETFASTINT (val, XSTRING (sequence)->size);
139 else if (VECTORP (sequence))
140 XSETFASTINT (val, XVECTOR (sequence)->size);
141 else if (CHAR_TABLE_P (sequence))
142 XSETFASTINT (val, MAX_CHAR);
143 else if (BOOL_VECTOR_P (sequence))
144 XSETFASTINT (val, XBOOL_VECTOR (sequence)->size);
145 else if (COMPILEDP (sequence))
146 XSETFASTINT (val, XVECTOR (sequence)->size & PSEUDOVECTOR_SIZE_MASK);
147 else if (CONSP (sequence))
149 i = 0;
150 while (CONSP (sequence))
152 sequence = XCDR (sequence);
153 ++i;
155 if (!CONSP (sequence))
156 break;
158 sequence = XCDR (sequence);
159 ++i;
160 QUIT;
163 if (!NILP (sequence))
164 wrong_type_argument (Qlistp, sequence);
166 val = make_number (i);
168 else if (NILP (sequence))
169 XSETFASTINT (val, 0);
170 else
172 sequence = wrong_type_argument (Qsequencep, sequence);
173 goto retry;
175 return val;
178 /* This does not check for quits. That is safe
179 since it must terminate. */
181 DEFUN ("safe-length", Fsafe_length, Ssafe_length, 1, 1, 0,
182 "Return the length of a list, but avoid error or infinite loop.\n\
183 This function never gets an error. If LIST is not really a list,\n\
184 it returns 0. If LIST is circular, it returns a finite value\n\
185 which is at least the number of distinct elements.")
186 (list)
187 Lisp_Object list;
189 Lisp_Object tail, halftail, length;
190 int len = 0;
192 /* halftail is used to detect circular lists. */
193 halftail = list;
194 for (tail = list; CONSP (tail); tail = XCDR (tail))
196 if (EQ (tail, halftail) && len != 0)
197 break;
198 len++;
199 if ((len & 1) == 0)
200 halftail = XCDR (halftail);
203 XSETINT (length, len);
204 return length;
207 DEFUN ("string-bytes", Fstring_bytes, Sstring_bytes, 1, 1, 0,
208 "Return the number of bytes in STRING.\n\
209 If STRING is a multibyte string, this is greater than the length of STRING.")
210 (string)
211 Lisp_Object string;
213 CHECK_STRING (string, 1);
214 return make_number (STRING_BYTES (XSTRING (string)));
217 DEFUN ("string-equal", Fstring_equal, Sstring_equal, 2, 2, 0,
218 "Return t if two strings have identical contents.\n\
219 Case is significant, but text properties are ignored.\n\
220 Symbols are also allowed; their print names are used instead.")
221 (s1, s2)
222 register Lisp_Object s1, s2;
224 if (SYMBOLP (s1))
225 XSETSTRING (s1, XSYMBOL (s1)->name);
226 if (SYMBOLP (s2))
227 XSETSTRING (s2, XSYMBOL (s2)->name);
228 CHECK_STRING (s1, 0);
229 CHECK_STRING (s2, 1);
231 if (XSTRING (s1)->size != XSTRING (s2)->size
232 || STRING_BYTES (XSTRING (s1)) != STRING_BYTES (XSTRING (s2))
233 || bcmp (XSTRING (s1)->data, XSTRING (s2)->data, STRING_BYTES (XSTRING (s1))))
234 return Qnil;
235 return Qt;
238 DEFUN ("compare-strings", Fcompare_strings,
239 Scompare_strings, 6, 7, 0,
240 "Compare the contents of two strings, converting to multibyte if needed.\n\
241 In string STR1, skip the first START1 characters and stop at END1.\n\
242 In string STR2, skip the first START2 characters and stop at END2.\n\
243 END1 and END2 default to the full lengths of the respective strings.\n\
245 Case is significant in this comparison if IGNORE-CASE is nil.\n\
246 Unibyte strings are converted to multibyte for comparison.\n\
248 The value is t if the strings (or specified portions) match.\n\
249 If string STR1 is less, the value is a negative number N;\n\
250 - 1 - N is the number of characters that match at the beginning.\n\
251 If string STR1 is greater, the value is a positive number N;\n\
252 N - 1 is the number of characters that match at the beginning.")
253 (str1, start1, end1, str2, start2, end2, ignore_case)
254 Lisp_Object str1, start1, end1, start2, str2, end2, ignore_case;
256 register int end1_char, end2_char;
257 register int i1, i1_byte, i2, i2_byte;
259 CHECK_STRING (str1, 0);
260 CHECK_STRING (str2, 1);
261 if (NILP (start1))
262 start1 = make_number (0);
263 if (NILP (start2))
264 start2 = make_number (0);
265 CHECK_NATNUM (start1, 2);
266 CHECK_NATNUM (start2, 3);
267 if (! NILP (end1))
268 CHECK_NATNUM (end1, 4);
269 if (! NILP (end2))
270 CHECK_NATNUM (end2, 4);
272 i1 = XINT (start1);
273 i2 = XINT (start2);
275 i1_byte = string_char_to_byte (str1, i1);
276 i2_byte = string_char_to_byte (str2, i2);
278 end1_char = XSTRING (str1)->size;
279 if (! NILP (end1) && end1_char > XINT (end1))
280 end1_char = XINT (end1);
282 end2_char = XSTRING (str2)->size;
283 if (! NILP (end2) && end2_char > XINT (end2))
284 end2_char = XINT (end2);
286 while (i1 < end1_char && i2 < end2_char)
288 /* When we find a mismatch, we must compare the
289 characters, not just the bytes. */
290 int c1, c2;
292 if (STRING_MULTIBYTE (str1))
293 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c1, str1, i1, i1_byte);
294 else
296 c1 = XSTRING (str1)->data[i1++];
297 c1 = unibyte_char_to_multibyte (c1);
300 if (STRING_MULTIBYTE (str2))
301 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c2, str2, i2, i2_byte);
302 else
304 c2 = XSTRING (str2)->data[i2++];
305 c2 = unibyte_char_to_multibyte (c2);
308 if (c1 == c2)
309 continue;
311 if (! NILP (ignore_case))
313 Lisp_Object tem;
315 tem = Fupcase (make_number (c1));
316 c1 = XINT (tem);
317 tem = Fupcase (make_number (c2));
318 c2 = XINT (tem);
321 if (c1 == c2)
322 continue;
324 /* Note that I1 has already been incremented
325 past the character that we are comparing;
326 hence we don't add or subtract 1 here. */
327 if (c1 < c2)
328 return make_number (- i1);
329 else
330 return make_number (i1);
333 if (i1 < end1_char)
334 return make_number (i1 - XINT (start1) + 1);
335 if (i2 < end2_char)
336 return make_number (- i1 + XINT (start1) - 1);
338 return Qt;
341 DEFUN ("string-lessp", Fstring_lessp, Sstring_lessp, 2, 2, 0,
342 "Return t if first arg string is less than second in lexicographic order.\n\
343 Case is significant.\n\
344 Symbols are also allowed; their print names are used instead.")
345 (s1, s2)
346 register Lisp_Object s1, s2;
348 register int end;
349 register int i1, i1_byte, i2, i2_byte;
351 if (SYMBOLP (s1))
352 XSETSTRING (s1, XSYMBOL (s1)->name);
353 if (SYMBOLP (s2))
354 XSETSTRING (s2, XSYMBOL (s2)->name);
355 CHECK_STRING (s1, 0);
356 CHECK_STRING (s2, 1);
358 i1 = i1_byte = i2 = i2_byte = 0;
360 end = XSTRING (s1)->size;
361 if (end > XSTRING (s2)->size)
362 end = XSTRING (s2)->size;
364 while (i1 < end)
366 /* When we find a mismatch, we must compare the
367 characters, not just the bytes. */
368 int c1, c2;
370 FETCH_STRING_CHAR_ADVANCE (c1, s1, i1, i1_byte);
371 FETCH_STRING_CHAR_ADVANCE (c2, s2, i2, i2_byte);
373 if (c1 != c2)
374 return c1 < c2 ? Qt : Qnil;
376 return i1 < XSTRING (s2)->size ? Qt : Qnil;
379 static Lisp_Object concat ();
381 /* ARGSUSED */
382 Lisp_Object
383 concat2 (s1, s2)
384 Lisp_Object s1, s2;
386 #ifdef NO_ARG_ARRAY
387 Lisp_Object args[2];
388 args[0] = s1;
389 args[1] = s2;
390 return concat (2, args, Lisp_String, 0);
391 #else
392 return concat (2, &s1, Lisp_String, 0);
393 #endif /* NO_ARG_ARRAY */
396 /* ARGSUSED */
397 Lisp_Object
398 concat3 (s1, s2, s3)
399 Lisp_Object s1, s2, s3;
401 #ifdef NO_ARG_ARRAY
402 Lisp_Object args[3];
403 args[0] = s1;
404 args[1] = s2;
405 args[2] = s3;
406 return concat (3, args, Lisp_String, 0);
407 #else
408 return concat (3, &s1, Lisp_String, 0);
409 #endif /* NO_ARG_ARRAY */
412 DEFUN ("append", Fappend, Sappend, 0, MANY, 0,
413 "Concatenate all the arguments and make the result a list.\n\
414 The result is a list whose elements are the elements of all the arguments.\n\
415 Each argument may be a list, vector or string.\n\
416 The last argument is not copied, just used as the tail of the new list.")
417 (nargs, args)
418 int nargs;
419 Lisp_Object *args;
421 return concat (nargs, args, Lisp_Cons, 1);
424 DEFUN ("concat", Fconcat, Sconcat, 0, MANY, 0,
425 "Concatenate all the arguments and make the result a string.\n\
426 The result is a string whose elements are the elements of all the arguments.\n\
427 Each argument may be a string or a list or vector of characters (integers).")
428 (nargs, args)
429 int nargs;
430 Lisp_Object *args;
432 return concat (nargs, args, Lisp_String, 0);
435 DEFUN ("vconcat", Fvconcat, Svconcat, 0, MANY, 0,
436 "Concatenate all the arguments and make the result a vector.\n\
437 The result is a vector whose elements are the elements of all the arguments.\n\
438 Each argument may be a list, vector or string.")
439 (nargs, args)
440 int nargs;
441 Lisp_Object *args;
443 return concat (nargs, args, Lisp_Vectorlike, 0);
446 /* Retrun a copy of a sub char table ARG. The elements except for a
447 nested sub char table are not copied. */
448 static Lisp_Object
449 copy_sub_char_table (arg)
450 Lisp_Object arg;
452 Lisp_Object copy = make_sub_char_table (XCHAR_TABLE (arg)->defalt);
453 int i;
455 /* Copy all the contents. */
456 bcopy (XCHAR_TABLE (arg)->contents, XCHAR_TABLE (copy)->contents,
457 SUB_CHAR_TABLE_ORDINARY_SLOTS * sizeof (Lisp_Object));
458 /* Recursively copy any sub char-tables in the ordinary slots. */
459 for (i = 32; i < SUB_CHAR_TABLE_ORDINARY_SLOTS; i++)
460 if (SUB_CHAR_TABLE_P (XCHAR_TABLE (arg)->contents[i]))
461 XCHAR_TABLE (copy)->contents[i]
462 = copy_sub_char_table (XCHAR_TABLE (copy)->contents[i]);
464 return copy;
468 DEFUN ("copy-sequence", Fcopy_sequence, Scopy_sequence, 1, 1, 0,
469 "Return a copy of a list, vector or string.\n\
470 The elements of a list or vector are not copied; they are shared\n\
471 with the original.")
472 (arg)
473 Lisp_Object arg;
475 if (NILP (arg)) return arg;
477 if (CHAR_TABLE_P (arg))
479 int i;
480 Lisp_Object copy;
482 copy = Fmake_char_table (XCHAR_TABLE (arg)->purpose, Qnil);
483 /* Copy all the slots, including the extra ones. */
484 bcopy (XVECTOR (arg)->contents, XVECTOR (copy)->contents,
485 ((XCHAR_TABLE (arg)->size & PSEUDOVECTOR_SIZE_MASK)
486 * sizeof (Lisp_Object)));
488 /* Recursively copy any sub char tables in the ordinary slots
489 for multibyte characters. */
490 for (i = CHAR_TABLE_SINGLE_BYTE_SLOTS;
491 i < CHAR_TABLE_ORDINARY_SLOTS; i++)
492 if (SUB_CHAR_TABLE_P (XCHAR_TABLE (arg)->contents[i]))
493 XCHAR_TABLE (copy)->contents[i]
494 = copy_sub_char_table (XCHAR_TABLE (copy)->contents[i]);
496 return copy;
499 if (BOOL_VECTOR_P (arg))
501 Lisp_Object val;
502 int size_in_chars
503 = (XBOOL_VECTOR (arg)->size + BITS_PER_CHAR - 1) / BITS_PER_CHAR;
505 val = Fmake_bool_vector (Flength (arg), Qnil);
506 bcopy (XBOOL_VECTOR (arg)->data, XBOOL_VECTOR (val)->data,
507 size_in_chars);
508 return val;
511 if (!CONSP (arg) && !VECTORP (arg) && !STRINGP (arg))
512 arg = wrong_type_argument (Qsequencep, arg);
513 return concat (1, &arg, CONSP (arg) ? Lisp_Cons : XTYPE (arg), 0);
516 /* In string STR of length LEN, see if bytes before STR[I] combine
517 with bytes after STR[I] to form a single character. If so, return
518 the number of bytes after STR[I] which combine in this way.
519 Otherwize, return 0. */
521 static int
522 count_combining (str, len, i)
523 unsigned char *str;
524 int len, i;
526 int j = i - 1, bytes;
528 if (i == 0 || i == len || CHAR_HEAD_P (str[i]))
529 return 0;
530 while (j >= 0 && !CHAR_HEAD_P (str[j])) j--;
531 if (j < 0 || ! BASE_LEADING_CODE_P (str[j]))
532 return 0;
533 PARSE_MULTIBYTE_SEQ (str + j, len - j, bytes);
534 return (bytes <= i - j ? 0 : bytes - (i - j));
537 /* This structure holds information of an argument of `concat' that is
538 a string and has text properties to be copied. */
539 struct textprop_rec
541 int argnum; /* refer to ARGS (arguments of `concat') */
542 int from; /* refer to ARGS[argnum] (argument string) */
543 int to; /* refer to VAL (the target string) */
546 static Lisp_Object
547 concat (nargs, args, target_type, last_special)
548 int nargs;
549 Lisp_Object *args;
550 enum Lisp_Type target_type;
551 int last_special;
553 Lisp_Object val;
554 register Lisp_Object tail;
555 register Lisp_Object this;
556 int toindex;
557 int toindex_byte = 0;
558 register int result_len;
559 register int result_len_byte;
560 register int argnum;
561 Lisp_Object last_tail;
562 Lisp_Object prev;
563 int some_multibyte;
564 /* When we make a multibyte string, we can't copy text properties
565 while concatinating each string because the length of resulting
566 string can't be decided until we finish the whole concatination.
567 So, we record strings that have text properties to be copied
568 here, and copy the text properties after the concatination. */
569 struct textprop_rec *textprops = NULL;
570 /* Number of elments in textprops. */
571 int num_textprops = 0;
573 tail = Qnil;
575 /* In append, the last arg isn't treated like the others */
576 if (last_special && nargs > 0)
578 nargs--;
579 last_tail = args[nargs];
581 else
582 last_tail = Qnil;
584 /* Canonicalize each argument. */
585 for (argnum = 0; argnum < nargs; argnum++)
587 this = args[argnum];
588 if (!(CONSP (this) || NILP (this) || VECTORP (this) || STRINGP (this)
589 || COMPILEDP (this) || BOOL_VECTOR_P (this)))
591 args[argnum] = wrong_type_argument (Qsequencep, this);
595 /* Compute total length in chars of arguments in RESULT_LEN.
596 If desired output is a string, also compute length in bytes
597 in RESULT_LEN_BYTE, and determine in SOME_MULTIBYTE
598 whether the result should be a multibyte string. */
599 result_len_byte = 0;
600 result_len = 0;
601 some_multibyte = 0;
602 for (argnum = 0; argnum < nargs; argnum++)
604 int len;
605 this = args[argnum];
606 len = XFASTINT (Flength (this));
607 if (target_type == Lisp_String)
609 /* We must count the number of bytes needed in the string
610 as well as the number of characters. */
611 int i;
612 Lisp_Object ch;
613 int this_len_byte;
615 if (VECTORP (this))
616 for (i = 0; i < len; i++)
618 ch = XVECTOR (this)->contents[i];
619 if (! INTEGERP (ch))
620 wrong_type_argument (Qintegerp, ch);
621 this_len_byte = CHAR_BYTES (XINT (ch));
622 result_len_byte += this_len_byte;
623 if (!SINGLE_BYTE_CHAR_P (XINT (ch)))
624 some_multibyte = 1;
626 else if (BOOL_VECTOR_P (this) && XBOOL_VECTOR (this)->size > 0)
627 wrong_type_argument (Qintegerp, Faref (this, make_number (0)));
628 else if (CONSP (this))
629 for (; CONSP (this); this = XCDR (this))
631 ch = XCAR (this);
632 if (! INTEGERP (ch))
633 wrong_type_argument (Qintegerp, ch);
634 this_len_byte = CHAR_BYTES (XINT (ch));
635 result_len_byte += this_len_byte;
636 if (!SINGLE_BYTE_CHAR_P (XINT (ch)))
637 some_multibyte = 1;
639 else if (STRINGP (this))
641 if (STRING_MULTIBYTE (this))
643 some_multibyte = 1;
644 result_len_byte += STRING_BYTES (XSTRING (this));
646 else
647 result_len_byte += count_size_as_multibyte (XSTRING (this)->data,
648 XSTRING (this)->size);
652 result_len += len;
655 if (! some_multibyte)
656 result_len_byte = result_len;
658 /* Create the output object. */
659 if (target_type == Lisp_Cons)
660 val = Fmake_list (make_number (result_len), Qnil);
661 else if (target_type == Lisp_Vectorlike)
662 val = Fmake_vector (make_number (result_len), Qnil);
663 else if (some_multibyte)
664 val = make_uninit_multibyte_string (result_len, result_len_byte);
665 else
666 val = make_uninit_string (result_len);
668 /* In `append', if all but last arg are nil, return last arg. */
669 if (target_type == Lisp_Cons && EQ (val, Qnil))
670 return last_tail;
672 /* Copy the contents of the args into the result. */
673 if (CONSP (val))
674 tail = val, toindex = -1; /* -1 in toindex is flag we are making a list */
675 else
676 toindex = 0, toindex_byte = 0;
678 prev = Qnil;
679 if (STRINGP (val))
680 textprops
681 = (struct textprop_rec *) alloca (sizeof (struct textprop_rec) * nargs);
683 for (argnum = 0; argnum < nargs; argnum++)
685 Lisp_Object thislen;
686 int thisleni = 0;
687 register unsigned int thisindex = 0;
688 register unsigned int thisindex_byte = 0;
690 this = args[argnum];
691 if (!CONSP (this))
692 thislen = Flength (this), thisleni = XINT (thislen);
694 /* Between strings of the same kind, copy fast. */
695 if (STRINGP (this) && STRINGP (val)
696 && STRING_MULTIBYTE (this) == some_multibyte)
698 int thislen_byte = STRING_BYTES (XSTRING (this));
699 int combined;
701 bcopy (XSTRING (this)->data, XSTRING (val)->data + toindex_byte,
702 STRING_BYTES (XSTRING (this)));
703 combined = (some_multibyte && toindex_byte > 0
704 ? count_combining (XSTRING (val)->data,
705 toindex_byte + thislen_byte,
706 toindex_byte)
707 : 0);
708 if (! NULL_INTERVAL_P (XSTRING (this)->intervals))
710 textprops[num_textprops].argnum = argnum;
711 /* We ignore text properties on characters being combined. */
712 textprops[num_textprops].from = combined;
713 textprops[num_textprops++].to = toindex;
715 toindex_byte += thislen_byte;
716 toindex += thisleni - combined;
717 XSTRING (val)->size -= combined;
719 /* Copy a single-byte string to a multibyte string. */
720 else if (STRINGP (this) && STRINGP (val))
722 if (! NULL_INTERVAL_P (XSTRING (this)->intervals))
724 textprops[num_textprops].argnum = argnum;
725 textprops[num_textprops].from = 0;
726 textprops[num_textprops++].to = toindex;
728 toindex_byte += copy_text (XSTRING (this)->data,
729 XSTRING (val)->data + toindex_byte,
730 XSTRING (this)->size, 0, 1);
731 toindex += thisleni;
733 else
734 /* Copy element by element. */
735 while (1)
737 register Lisp_Object elt;
739 /* Fetch next element of `this' arg into `elt', or break if
740 `this' is exhausted. */
741 if (NILP (this)) break;
742 if (CONSP (this))
743 elt = XCAR (this), this = XCDR (this);
744 else if (thisindex >= thisleni)
745 break;
746 else if (STRINGP (this))
748 int c;
749 if (STRING_MULTIBYTE (this))
751 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, this,
752 thisindex,
753 thisindex_byte);
754 XSETFASTINT (elt, c);
756 else
758 XSETFASTINT (elt, XSTRING (this)->data[thisindex++]);
759 if (some_multibyte
760 && (XINT (elt) >= 0240
761 || (XINT (elt) >= 0200
762 && ! NILP (Vnonascii_translation_table)))
763 && XINT (elt) < 0400)
765 c = unibyte_char_to_multibyte (XINT (elt));
766 XSETINT (elt, c);
770 else if (BOOL_VECTOR_P (this))
772 int byte;
773 byte = XBOOL_VECTOR (this)->data[thisindex / BITS_PER_CHAR];
774 if (byte & (1 << (thisindex % BITS_PER_CHAR)))
775 elt = Qt;
776 else
777 elt = Qnil;
778 thisindex++;
780 else
781 elt = XVECTOR (this)->contents[thisindex++];
783 /* Store this element into the result. */
784 if (toindex < 0)
786 XCAR (tail) = elt;
787 prev = tail;
788 tail = XCDR (tail);
790 else if (VECTORP (val))
791 XVECTOR (val)->contents[toindex++] = elt;
792 else
794 CHECK_NUMBER (elt, 0);
795 if (SINGLE_BYTE_CHAR_P (XINT (elt)))
797 if (some_multibyte)
798 toindex_byte
799 += CHAR_STRING (XINT (elt),
800 XSTRING (val)->data + toindex_byte);
801 else
802 XSTRING (val)->data[toindex_byte++] = XINT (elt);
803 if (some_multibyte
804 && toindex_byte > 0
805 && count_combining (XSTRING (val)->data,
806 toindex_byte, toindex_byte - 1))
807 XSTRING (val)->size--;
808 else
809 toindex++;
811 else
812 /* If we have any multibyte characters,
813 we already decided to make a multibyte string. */
815 int c = XINT (elt);
816 /* P exists as a variable
817 to avoid a bug on the Masscomp C compiler. */
818 unsigned char *p = & XSTRING (val)->data[toindex_byte];
820 toindex_byte += CHAR_STRING (c, p);
821 toindex++;
826 if (!NILP (prev))
827 XCDR (prev) = last_tail;
829 if (num_textprops > 0)
831 Lisp_Object props;
833 for (argnum = 0; argnum < num_textprops; argnum++)
835 this = args[textprops[argnum].argnum];
836 props = text_property_list (this,
837 make_number (0),
838 make_number (XSTRING (this)->size),
839 Qnil);
840 /* If successive arguments have properites, be sure that the
841 value of `composition' property be the copy. */
842 if (argnum > 0
843 && textprops[argnum - 1].argnum + 1 == textprops[argnum].argnum)
844 make_composition_value_copy (props);
845 add_text_properties_from_list (val, props,
846 make_number (textprops[argnum].to));
849 return val;
852 static Lisp_Object string_char_byte_cache_string;
853 static int string_char_byte_cache_charpos;
854 static int string_char_byte_cache_bytepos;
856 void
857 clear_string_char_byte_cache ()
859 string_char_byte_cache_string = Qnil;
862 /* Return the character index corresponding to CHAR_INDEX in STRING. */
865 string_char_to_byte (string, char_index)
866 Lisp_Object string;
867 int char_index;
869 int i, i_byte;
870 int best_below, best_below_byte;
871 int best_above, best_above_byte;
873 if (! STRING_MULTIBYTE (string))
874 return char_index;
876 best_below = best_below_byte = 0;
877 best_above = XSTRING (string)->size;
878 best_above_byte = STRING_BYTES (XSTRING (string));
880 if (EQ (string, string_char_byte_cache_string))
882 if (string_char_byte_cache_charpos < char_index)
884 best_below = string_char_byte_cache_charpos;
885 best_below_byte = string_char_byte_cache_bytepos;
887 else
889 best_above = string_char_byte_cache_charpos;
890 best_above_byte = string_char_byte_cache_bytepos;
894 if (char_index - best_below < best_above - char_index)
896 while (best_below < char_index)
898 int c;
899 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, string,
900 best_below, best_below_byte);
902 i = best_below;
903 i_byte = best_below_byte;
905 else
907 while (best_above > char_index)
909 unsigned char *pend = XSTRING (string)->data + best_above_byte;
910 unsigned char *pbeg = pend - best_above_byte;
911 unsigned char *p = pend - 1;
912 int bytes;
914 while (p > pbeg && !CHAR_HEAD_P (*p)) p--;
915 PARSE_MULTIBYTE_SEQ (p, pend - p, bytes);
916 if (bytes == pend - p)
917 best_above_byte -= bytes;
918 else if (bytes > pend - p)
919 best_above_byte -= (pend - p);
920 else
921 best_above_byte--;
922 best_above--;
924 i = best_above;
925 i_byte = best_above_byte;
928 string_char_byte_cache_bytepos = i_byte;
929 string_char_byte_cache_charpos = i;
930 string_char_byte_cache_string = string;
932 return i_byte;
935 /* Return the character index corresponding to BYTE_INDEX in STRING. */
938 string_byte_to_char (string, byte_index)
939 Lisp_Object string;
940 int byte_index;
942 int i, i_byte;
943 int best_below, best_below_byte;
944 int best_above, best_above_byte;
946 if (! STRING_MULTIBYTE (string))
947 return byte_index;
949 best_below = best_below_byte = 0;
950 best_above = XSTRING (string)->size;
951 best_above_byte = STRING_BYTES (XSTRING (string));
953 if (EQ (string, string_char_byte_cache_string))
955 if (string_char_byte_cache_bytepos < byte_index)
957 best_below = string_char_byte_cache_charpos;
958 best_below_byte = string_char_byte_cache_bytepos;
960 else
962 best_above = string_char_byte_cache_charpos;
963 best_above_byte = string_char_byte_cache_bytepos;
967 if (byte_index - best_below_byte < best_above_byte - byte_index)
969 while (best_below_byte < byte_index)
971 int c;
972 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, string,
973 best_below, best_below_byte);
975 i = best_below;
976 i_byte = best_below_byte;
978 else
980 while (best_above_byte > byte_index)
982 unsigned char *pend = XSTRING (string)->data + best_above_byte;
983 unsigned char *pbeg = pend - best_above_byte;
984 unsigned char *p = pend - 1;
985 int bytes;
987 while (p > pbeg && !CHAR_HEAD_P (*p)) p--;
988 PARSE_MULTIBYTE_SEQ (p, pend - p, bytes);
989 if (bytes == pend - p)
990 best_above_byte -= bytes;
991 else if (bytes > pend - p)
992 best_above_byte -= (pend - p);
993 else
994 best_above_byte--;
995 best_above--;
997 i = best_above;
998 i_byte = best_above_byte;
1001 string_char_byte_cache_bytepos = i_byte;
1002 string_char_byte_cache_charpos = i;
1003 string_char_byte_cache_string = string;
1005 return i;
1008 /* Convert STRING to a multibyte string.
1009 Single-byte characters 0240 through 0377 are converted
1010 by adding nonascii_insert_offset to each. */
1012 Lisp_Object
1013 string_make_multibyte (string)
1014 Lisp_Object string;
1016 unsigned char *buf;
1017 int nbytes;
1019 if (STRING_MULTIBYTE (string))
1020 return string;
1022 nbytes = count_size_as_multibyte (XSTRING (string)->data,
1023 XSTRING (string)->size);
1024 /* If all the chars are ASCII, they won't need any more bytes
1025 once converted. In that case, we can return STRING itself. */
1026 if (nbytes == STRING_BYTES (XSTRING (string)))
1027 return string;
1029 buf = (unsigned char *) alloca (nbytes);
1030 copy_text (XSTRING (string)->data, buf, STRING_BYTES (XSTRING (string)),
1031 0, 1);
1033 return make_multibyte_string (buf, XSTRING (string)->size, nbytes);
1036 /* Convert STRING to a single-byte string. */
1038 Lisp_Object
1039 string_make_unibyte (string)
1040 Lisp_Object string;
1042 unsigned char *buf;
1044 if (! STRING_MULTIBYTE (string))
1045 return string;
1047 buf = (unsigned char *) alloca (XSTRING (string)->size);
1049 copy_text (XSTRING (string)->data, buf, STRING_BYTES (XSTRING (string)),
1050 1, 0);
1052 return make_unibyte_string (buf, XSTRING (string)->size);
1055 DEFUN ("string-make-multibyte", Fstring_make_multibyte, Sstring_make_multibyte,
1056 1, 1, 0,
1057 "Return the multibyte equivalent of STRING.\n\
1058 The function `unibyte-char-to-multibyte' is used to convert\n\
1059 each unibyte character to a multibyte character.")
1060 (string)
1061 Lisp_Object string;
1063 CHECK_STRING (string, 0);
1065 return string_make_multibyte (string);
1068 DEFUN ("string-make-unibyte", Fstring_make_unibyte, Sstring_make_unibyte,
1069 1, 1, 0,
1070 "Return the unibyte equivalent of STRING.\n\
1071 Multibyte character codes are converted to unibyte\n\
1072 by using just the low 8 bits.")
1073 (string)
1074 Lisp_Object string;
1076 CHECK_STRING (string, 0);
1078 return string_make_unibyte (string);
1081 DEFUN ("string-as-unibyte", Fstring_as_unibyte, Sstring_as_unibyte,
1082 1, 1, 0,
1083 "Return a unibyte string with the same individual bytes as STRING.\n\
1084 If STRING is unibyte, the result is STRING itself.\n\
1085 Otherwise it is a newly created string, with no text properties.\n\
1086 If STRING is multibyte and contains a character of charset\n\
1087 `eight-bit-control' or `eight-bit-graphic', it is converted to the\n\
1088 corresponding single byte.")
1089 (string)
1090 Lisp_Object string;
1092 CHECK_STRING (string, 0);
1094 if (STRING_MULTIBYTE (string))
1096 int bytes = STRING_BYTES (XSTRING (string));
1097 unsigned char *str = (unsigned char *) xmalloc (bytes);
1099 bcopy (XSTRING (string)->data, str, bytes);
1100 bytes = str_as_unibyte (str, bytes);
1101 string = make_unibyte_string (str, bytes);
1102 xfree (str);
1104 return string;
1107 DEFUN ("string-as-multibyte", Fstring_as_multibyte, Sstring_as_multibyte,
1108 1, 1, 0,
1109 "Return a multibyte string with the same individual bytes as STRING.\n\
1110 If STRING is multibyte, the result is STRING itself.\n\
1111 Otherwise it is a newly created string, with no text properties.\n\
1112 If STRING is unibyte and contains an individual 8-bit byte (i.e. not\n\
1113 part of a multibyte form), it is converted to the corresponding\n\
1114 multibyte character of charset `eight-bit-control' or `eight-bit-graphic'.")
1115 (string)
1116 Lisp_Object string;
1118 CHECK_STRING (string, 0);
1120 if (! STRING_MULTIBYTE (string))
1122 Lisp_Object new_string;
1123 int nchars, nbytes;
1125 parse_str_as_multibyte (XSTRING (string)->data,
1126 STRING_BYTES (XSTRING (string)),
1127 &nchars, &nbytes);
1128 new_string = make_uninit_multibyte_string (nchars, nbytes);
1129 bcopy (XSTRING (string)->data, XSTRING (new_string)->data,
1130 STRING_BYTES (XSTRING (string)));
1131 if (nbytes != STRING_BYTES (XSTRING (string)))
1132 str_as_multibyte (XSTRING (new_string)->data, nbytes,
1133 STRING_BYTES (XSTRING (string)), NULL);
1134 string = new_string;
1135 XSTRING (string)->intervals = NULL_INTERVAL;
1137 return string;
1140 DEFUN ("copy-alist", Fcopy_alist, Scopy_alist, 1, 1, 0,
1141 "Return a copy of ALIST.\n\
1142 This is an alist which represents the same mapping from objects to objects,\n\
1143 but does not share the alist structure with ALIST.\n\
1144 The objects mapped (cars and cdrs of elements of the alist)\n\
1145 are shared, however.\n\
1146 Elements of ALIST that are not conses are also shared.")
1147 (alist)
1148 Lisp_Object alist;
1150 register Lisp_Object tem;
1152 CHECK_LIST (alist, 0);
1153 if (NILP (alist))
1154 return alist;
1155 alist = concat (1, &alist, Lisp_Cons, 0);
1156 for (tem = alist; CONSP (tem); tem = XCDR (tem))
1158 register Lisp_Object car;
1159 car = XCAR (tem);
1161 if (CONSP (car))
1162 XCAR (tem) = Fcons (XCAR (car), XCDR (car));
1164 return alist;
1167 DEFUN ("substring", Fsubstring, Ssubstring, 2, 3, 0,
1168 "Return a substring of STRING, starting at index FROM and ending before TO.\n\
1169 TO may be nil or omitted; then the substring runs to the end of STRING.\n\
1170 If FROM or TO is negative, it counts from the end.\n\
1172 This function allows vectors as well as strings.")
1173 (string, from, to)
1174 Lisp_Object string;
1175 register Lisp_Object from, to;
1177 Lisp_Object res;
1178 int size;
1179 int size_byte = 0;
1180 int from_char, to_char;
1181 int from_byte = 0, to_byte = 0;
1183 if (! (STRINGP (string) || VECTORP (string)))
1184 wrong_type_argument (Qarrayp, string);
1186 CHECK_NUMBER (from, 1);
1188 if (STRINGP (string))
1190 size = XSTRING (string)->size;
1191 size_byte = STRING_BYTES (XSTRING (string));
1193 else
1194 size = XVECTOR (string)->size;
1196 if (NILP (to))
1198 to_char = size;
1199 to_byte = size_byte;
1201 else
1203 CHECK_NUMBER (to, 2);
1205 to_char = XINT (to);
1206 if (to_char < 0)
1207 to_char += size;
1209 if (STRINGP (string))
1210 to_byte = string_char_to_byte (string, to_char);
1213 from_char = XINT (from);
1214 if (from_char < 0)
1215 from_char += size;
1216 if (STRINGP (string))
1217 from_byte = string_char_to_byte (string, from_char);
1219 if (!(0 <= from_char && from_char <= to_char && to_char <= size))
1220 args_out_of_range_3 (string, make_number (from_char),
1221 make_number (to_char));
1223 if (STRINGP (string))
1225 res = make_specified_string (XSTRING (string)->data + from_byte,
1226 to_char - from_char, to_byte - from_byte,
1227 STRING_MULTIBYTE (string));
1228 copy_text_properties (make_number (from_char), make_number (to_char),
1229 string, make_number (0), res, Qnil);
1231 else
1232 res = Fvector (to_char - from_char,
1233 XVECTOR (string)->contents + from_char);
1235 return res;
1238 /* Extract a substring of STRING, giving start and end positions
1239 both in characters and in bytes. */
1241 Lisp_Object
1242 substring_both (string, from, from_byte, to, to_byte)
1243 Lisp_Object string;
1244 int from, from_byte, to, to_byte;
1246 Lisp_Object res;
1247 int size;
1248 int size_byte;
1250 if (! (STRINGP (string) || VECTORP (string)))
1251 wrong_type_argument (Qarrayp, string);
1253 if (STRINGP (string))
1255 size = XSTRING (string)->size;
1256 size_byte = STRING_BYTES (XSTRING (string));
1258 else
1259 size = XVECTOR (string)->size;
1261 if (!(0 <= from && from <= to && to <= size))
1262 args_out_of_range_3 (string, make_number (from), make_number (to));
1264 if (STRINGP (string))
1266 res = make_specified_string (XSTRING (string)->data + from_byte,
1267 to - from, to_byte - from_byte,
1268 STRING_MULTIBYTE (string));
1269 copy_text_properties (make_number (from), make_number (to),
1270 string, make_number (0), res, Qnil);
1272 else
1273 res = Fvector (to - from,
1274 XVECTOR (string)->contents + from);
1276 return res;
1279 DEFUN ("nthcdr", Fnthcdr, Snthcdr, 2, 2, 0,
1280 "Take cdr N times on LIST, returns the result.")
1281 (n, list)
1282 Lisp_Object n;
1283 register Lisp_Object list;
1285 register int i, num;
1286 CHECK_NUMBER (n, 0);
1287 num = XINT (n);
1288 for (i = 0; i < num && !NILP (list); i++)
1290 QUIT;
1291 if (! CONSP (list))
1292 wrong_type_argument (Qlistp, list);
1293 list = XCDR (list);
1295 return list;
1298 DEFUN ("nth", Fnth, Snth, 2, 2, 0,
1299 "Return the Nth element of LIST.\n\
1300 N counts from zero. If LIST is not that long, nil is returned.")
1301 (n, list)
1302 Lisp_Object n, list;
1304 return Fcar (Fnthcdr (n, list));
1307 DEFUN ("elt", Felt, Selt, 2, 2, 0,
1308 "Return element of SEQUENCE at index N.")
1309 (sequence, n)
1310 register Lisp_Object sequence, n;
1312 CHECK_NUMBER (n, 0);
1313 while (1)
1315 if (CONSP (sequence) || NILP (sequence))
1316 return Fcar (Fnthcdr (n, sequence));
1317 else if (STRINGP (sequence) || VECTORP (sequence)
1318 || BOOL_VECTOR_P (sequence) || CHAR_TABLE_P (sequence))
1319 return Faref (sequence, n);
1320 else
1321 sequence = wrong_type_argument (Qsequencep, sequence);
1325 DEFUN ("member", Fmember, Smember, 2, 2, 0,
1326 "Return non-nil if ELT is an element of LIST. Comparison done with `equal'.\n\
1327 The value is actually the tail of LIST whose car is ELT.")
1328 (elt, list)
1329 register Lisp_Object elt;
1330 Lisp_Object list;
1332 register Lisp_Object tail;
1333 for (tail = list; !NILP (tail); tail = XCDR (tail))
1335 register Lisp_Object tem;
1336 if (! CONSP (tail))
1337 wrong_type_argument (Qlistp, list);
1338 tem = XCAR (tail);
1339 if (! NILP (Fequal (elt, tem)))
1340 return tail;
1341 QUIT;
1343 return Qnil;
1346 DEFUN ("memq", Fmemq, Smemq, 2, 2, 0,
1347 "Return non-nil if ELT is an element of LIST.\n\
1348 Comparison done with EQ. The value is actually the tail of LIST\n\
1349 whose car is ELT.")
1350 (elt, list)
1351 Lisp_Object elt, list;
1353 while (1)
1355 if (!CONSP (list) || EQ (XCAR (list), elt))
1356 break;
1358 list = XCDR (list);
1359 if (!CONSP (list) || EQ (XCAR (list), elt))
1360 break;
1362 list = XCDR (list);
1363 if (!CONSP (list) || EQ (XCAR (list), elt))
1364 break;
1366 list = XCDR (list);
1367 QUIT;
1370 if (!CONSP (list) && !NILP (list))
1371 list = wrong_type_argument (Qlistp, list);
1373 return list;
1376 DEFUN ("assq", Fassq, Sassq, 2, 2, 0,
1377 "Return non-nil if KEY is `eq' to the car of an element of LIST.\n\
1378 The value is actually the element of LIST whose car is KEY.\n\
1379 Elements of LIST that are not conses are ignored.")
1380 (key, list)
1381 Lisp_Object key, list;
1383 Lisp_Object result;
1385 while (1)
1387 if (!CONSP (list)
1388 || (CONSP (XCAR (list))
1389 && EQ (XCAR (XCAR (list)), key)))
1390 break;
1392 list = XCDR (list);
1393 if (!CONSP (list)
1394 || (CONSP (XCAR (list))
1395 && EQ (XCAR (XCAR (list)), key)))
1396 break;
1398 list = XCDR (list);
1399 if (!CONSP (list)
1400 || (CONSP (XCAR (list))
1401 && EQ (XCAR (XCAR (list)), key)))
1402 break;
1404 list = XCDR (list);
1405 QUIT;
1408 if (CONSP (list))
1409 result = XCAR (list);
1410 else if (NILP (list))
1411 result = Qnil;
1412 else
1413 result = wrong_type_argument (Qlistp, list);
1415 return result;
1418 /* Like Fassq but never report an error and do not allow quits.
1419 Use only on lists known never to be circular. */
1421 Lisp_Object
1422 assq_no_quit (key, list)
1423 Lisp_Object key, list;
1425 while (CONSP (list)
1426 && (!CONSP (XCAR (list))
1427 || !EQ (XCAR (XCAR (list)), key)))
1428 list = XCDR (list);
1430 return CONSP (list) ? XCAR (list) : Qnil;
1433 DEFUN ("assoc", Fassoc, Sassoc, 2, 2, 0,
1434 "Return non-nil if KEY is `equal' to the car of an element of LIST.\n\
1435 The value is actually the element of LIST whose car equals KEY.")
1436 (key, list)
1437 Lisp_Object key, list;
1439 Lisp_Object result, car;
1441 while (1)
1443 if (!CONSP (list)
1444 || (CONSP (XCAR (list))
1445 && (car = XCAR (XCAR (list)),
1446 EQ (car, key) || !NILP (Fequal (car, key)))))
1447 break;
1449 list = XCDR (list);
1450 if (!CONSP (list)
1451 || (CONSP (XCAR (list))
1452 && (car = XCAR (XCAR (list)),
1453 EQ (car, key) || !NILP (Fequal (car, key)))))
1454 break;
1456 list = XCDR (list);
1457 if (!CONSP (list)
1458 || (CONSP (XCAR (list))
1459 && (car = XCAR (XCAR (list)),
1460 EQ (car, key) || !NILP (Fequal (car, key)))))
1461 break;
1463 list = XCDR (list);
1464 QUIT;
1467 if (CONSP (list))
1468 result = XCAR (list);
1469 else if (NILP (list))
1470 result = Qnil;
1471 else
1472 result = wrong_type_argument (Qlistp, list);
1474 return result;
1477 DEFUN ("rassq", Frassq, Srassq, 2, 2, 0,
1478 "Return non-nil if KEY is `eq' to the cdr of an element of LIST.\n\
1479 The value is actually the element of LIST whose cdr is KEY.")
1480 (key, list)
1481 register Lisp_Object key;
1482 Lisp_Object list;
1484 Lisp_Object result;
1486 while (1)
1488 if (!CONSP (list)
1489 || (CONSP (XCAR (list))
1490 && EQ (XCDR (XCAR (list)), key)))
1491 break;
1493 list = XCDR (list);
1494 if (!CONSP (list)
1495 || (CONSP (XCAR (list))
1496 && EQ (XCDR (XCAR (list)), key)))
1497 break;
1499 list = XCDR (list);
1500 if (!CONSP (list)
1501 || (CONSP (XCAR (list))
1502 && EQ (XCDR (XCAR (list)), key)))
1503 break;
1505 list = XCDR (list);
1506 QUIT;
1509 if (NILP (list))
1510 result = Qnil;
1511 else if (CONSP (list))
1512 result = XCAR (list);
1513 else
1514 result = wrong_type_argument (Qlistp, list);
1516 return result;
1519 DEFUN ("rassoc", Frassoc, Srassoc, 2, 2, 0,
1520 "Return non-nil if KEY is `equal' to the cdr of an element of LIST.\n\
1521 The value is actually the element of LIST whose cdr equals KEY.")
1522 (key, list)
1523 Lisp_Object key, list;
1525 Lisp_Object result, cdr;
1527 while (1)
1529 if (!CONSP (list)
1530 || (CONSP (XCAR (list))
1531 && (cdr = XCDR (XCAR (list)),
1532 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1533 break;
1535 list = XCDR (list);
1536 if (!CONSP (list)
1537 || (CONSP (XCAR (list))
1538 && (cdr = XCDR (XCAR (list)),
1539 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1540 break;
1542 list = XCDR (list);
1543 if (!CONSP (list)
1544 || (CONSP (XCAR (list))
1545 && (cdr = XCDR (XCAR (list)),
1546 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1547 break;
1549 list = XCDR (list);
1550 QUIT;
1553 if (CONSP (list))
1554 result = XCAR (list);
1555 else if (NILP (list))
1556 result = Qnil;
1557 else
1558 result = wrong_type_argument (Qlistp, list);
1560 return result;
1563 DEFUN ("delq", Fdelq, Sdelq, 2, 2, 0,
1564 "Delete by side effect any occurrences of ELT as a member of LIST.\n\
1565 The modified LIST is returned. Comparison is done with `eq'.\n\
1566 If the first member of LIST is ELT, there is no way to remove it by side effect;\n\
1567 therefore, write `(setq foo (delq element foo))'\n\
1568 to be sure of changing the value of `foo'.")
1569 (elt, list)
1570 register Lisp_Object elt;
1571 Lisp_Object list;
1573 register Lisp_Object tail, prev;
1574 register Lisp_Object tem;
1576 tail = list;
1577 prev = Qnil;
1578 while (!NILP (tail))
1580 if (! CONSP (tail))
1581 wrong_type_argument (Qlistp, list);
1582 tem = XCAR (tail);
1583 if (EQ (elt, tem))
1585 if (NILP (prev))
1586 list = XCDR (tail);
1587 else
1588 Fsetcdr (prev, XCDR (tail));
1590 else
1591 prev = tail;
1592 tail = XCDR (tail);
1593 QUIT;
1595 return list;
1598 DEFUN ("delete", Fdelete, Sdelete, 2, 2, 0,
1599 "Delete by side effect any occurrences of ELT as a member of SEQ.\n\
1600 SEQ must be a list, a vector, or a string.\n\
1601 The modified SEQ is returned. Comparison is done with `equal'.\n\
1602 If SEQ is not a list, or the first member of SEQ is ELT, deleting it\n\
1603 is not a side effect; it is simply using a different sequence.\n\
1604 Therefore, write `(setq foo (delete element foo))'\n\
1605 to be sure of changing the value of `foo'.")
1606 (elt, seq)
1607 Lisp_Object elt, seq;
1609 if (VECTORP (seq))
1611 EMACS_INT i, n, size;
1613 for (i = n = 0; i < ASIZE (seq); ++i)
1614 if (NILP (Fequal (AREF (seq, i), elt)))
1615 ++n;
1617 if (n != ASIZE (seq))
1619 struct Lisp_Vector *p = allocate_vectorlike (n);
1621 for (i = n = 0; i < ASIZE (seq); ++i)
1622 if (NILP (Fequal (AREF (seq, i), elt)))
1623 p->contents[n++] = AREF (seq, i);
1625 p->size = n;
1626 XSETVECTOR (seq, p);
1629 else if (STRINGP (seq))
1631 EMACS_INT i, ibyte, nchars, nbytes, cbytes;
1632 int c;
1634 for (i = nchars = nbytes = ibyte = 0;
1635 i < XSTRING (seq)->size;
1636 ++i, ibyte += cbytes)
1638 if (STRING_MULTIBYTE (seq))
1640 c = STRING_CHAR (&XSTRING (seq)->data[ibyte],
1641 STRING_BYTES (XSTRING (seq)) - ibyte);
1642 cbytes = CHAR_BYTES (c);
1644 else
1646 c = XSTRING (seq)->data[i];
1647 cbytes = 1;
1650 if (!INTEGERP (elt) || c != XINT (elt))
1652 ++nchars;
1653 nbytes += cbytes;
1657 if (nchars != XSTRING (seq)->size)
1659 Lisp_Object tem;
1661 tem = make_uninit_multibyte_string (nchars, nbytes);
1662 if (!STRING_MULTIBYTE (seq))
1663 SET_STRING_BYTES (XSTRING (tem), -1);
1665 for (i = nchars = nbytes = ibyte = 0;
1666 i < XSTRING (seq)->size;
1667 ++i, ibyte += cbytes)
1669 if (STRING_MULTIBYTE (seq))
1671 c = STRING_CHAR (&XSTRING (seq)->data[ibyte],
1672 STRING_BYTES (XSTRING (seq)) - ibyte);
1673 cbytes = CHAR_BYTES (c);
1675 else
1677 c = XSTRING (seq)->data[i];
1678 cbytes = 1;
1681 if (!INTEGERP (elt) || c != XINT (elt))
1683 unsigned char *from = &XSTRING (seq)->data[ibyte];
1684 unsigned char *to = &XSTRING (tem)->data[nbytes];
1685 EMACS_INT n;
1687 ++nchars;
1688 nbytes += cbytes;
1690 for (n = cbytes; n--; )
1691 *to++ = *from++;
1695 seq = tem;
1698 else
1700 Lisp_Object tail, prev;
1702 for (tail = seq, prev = Qnil; !NILP (tail); tail = XCDR (tail))
1704 if (!CONSP (tail))
1705 wrong_type_argument (Qlistp, seq);
1707 if (!NILP (Fequal (elt, XCAR (tail))))
1709 if (NILP (prev))
1710 seq = XCDR (tail);
1711 else
1712 Fsetcdr (prev, XCDR (tail));
1714 else
1715 prev = tail;
1716 QUIT;
1720 return seq;
1723 DEFUN ("nreverse", Fnreverse, Snreverse, 1, 1, 0,
1724 "Reverse LIST by modifying cdr pointers.\n\
1725 Returns the beginning of the reversed list.")
1726 (list)
1727 Lisp_Object list;
1729 register Lisp_Object prev, tail, next;
1731 if (NILP (list)) return list;
1732 prev = Qnil;
1733 tail = list;
1734 while (!NILP (tail))
1736 QUIT;
1737 if (! CONSP (tail))
1738 wrong_type_argument (Qlistp, list);
1739 next = XCDR (tail);
1740 Fsetcdr (tail, prev);
1741 prev = tail;
1742 tail = next;
1744 return prev;
1747 DEFUN ("reverse", Freverse, Sreverse, 1, 1, 0,
1748 "Reverse LIST, copying. Returns the beginning of the reversed list.\n\
1749 See also the function `nreverse', which is used more often.")
1750 (list)
1751 Lisp_Object list;
1753 Lisp_Object new;
1755 for (new = Qnil; CONSP (list); list = XCDR (list))
1756 new = Fcons (XCAR (list), new);
1757 if (!NILP (list))
1758 wrong_type_argument (Qconsp, list);
1759 return new;
1762 Lisp_Object merge ();
1764 DEFUN ("sort", Fsort, Ssort, 2, 2, 0,
1765 "Sort LIST, stably, comparing elements using PREDICATE.\n\
1766 Returns the sorted list. LIST is modified by side effects.\n\
1767 PREDICATE is called with two elements of LIST, and should return T\n\
1768 if the first element is \"less\" than the second.")
1769 (list, predicate)
1770 Lisp_Object list, predicate;
1772 Lisp_Object front, back;
1773 register Lisp_Object len, tem;
1774 struct gcpro gcpro1, gcpro2;
1775 register int length;
1777 front = list;
1778 len = Flength (list);
1779 length = XINT (len);
1780 if (length < 2)
1781 return list;
1783 XSETINT (len, (length / 2) - 1);
1784 tem = Fnthcdr (len, list);
1785 back = Fcdr (tem);
1786 Fsetcdr (tem, Qnil);
1788 GCPRO2 (front, back);
1789 front = Fsort (front, predicate);
1790 back = Fsort (back, predicate);
1791 UNGCPRO;
1792 return merge (front, back, predicate);
1795 Lisp_Object
1796 merge (org_l1, org_l2, pred)
1797 Lisp_Object org_l1, org_l2;
1798 Lisp_Object pred;
1800 Lisp_Object value;
1801 register Lisp_Object tail;
1802 Lisp_Object tem;
1803 register Lisp_Object l1, l2;
1804 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
1806 l1 = org_l1;
1807 l2 = org_l2;
1808 tail = Qnil;
1809 value = Qnil;
1811 /* It is sufficient to protect org_l1 and org_l2.
1812 When l1 and l2 are updated, we copy the new values
1813 back into the org_ vars. */
1814 GCPRO4 (org_l1, org_l2, pred, value);
1816 while (1)
1818 if (NILP (l1))
1820 UNGCPRO;
1821 if (NILP (tail))
1822 return l2;
1823 Fsetcdr (tail, l2);
1824 return value;
1826 if (NILP (l2))
1828 UNGCPRO;
1829 if (NILP (tail))
1830 return l1;
1831 Fsetcdr (tail, l1);
1832 return value;
1834 tem = call2 (pred, Fcar (l2), Fcar (l1));
1835 if (NILP (tem))
1837 tem = l1;
1838 l1 = Fcdr (l1);
1839 org_l1 = l1;
1841 else
1843 tem = l2;
1844 l2 = Fcdr (l2);
1845 org_l2 = l2;
1847 if (NILP (tail))
1848 value = tem;
1849 else
1850 Fsetcdr (tail, tem);
1851 tail = tem;
1856 DEFUN ("plist-get", Fplist_get, Splist_get, 2, 2, 0,
1857 "Extract a value from a property list.\n\
1858 PLIST is a property list, which is a list of the form\n\
1859 \(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value\n\
1860 corresponding to the given PROP, or nil if PROP is not\n\
1861 one of the properties on the list.")
1862 (plist, prop)
1863 Lisp_Object plist;
1864 register Lisp_Object prop;
1866 register Lisp_Object tail;
1867 for (tail = plist; !NILP (tail); tail = Fcdr (XCDR (tail)))
1869 register Lisp_Object tem;
1870 tem = Fcar (tail);
1871 if (EQ (prop, tem))
1872 return Fcar (XCDR (tail));
1874 return Qnil;
1877 DEFUN ("get", Fget, Sget, 2, 2, 0,
1878 "Return the value of SYMBOL's PROPNAME property.\n\
1879 This is the last value stored with `(put SYMBOL PROPNAME VALUE)'.")
1880 (symbol, propname)
1881 Lisp_Object symbol, propname;
1883 CHECK_SYMBOL (symbol, 0);
1884 return Fplist_get (XSYMBOL (symbol)->plist, propname);
1887 DEFUN ("plist-put", Fplist_put, Splist_put, 3, 3, 0,
1888 "Change value in PLIST of PROP to VAL.\n\
1889 PLIST is a property list, which is a list of the form\n\
1890 \(PROP1 VALUE1 PROP2 VALUE2 ...). PROP is a symbol and VAL is any object.\n\
1891 If PROP is already a property on the list, its value is set to VAL,\n\
1892 otherwise the new PROP VAL pair is added. The new plist is returned;\n\
1893 use `(setq x (plist-put x prop val))' to be sure to use the new value.\n\
1894 The PLIST is modified by side effects.")
1895 (plist, prop, val)
1896 Lisp_Object plist;
1897 register Lisp_Object prop;
1898 Lisp_Object val;
1900 register Lisp_Object tail, prev;
1901 Lisp_Object newcell;
1902 prev = Qnil;
1903 for (tail = plist; CONSP (tail) && CONSP (XCDR (tail));
1904 tail = XCDR (XCDR (tail)))
1906 if (EQ (prop, XCAR (tail)))
1908 Fsetcar (XCDR (tail), val);
1909 return plist;
1911 prev = tail;
1913 newcell = Fcons (prop, Fcons (val, Qnil));
1914 if (NILP (prev))
1915 return newcell;
1916 else
1917 Fsetcdr (XCDR (prev), newcell);
1918 return plist;
1921 DEFUN ("put", Fput, Sput, 3, 3, 0,
1922 "Store SYMBOL's PROPNAME property with value VALUE.\n\
1923 It can be retrieved with `(get SYMBOL PROPNAME)'.")
1924 (symbol, propname, value)
1925 Lisp_Object symbol, propname, value;
1927 CHECK_SYMBOL (symbol, 0);
1928 XSYMBOL (symbol)->plist
1929 = Fplist_put (XSYMBOL (symbol)->plist, propname, value);
1930 return value;
1933 DEFUN ("equal", Fequal, Sequal, 2, 2, 0,
1934 "Return t if two Lisp objects have similar structure and contents.\n\
1935 They must have the same data type.\n\
1936 Conses are compared by comparing the cars and the cdrs.\n\
1937 Vectors and strings are compared element by element.\n\
1938 Numbers are compared by value, but integers cannot equal floats.\n\
1939 (Use `=' if you want integers and floats to be able to be equal.)\n\
1940 Symbols must match exactly.")
1941 (o1, o2)
1942 register Lisp_Object o1, o2;
1944 return internal_equal (o1, o2, 0) ? Qt : Qnil;
1947 static int
1948 internal_equal (o1, o2, depth)
1949 register Lisp_Object o1, o2;
1950 int depth;
1952 if (depth > 200)
1953 error ("Stack overflow in equal");
1955 tail_recurse:
1956 QUIT;
1957 if (EQ (o1, o2))
1958 return 1;
1959 if (XTYPE (o1) != XTYPE (o2))
1960 return 0;
1962 switch (XTYPE (o1))
1964 case Lisp_Float:
1965 return (extract_float (o1) == extract_float (o2));
1967 case Lisp_Cons:
1968 if (!internal_equal (XCAR (o1), XCAR (o2), depth + 1))
1969 return 0;
1970 o1 = XCDR (o1);
1971 o2 = XCDR (o2);
1972 goto tail_recurse;
1974 case Lisp_Misc:
1975 if (XMISCTYPE (o1) != XMISCTYPE (o2))
1976 return 0;
1977 if (OVERLAYP (o1))
1979 if (!internal_equal (OVERLAY_START (o1), OVERLAY_START (o2),
1980 depth + 1)
1981 || !internal_equal (OVERLAY_END (o1), OVERLAY_END (o2),
1982 depth + 1))
1983 return 0;
1984 o1 = XOVERLAY (o1)->plist;
1985 o2 = XOVERLAY (o2)->plist;
1986 goto tail_recurse;
1988 if (MARKERP (o1))
1990 return (XMARKER (o1)->buffer == XMARKER (o2)->buffer
1991 && (XMARKER (o1)->buffer == 0
1992 || XMARKER (o1)->bytepos == XMARKER (o2)->bytepos));
1994 break;
1996 case Lisp_Vectorlike:
1998 register int i, size;
1999 size = XVECTOR (o1)->size;
2000 /* Pseudovectors have the type encoded in the size field, so this test
2001 actually checks that the objects have the same type as well as the
2002 same size. */
2003 if (XVECTOR (o2)->size != size)
2004 return 0;
2005 /* Boolvectors are compared much like strings. */
2006 if (BOOL_VECTOR_P (o1))
2008 int size_in_chars
2009 = (XBOOL_VECTOR (o1)->size + BITS_PER_CHAR - 1) / BITS_PER_CHAR;
2011 if (XBOOL_VECTOR (o1)->size != XBOOL_VECTOR (o2)->size)
2012 return 0;
2013 if (bcmp (XBOOL_VECTOR (o1)->data, XBOOL_VECTOR (o2)->data,
2014 size_in_chars))
2015 return 0;
2016 return 1;
2018 if (WINDOW_CONFIGURATIONP (o1))
2019 return compare_window_configurations (o1, o2, 0);
2021 /* Aside from them, only true vectors, char-tables, and compiled
2022 functions are sensible to compare, so eliminate the others now. */
2023 if (size & PSEUDOVECTOR_FLAG)
2025 if (!(size & (PVEC_COMPILED | PVEC_CHAR_TABLE)))
2026 return 0;
2027 size &= PSEUDOVECTOR_SIZE_MASK;
2029 for (i = 0; i < size; i++)
2031 Lisp_Object v1, v2;
2032 v1 = XVECTOR (o1)->contents [i];
2033 v2 = XVECTOR (o2)->contents [i];
2034 if (!internal_equal (v1, v2, depth + 1))
2035 return 0;
2037 return 1;
2039 break;
2041 case Lisp_String:
2042 if (XSTRING (o1)->size != XSTRING (o2)->size)
2043 return 0;
2044 if (STRING_BYTES (XSTRING (o1)) != STRING_BYTES (XSTRING (o2)))
2045 return 0;
2046 if (bcmp (XSTRING (o1)->data, XSTRING (o2)->data,
2047 STRING_BYTES (XSTRING (o1))))
2048 return 0;
2049 return 1;
2051 case Lisp_Int:
2052 case Lisp_Symbol:
2053 case Lisp_Type_Limit:
2054 break;
2057 return 0;
2060 extern Lisp_Object Fmake_char_internal ();
2062 DEFUN ("fillarray", Ffillarray, Sfillarray, 2, 2, 0,
2063 "Store each element of ARRAY with ITEM.\n\
2064 ARRAY is a vector, string, char-table, or bool-vector.")
2065 (array, item)
2066 Lisp_Object array, item;
2068 register int size, index, charval;
2069 retry:
2070 if (VECTORP (array))
2072 register Lisp_Object *p = XVECTOR (array)->contents;
2073 size = XVECTOR (array)->size;
2074 for (index = 0; index < size; index++)
2075 p[index] = item;
2077 else if (CHAR_TABLE_P (array))
2079 register Lisp_Object *p = XCHAR_TABLE (array)->contents;
2080 size = CHAR_TABLE_ORDINARY_SLOTS;
2081 for (index = 0; index < size; index++)
2082 p[index] = item;
2083 XCHAR_TABLE (array)->defalt = Qnil;
2085 else if (STRINGP (array))
2087 register unsigned char *p = XSTRING (array)->data;
2088 CHECK_NUMBER (item, 1);
2089 charval = XINT (item);
2090 size = XSTRING (array)->size;
2091 if (STRING_MULTIBYTE (array))
2093 unsigned char str[MAX_MULTIBYTE_LENGTH];
2094 int len = CHAR_STRING (charval, str);
2095 int size_byte = STRING_BYTES (XSTRING (array));
2096 unsigned char *p1 = p, *endp = p + size_byte;
2097 int i;
2099 if (size != size_byte)
2100 while (p1 < endp)
2102 int this_len = MULTIBYTE_FORM_LENGTH (p1, endp - p1);
2103 if (len != this_len)
2104 error ("Attempt to change byte length of a string");
2105 p1 += this_len;
2107 for (i = 0; i < size_byte; i++)
2108 *p++ = str[i % len];
2110 else
2111 for (index = 0; index < size; index++)
2112 p[index] = charval;
2114 else if (BOOL_VECTOR_P (array))
2116 register unsigned char *p = XBOOL_VECTOR (array)->data;
2117 int size_in_chars
2118 = (XBOOL_VECTOR (array)->size + BITS_PER_CHAR - 1) / BITS_PER_CHAR;
2120 charval = (! NILP (item) ? -1 : 0);
2121 for (index = 0; index < size_in_chars; index++)
2122 p[index] = charval;
2124 else
2126 array = wrong_type_argument (Qarrayp, array);
2127 goto retry;
2129 return array;
2132 DEFUN ("char-table-subtype", Fchar_table_subtype, Schar_table_subtype,
2133 1, 1, 0,
2134 "Return the subtype of char-table CHAR-TABLE. The value is a symbol.")
2135 (char_table)
2136 Lisp_Object char_table;
2138 CHECK_CHAR_TABLE (char_table, 0);
2140 return XCHAR_TABLE (char_table)->purpose;
2143 DEFUN ("char-table-parent", Fchar_table_parent, Schar_table_parent,
2144 1, 1, 0,
2145 "Return the parent char-table of CHAR-TABLE.\n\
2146 The value is either nil or another char-table.\n\
2147 If CHAR-TABLE holds nil for a given character,\n\
2148 then the actual applicable value is inherited from the parent char-table\n\
2149 \(or from its parents, if necessary).")
2150 (char_table)
2151 Lisp_Object char_table;
2153 CHECK_CHAR_TABLE (char_table, 0);
2155 return XCHAR_TABLE (char_table)->parent;
2158 DEFUN ("set-char-table-parent", Fset_char_table_parent, Sset_char_table_parent,
2159 2, 2, 0,
2160 "Set the parent char-table of CHAR-TABLE to PARENT.\n\
2161 PARENT must be either nil or another char-table.")
2162 (char_table, parent)
2163 Lisp_Object char_table, parent;
2165 Lisp_Object temp;
2167 CHECK_CHAR_TABLE (char_table, 0);
2169 if (!NILP (parent))
2171 CHECK_CHAR_TABLE (parent, 0);
2173 for (temp = parent; !NILP (temp); temp = XCHAR_TABLE (temp)->parent)
2174 if (EQ (temp, char_table))
2175 error ("Attempt to make a chartable be its own parent");
2178 XCHAR_TABLE (char_table)->parent = parent;
2180 return parent;
2183 DEFUN ("char-table-extra-slot", Fchar_table_extra_slot, Schar_table_extra_slot,
2184 2, 2, 0,
2185 "Return the value of CHAR-TABLE's extra-slot number N.")
2186 (char_table, n)
2187 Lisp_Object char_table, n;
2189 CHECK_CHAR_TABLE (char_table, 1);
2190 CHECK_NUMBER (n, 2);
2191 if (XINT (n) < 0
2192 || XINT (n) >= CHAR_TABLE_EXTRA_SLOTS (XCHAR_TABLE (char_table)))
2193 args_out_of_range (char_table, n);
2195 return XCHAR_TABLE (char_table)->extras[XINT (n)];
2198 DEFUN ("set-char-table-extra-slot", Fset_char_table_extra_slot,
2199 Sset_char_table_extra_slot,
2200 3, 3, 0,
2201 "Set CHAR-TABLE's extra-slot number N to VALUE.")
2202 (char_table, n, value)
2203 Lisp_Object char_table, n, value;
2205 CHECK_CHAR_TABLE (char_table, 1);
2206 CHECK_NUMBER (n, 2);
2207 if (XINT (n) < 0
2208 || XINT (n) >= CHAR_TABLE_EXTRA_SLOTS (XCHAR_TABLE (char_table)))
2209 args_out_of_range (char_table, n);
2211 return XCHAR_TABLE (char_table)->extras[XINT (n)] = value;
2214 DEFUN ("char-table-range", Fchar_table_range, Schar_table_range,
2215 2, 2, 0,
2216 "Return the value in CHAR-TABLE for a range of characters RANGE.\n\
2217 RANGE should be nil (for the default value)\n\
2218 a vector which identifies a character set or a row of a character set,\n\
2219 a character set name, or a character code.")
2220 (char_table, range)
2221 Lisp_Object char_table, range;
2223 CHECK_CHAR_TABLE (char_table, 0);
2225 if (EQ (range, Qnil))
2226 return XCHAR_TABLE (char_table)->defalt;
2227 else if (INTEGERP (range))
2228 return Faref (char_table, range);
2229 else if (SYMBOLP (range))
2231 Lisp_Object charset_info;
2233 charset_info = Fget (range, Qcharset);
2234 CHECK_VECTOR (charset_info, 0);
2236 return Faref (char_table,
2237 make_number (XINT (XVECTOR (charset_info)->contents[0])
2238 + 128));
2240 else if (VECTORP (range))
2242 if (XVECTOR (range)->size == 1)
2243 return Faref (char_table,
2244 make_number (XINT (XVECTOR (range)->contents[0]) + 128));
2245 else
2247 int size = XVECTOR (range)->size;
2248 Lisp_Object *val = XVECTOR (range)->contents;
2249 Lisp_Object ch = Fmake_char_internal (size <= 0 ? Qnil : val[0],
2250 size <= 1 ? Qnil : val[1],
2251 size <= 2 ? Qnil : val[2]);
2252 return Faref (char_table, ch);
2255 else
2256 error ("Invalid RANGE argument to `char-table-range'");
2257 return Qt;
2260 DEFUN ("set-char-table-range", Fset_char_table_range, Sset_char_table_range,
2261 3, 3, 0,
2262 "Set the value in CHAR-TABLE for a range of characters RANGE to VALUE.\n\
2263 RANGE should be t (for all characters), nil (for the default value)\n\
2264 a vector which identifies a character set or a row of a character set,\n\
2265 a coding system, or a character code.")
2266 (char_table, range, value)
2267 Lisp_Object char_table, range, value;
2269 int i;
2271 CHECK_CHAR_TABLE (char_table, 0);
2273 if (EQ (range, Qt))
2274 for (i = 0; i < CHAR_TABLE_ORDINARY_SLOTS; i++)
2275 XCHAR_TABLE (char_table)->contents[i] = value;
2276 else if (EQ (range, Qnil))
2277 XCHAR_TABLE (char_table)->defalt = value;
2278 else if (SYMBOLP (range))
2280 Lisp_Object charset_info;
2282 charset_info = Fget (range, Qcharset);
2283 CHECK_VECTOR (charset_info, 0);
2285 return Faset (char_table,
2286 make_number (XINT (XVECTOR (charset_info)->contents[0])
2287 + 128),
2288 value);
2290 else if (INTEGERP (range))
2291 Faset (char_table, range, value);
2292 else if (VECTORP (range))
2294 if (XVECTOR (range)->size == 1)
2295 return Faset (char_table,
2296 make_number (XINT (XVECTOR (range)->contents[0]) + 128),
2297 value);
2298 else
2300 int size = XVECTOR (range)->size;
2301 Lisp_Object *val = XVECTOR (range)->contents;
2302 Lisp_Object ch = Fmake_char_internal (size <= 0 ? Qnil : val[0],
2303 size <= 1 ? Qnil : val[1],
2304 size <= 2 ? Qnil : val[2]);
2305 return Faset (char_table, ch, value);
2308 else
2309 error ("Invalid RANGE argument to `set-char-table-range'");
2311 return value;
2314 DEFUN ("set-char-table-default", Fset_char_table_default,
2315 Sset_char_table_default, 3, 3, 0,
2316 "Set the default value in CHAR-TABLE for a generic character CHAR to VALUE.\n\
2317 The generic character specifies the group of characters.\n\
2318 See also the documentation of make-char.")
2319 (char_table, ch, value)
2320 Lisp_Object char_table, ch, value;
2322 int c, charset, code1, code2;
2323 Lisp_Object temp;
2325 CHECK_CHAR_TABLE (char_table, 0);
2326 CHECK_NUMBER (ch, 1);
2328 c = XINT (ch);
2329 SPLIT_CHAR (c, charset, code1, code2);
2331 /* Since we may want to set the default value for a character set
2332 not yet defined, we check only if the character set is in the
2333 valid range or not, instead of it is already defined or not. */
2334 if (! CHARSET_VALID_P (charset))
2335 invalid_character (c);
2337 if (charset == CHARSET_ASCII)
2338 return (XCHAR_TABLE (char_table)->defalt = value);
2340 /* Even if C is not a generic char, we had better behave as if a
2341 generic char is specified. */
2342 if (CHARSET_DIMENSION (charset) == 1)
2343 code1 = 0;
2344 temp = XCHAR_TABLE (char_table)->contents[charset + 128];
2345 if (!code1)
2347 if (SUB_CHAR_TABLE_P (temp))
2348 XCHAR_TABLE (temp)->defalt = value;
2349 else
2350 XCHAR_TABLE (char_table)->contents[charset + 128] = value;
2351 return value;
2353 char_table = temp;
2354 if (! SUB_CHAR_TABLE_P (char_table))
2355 char_table = (XCHAR_TABLE (char_table)->contents[charset + 128]
2356 = make_sub_char_table (temp));
2357 temp = XCHAR_TABLE (char_table)->contents[code1];
2358 if (SUB_CHAR_TABLE_P (temp))
2359 XCHAR_TABLE (temp)->defalt = value;
2360 else
2361 XCHAR_TABLE (char_table)->contents[code1] = value;
2362 return value;
2365 /* Look up the element in TABLE at index CH,
2366 and return it as an integer.
2367 If the element is nil, return CH itself.
2368 (Actually we do that for any non-integer.) */
2371 char_table_translate (table, ch)
2372 Lisp_Object table;
2373 int ch;
2375 Lisp_Object value;
2376 value = Faref (table, make_number (ch));
2377 if (! INTEGERP (value))
2378 return ch;
2379 return XINT (value);
2382 static void
2383 optimize_sub_char_table (table, chars)
2384 Lisp_Object *table;
2385 int chars;
2387 Lisp_Object elt;
2388 int from, to;
2390 if (chars == 94)
2391 from = 33, to = 127;
2392 else
2393 from = 32, to = 128;
2395 if (!SUB_CHAR_TABLE_P (*table))
2396 return;
2397 elt = XCHAR_TABLE (*table)->contents[from++];
2398 for (; from < to; from++)
2399 if (NILP (Fequal (elt, XCHAR_TABLE (*table)->contents[from])))
2400 return;
2401 *table = elt;
2404 DEFUN ("optimize-char-table", Foptimize_char_table, Soptimize_char_table,
2405 1, 1, 0,
2406 "Optimize char table TABLE.")
2407 (table)
2408 Lisp_Object table;
2410 Lisp_Object elt;
2411 int dim;
2412 int i, j;
2414 CHECK_CHAR_TABLE (table, 0);
2416 for (i = CHAR_TABLE_SINGLE_BYTE_SLOTS; i < CHAR_TABLE_ORDINARY_SLOTS; i++)
2418 elt = XCHAR_TABLE (table)->contents[i];
2419 if (!SUB_CHAR_TABLE_P (elt))
2420 continue;
2421 dim = CHARSET_DIMENSION (i);
2422 if (dim == 2)
2423 for (j = 32; j < SUB_CHAR_TABLE_ORDINARY_SLOTS; j++)
2424 optimize_sub_char_table (XCHAR_TABLE (elt)->contents + j, dim);
2425 optimize_sub_char_table (XCHAR_TABLE (table)->contents + i, dim);
2427 return Qnil;
2431 /* Map C_FUNCTION or FUNCTION over SUBTABLE, calling it for each
2432 character or group of characters that share a value.
2433 DEPTH is the current depth in the originally specified
2434 chartable, and INDICES contains the vector indices
2435 for the levels our callers have descended.
2437 ARG is passed to C_FUNCTION when that is called. */
2439 void
2440 map_char_table (c_function, function, subtable, arg, depth, indices)
2441 void (*c_function) P_ ((Lisp_Object, Lisp_Object, Lisp_Object));
2442 Lisp_Object function, subtable, arg, *indices;
2443 int depth;
2445 int i, to;
2447 if (depth == 0)
2449 /* At first, handle ASCII and 8-bit European characters. */
2450 for (i = 0; i < CHAR_TABLE_SINGLE_BYTE_SLOTS; i++)
2452 Lisp_Object elt = XCHAR_TABLE (subtable)->contents[i];
2453 if (c_function)
2454 (*c_function) (arg, make_number (i), elt);
2455 else
2456 call2 (function, make_number (i), elt);
2458 #if 0 /* If the char table has entries for higher characters,
2459 we should report them. */
2460 if (NILP (current_buffer->enable_multibyte_characters))
2461 return;
2462 #endif
2463 to = CHAR_TABLE_ORDINARY_SLOTS;
2465 else
2467 int charset = XFASTINT (indices[0]) - 128;
2469 i = 32;
2470 to = SUB_CHAR_TABLE_ORDINARY_SLOTS;
2471 if (CHARSET_CHARS (charset) == 94)
2472 i++, to--;
2475 for (; i < to; i++)
2477 Lisp_Object elt;
2478 int charset;
2480 elt = XCHAR_TABLE (subtable)->contents[i];
2481 XSETFASTINT (indices[depth], i);
2482 charset = XFASTINT (indices[0]) - 128;
2483 if (depth == 0
2484 && (!CHARSET_DEFINED_P (charset)
2485 || charset == CHARSET_8_BIT_CONTROL
2486 || charset == CHARSET_8_BIT_GRAPHIC))
2487 continue;
2489 if (SUB_CHAR_TABLE_P (elt))
2491 if (depth >= 3)
2492 error ("Too deep char table");
2493 map_char_table (c_function, function, elt, arg, depth + 1, indices);
2495 else
2497 int c1, c2, c;
2499 if (NILP (elt))
2500 elt = XCHAR_TABLE (subtable)->defalt;
2501 c1 = depth >= 1 ? XFASTINT (indices[1]) : 0;
2502 c2 = depth >= 2 ? XFASTINT (indices[2]) : 0;
2503 c = MAKE_CHAR (charset, c1, c2);
2504 if (c_function)
2505 (*c_function) (arg, make_number (c), elt);
2506 else
2507 call2 (function, make_number (c), elt);
2512 DEFUN ("map-char-table", Fmap_char_table, Smap_char_table,
2513 2, 2, 0,
2514 "Call FUNCTION for each (normal and generic) characters in CHAR-TABLE.\n\
2515 FUNCTION is called with two arguments--a key and a value.\n\
2516 The key is always a possible IDX argument to `aref'.")
2517 (function, char_table)
2518 Lisp_Object function, char_table;
2520 /* The depth of char table is at most 3. */
2521 Lisp_Object indices[3];
2523 CHECK_CHAR_TABLE (char_table, 1);
2525 map_char_table (NULL, function, char_table, char_table, 0, indices);
2526 return Qnil;
2529 /* Return a value for character C in char-table TABLE. Store the
2530 actual index for that value in *IDX. Ignore the default value of
2531 TABLE. */
2533 Lisp_Object
2534 char_table_ref_and_index (table, c, idx)
2535 Lisp_Object table;
2536 int c, *idx;
2538 int charset, c1, c2;
2539 Lisp_Object elt;
2541 if (SINGLE_BYTE_CHAR_P (c))
2543 *idx = c;
2544 return XCHAR_TABLE (table)->contents[c];
2546 SPLIT_CHAR (c, charset, c1, c2);
2547 elt = XCHAR_TABLE (table)->contents[charset + 128];
2548 *idx = MAKE_CHAR (charset, 0, 0);
2549 if (!SUB_CHAR_TABLE_P (elt))
2550 return elt;
2551 if (c1 < 32 || NILP (XCHAR_TABLE (elt)->contents[c1]))
2552 return XCHAR_TABLE (elt)->defalt;
2553 elt = XCHAR_TABLE (elt)->contents[c1];
2554 *idx = MAKE_CHAR (charset, c1, 0);
2555 if (!SUB_CHAR_TABLE_P (elt))
2556 return elt;
2557 if (c2 < 32 || NILP (XCHAR_TABLE (elt)->contents[c2]))
2558 return XCHAR_TABLE (elt)->defalt;
2559 *idx = c;
2560 return XCHAR_TABLE (elt)->contents[c2];
2564 /* ARGSUSED */
2565 Lisp_Object
2566 nconc2 (s1, s2)
2567 Lisp_Object s1, s2;
2569 #ifdef NO_ARG_ARRAY
2570 Lisp_Object args[2];
2571 args[0] = s1;
2572 args[1] = s2;
2573 return Fnconc (2, args);
2574 #else
2575 return Fnconc (2, &s1);
2576 #endif /* NO_ARG_ARRAY */
2579 DEFUN ("nconc", Fnconc, Snconc, 0, MANY, 0,
2580 "Concatenate any number of lists by altering them.\n\
2581 Only the last argument is not altered, and need not be a list.")
2582 (nargs, args)
2583 int nargs;
2584 Lisp_Object *args;
2586 register int argnum;
2587 register Lisp_Object tail, tem, val;
2589 val = tail = Qnil;
2591 for (argnum = 0; argnum < nargs; argnum++)
2593 tem = args[argnum];
2594 if (NILP (tem)) continue;
2596 if (NILP (val))
2597 val = tem;
2599 if (argnum + 1 == nargs) break;
2601 if (!CONSP (tem))
2602 tem = wrong_type_argument (Qlistp, tem);
2604 while (CONSP (tem))
2606 tail = tem;
2607 tem = Fcdr (tail);
2608 QUIT;
2611 tem = args[argnum + 1];
2612 Fsetcdr (tail, tem);
2613 if (NILP (tem))
2614 args[argnum + 1] = tail;
2617 return val;
2620 /* This is the guts of all mapping functions.
2621 Apply FN to each element of SEQ, one by one,
2622 storing the results into elements of VALS, a C vector of Lisp_Objects.
2623 LENI is the length of VALS, which should also be the length of SEQ. */
2625 static void
2626 mapcar1 (leni, vals, fn, seq)
2627 int leni;
2628 Lisp_Object *vals;
2629 Lisp_Object fn, seq;
2631 register Lisp_Object tail;
2632 Lisp_Object dummy;
2633 register int i;
2634 struct gcpro gcpro1, gcpro2, gcpro3;
2636 if (vals)
2638 /* Don't let vals contain any garbage when GC happens. */
2639 for (i = 0; i < leni; i++)
2640 vals[i] = Qnil;
2642 GCPRO3 (dummy, fn, seq);
2643 gcpro1.var = vals;
2644 gcpro1.nvars = leni;
2646 else
2647 GCPRO2 (fn, seq);
2648 /* We need not explicitly protect `tail' because it is used only on lists, and
2649 1) lists are not relocated and 2) the list is marked via `seq' so will not be freed */
2651 if (VECTORP (seq))
2653 for (i = 0; i < leni; i++)
2655 dummy = XVECTOR (seq)->contents[i];
2656 dummy = call1 (fn, dummy);
2657 if (vals)
2658 vals[i] = dummy;
2661 else if (BOOL_VECTOR_P (seq))
2663 for (i = 0; i < leni; i++)
2665 int byte;
2666 byte = XBOOL_VECTOR (seq)->data[i / BITS_PER_CHAR];
2667 if (byte & (1 << (i % BITS_PER_CHAR)))
2668 dummy = Qt;
2669 else
2670 dummy = Qnil;
2672 dummy = call1 (fn, dummy);
2673 if (vals)
2674 vals[i] = dummy;
2677 else if (STRINGP (seq))
2679 int i_byte;
2681 for (i = 0, i_byte = 0; i < leni;)
2683 int c;
2684 int i_before = i;
2686 FETCH_STRING_CHAR_ADVANCE (c, seq, i, i_byte);
2687 XSETFASTINT (dummy, c);
2688 dummy = call1 (fn, dummy);
2689 if (vals)
2690 vals[i_before] = dummy;
2693 else /* Must be a list, since Flength did not get an error */
2695 tail = seq;
2696 for (i = 0; i < leni; i++)
2698 dummy = call1 (fn, Fcar (tail));
2699 if (vals)
2700 vals[i] = dummy;
2701 tail = XCDR (tail);
2705 UNGCPRO;
2708 DEFUN ("mapconcat", Fmapconcat, Smapconcat, 3, 3, 0,
2709 "Apply FUNCTION to each element of SEQUENCE, and concat the results as strings.\n\
2710 In between each pair of results, stick in SEPARATOR. Thus, \" \" as\n\
2711 SEPARATOR results in spaces between the values returned by FUNCTION.\n\
2712 SEQUENCE may be a list, a vector, a bool-vector, or a string.")
2713 (function, sequence, separator)
2714 Lisp_Object function, sequence, separator;
2716 Lisp_Object len;
2717 register int leni;
2718 int nargs;
2719 register Lisp_Object *args;
2720 register int i;
2721 struct gcpro gcpro1;
2723 len = Flength (sequence);
2724 leni = XINT (len);
2725 nargs = leni + leni - 1;
2726 if (nargs < 0) return build_string ("");
2728 args = (Lisp_Object *) alloca (nargs * sizeof (Lisp_Object));
2730 GCPRO1 (separator);
2731 mapcar1 (leni, args, function, sequence);
2732 UNGCPRO;
2734 for (i = leni - 1; i >= 0; i--)
2735 args[i + i] = args[i];
2737 for (i = 1; i < nargs; i += 2)
2738 args[i] = separator;
2740 return Fconcat (nargs, args);
2743 DEFUN ("mapcar", Fmapcar, Smapcar, 2, 2, 0,
2744 "Apply FUNCTION to each element of SEQUENCE, and make a list of the results.\n\
2745 The result is a list just as long as SEQUENCE.\n\
2746 SEQUENCE may be a list, a vector, a bool-vector, or a string.")
2747 (function, sequence)
2748 Lisp_Object function, sequence;
2750 register Lisp_Object len;
2751 register int leni;
2752 register Lisp_Object *args;
2754 len = Flength (sequence);
2755 leni = XFASTINT (len);
2756 args = (Lisp_Object *) alloca (leni * sizeof (Lisp_Object));
2758 mapcar1 (leni, args, function, sequence);
2760 return Flist (leni, args);
2763 DEFUN ("mapc", Fmapc, Smapc, 2, 2, 0,
2764 "Apply FUNCTION to each element of SEQUENCE for side effects only.\n\
2765 Unlike `mapcar', don't accumulate the results. Return SEQUENCE.\n\
2766 SEQUENCE may be a list, a vector, a bool-vector, or a string.")
2767 (function, sequence)
2768 Lisp_Object function, sequence;
2770 register int leni;
2772 leni = XFASTINT (Flength (sequence));
2773 mapcar1 (leni, 0, function, sequence);
2775 return sequence;
2778 /* Anything that calls this function must protect from GC! */
2780 DEFUN ("y-or-n-p", Fy_or_n_p, Sy_or_n_p, 1, 1, 0,
2781 "Ask user a \"y or n\" question. Return t if answer is \"y\".\n\
2782 Takes one argument, which is the string to display to ask the question.\n\
2783 It should end in a space; `y-or-n-p' adds `(y or n) ' to it.\n\
2784 No confirmation of the answer is requested; a single character is enough.\n\
2785 Also accepts Space to mean yes, or Delete to mean no. \(Actually, it uses\n\
2786 the bindings in `query-replace-map'; see the documentation of that variable\n\
2787 for more information. In this case, the useful bindings are `act', `skip',\n\
2788 `recenter', and `quit'.\)\n\
2790 Under a windowing system a dialog box will be used if `last-nonmenu-event'\n\
2791 is nil and `use-dialog-box' is non-nil.")
2792 (prompt)
2793 Lisp_Object prompt;
2795 register Lisp_Object obj, key, def, map;
2796 register int answer;
2797 Lisp_Object xprompt;
2798 Lisp_Object args[2];
2799 struct gcpro gcpro1, gcpro2;
2800 int count = specpdl_ptr - specpdl;
2802 specbind (Qcursor_in_echo_area, Qt);
2804 map = Fsymbol_value (intern ("query-replace-map"));
2806 CHECK_STRING (prompt, 0);
2807 xprompt = prompt;
2808 GCPRO2 (prompt, xprompt);
2810 #ifdef HAVE_X_WINDOWS
2811 if (display_busy_cursor_p)
2812 cancel_busy_cursor ();
2813 #endif
2815 while (1)
2818 #ifdef HAVE_MENUS
2819 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
2820 && use_dialog_box
2821 && have_menus_p ())
2823 Lisp_Object pane, menu;
2824 redisplay_preserve_echo_area ();
2825 pane = Fcons (Fcons (build_string ("Yes"), Qt),
2826 Fcons (Fcons (build_string ("No"), Qnil),
2827 Qnil));
2828 menu = Fcons (prompt, pane);
2829 obj = Fx_popup_dialog (Qt, menu);
2830 answer = !NILP (obj);
2831 break;
2833 #endif /* HAVE_MENUS */
2834 cursor_in_echo_area = 1;
2835 choose_minibuf_frame ();
2836 message_with_string ("%s(y or n) ", xprompt, 0);
2838 if (minibuffer_auto_raise)
2840 Lisp_Object mini_frame;
2842 mini_frame = WINDOW_FRAME (XWINDOW (minibuf_window));
2844 Fraise_frame (mini_frame);
2847 obj = read_filtered_event (1, 0, 0, 0);
2848 cursor_in_echo_area = 0;
2849 /* If we need to quit, quit with cursor_in_echo_area = 0. */
2850 QUIT;
2852 key = Fmake_vector (make_number (1), obj);
2853 def = Flookup_key (map, key, Qt);
2855 if (EQ (def, intern ("skip")))
2857 answer = 0;
2858 break;
2860 else if (EQ (def, intern ("act")))
2862 answer = 1;
2863 break;
2865 else if (EQ (def, intern ("recenter")))
2867 Frecenter (Qnil);
2868 xprompt = prompt;
2869 continue;
2871 else if (EQ (def, intern ("quit")))
2872 Vquit_flag = Qt;
2873 /* We want to exit this command for exit-prefix,
2874 and this is the only way to do it. */
2875 else if (EQ (def, intern ("exit-prefix")))
2876 Vquit_flag = Qt;
2878 QUIT;
2880 /* If we don't clear this, then the next call to read_char will
2881 return quit_char again, and we'll enter an infinite loop. */
2882 Vquit_flag = Qnil;
2884 Fding (Qnil);
2885 Fdiscard_input ();
2886 if (EQ (xprompt, prompt))
2888 args[0] = build_string ("Please answer y or n. ");
2889 args[1] = prompt;
2890 xprompt = Fconcat (2, args);
2893 UNGCPRO;
2895 if (! noninteractive)
2897 cursor_in_echo_area = -1;
2898 message_with_string (answer ? "%s(y or n) y" : "%s(y or n) n",
2899 xprompt, 0);
2902 unbind_to (count, Qnil);
2903 return answer ? Qt : Qnil;
2906 /* This is how C code calls `yes-or-no-p' and allows the user
2907 to redefined it.
2909 Anything that calls this function must protect from GC! */
2911 Lisp_Object
2912 do_yes_or_no_p (prompt)
2913 Lisp_Object prompt;
2915 return call1 (intern ("yes-or-no-p"), prompt);
2918 /* Anything that calls this function must protect from GC! */
2920 DEFUN ("yes-or-no-p", Fyes_or_no_p, Syes_or_no_p, 1, 1, 0,
2921 "Ask user a yes-or-no question. Return t if answer is yes.\n\
2922 Takes one argument, which is the string to display to ask the question.\n\
2923 It should end in a space; `yes-or-no-p' adds `(yes or no) ' to it.\n\
2924 The user must confirm the answer with RET,\n\
2925 and can edit it until it has been confirmed.\n\
2927 Under a windowing system a dialog box will be used if `last-nonmenu-event'\n\
2928 is nil, and `use-dialog-box' is non-nil.")
2929 (prompt)
2930 Lisp_Object prompt;
2932 register Lisp_Object ans;
2933 Lisp_Object args[2];
2934 struct gcpro gcpro1;
2936 CHECK_STRING (prompt, 0);
2938 #ifdef HAVE_MENUS
2939 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
2940 && use_dialog_box
2941 && have_menus_p ())
2943 Lisp_Object pane, menu, obj;
2944 redisplay_preserve_echo_area ();
2945 pane = Fcons (Fcons (build_string ("Yes"), Qt),
2946 Fcons (Fcons (build_string ("No"), Qnil),
2947 Qnil));
2948 GCPRO1 (pane);
2949 menu = Fcons (prompt, pane);
2950 obj = Fx_popup_dialog (Qt, menu);
2951 UNGCPRO;
2952 return obj;
2954 #endif /* HAVE_MENUS */
2956 args[0] = prompt;
2957 args[1] = build_string ("(yes or no) ");
2958 prompt = Fconcat (2, args);
2960 GCPRO1 (prompt);
2962 while (1)
2964 ans = Fdowncase (Fread_from_minibuffer (prompt, Qnil, Qnil, Qnil,
2965 Qyes_or_no_p_history, Qnil,
2966 Qnil));
2967 if (XSTRING (ans)->size == 3 && !strcmp (XSTRING (ans)->data, "yes"))
2969 UNGCPRO;
2970 return Qt;
2972 if (XSTRING (ans)->size == 2 && !strcmp (XSTRING (ans)->data, "no"))
2974 UNGCPRO;
2975 return Qnil;
2978 Fding (Qnil);
2979 Fdiscard_input ();
2980 message ("Please answer yes or no.");
2981 Fsleep_for (make_number (2), Qnil);
2985 DEFUN ("load-average", Fload_average, Sload_average, 0, 1, 0,
2986 "Return list of 1 minute, 5 minute and 15 minute load averages.\n\
2987 Each of the three load averages is multiplied by 100,\n\
2988 then converted to integer.\n\
2989 When USE-FLOATS is non-nil, floats will be used instead of integers.\n\
2990 These floats are not multiplied by 100.\n\n\
2991 If the 5-minute or 15-minute load averages are not available, return a\n\
2992 shortened list, containing only those averages which are available.")
2993 (use_floats)
2994 Lisp_Object use_floats;
2996 double load_ave[3];
2997 int loads = getloadavg (load_ave, 3);
2998 Lisp_Object ret = Qnil;
3000 if (loads < 0)
3001 error ("load-average not implemented for this operating system");
3003 while (loads-- > 0)
3005 Lisp_Object load = (NILP (use_floats) ?
3006 make_number ((int) (100.0 * load_ave[loads]))
3007 : make_float (load_ave[loads]));
3008 ret = Fcons (load, ret);
3011 return ret;
3014 Lisp_Object Vfeatures;
3016 DEFUN ("featurep", Ffeaturep, Sfeaturep, 1, 1, 0,
3017 "Returns t if FEATURE is present in this Emacs.\n\
3018 Use this to conditionalize execution of lisp code based on the presence or\n\
3019 absence of emacs or environment extensions.\n\
3020 Use `provide' to declare that a feature is available.\n\
3021 This function looks at the value of the variable `features'.")
3022 (feature)
3023 Lisp_Object feature;
3025 register Lisp_Object tem;
3026 CHECK_SYMBOL (feature, 0);
3027 tem = Fmemq (feature, Vfeatures);
3028 return (NILP (tem)) ? Qnil : Qt;
3031 DEFUN ("provide", Fprovide, Sprovide, 1, 1, 0,
3032 "Announce that FEATURE is a feature of the current Emacs.")
3033 (feature)
3034 Lisp_Object feature;
3036 register Lisp_Object tem;
3037 CHECK_SYMBOL (feature, 0);
3038 if (!NILP (Vautoload_queue))
3039 Vautoload_queue = Fcons (Fcons (Vfeatures, Qnil), Vautoload_queue);
3040 tem = Fmemq (feature, Vfeatures);
3041 if (NILP (tem))
3042 Vfeatures = Fcons (feature, Vfeatures);
3043 LOADHIST_ATTACH (Fcons (Qprovide, feature));
3044 return feature;
3047 DEFUN ("require", Frequire, Srequire, 1, 3, 0,
3048 "If feature FEATURE is not loaded, load it from FILENAME.\n\
3049 If FEATURE is not a member of the list `features', then the feature\n\
3050 is not loaded; so load the file FILENAME.\n\
3051 If FILENAME is omitted, the printname of FEATURE is used as the file name,\n\
3052 but in this case `load' insists on adding the suffix `.el' or `.elc'.\n\
3053 If the optional third argument NOERROR is non-nil,\n\
3054 then return nil if the file is not found.\n\
3055 Normally the return value is FEATURE.")
3056 (feature, file_name, noerror)
3057 Lisp_Object feature, file_name, noerror;
3059 register Lisp_Object tem;
3060 CHECK_SYMBOL (feature, 0);
3061 tem = Fmemq (feature, Vfeatures);
3063 LOADHIST_ATTACH (Fcons (Qrequire, feature));
3065 if (NILP (tem))
3067 int count = specpdl_ptr - specpdl;
3069 /* Value saved here is to be restored into Vautoload_queue */
3070 record_unwind_protect (un_autoload, Vautoload_queue);
3071 Vautoload_queue = Qt;
3073 tem = Fload (NILP (file_name) ? Fsymbol_name (feature) : file_name,
3074 noerror, Qt, Qnil, (NILP (file_name) ? Qt : Qnil));
3075 /* If load failed entirely, return nil. */
3076 if (NILP (tem))
3077 return unbind_to (count, Qnil);
3079 tem = Fmemq (feature, Vfeatures);
3080 if (NILP (tem))
3081 error ("Required feature %s was not provided",
3082 XSYMBOL (feature)->name->data);
3084 /* Once loading finishes, don't undo it. */
3085 Vautoload_queue = Qt;
3086 feature = unbind_to (count, feature);
3088 return feature;
3091 /* Primitives for work of the "widget" library.
3092 In an ideal world, this section would not have been necessary.
3093 However, lisp function calls being as slow as they are, it turns
3094 out that some functions in the widget library (wid-edit.el) are the
3095 bottleneck of Widget operation. Here is their translation to C,
3096 for the sole reason of efficiency. */
3098 DEFUN ("plist-member", Fplist_member, Splist_member, 2, 2, 0,
3099 "Return non-nil if PLIST has the property PROP.\n\
3100 PLIST is a property list, which is a list of the form\n\
3101 \(PROP1 VALUE1 PROP2 VALUE2 ...\). PROP is a symbol.\n\
3102 Unlike `plist-get', this allows you to distinguish between a missing\n\
3103 property and a property with the value nil.\n\
3104 The value is actually the tail of PLIST whose car is PROP.")
3105 (plist, prop)
3106 Lisp_Object plist, prop;
3108 while (CONSP (plist) && !EQ (XCAR (plist), prop))
3110 QUIT;
3111 plist = XCDR (plist);
3112 plist = CDR (plist);
3114 return plist;
3117 DEFUN ("widget-put", Fwidget_put, Swidget_put, 3, 3, 0,
3118 "In WIDGET, set PROPERTY to VALUE.\n\
3119 The value can later be retrieved with `widget-get'.")
3120 (widget, property, value)
3121 Lisp_Object widget, property, value;
3123 CHECK_CONS (widget, 1);
3124 XCDR (widget) = Fplist_put (XCDR (widget), property, value);
3125 return value;
3128 DEFUN ("widget-get", Fwidget_get, Swidget_get, 2, 2, 0,
3129 "In WIDGET, get the value of PROPERTY.\n\
3130 The value could either be specified when the widget was created, or\n\
3131 later with `widget-put'.")
3132 (widget, property)
3133 Lisp_Object widget, property;
3135 Lisp_Object tmp;
3137 while (1)
3139 if (NILP (widget))
3140 return Qnil;
3141 CHECK_CONS (widget, 1);
3142 tmp = Fplist_member (XCDR (widget), property);
3143 if (CONSP (tmp))
3145 tmp = XCDR (tmp);
3146 return CAR (tmp);
3148 tmp = XCAR (widget);
3149 if (NILP (tmp))
3150 return Qnil;
3151 widget = Fget (tmp, Qwidget_type);
3155 DEFUN ("widget-apply", Fwidget_apply, Swidget_apply, 2, MANY, 0,
3156 "Apply the value of WIDGET's PROPERTY to the widget itself.\n\
3157 ARGS are passed as extra arguments to the function.")
3158 (nargs, args)
3159 int nargs;
3160 Lisp_Object *args;
3162 /* This function can GC. */
3163 Lisp_Object newargs[3];
3164 struct gcpro gcpro1, gcpro2;
3165 Lisp_Object result;
3167 newargs[0] = Fwidget_get (args[0], args[1]);
3168 newargs[1] = args[0];
3169 newargs[2] = Flist (nargs - 2, args + 2);
3170 GCPRO2 (newargs[0], newargs[2]);
3171 result = Fapply (3, newargs);
3172 UNGCPRO;
3173 return result;
3176 /* base64 encode/decode functions (RFC 2045).
3177 Based on code from GNU recode. */
3179 #define MIME_LINE_LENGTH 76
3181 #define IS_ASCII(Character) \
3182 ((Character) < 128)
3183 #define IS_BASE64(Character) \
3184 (IS_ASCII (Character) && base64_char_to_value[Character] >= 0)
3185 #define IS_BASE64_IGNORABLE(Character) \
3186 ((Character) == ' ' || (Character) == '\t' || (Character) == '\n' \
3187 || (Character) == '\f' || (Character) == '\r')
3189 /* Used by base64_decode_1 to retrieve a non-base64-ignorable
3190 character or return retval if there are no characters left to
3191 process. */
3192 #define READ_QUADRUPLET_BYTE(retval) \
3193 do \
3195 if (i == length) \
3196 return (retval); \
3197 c = from[i++]; \
3199 while (IS_BASE64_IGNORABLE (c))
3201 /* Don't use alloca for regions larger than this, lest we overflow
3202 their stack. */
3203 #define MAX_ALLOCA 16*1024
3205 /* Table of characters coding the 64 values. */
3206 static char base64_value_to_char[64] =
3208 'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', /* 0- 9 */
3209 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', /* 10-19 */
3210 'U', 'V', 'W', 'X', 'Y', 'Z', 'a', 'b', 'c', 'd', /* 20-29 */
3211 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', /* 30-39 */
3212 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', /* 40-49 */
3213 'y', 'z', '0', '1', '2', '3', '4', '5', '6', '7', /* 50-59 */
3214 '8', '9', '+', '/' /* 60-63 */
3217 /* Table of base64 values for first 128 characters. */
3218 static short base64_char_to_value[128] =
3220 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 0- 9 */
3221 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 10- 19 */
3222 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 20- 29 */
3223 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 30- 39 */
3224 -1, -1, -1, 62, -1, -1, -1, 63, 52, 53, /* 40- 49 */
3225 54, 55, 56, 57, 58, 59, 60, 61, -1, -1, /* 50- 59 */
3226 -1, -1, -1, -1, -1, 0, 1, 2, 3, 4, /* 60- 69 */
3227 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, /* 70- 79 */
3228 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, /* 80- 89 */
3229 25, -1, -1, -1, -1, -1, -1, 26, 27, 28, /* 90- 99 */
3230 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, /* 100-109 */
3231 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, /* 110-119 */
3232 49, 50, 51, -1, -1, -1, -1, -1 /* 120-127 */
3235 /* The following diagram shows the logical steps by which three octets
3236 get transformed into four base64 characters.
3238 .--------. .--------. .--------.
3239 |aaaaaabb| |bbbbcccc| |ccdddddd|
3240 `--------' `--------' `--------'
3241 6 2 4 4 2 6
3242 .--------+--------+--------+--------.
3243 |00aaaaaa|00bbbbbb|00cccccc|00dddddd|
3244 `--------+--------+--------+--------'
3246 .--------+--------+--------+--------.
3247 |AAAAAAAA|BBBBBBBB|CCCCCCCC|DDDDDDDD|
3248 `--------+--------+--------+--------'
3250 The octets are divided into 6 bit chunks, which are then encoded into
3251 base64 characters. */
3254 static int base64_encode_1 P_ ((const char *, char *, int, int, int));
3255 static int base64_decode_1 P_ ((const char *, char *, int));
3257 DEFUN ("base64-encode-region", Fbase64_encode_region, Sbase64_encode_region,
3258 2, 3, "r",
3259 "Base64-encode the region between BEG and END.\n\
3260 Return the length of the encoded text.\n\
3261 Optional third argument NO-LINE-BREAK means do not break long lines\n\
3262 into shorter lines.")
3263 (beg, end, no_line_break)
3264 Lisp_Object beg, end, no_line_break;
3266 char *encoded;
3267 int allength, length;
3268 int ibeg, iend, encoded_length;
3269 int old_pos = PT;
3271 validate_region (&beg, &end);
3273 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
3274 iend = CHAR_TO_BYTE (XFASTINT (end));
3275 move_gap_both (XFASTINT (beg), ibeg);
3277 /* We need to allocate enough room for encoding the text.
3278 We need 33 1/3% more space, plus a newline every 76
3279 characters, and then we round up. */
3280 length = iend - ibeg;
3281 allength = length + length/3 + 1;
3282 allength += allength / MIME_LINE_LENGTH + 1 + 6;
3284 if (allength <= MAX_ALLOCA)
3285 encoded = (char *) alloca (allength);
3286 else
3287 encoded = (char *) xmalloc (allength);
3288 encoded_length = base64_encode_1 (BYTE_POS_ADDR (ibeg), encoded, length,
3289 NILP (no_line_break),
3290 !NILP (current_buffer->enable_multibyte_characters));
3291 if (encoded_length > allength)
3292 abort ();
3294 if (encoded_length < 0)
3296 /* The encoding wasn't possible. */
3297 if (length > MAX_ALLOCA)
3298 xfree (encoded);
3299 error ("Multibyte character in data for base64 encoding");
3302 /* Now we have encoded the region, so we insert the new contents
3303 and delete the old. (Insert first in order to preserve markers.) */
3304 SET_PT_BOTH (XFASTINT (beg), ibeg);
3305 insert (encoded, encoded_length);
3306 if (allength > MAX_ALLOCA)
3307 xfree (encoded);
3308 del_range_byte (ibeg + encoded_length, iend + encoded_length, 1);
3310 /* If point was outside of the region, restore it exactly; else just
3311 move to the beginning of the region. */
3312 if (old_pos >= XFASTINT (end))
3313 old_pos += encoded_length - (XFASTINT (end) - XFASTINT (beg));
3314 else if (old_pos > XFASTINT (beg))
3315 old_pos = XFASTINT (beg);
3316 SET_PT (old_pos);
3318 /* We return the length of the encoded text. */
3319 return make_number (encoded_length);
3322 DEFUN ("base64-encode-string", Fbase64_encode_string, Sbase64_encode_string,
3323 1, 2, 0,
3324 "Base64-encode STRING and return the result.\n\
3325 Optional second argument NO-LINE-BREAK means do not break long lines\n\
3326 into shorter lines.")
3327 (string, no_line_break)
3328 Lisp_Object string, no_line_break;
3330 int allength, length, encoded_length;
3331 char *encoded;
3332 Lisp_Object encoded_string;
3334 CHECK_STRING (string, 1);
3336 /* We need to allocate enough room for encoding the text.
3337 We need 33 1/3% more space, plus a newline every 76
3338 characters, and then we round up. */
3339 length = STRING_BYTES (XSTRING (string));
3340 allength = length + length/3 + 1;
3341 allength += allength / MIME_LINE_LENGTH + 1 + 6;
3343 /* We need to allocate enough room for decoding the text. */
3344 if (allength <= MAX_ALLOCA)
3345 encoded = (char *) alloca (allength);
3346 else
3347 encoded = (char *) xmalloc (allength);
3349 encoded_length = base64_encode_1 (XSTRING (string)->data,
3350 encoded, length, NILP (no_line_break),
3351 STRING_MULTIBYTE (string));
3352 if (encoded_length > allength)
3353 abort ();
3355 if (encoded_length < 0)
3357 /* The encoding wasn't possible. */
3358 if (length > MAX_ALLOCA)
3359 xfree (encoded);
3360 error ("Multibyte character in data for base64 encoding");
3363 encoded_string = make_unibyte_string (encoded, encoded_length);
3364 if (allength > MAX_ALLOCA)
3365 xfree (encoded);
3367 return encoded_string;
3370 static int
3371 base64_encode_1 (from, to, length, line_break, multibyte)
3372 const char *from;
3373 char *to;
3374 int length;
3375 int line_break;
3376 int multibyte;
3378 int counter = 0, i = 0;
3379 char *e = to;
3380 int c;
3381 unsigned int value;
3382 int bytes;
3384 while (i < length)
3386 if (multibyte)
3388 c = STRING_CHAR_AND_LENGTH (from + i, length - i, bytes);
3389 if (bytes > 1)
3390 return -1;
3391 i++;
3393 else
3394 c = from[i++];
3396 /* Wrap line every 76 characters. */
3398 if (line_break)
3400 if (counter < MIME_LINE_LENGTH / 4)
3401 counter++;
3402 else
3404 *e++ = '\n';
3405 counter = 1;
3409 /* Process first byte of a triplet. */
3411 *e++ = base64_value_to_char[0x3f & c >> 2];
3412 value = (0x03 & c) << 4;
3414 /* Process second byte of a triplet. */
3416 if (i == length)
3418 *e++ = base64_value_to_char[value];
3419 *e++ = '=';
3420 *e++ = '=';
3421 break;
3424 if (multibyte)
3426 c = STRING_CHAR_AND_LENGTH (from + i, length - i, bytes);
3427 if (bytes > 1)
3428 return -1;
3429 i++;
3431 else
3432 c = from[i++];
3434 *e++ = base64_value_to_char[value | (0x0f & c >> 4)];
3435 value = (0x0f & c) << 2;
3437 /* Process third byte of a triplet. */
3439 if (i == length)
3441 *e++ = base64_value_to_char[value];
3442 *e++ = '=';
3443 break;
3446 if (multibyte)
3448 c = STRING_CHAR_AND_LENGTH (from + i, length - i, bytes);
3449 if (bytes > 1)
3450 return -1;
3451 i++;
3453 else
3454 c = from[i++];
3456 *e++ = base64_value_to_char[value | (0x03 & c >> 6)];
3457 *e++ = base64_value_to_char[0x3f & c];
3460 return e - to;
3464 DEFUN ("base64-decode-region", Fbase64_decode_region, Sbase64_decode_region,
3465 2, 2, "r",
3466 "Base64-decode the region between BEG and END.\n\
3467 Return the length of the decoded text.\n\
3468 If the region can't be decoded, signal an error and don't modify the buffer.")
3469 (beg, end)
3470 Lisp_Object beg, end;
3472 int ibeg, iend, length;
3473 char *decoded;
3474 int old_pos = PT;
3475 int decoded_length;
3476 int inserted_chars;
3478 validate_region (&beg, &end);
3480 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
3481 iend = CHAR_TO_BYTE (XFASTINT (end));
3483 length = iend - ibeg;
3484 /* We need to allocate enough room for decoding the text. */
3485 if (length <= MAX_ALLOCA)
3486 decoded = (char *) alloca (length);
3487 else
3488 decoded = (char *) xmalloc (length);
3490 move_gap_both (XFASTINT (beg), ibeg);
3491 decoded_length = base64_decode_1 (BYTE_POS_ADDR (ibeg), decoded, length);
3492 if (decoded_length > length)
3493 abort ();
3495 if (decoded_length < 0)
3497 /* The decoding wasn't possible. */
3498 if (length > MAX_ALLOCA)
3499 xfree (decoded);
3500 error ("Invalid base64 data");
3503 inserted_chars = decoded_length;
3504 if (!NILP (current_buffer->enable_multibyte_characters))
3505 decoded_length = str_to_multibyte (decoded, length, decoded_length);
3507 /* Now we have decoded the region, so we insert the new contents
3508 and delete the old. (Insert first in order to preserve markers.) */
3509 TEMP_SET_PT_BOTH (XFASTINT (beg), ibeg);
3510 insert_1_both (decoded, inserted_chars, decoded_length, 0, 1, 0);
3511 if (length > MAX_ALLOCA)
3512 xfree (decoded);
3513 /* Delete the original text. */
3514 del_range_both (PT, PT_BYTE, XFASTINT (end) + inserted_chars,
3515 iend + decoded_length, 1);
3517 /* If point was outside of the region, restore it exactly; else just
3518 move to the beginning of the region. */
3519 if (old_pos >= XFASTINT (end))
3520 old_pos += inserted_chars - (XFASTINT (end) - XFASTINT (beg));
3521 else if (old_pos > XFASTINT (beg))
3522 old_pos = XFASTINT (beg);
3523 SET_PT (old_pos > ZV ? ZV : old_pos);
3525 return make_number (inserted_chars);
3528 DEFUN ("base64-decode-string", Fbase64_decode_string, Sbase64_decode_string,
3529 1, 1, 0,
3530 "Base64-decode STRING and return the result.")
3531 (string)
3532 Lisp_Object string;
3534 char *decoded;
3535 int length, decoded_length;
3536 Lisp_Object decoded_string;
3538 CHECK_STRING (string, 1);
3540 length = STRING_BYTES (XSTRING (string));
3541 /* We need to allocate enough room for decoding the text. */
3542 if (length <= MAX_ALLOCA)
3543 decoded = (char *) alloca (length);
3544 else
3545 decoded = (char *) xmalloc (length);
3547 decoded_length = base64_decode_1 (XSTRING (string)->data, decoded, length);
3548 if (decoded_length > length)
3549 abort ();
3550 else if (decoded_length >= 0)
3551 decoded_string = make_unibyte_string (decoded, decoded_length);
3552 else
3553 decoded_string = Qnil;
3555 if (length > MAX_ALLOCA)
3556 xfree (decoded);
3557 if (!STRINGP (decoded_string))
3558 error ("Invalid base64 data");
3560 return decoded_string;
3563 static int
3564 base64_decode_1 (from, to, length)
3565 const char *from;
3566 char *to;
3567 int length;
3569 int i = 0;
3570 char *e = to;
3571 unsigned char c;
3572 unsigned long value;
3574 while (1)
3576 /* Process first byte of a quadruplet. */
3578 READ_QUADRUPLET_BYTE (e-to);
3580 if (!IS_BASE64 (c))
3581 return -1;
3582 value = base64_char_to_value[c] << 18;
3584 /* Process second byte of a quadruplet. */
3586 READ_QUADRUPLET_BYTE (-1);
3588 if (!IS_BASE64 (c))
3589 return -1;
3590 value |= base64_char_to_value[c] << 12;
3592 *e++ = (unsigned char) (value >> 16);
3594 /* Process third byte of a quadruplet. */
3596 READ_QUADRUPLET_BYTE (-1);
3598 if (c == '=')
3600 READ_QUADRUPLET_BYTE (-1);
3602 if (c != '=')
3603 return -1;
3604 continue;
3607 if (!IS_BASE64 (c))
3608 return -1;
3609 value |= base64_char_to_value[c] << 6;
3611 *e++ = (unsigned char) (0xff & value >> 8);
3613 /* Process fourth byte of a quadruplet. */
3615 READ_QUADRUPLET_BYTE (-1);
3617 if (c == '=')
3618 continue;
3620 if (!IS_BASE64 (c))
3621 return -1;
3622 value |= base64_char_to_value[c];
3624 *e++ = (unsigned char) (0xff & value);
3630 /***********************************************************************
3631 ***** *****
3632 ***** Hash Tables *****
3633 ***** *****
3634 ***********************************************************************/
3636 /* Implemented by gerd@gnu.org. This hash table implementation was
3637 inspired by CMUCL hash tables. */
3639 /* Ideas:
3641 1. For small tables, association lists are probably faster than
3642 hash tables because they have lower overhead.
3644 For uses of hash tables where the O(1) behavior of table
3645 operations is not a requirement, it might therefore be a good idea
3646 not to hash. Instead, we could just do a linear search in the
3647 key_and_value vector of the hash table. This could be done
3648 if a `:linear-search t' argument is given to make-hash-table. */
3651 /* Value is the key part of entry IDX in hash table H. */
3653 #define HASH_KEY(H, IDX) AREF ((H)->key_and_value, 2 * (IDX))
3655 /* Value is the value part of entry IDX in hash table H. */
3657 #define HASH_VALUE(H, IDX) AREF ((H)->key_and_value, 2 * (IDX) + 1)
3659 /* Value is the index of the next entry following the one at IDX
3660 in hash table H. */
3662 #define HASH_NEXT(H, IDX) AREF ((H)->next, (IDX))
3664 /* Value is the hash code computed for entry IDX in hash table H. */
3666 #define HASH_HASH(H, IDX) AREF ((H)->hash, (IDX))
3668 /* Value is the index of the element in hash table H that is the
3669 start of the collision list at index IDX in the index vector of H. */
3671 #define HASH_INDEX(H, IDX) AREF ((H)->index, (IDX))
3673 /* Value is the size of hash table H. */
3675 #define HASH_TABLE_SIZE(H) XVECTOR ((H)->next)->size
3677 /* The list of all weak hash tables. Don't staticpro this one. */
3679 Lisp_Object Vweak_hash_tables;
3681 /* Various symbols. */
3683 Lisp_Object Qhash_table_p, Qeq, Qeql, Qequal, Qkey, Qvalue;
3684 Lisp_Object QCtest, QCsize, QCrehash_size, QCrehash_threshold, QCweakness;
3685 Lisp_Object Qhash_table_test, Qkey_or_value, Qkey_and_value;
3687 /* Function prototypes. */
3689 static struct Lisp_Hash_Table *check_hash_table P_ ((Lisp_Object));
3690 static int get_key_arg P_ ((Lisp_Object, int, Lisp_Object *, char *));
3691 static void maybe_resize_hash_table P_ ((struct Lisp_Hash_Table *));
3692 static int cmpfn_eql P_ ((struct Lisp_Hash_Table *, Lisp_Object, unsigned,
3693 Lisp_Object, unsigned));
3694 static int cmpfn_equal P_ ((struct Lisp_Hash_Table *, Lisp_Object, unsigned,
3695 Lisp_Object, unsigned));
3696 static int cmpfn_user_defined P_ ((struct Lisp_Hash_Table *, Lisp_Object,
3697 unsigned, Lisp_Object, unsigned));
3698 static unsigned hashfn_eq P_ ((struct Lisp_Hash_Table *, Lisp_Object));
3699 static unsigned hashfn_eql P_ ((struct Lisp_Hash_Table *, Lisp_Object));
3700 static unsigned hashfn_equal P_ ((struct Lisp_Hash_Table *, Lisp_Object));
3701 static unsigned hashfn_user_defined P_ ((struct Lisp_Hash_Table *,
3702 Lisp_Object));
3703 static unsigned sxhash_string P_ ((unsigned char *, int));
3704 static unsigned sxhash_list P_ ((Lisp_Object, int));
3705 static unsigned sxhash_vector P_ ((Lisp_Object, int));
3706 static unsigned sxhash_bool_vector P_ ((Lisp_Object));
3707 static int sweep_weak_table P_ ((struct Lisp_Hash_Table *, int));
3711 /***********************************************************************
3712 Utilities
3713 ***********************************************************************/
3715 /* If OBJ is a Lisp hash table, return a pointer to its struct
3716 Lisp_Hash_Table. Otherwise, signal an error. */
3718 static struct Lisp_Hash_Table *
3719 check_hash_table (obj)
3720 Lisp_Object obj;
3722 CHECK_HASH_TABLE (obj, 0);
3723 return XHASH_TABLE (obj);
3727 /* Value is the next integer I >= N, N >= 0 which is "almost" a prime
3728 number. */
3731 next_almost_prime (n)
3732 int n;
3734 if (n % 2 == 0)
3735 n += 1;
3736 if (n % 3 == 0)
3737 n += 2;
3738 if (n % 7 == 0)
3739 n += 4;
3740 return n;
3744 /* Find KEY in ARGS which has size NARGS. Don't consider indices for
3745 which USED[I] is non-zero. If found at index I in ARGS, set
3746 USED[I] and USED[I + 1] to 1, and return I + 1. Otherwise return
3747 -1. This function is used to extract a keyword/argument pair from
3748 a DEFUN parameter list. */
3750 static int
3751 get_key_arg (key, nargs, args, used)
3752 Lisp_Object key;
3753 int nargs;
3754 Lisp_Object *args;
3755 char *used;
3757 int i;
3759 for (i = 0; i < nargs - 1; ++i)
3760 if (!used[i] && EQ (args[i], key))
3761 break;
3763 if (i >= nargs - 1)
3764 i = -1;
3765 else
3767 used[i++] = 1;
3768 used[i] = 1;
3771 return i;
3775 /* Return a Lisp vector which has the same contents as VEC but has
3776 size NEW_SIZE, NEW_SIZE >= VEC->size. Entries in the resulting
3777 vector that are not copied from VEC are set to INIT. */
3779 Lisp_Object
3780 larger_vector (vec, new_size, init)
3781 Lisp_Object vec;
3782 int new_size;
3783 Lisp_Object init;
3785 struct Lisp_Vector *v;
3786 int i, old_size;
3788 xassert (VECTORP (vec));
3789 old_size = XVECTOR (vec)->size;
3790 xassert (new_size >= old_size);
3792 v = allocate_vectorlike (new_size);
3793 v->size = new_size;
3794 bcopy (XVECTOR (vec)->contents, v->contents,
3795 old_size * sizeof *v->contents);
3796 for (i = old_size; i < new_size; ++i)
3797 v->contents[i] = init;
3798 XSETVECTOR (vec, v);
3799 return vec;
3803 /***********************************************************************
3804 Low-level Functions
3805 ***********************************************************************/
3807 /* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
3808 HASH2 in hash table H using `eql'. Value is non-zero if KEY1 and
3809 KEY2 are the same. */
3811 static int
3812 cmpfn_eql (h, key1, hash1, key2, hash2)
3813 struct Lisp_Hash_Table *h;
3814 Lisp_Object key1, key2;
3815 unsigned hash1, hash2;
3817 return (FLOATP (key1)
3818 && FLOATP (key2)
3819 && XFLOAT_DATA (key1) == XFLOAT_DATA (key2));
3823 /* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
3824 HASH2 in hash table H using `equal'. Value is non-zero if KEY1 and
3825 KEY2 are the same. */
3827 static int
3828 cmpfn_equal (h, key1, hash1, key2, hash2)
3829 struct Lisp_Hash_Table *h;
3830 Lisp_Object key1, key2;
3831 unsigned hash1, hash2;
3833 return hash1 == hash2 && !NILP (Fequal (key1, key2));
3837 /* Compare KEY1 which has hash code HASH1, and KEY2 with hash code
3838 HASH2 in hash table H using H->user_cmp_function. Value is non-zero
3839 if KEY1 and KEY2 are the same. */
3841 static int
3842 cmpfn_user_defined (h, key1, hash1, key2, hash2)
3843 struct Lisp_Hash_Table *h;
3844 Lisp_Object key1, key2;
3845 unsigned hash1, hash2;
3847 if (hash1 == hash2)
3849 Lisp_Object args[3];
3851 args[0] = h->user_cmp_function;
3852 args[1] = key1;
3853 args[2] = key2;
3854 return !NILP (Ffuncall (3, args));
3856 else
3857 return 0;
3861 /* Value is a hash code for KEY for use in hash table H which uses
3862 `eq' to compare keys. The hash code returned is guaranteed to fit
3863 in a Lisp integer. */
3865 static unsigned
3866 hashfn_eq (h, key)
3867 struct Lisp_Hash_Table *h;
3868 Lisp_Object key;
3870 unsigned hash = XUINT (key) ^ XGCTYPE (key);
3871 xassert ((hash & ~VALMASK) == 0);
3872 return hash;
3876 /* Value is a hash code for KEY for use in hash table H which uses
3877 `eql' to compare keys. The hash code returned is guaranteed to fit
3878 in a Lisp integer. */
3880 static unsigned
3881 hashfn_eql (h, key)
3882 struct Lisp_Hash_Table *h;
3883 Lisp_Object key;
3885 unsigned hash;
3886 if (FLOATP (key))
3887 hash = sxhash (key, 0);
3888 else
3889 hash = XUINT (key) ^ XGCTYPE (key);
3890 xassert ((hash & ~VALMASK) == 0);
3891 return hash;
3895 /* Value is a hash code for KEY for use in hash table H which uses
3896 `equal' to compare keys. The hash code returned is guaranteed to fit
3897 in a Lisp integer. */
3899 static unsigned
3900 hashfn_equal (h, key)
3901 struct Lisp_Hash_Table *h;
3902 Lisp_Object key;
3904 unsigned hash = sxhash (key, 0);
3905 xassert ((hash & ~VALMASK) == 0);
3906 return hash;
3910 /* Value is a hash code for KEY for use in hash table H which uses as
3911 user-defined function to compare keys. The hash code returned is
3912 guaranteed to fit in a Lisp integer. */
3914 static unsigned
3915 hashfn_user_defined (h, key)
3916 struct Lisp_Hash_Table *h;
3917 Lisp_Object key;
3919 Lisp_Object args[2], hash;
3921 args[0] = h->user_hash_function;
3922 args[1] = key;
3923 hash = Ffuncall (2, args);
3924 if (!INTEGERP (hash))
3925 Fsignal (Qerror,
3926 list2 (build_string ("Invalid hash code returned from \
3927 user-supplied hash function"),
3928 hash));
3929 return XUINT (hash);
3933 /* Create and initialize a new hash table.
3935 TEST specifies the test the hash table will use to compare keys.
3936 It must be either one of the predefined tests `eq', `eql' or
3937 `equal' or a symbol denoting a user-defined test named TEST with
3938 test and hash functions USER_TEST and USER_HASH.
3940 Give the table initial capacity SIZE, SIZE >= 0, an integer.
3942 If REHASH_SIZE is an integer, it must be > 0, and this hash table's
3943 new size when it becomes full is computed by adding REHASH_SIZE to
3944 its old size. If REHASH_SIZE is a float, it must be > 1.0, and the
3945 table's new size is computed by multiplying its old size with
3946 REHASH_SIZE.
3948 REHASH_THRESHOLD must be a float <= 1.0, and > 0. The table will
3949 be resized when the ratio of (number of entries in the table) /
3950 (table size) is >= REHASH_THRESHOLD.
3952 WEAK specifies the weakness of the table. If non-nil, it must be
3953 one of the symbols `key', `value', `key-or-value', or `key-and-value'. */
3955 Lisp_Object
3956 make_hash_table (test, size, rehash_size, rehash_threshold, weak,
3957 user_test, user_hash)
3958 Lisp_Object test, size, rehash_size, rehash_threshold, weak;
3959 Lisp_Object user_test, user_hash;
3961 struct Lisp_Hash_Table *h;
3962 struct Lisp_Vector *v;
3963 Lisp_Object table;
3964 int index_size, i, len, sz;
3966 /* Preconditions. */
3967 xassert (SYMBOLP (test));
3968 xassert (INTEGERP (size) && XINT (size) >= 0);
3969 xassert ((INTEGERP (rehash_size) && XINT (rehash_size) > 0)
3970 || (FLOATP (rehash_size) && XFLOATINT (rehash_size) > 1.0));
3971 xassert (FLOATP (rehash_threshold)
3972 && XFLOATINT (rehash_threshold) > 0
3973 && XFLOATINT (rehash_threshold) <= 1.0);
3975 if (XFASTINT (size) == 0)
3976 size = make_number (1);
3978 /* Allocate a vector, and initialize it. */
3979 len = VECSIZE (struct Lisp_Hash_Table);
3980 v = allocate_vectorlike (len);
3981 v->size = len;
3982 for (i = 0; i < len; ++i)
3983 v->contents[i] = Qnil;
3985 /* Initialize hash table slots. */
3986 sz = XFASTINT (size);
3987 h = (struct Lisp_Hash_Table *) v;
3989 h->test = test;
3990 if (EQ (test, Qeql))
3992 h->cmpfn = cmpfn_eql;
3993 h->hashfn = hashfn_eql;
3995 else if (EQ (test, Qeq))
3997 h->cmpfn = NULL;
3998 h->hashfn = hashfn_eq;
4000 else if (EQ (test, Qequal))
4002 h->cmpfn = cmpfn_equal;
4003 h->hashfn = hashfn_equal;
4005 else
4007 h->user_cmp_function = user_test;
4008 h->user_hash_function = user_hash;
4009 h->cmpfn = cmpfn_user_defined;
4010 h->hashfn = hashfn_user_defined;
4013 h->weak = weak;
4014 h->rehash_threshold = rehash_threshold;
4015 h->rehash_size = rehash_size;
4016 h->count = make_number (0);
4017 h->key_and_value = Fmake_vector (make_number (2 * sz), Qnil);
4018 h->hash = Fmake_vector (size, Qnil);
4019 h->next = Fmake_vector (size, Qnil);
4020 /* Cast to int here avoids losing with gcc 2.95 on Tru64/Alpha... */
4021 index_size = next_almost_prime ((int) (sz / XFLOATINT (rehash_threshold)));
4022 h->index = Fmake_vector (make_number (index_size), Qnil);
4024 /* Set up the free list. */
4025 for (i = 0; i < sz - 1; ++i)
4026 HASH_NEXT (h, i) = make_number (i + 1);
4027 h->next_free = make_number (0);
4029 XSET_HASH_TABLE (table, h);
4030 xassert (HASH_TABLE_P (table));
4031 xassert (XHASH_TABLE (table) == h);
4033 /* Maybe add this hash table to the list of all weak hash tables. */
4034 if (NILP (h->weak))
4035 h->next_weak = Qnil;
4036 else
4038 h->next_weak = Vweak_hash_tables;
4039 Vweak_hash_tables = table;
4042 return table;
4046 /* Return a copy of hash table H1. Keys and values are not copied,
4047 only the table itself is. */
4049 Lisp_Object
4050 copy_hash_table (h1)
4051 struct Lisp_Hash_Table *h1;
4053 Lisp_Object table;
4054 struct Lisp_Hash_Table *h2;
4055 struct Lisp_Vector *v, *next;
4056 int len;
4058 len = VECSIZE (struct Lisp_Hash_Table);
4059 v = allocate_vectorlike (len);
4060 h2 = (struct Lisp_Hash_Table *) v;
4061 next = h2->vec_next;
4062 bcopy (h1, h2, sizeof *h2);
4063 h2->vec_next = next;
4064 h2->key_and_value = Fcopy_sequence (h1->key_and_value);
4065 h2->hash = Fcopy_sequence (h1->hash);
4066 h2->next = Fcopy_sequence (h1->next);
4067 h2->index = Fcopy_sequence (h1->index);
4068 XSET_HASH_TABLE (table, h2);
4070 /* Maybe add this hash table to the list of all weak hash tables. */
4071 if (!NILP (h2->weak))
4073 h2->next_weak = Vweak_hash_tables;
4074 Vweak_hash_tables = table;
4077 return table;
4081 /* Resize hash table H if it's too full. If H cannot be resized
4082 because it's already too large, throw an error. */
4084 static INLINE void
4085 maybe_resize_hash_table (h)
4086 struct Lisp_Hash_Table *h;
4088 if (NILP (h->next_free))
4090 int old_size = HASH_TABLE_SIZE (h);
4091 int i, new_size, index_size;
4093 if (INTEGERP (h->rehash_size))
4094 new_size = old_size + XFASTINT (h->rehash_size);
4095 else
4096 new_size = old_size * XFLOATINT (h->rehash_size);
4097 new_size = max (old_size + 1, new_size);
4098 index_size = next_almost_prime ((int)
4099 (new_size
4100 / XFLOATINT (h->rehash_threshold)));
4101 if (max (index_size, 2 * new_size) & ~VALMASK)
4102 error ("Hash table too large to resize");
4104 h->key_and_value = larger_vector (h->key_and_value, 2 * new_size, Qnil);
4105 h->next = larger_vector (h->next, new_size, Qnil);
4106 h->hash = larger_vector (h->hash, new_size, Qnil);
4107 h->index = Fmake_vector (make_number (index_size), Qnil);
4109 /* Update the free list. Do it so that new entries are added at
4110 the end of the free list. This makes some operations like
4111 maphash faster. */
4112 for (i = old_size; i < new_size - 1; ++i)
4113 HASH_NEXT (h, i) = make_number (i + 1);
4115 if (!NILP (h->next_free))
4117 Lisp_Object last, next;
4119 last = h->next_free;
4120 while (next = HASH_NEXT (h, XFASTINT (last)),
4121 !NILP (next))
4122 last = next;
4124 HASH_NEXT (h, XFASTINT (last)) = make_number (old_size);
4126 else
4127 XSETFASTINT (h->next_free, old_size);
4129 /* Rehash. */
4130 for (i = 0; i < old_size; ++i)
4131 if (!NILP (HASH_HASH (h, i)))
4133 unsigned hash_code = XUINT (HASH_HASH (h, i));
4134 int start_of_bucket = hash_code % XVECTOR (h->index)->size;
4135 HASH_NEXT (h, i) = HASH_INDEX (h, start_of_bucket);
4136 HASH_INDEX (h, start_of_bucket) = make_number (i);
4142 /* Lookup KEY in hash table H. If HASH is non-null, return in *HASH
4143 the hash code of KEY. Value is the index of the entry in H
4144 matching KEY, or -1 if not found. */
4147 hash_lookup (h, key, hash)
4148 struct Lisp_Hash_Table *h;
4149 Lisp_Object key;
4150 unsigned *hash;
4152 unsigned hash_code;
4153 int start_of_bucket;
4154 Lisp_Object idx;
4156 hash_code = h->hashfn (h, key);
4157 if (hash)
4158 *hash = hash_code;
4160 start_of_bucket = hash_code % XVECTOR (h->index)->size;
4161 idx = HASH_INDEX (h, start_of_bucket);
4163 /* We need not gcpro idx since it's either an integer or nil. */
4164 while (!NILP (idx))
4166 int i = XFASTINT (idx);
4167 if (EQ (key, HASH_KEY (h, i))
4168 || (h->cmpfn
4169 && h->cmpfn (h, key, hash_code,
4170 HASH_KEY (h, i), XUINT (HASH_HASH (h, i)))))
4171 break;
4172 idx = HASH_NEXT (h, i);
4175 return NILP (idx) ? -1 : XFASTINT (idx);
4179 /* Put an entry into hash table H that associates KEY with VALUE.
4180 HASH is a previously computed hash code of KEY.
4181 Value is the index of the entry in H matching KEY. */
4184 hash_put (h, key, value, hash)
4185 struct Lisp_Hash_Table *h;
4186 Lisp_Object key, value;
4187 unsigned hash;
4189 int start_of_bucket, i;
4191 xassert ((hash & ~VALMASK) == 0);
4193 /* Increment count after resizing because resizing may fail. */
4194 maybe_resize_hash_table (h);
4195 h->count = make_number (XFASTINT (h->count) + 1);
4197 /* Store key/value in the key_and_value vector. */
4198 i = XFASTINT (h->next_free);
4199 h->next_free = HASH_NEXT (h, i);
4200 HASH_KEY (h, i) = key;
4201 HASH_VALUE (h, i) = value;
4203 /* Remember its hash code. */
4204 HASH_HASH (h, i) = make_number (hash);
4206 /* Add new entry to its collision chain. */
4207 start_of_bucket = hash % XVECTOR (h->index)->size;
4208 HASH_NEXT (h, i) = HASH_INDEX (h, start_of_bucket);
4209 HASH_INDEX (h, start_of_bucket) = make_number (i);
4210 return i;
4214 /* Remove the entry matching KEY from hash table H, if there is one. */
4216 void
4217 hash_remove (h, key)
4218 struct Lisp_Hash_Table *h;
4219 Lisp_Object key;
4221 unsigned hash_code;
4222 int start_of_bucket;
4223 Lisp_Object idx, prev;
4225 hash_code = h->hashfn (h, key);
4226 start_of_bucket = hash_code % XVECTOR (h->index)->size;
4227 idx = HASH_INDEX (h, start_of_bucket);
4228 prev = Qnil;
4230 /* We need not gcpro idx, prev since they're either integers or nil. */
4231 while (!NILP (idx))
4233 int i = XFASTINT (idx);
4235 if (EQ (key, HASH_KEY (h, i))
4236 || (h->cmpfn
4237 && h->cmpfn (h, key, hash_code,
4238 HASH_KEY (h, i), XUINT (HASH_HASH (h, i)))))
4240 /* Take entry out of collision chain. */
4241 if (NILP (prev))
4242 HASH_INDEX (h, start_of_bucket) = HASH_NEXT (h, i);
4243 else
4244 HASH_NEXT (h, XFASTINT (prev)) = HASH_NEXT (h, i);
4246 /* Clear slots in key_and_value and add the slots to
4247 the free list. */
4248 HASH_KEY (h, i) = HASH_VALUE (h, i) = HASH_HASH (h, i) = Qnil;
4249 HASH_NEXT (h, i) = h->next_free;
4250 h->next_free = make_number (i);
4251 h->count = make_number (XFASTINT (h->count) - 1);
4252 xassert (XINT (h->count) >= 0);
4253 break;
4255 else
4257 prev = idx;
4258 idx = HASH_NEXT (h, i);
4264 /* Clear hash table H. */
4266 void
4267 hash_clear (h)
4268 struct Lisp_Hash_Table *h;
4270 if (XFASTINT (h->count) > 0)
4272 int i, size = HASH_TABLE_SIZE (h);
4274 for (i = 0; i < size; ++i)
4276 HASH_NEXT (h, i) = i < size - 1 ? make_number (i + 1) : Qnil;
4277 HASH_KEY (h, i) = Qnil;
4278 HASH_VALUE (h, i) = Qnil;
4279 HASH_HASH (h, i) = Qnil;
4282 for (i = 0; i < XVECTOR (h->index)->size; ++i)
4283 XVECTOR (h->index)->contents[i] = Qnil;
4285 h->next_free = make_number (0);
4286 h->count = make_number (0);
4292 /************************************************************************
4293 Weak Hash Tables
4294 ************************************************************************/
4296 /* Sweep weak hash table H. REMOVE_ENTRIES_P non-zero means remove
4297 entries from the table that don't survive the current GC.
4298 REMOVE_ENTRIES_P zero means mark entries that are in use. Value is
4299 non-zero if anything was marked. */
4301 static int
4302 sweep_weak_table (h, remove_entries_p)
4303 struct Lisp_Hash_Table *h;
4304 int remove_entries_p;
4306 int bucket, n, marked;
4308 n = XVECTOR (h->index)->size & ~ARRAY_MARK_FLAG;
4309 marked = 0;
4311 for (bucket = 0; bucket < n; ++bucket)
4313 Lisp_Object idx, prev;
4315 /* Follow collision chain, removing entries that
4316 don't survive this garbage collection. */
4317 idx = HASH_INDEX (h, bucket);
4318 prev = Qnil;
4319 while (!GC_NILP (idx))
4321 int remove_p;
4322 int i = XFASTINT (idx);
4323 Lisp_Object next;
4324 int key_known_to_survive_p, value_known_to_survive_p;
4326 key_known_to_survive_p = survives_gc_p (HASH_KEY (h, i));
4327 value_known_to_survive_p = survives_gc_p (HASH_VALUE (h, i));
4329 if (EQ (h->weak, Qkey))
4330 remove_p = !key_known_to_survive_p;
4331 else if (EQ (h->weak, Qvalue))
4332 remove_p = !value_known_to_survive_p;
4333 else if (EQ (h->weak, Qkey_or_value))
4334 remove_p = !(key_known_to_survive_p || value_known_to_survive_p);
4335 else if (EQ (h->weak, Qkey_and_value))
4336 remove_p = !(key_known_to_survive_p && value_known_to_survive_p);
4337 else
4338 abort ();
4340 next = HASH_NEXT (h, i);
4342 if (remove_entries_p)
4344 if (remove_p)
4346 /* Take out of collision chain. */
4347 if (GC_NILP (prev))
4348 HASH_INDEX (h, i) = next;
4349 else
4350 HASH_NEXT (h, XFASTINT (prev)) = next;
4352 /* Add to free list. */
4353 HASH_NEXT (h, i) = h->next_free;
4354 h->next_free = idx;
4356 /* Clear key, value, and hash. */
4357 HASH_KEY (h, i) = HASH_VALUE (h, i) = Qnil;
4358 HASH_HASH (h, i) = Qnil;
4360 h->count = make_number (XFASTINT (h->count) - 1);
4363 else
4365 if (!remove_p)
4367 /* Make sure key and value survive. */
4368 if (!key_known_to_survive_p)
4370 mark_object (&HASH_KEY (h, i));
4371 marked = 1;
4374 if (!value_known_to_survive_p)
4376 mark_object (&HASH_VALUE (h, i));
4377 marked = 1;
4382 idx = next;
4386 return marked;
4389 /* Remove elements from weak hash tables that don't survive the
4390 current garbage collection. Remove weak tables that don't survive
4391 from Vweak_hash_tables. Called from gc_sweep. */
4393 void
4394 sweep_weak_hash_tables ()
4396 Lisp_Object table, used, next;
4397 struct Lisp_Hash_Table *h;
4398 int marked;
4400 /* Mark all keys and values that are in use. Keep on marking until
4401 there is no more change. This is necessary for cases like
4402 value-weak table A containing an entry X -> Y, where Y is used in a
4403 key-weak table B, Z -> Y. If B comes after A in the list of weak
4404 tables, X -> Y might be removed from A, although when looking at B
4405 one finds that it shouldn't. */
4408 marked = 0;
4409 for (table = Vweak_hash_tables; !GC_NILP (table); table = h->next_weak)
4411 h = XHASH_TABLE (table);
4412 if (h->size & ARRAY_MARK_FLAG)
4413 marked |= sweep_weak_table (h, 0);
4416 while (marked);
4418 /* Remove tables and entries that aren't used. */
4419 for (table = Vweak_hash_tables, used = Qnil; !GC_NILP (table); table = next)
4421 h = XHASH_TABLE (table);
4422 next = h->next_weak;
4424 if (h->size & ARRAY_MARK_FLAG)
4426 /* TABLE is marked as used. Sweep its contents. */
4427 if (XFASTINT (h->count) > 0)
4428 sweep_weak_table (h, 1);
4430 /* Add table to the list of used weak hash tables. */
4431 h->next_weak = used;
4432 used = table;
4436 Vweak_hash_tables = used;
4441 /***********************************************************************
4442 Hash Code Computation
4443 ***********************************************************************/
4445 /* Maximum depth up to which to dive into Lisp structures. */
4447 #define SXHASH_MAX_DEPTH 3
4449 /* Maximum length up to which to take list and vector elements into
4450 account. */
4452 #define SXHASH_MAX_LEN 7
4454 /* Combine two integers X and Y for hashing. */
4456 #define SXHASH_COMBINE(X, Y) \
4457 ((((unsigned)(X) << 4) + (((unsigned)(X) >> 24) & 0x0fffffff)) \
4458 + (unsigned)(Y))
4461 /* Return a hash for string PTR which has length LEN. The hash
4462 code returned is guaranteed to fit in a Lisp integer. */
4464 static unsigned
4465 sxhash_string (ptr, len)
4466 unsigned char *ptr;
4467 int len;
4469 unsigned char *p = ptr;
4470 unsigned char *end = p + len;
4471 unsigned char c;
4472 unsigned hash = 0;
4474 while (p != end)
4476 c = *p++;
4477 if (c >= 0140)
4478 c -= 40;
4479 hash = ((hash << 3) + (hash >> 28) + c);
4482 return hash & VALMASK;
4486 /* Return a hash for list LIST. DEPTH is the current depth in the
4487 list. We don't recurse deeper than SXHASH_MAX_DEPTH in it. */
4489 static unsigned
4490 sxhash_list (list, depth)
4491 Lisp_Object list;
4492 int depth;
4494 unsigned hash = 0;
4495 int i;
4497 if (depth < SXHASH_MAX_DEPTH)
4498 for (i = 0;
4499 CONSP (list) && i < SXHASH_MAX_LEN;
4500 list = XCDR (list), ++i)
4502 unsigned hash2 = sxhash (XCAR (list), depth + 1);
4503 hash = SXHASH_COMBINE (hash, hash2);
4506 return hash;
4510 /* Return a hash for vector VECTOR. DEPTH is the current depth in
4511 the Lisp structure. */
4513 static unsigned
4514 sxhash_vector (vec, depth)
4515 Lisp_Object vec;
4516 int depth;
4518 unsigned hash = XVECTOR (vec)->size;
4519 int i, n;
4521 n = min (SXHASH_MAX_LEN, XVECTOR (vec)->size);
4522 for (i = 0; i < n; ++i)
4524 unsigned hash2 = sxhash (XVECTOR (vec)->contents[i], depth + 1);
4525 hash = SXHASH_COMBINE (hash, hash2);
4528 return hash;
4532 /* Return a hash for bool-vector VECTOR. */
4534 static unsigned
4535 sxhash_bool_vector (vec)
4536 Lisp_Object vec;
4538 unsigned hash = XBOOL_VECTOR (vec)->size;
4539 int i, n;
4541 n = min (SXHASH_MAX_LEN, XBOOL_VECTOR (vec)->vector_size);
4542 for (i = 0; i < n; ++i)
4543 hash = SXHASH_COMBINE (hash, XBOOL_VECTOR (vec)->data[i]);
4545 return hash;
4549 /* Return a hash code for OBJ. DEPTH is the current depth in the Lisp
4550 structure. Value is an unsigned integer clipped to VALMASK. */
4552 unsigned
4553 sxhash (obj, depth)
4554 Lisp_Object obj;
4555 int depth;
4557 unsigned hash;
4559 if (depth > SXHASH_MAX_DEPTH)
4560 return 0;
4562 switch (XTYPE (obj))
4564 case Lisp_Int:
4565 hash = XUINT (obj);
4566 break;
4568 case Lisp_Symbol:
4569 hash = sxhash_string (XSYMBOL (obj)->name->data,
4570 XSYMBOL (obj)->name->size);
4571 break;
4573 case Lisp_Misc:
4574 hash = XUINT (obj);
4575 break;
4577 case Lisp_String:
4578 hash = sxhash_string (XSTRING (obj)->data, XSTRING (obj)->size);
4579 break;
4581 /* This can be everything from a vector to an overlay. */
4582 case Lisp_Vectorlike:
4583 if (VECTORP (obj))
4584 /* According to the CL HyperSpec, two arrays are equal only if
4585 they are `eq', except for strings and bit-vectors. In
4586 Emacs, this works differently. We have to compare element
4587 by element. */
4588 hash = sxhash_vector (obj, depth);
4589 else if (BOOL_VECTOR_P (obj))
4590 hash = sxhash_bool_vector (obj);
4591 else
4592 /* Others are `equal' if they are `eq', so let's take their
4593 address as hash. */
4594 hash = XUINT (obj);
4595 break;
4597 case Lisp_Cons:
4598 hash = sxhash_list (obj, depth);
4599 break;
4601 case Lisp_Float:
4603 unsigned char *p = (unsigned char *) &XFLOAT_DATA (obj);
4604 unsigned char *e = p + sizeof XFLOAT_DATA (obj);
4605 for (hash = 0; p < e; ++p)
4606 hash = SXHASH_COMBINE (hash, *p);
4607 break;
4610 default:
4611 abort ();
4614 return hash & VALMASK;
4619 /***********************************************************************
4620 Lisp Interface
4621 ***********************************************************************/
4624 DEFUN ("sxhash", Fsxhash, Ssxhash, 1, 1, 0,
4625 "Compute a hash code for OBJ and return it as integer.")
4626 (obj)
4627 Lisp_Object obj;
4629 unsigned hash = sxhash (obj, 0);;
4630 return make_number (hash);
4634 DEFUN ("make-hash-table", Fmake_hash_table, Smake_hash_table, 0, MANY, 0,
4635 "Create and return a new hash table.\n\
4636 Arguments are specified as keyword/argument pairs. The following\n\
4637 arguments are defined:\n\
4639 :test TEST -- TEST must be a symbol that specifies how to compare keys.\n\
4640 Default is `eql'. Predefined are the tests `eq', `eql', and `equal'.\n\
4641 User-supplied test and hash functions can be specified via\n\
4642 `define-hash-table-test'.\n\
4644 :size SIZE -- A hint as to how many elements will be put in the table.\n\
4645 Default is 65.\n\
4647 :rehash-size REHASH-SIZE - Indicates how to expand the table when\n\
4648 it fills up. If REHASH-SIZE is an integer, add that many space.\n\
4649 If it is a float, it must be > 1.0, and the new size is computed by\n\
4650 multiplying the old size with that factor. Default is 1.5.\n\
4652 :rehash-threshold THRESHOLD -- THRESHOLD must a float > 0, and <= 1.0.\n\
4653 Resize the hash table when ratio of the number of entries in the table.\n\
4654 Default is 0.8.\n\
4656 :weakness WEAK -- WEAK must be one of nil, t, `key', `value',\n\
4657 `key-or-value', or `key-and-value'. If WEAK is not nil, the table returned\n\
4658 is a weak table. Key/value pairs are removed from a weak hash table when\n\
4659 there are no non-weak references pointing to their key, value, one of key\n\
4660 or value, or both key and value, depending on WEAK. WEAK t is equivalent\n\
4661 to `key-and-value'. Default value of WEAK is nil.")
4662 (nargs, args)
4663 int nargs;
4664 Lisp_Object *args;
4666 Lisp_Object test, size, rehash_size, rehash_threshold, weak;
4667 Lisp_Object user_test, user_hash;
4668 char *used;
4669 int i;
4671 /* The vector `used' is used to keep track of arguments that
4672 have been consumed. */
4673 used = (char *) alloca (nargs * sizeof *used);
4674 bzero (used, nargs * sizeof *used);
4676 /* See if there's a `:test TEST' among the arguments. */
4677 i = get_key_arg (QCtest, nargs, args, used);
4678 test = i < 0 ? Qeql : args[i];
4679 if (!EQ (test, Qeq) && !EQ (test, Qeql) && !EQ (test, Qequal))
4681 /* See if it is a user-defined test. */
4682 Lisp_Object prop;
4684 prop = Fget (test, Qhash_table_test);
4685 if (!CONSP (prop) || XFASTINT (Flength (prop)) < 2)
4686 Fsignal (Qerror, list2 (build_string ("Invalid hash table test"),
4687 test));
4688 user_test = Fnth (make_number (0), prop);
4689 user_hash = Fnth (make_number (1), prop);
4691 else
4692 user_test = user_hash = Qnil;
4694 /* See if there's a `:size SIZE' argument. */
4695 i = get_key_arg (QCsize, nargs, args, used);
4696 size = i < 0 ? make_number (DEFAULT_HASH_SIZE) : args[i];
4697 if (!INTEGERP (size) || XINT (size) < 0)
4698 Fsignal (Qerror,
4699 list2 (build_string ("Invalid hash table size"),
4700 size));
4702 /* Look for `:rehash-size SIZE'. */
4703 i = get_key_arg (QCrehash_size, nargs, args, used);
4704 rehash_size = i < 0 ? make_float (DEFAULT_REHASH_SIZE) : args[i];
4705 if (!NUMBERP (rehash_size)
4706 || (INTEGERP (rehash_size) && XINT (rehash_size) <= 0)
4707 || XFLOATINT (rehash_size) <= 1.0)
4708 Fsignal (Qerror,
4709 list2 (build_string ("Invalid hash table rehash size"),
4710 rehash_size));
4712 /* Look for `:rehash-threshold THRESHOLD'. */
4713 i = get_key_arg (QCrehash_threshold, nargs, args, used);
4714 rehash_threshold = i < 0 ? make_float (DEFAULT_REHASH_THRESHOLD) : args[i];
4715 if (!FLOATP (rehash_threshold)
4716 || XFLOATINT (rehash_threshold) <= 0.0
4717 || XFLOATINT (rehash_threshold) > 1.0)
4718 Fsignal (Qerror,
4719 list2 (build_string ("Invalid hash table rehash threshold"),
4720 rehash_threshold));
4722 /* Look for `:weakness WEAK'. */
4723 i = get_key_arg (QCweakness, nargs, args, used);
4724 weak = i < 0 ? Qnil : args[i];
4725 if (EQ (weak, Qt))
4726 weak = Qkey_and_value;
4727 if (!NILP (weak)
4728 && !EQ (weak, Qkey)
4729 && !EQ (weak, Qvalue)
4730 && !EQ (weak, Qkey_or_value)
4731 && !EQ (weak, Qkey_and_value))
4732 Fsignal (Qerror, list2 (build_string ("Invalid hash table weakness"),
4733 weak));
4735 /* Now, all args should have been used up, or there's a problem. */
4736 for (i = 0; i < nargs; ++i)
4737 if (!used[i])
4738 Fsignal (Qerror,
4739 list2 (build_string ("Invalid argument list"), args[i]));
4741 return make_hash_table (test, size, rehash_size, rehash_threshold, weak,
4742 user_test, user_hash);
4746 DEFUN ("copy-hash-table", Fcopy_hash_table, Scopy_hash_table, 1, 1, 0,
4747 "Return a copy of hash table TABLE.")
4748 (table)
4749 Lisp_Object table;
4751 return copy_hash_table (check_hash_table (table));
4755 DEFUN ("makehash", Fmakehash, Smakehash, 0, 1, 0,
4756 "Create a new hash table.\n\
4757 Optional first argument TEST specifies how to compare keys in\n\
4758 the table. Predefined tests are `eq', `eql', and `equal'. Default\n\
4759 is `eql'. New tests can be defined with `define-hash-table-test'.")
4760 (test)
4761 Lisp_Object test;
4763 Lisp_Object args[2];
4764 args[0] = QCtest;
4765 args[1] = NILP (test) ? Qeql : test;
4766 return Fmake_hash_table (2, args);
4770 DEFUN ("hash-table-count", Fhash_table_count, Shash_table_count, 1, 1, 0,
4771 "Return the number of elements in TABLE.")
4772 (table)
4773 Lisp_Object table;
4775 return check_hash_table (table)->count;
4779 DEFUN ("hash-table-rehash-size", Fhash_table_rehash_size,
4780 Shash_table_rehash_size, 1, 1, 0,
4781 "Return the current rehash size of TABLE.")
4782 (table)
4783 Lisp_Object table;
4785 return check_hash_table (table)->rehash_size;
4789 DEFUN ("hash-table-rehash-threshold", Fhash_table_rehash_threshold,
4790 Shash_table_rehash_threshold, 1, 1, 0,
4791 "Return the current rehash threshold of TABLE.")
4792 (table)
4793 Lisp_Object table;
4795 return check_hash_table (table)->rehash_threshold;
4799 DEFUN ("hash-table-size", Fhash_table_size, Shash_table_size, 1, 1, 0,
4800 "Return the size of TABLE.\n\
4801 The size can be used as an argument to `make-hash-table' to create\n\
4802 a hash table than can hold as many elements of TABLE holds\n\
4803 without need for resizing.")
4804 (table)
4805 Lisp_Object table;
4807 struct Lisp_Hash_Table *h = check_hash_table (table);
4808 return make_number (HASH_TABLE_SIZE (h));
4812 DEFUN ("hash-table-test", Fhash_table_test, Shash_table_test, 1, 1, 0,
4813 "Return the test TABLE uses.")
4814 (table)
4815 Lisp_Object table;
4817 return check_hash_table (table)->test;
4821 DEFUN ("hash-table-weakness", Fhash_table_weakness, Shash_table_weakness,
4822 1, 1, 0,
4823 "Return the weakness of TABLE.")
4824 (table)
4825 Lisp_Object table;
4827 return check_hash_table (table)->weak;
4831 DEFUN ("hash-table-p", Fhash_table_p, Shash_table_p, 1, 1, 0,
4832 "Return t if OBJ is a Lisp hash table object.")
4833 (obj)
4834 Lisp_Object obj;
4836 return HASH_TABLE_P (obj) ? Qt : Qnil;
4840 DEFUN ("clrhash", Fclrhash, Sclrhash, 1, 1, 0,
4841 "Clear hash table TABLE.")
4842 (table)
4843 Lisp_Object table;
4845 hash_clear (check_hash_table (table));
4846 return Qnil;
4850 DEFUN ("gethash", Fgethash, Sgethash, 2, 3, 0,
4851 "Look up KEY in TABLE and return its associated value.\n\
4852 If KEY is not found, return DFLT which defaults to nil.")
4853 (key, table, dflt)
4854 Lisp_Object key, table, dflt;
4856 struct Lisp_Hash_Table *h = check_hash_table (table);
4857 int i = hash_lookup (h, key, NULL);
4858 return i >= 0 ? HASH_VALUE (h, i) : dflt;
4862 DEFUN ("puthash", Fputhash, Sputhash, 3, 3, 0,
4863 "Associate KEY with VALUE in hash table TABLE.\n\
4864 If KEY is already present in table, replace its current value with\n\
4865 VALUE.")
4866 (key, value, table)
4867 Lisp_Object key, value, table;
4869 struct Lisp_Hash_Table *h = check_hash_table (table);
4870 int i;
4871 unsigned hash;
4873 i = hash_lookup (h, key, &hash);
4874 if (i >= 0)
4875 HASH_VALUE (h, i) = value;
4876 else
4877 hash_put (h, key, value, hash);
4879 return value;
4883 DEFUN ("remhash", Fremhash, Sremhash, 2, 2, 0,
4884 "Remove KEY from TABLE.")
4885 (key, table)
4886 Lisp_Object key, table;
4888 struct Lisp_Hash_Table *h = check_hash_table (table);
4889 hash_remove (h, key);
4890 return Qnil;
4894 DEFUN ("maphash", Fmaphash, Smaphash, 2, 2, 0,
4895 "Call FUNCTION for all entries in hash table TABLE.\n\
4896 FUNCTION is called with 2 arguments KEY and VALUE.")
4897 (function, table)
4898 Lisp_Object function, table;
4900 struct Lisp_Hash_Table *h = check_hash_table (table);
4901 Lisp_Object args[3];
4902 int i;
4904 for (i = 0; i < HASH_TABLE_SIZE (h); ++i)
4905 if (!NILP (HASH_HASH (h, i)))
4907 args[0] = function;
4908 args[1] = HASH_KEY (h, i);
4909 args[2] = HASH_VALUE (h, i);
4910 Ffuncall (3, args);
4913 return Qnil;
4917 DEFUN ("define-hash-table-test", Fdefine_hash_table_test,
4918 Sdefine_hash_table_test, 3, 3, 0,
4919 "Define a new hash table test with name NAME, a symbol.\n\
4920 In hash tables create with NAME specified as test, use TEST to compare\n\
4921 keys, and HASH for computing hash codes of keys.\n\
4923 TEST must be a function taking two arguments and returning non-nil\n\
4924 if both arguments are the same. HASH must be a function taking\n\
4925 one argument and return an integer that is the hash code of the\n\
4926 argument. Hash code computation should use the whole value range of\n\
4927 integers, including negative integers.")
4928 (name, test, hash)
4929 Lisp_Object name, test, hash;
4931 return Fput (name, Qhash_table_test, list2 (test, hash));
4937 void
4938 syms_of_fns ()
4940 /* Hash table stuff. */
4941 Qhash_table_p = intern ("hash-table-p");
4942 staticpro (&Qhash_table_p);
4943 Qeq = intern ("eq");
4944 staticpro (&Qeq);
4945 Qeql = intern ("eql");
4946 staticpro (&Qeql);
4947 Qequal = intern ("equal");
4948 staticpro (&Qequal);
4949 QCtest = intern (":test");
4950 staticpro (&QCtest);
4951 QCsize = intern (":size");
4952 staticpro (&QCsize);
4953 QCrehash_size = intern (":rehash-size");
4954 staticpro (&QCrehash_size);
4955 QCrehash_threshold = intern (":rehash-threshold");
4956 staticpro (&QCrehash_threshold);
4957 QCweakness = intern (":weakness");
4958 staticpro (&QCweakness);
4959 Qkey = intern ("key");
4960 staticpro (&Qkey);
4961 Qvalue = intern ("value");
4962 staticpro (&Qvalue);
4963 Qhash_table_test = intern ("hash-table-test");
4964 staticpro (&Qhash_table_test);
4965 Qkey_or_value = intern ("key-or-value");
4966 staticpro (&Qkey_or_value);
4967 Qkey_and_value = intern ("key-and-value");
4968 staticpro (&Qkey_and_value);
4970 defsubr (&Ssxhash);
4971 defsubr (&Smake_hash_table);
4972 defsubr (&Scopy_hash_table);
4973 defsubr (&Smakehash);
4974 defsubr (&Shash_table_count);
4975 defsubr (&Shash_table_rehash_size);
4976 defsubr (&Shash_table_rehash_threshold);
4977 defsubr (&Shash_table_size);
4978 defsubr (&Shash_table_test);
4979 defsubr (&Shash_table_weakness);
4980 defsubr (&Shash_table_p);
4981 defsubr (&Sclrhash);
4982 defsubr (&Sgethash);
4983 defsubr (&Sputhash);
4984 defsubr (&Sremhash);
4985 defsubr (&Smaphash);
4986 defsubr (&Sdefine_hash_table_test);
4988 Qstring_lessp = intern ("string-lessp");
4989 staticpro (&Qstring_lessp);
4990 Qprovide = intern ("provide");
4991 staticpro (&Qprovide);
4992 Qrequire = intern ("require");
4993 staticpro (&Qrequire);
4994 Qyes_or_no_p_history = intern ("yes-or-no-p-history");
4995 staticpro (&Qyes_or_no_p_history);
4996 Qcursor_in_echo_area = intern ("cursor-in-echo-area");
4997 staticpro (&Qcursor_in_echo_area);
4998 Qwidget_type = intern ("widget-type");
4999 staticpro (&Qwidget_type);
5001 staticpro (&string_char_byte_cache_string);
5002 string_char_byte_cache_string = Qnil;
5004 Fset (Qyes_or_no_p_history, Qnil);
5006 DEFVAR_LISP ("features", &Vfeatures,
5007 "A list of symbols which are the features of the executing emacs.\n\
5008 Used by `featurep' and `require', and altered by `provide'.");
5009 Vfeatures = Qnil;
5011 DEFVAR_BOOL ("use-dialog-box", &use_dialog_box,
5012 "*Non-nil means mouse commands use dialog boxes to ask questions.\n\
5013 This applies to y-or-n and yes-or-no questions asked by commands\n\
5014 invoked by mouse clicks and mouse menu items.");
5015 use_dialog_box = 1;
5017 defsubr (&Sidentity);
5018 defsubr (&Srandom);
5019 defsubr (&Slength);
5020 defsubr (&Ssafe_length);
5021 defsubr (&Sstring_bytes);
5022 defsubr (&Sstring_equal);
5023 defsubr (&Scompare_strings);
5024 defsubr (&Sstring_lessp);
5025 defsubr (&Sappend);
5026 defsubr (&Sconcat);
5027 defsubr (&Svconcat);
5028 defsubr (&Scopy_sequence);
5029 defsubr (&Sstring_make_multibyte);
5030 defsubr (&Sstring_make_unibyte);
5031 defsubr (&Sstring_as_multibyte);
5032 defsubr (&Sstring_as_unibyte);
5033 defsubr (&Scopy_alist);
5034 defsubr (&Ssubstring);
5035 defsubr (&Snthcdr);
5036 defsubr (&Snth);
5037 defsubr (&Selt);
5038 defsubr (&Smember);
5039 defsubr (&Smemq);
5040 defsubr (&Sassq);
5041 defsubr (&Sassoc);
5042 defsubr (&Srassq);
5043 defsubr (&Srassoc);
5044 defsubr (&Sdelq);
5045 defsubr (&Sdelete);
5046 defsubr (&Snreverse);
5047 defsubr (&Sreverse);
5048 defsubr (&Ssort);
5049 defsubr (&Splist_get);
5050 defsubr (&Sget);
5051 defsubr (&Splist_put);
5052 defsubr (&Sput);
5053 defsubr (&Sequal);
5054 defsubr (&Sfillarray);
5055 defsubr (&Schar_table_subtype);
5056 defsubr (&Schar_table_parent);
5057 defsubr (&Sset_char_table_parent);
5058 defsubr (&Schar_table_extra_slot);
5059 defsubr (&Sset_char_table_extra_slot);
5060 defsubr (&Schar_table_range);
5061 defsubr (&Sset_char_table_range);
5062 defsubr (&Sset_char_table_default);
5063 defsubr (&Soptimize_char_table);
5064 defsubr (&Smap_char_table);
5065 defsubr (&Snconc);
5066 defsubr (&Smapcar);
5067 defsubr (&Smapc);
5068 defsubr (&Smapconcat);
5069 defsubr (&Sy_or_n_p);
5070 defsubr (&Syes_or_no_p);
5071 defsubr (&Sload_average);
5072 defsubr (&Sfeaturep);
5073 defsubr (&Srequire);
5074 defsubr (&Sprovide);
5075 defsubr (&Splist_member);
5076 defsubr (&Swidget_put);
5077 defsubr (&Swidget_get);
5078 defsubr (&Swidget_apply);
5079 defsubr (&Sbase64_encode_region);
5080 defsubr (&Sbase64_decode_region);
5081 defsubr (&Sbase64_encode_string);
5082 defsubr (&Sbase64_decode_string);
5086 void
5087 init_fns ()
5089 Vweak_hash_tables = Qnil;