(Operating on Files): Simplify previous change and fix Texinfo usage.
[emacs.git] / src / fns.c
blobca4a098878a37540d1a01efb4d7ceb3c2c4bff80
1 /* Random utility Lisp functions.
2 Copyright (C) 1985, 1986, 1987, 1993, 1994, 1995, 1997,
3 1998, 1999, 2000, 2001, 2002, 2003, 2004,
4 2005, 2006 Free Software Foundation, Inc.
6 This file is part of GNU Emacs.
8 GNU Emacs is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
11 any later version.
13 GNU Emacs is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GNU Emacs; see the file COPYING. If not, write to
20 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
21 Boston, MA 02110-1301, USA. */
23 #include <config.h>
25 #ifdef HAVE_UNISTD_H
26 #include <unistd.h>
27 #endif
28 #include <time.h>
30 #ifndef MAC_OS
31 /* On Mac OS, defining this conflicts with precompiled headers. */
33 /* Note on some machines this defines `vector' as a typedef,
34 so make sure we don't use that name in this file. */
35 #undef vector
36 #define vector *****
38 #endif /* ! MAC_OSX */
40 #include "lisp.h"
41 #include "commands.h"
42 #include "charset.h"
43 #include "coding.h"
44 #include "buffer.h"
45 #include "keyboard.h"
46 #include "keymap.h"
47 #include "intervals.h"
48 #include "frame.h"
49 #include "window.h"
50 #include "blockinput.h"
51 #ifdef HAVE_MENUS
52 #if defined (HAVE_X_WINDOWS)
53 #include "xterm.h"
54 #elif defined (MAC_OS)
55 #include "macterm.h"
56 #endif
57 #endif
59 #ifndef NULL
60 #define NULL ((POINTER_TYPE *)0)
61 #endif
63 /* Nonzero enables use of dialog boxes for questions
64 asked by mouse commands. */
65 int use_dialog_box;
67 /* Nonzero enables use of a file dialog for file name
68 questions asked by mouse commands. */
69 int use_file_dialog;
71 extern int minibuffer_auto_raise;
72 extern Lisp_Object minibuf_window;
73 extern Lisp_Object Vlocale_coding_system;
74 extern int load_in_progress;
76 Lisp_Object Qstring_lessp, Qprovide, Qrequire;
77 Lisp_Object Qyes_or_no_p_history;
78 Lisp_Object Qcursor_in_echo_area;
79 Lisp_Object Qwidget_type;
80 Lisp_Object Qcodeset, Qdays, Qmonths, Qpaper;
82 extern Lisp_Object Qinput_method_function;
84 static int internal_equal P_ ((Lisp_Object , Lisp_Object, int, int));
86 extern long get_random ();
87 extern void seed_random P_ ((long));
89 #ifndef HAVE_UNISTD_H
90 extern long time ();
91 #endif
93 DEFUN ("identity", Fidentity, Sidentity, 1, 1, 0,
94 doc: /* Return the argument unchanged. */)
95 (arg)
96 Lisp_Object arg;
98 return arg;
101 DEFUN ("random", Frandom, Srandom, 0, 1, 0,
102 doc: /* Return a pseudo-random number.
103 All integers representable in Lisp are equally likely.
104 On most systems, this is 29 bits' worth.
105 With positive integer argument N, return random number in interval [0,N).
106 With argument t, set the random number seed from the current time and pid. */)
108 Lisp_Object n;
110 EMACS_INT val;
111 Lisp_Object lispy_val;
112 unsigned long denominator;
114 if (EQ (n, Qt))
115 seed_random (getpid () + time (NULL));
116 if (NATNUMP (n) && XFASTINT (n) != 0)
118 /* Try to take our random number from the higher bits of VAL,
119 not the lower, since (says Gentzel) the low bits of `random'
120 are less random than the higher ones. We do this by using the
121 quotient rather than the remainder. At the high end of the RNG
122 it's possible to get a quotient larger than n; discarding
123 these values eliminates the bias that would otherwise appear
124 when using a large n. */
125 denominator = ((unsigned long)1 << VALBITS) / XFASTINT (n);
127 val = get_random () / denominator;
128 while (val >= XFASTINT (n));
130 else
131 val = get_random ();
132 XSETINT (lispy_val, val);
133 return lispy_val;
136 /* Random data-structure functions */
138 DEFUN ("length", Flength, Slength, 1, 1, 0,
139 doc: /* Return the length of vector, list or string SEQUENCE.
140 A byte-code function object is also allowed.
141 If the string contains multibyte characters, this is not necessarily
142 the number of bytes in the string; it is the number of characters.
143 To get the number of bytes, use `string-bytes'. */)
144 (sequence)
145 register Lisp_Object sequence;
147 register Lisp_Object val;
148 register int i;
150 if (STRINGP (sequence))
151 XSETFASTINT (val, SCHARS (sequence));
152 else if (VECTORP (sequence))
153 XSETFASTINT (val, XVECTOR (sequence)->size);
154 else if (SUB_CHAR_TABLE_P (sequence))
155 XSETFASTINT (val, SUB_CHAR_TABLE_ORDINARY_SLOTS);
156 else if (CHAR_TABLE_P (sequence))
157 XSETFASTINT (val, MAX_CHAR);
158 else if (BOOL_VECTOR_P (sequence))
159 XSETFASTINT (val, XBOOL_VECTOR (sequence)->size);
160 else if (COMPILEDP (sequence))
161 XSETFASTINT (val, XVECTOR (sequence)->size & PSEUDOVECTOR_SIZE_MASK);
162 else if (CONSP (sequence))
164 i = 0;
165 while (CONSP (sequence))
167 sequence = XCDR (sequence);
168 ++i;
170 if (!CONSP (sequence))
171 break;
173 sequence = XCDR (sequence);
174 ++i;
175 QUIT;
178 CHECK_LIST_END (sequence, sequence);
180 val = make_number (i);
182 else if (NILP (sequence))
183 XSETFASTINT (val, 0);
184 else
185 wrong_type_argument (Qsequencep, sequence);
187 return val;
190 /* This does not check for quits. That is safe since it must terminate. */
192 DEFUN ("safe-length", Fsafe_length, Ssafe_length, 1, 1, 0,
193 doc: /* Return the length of a list, but avoid error or infinite loop.
194 This function never gets an error. If LIST is not really a list,
195 it returns 0. If LIST is circular, it returns a finite value
196 which is at least the number of distinct elements. */)
197 (list)
198 Lisp_Object list;
200 Lisp_Object tail, halftail, length;
201 int len = 0;
203 /* halftail is used to detect circular lists. */
204 halftail = list;
205 for (tail = list; CONSP (tail); tail = XCDR (tail))
207 if (EQ (tail, halftail) && len != 0)
208 break;
209 len++;
210 if ((len & 1) == 0)
211 halftail = XCDR (halftail);
214 XSETINT (length, len);
215 return length;
218 DEFUN ("string-bytes", Fstring_bytes, Sstring_bytes, 1, 1, 0,
219 doc: /* Return the number of bytes in STRING.
220 If STRING is a multibyte string, this is greater than the length of STRING. */)
221 (string)
222 Lisp_Object string;
224 CHECK_STRING (string);
225 return make_number (SBYTES (string));
228 DEFUN ("string-equal", Fstring_equal, Sstring_equal, 2, 2, 0,
229 doc: /* Return t if two strings have identical contents.
230 Case is significant, but text properties are ignored.
231 Symbols are also allowed; their print names are used instead. */)
232 (s1, s2)
233 register Lisp_Object s1, s2;
235 if (SYMBOLP (s1))
236 s1 = SYMBOL_NAME (s1);
237 if (SYMBOLP (s2))
238 s2 = SYMBOL_NAME (s2);
239 CHECK_STRING (s1);
240 CHECK_STRING (s2);
242 if (SCHARS (s1) != SCHARS (s2)
243 || SBYTES (s1) != SBYTES (s2)
244 || bcmp (SDATA (s1), SDATA (s2), SBYTES (s1)))
245 return Qnil;
246 return Qt;
249 DEFUN ("compare-strings", Fcompare_strings,
250 Scompare_strings, 6, 7, 0,
251 doc: /* Compare the contents of two strings, converting to multibyte if needed.
252 In string STR1, skip the first START1 characters and stop at END1.
253 In string STR2, skip the first START2 characters and stop at END2.
254 END1 and END2 default to the full lengths of the respective strings.
256 Case is significant in this comparison if IGNORE-CASE is nil.
257 Unibyte strings are converted to multibyte for comparison.
259 The value is t if the strings (or specified portions) match.
260 If string STR1 is less, the value is a negative number N;
261 - 1 - N is the number of characters that match at the beginning.
262 If string STR1 is greater, the value is a positive number N;
263 N - 1 is the number of characters that match at the beginning. */)
264 (str1, start1, end1, str2, start2, end2, ignore_case)
265 Lisp_Object str1, start1, end1, start2, str2, end2, ignore_case;
267 register int end1_char, end2_char;
268 register int i1, i1_byte, i2, i2_byte;
270 CHECK_STRING (str1);
271 CHECK_STRING (str2);
272 if (NILP (start1))
273 start1 = make_number (0);
274 if (NILP (start2))
275 start2 = make_number (0);
276 CHECK_NATNUM (start1);
277 CHECK_NATNUM (start2);
278 if (! NILP (end1))
279 CHECK_NATNUM (end1);
280 if (! NILP (end2))
281 CHECK_NATNUM (end2);
283 i1 = XINT (start1);
284 i2 = XINT (start2);
286 i1_byte = string_char_to_byte (str1, i1);
287 i2_byte = string_char_to_byte (str2, i2);
289 end1_char = SCHARS (str1);
290 if (! NILP (end1) && end1_char > XINT (end1))
291 end1_char = XINT (end1);
293 end2_char = SCHARS (str2);
294 if (! NILP (end2) && end2_char > XINT (end2))
295 end2_char = XINT (end2);
297 while (i1 < end1_char && i2 < end2_char)
299 /* When we find a mismatch, we must compare the
300 characters, not just the bytes. */
301 int c1, c2;
303 if (STRING_MULTIBYTE (str1))
304 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c1, str1, i1, i1_byte);
305 else
307 c1 = SREF (str1, i1++);
308 c1 = unibyte_char_to_multibyte (c1);
311 if (STRING_MULTIBYTE (str2))
312 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c2, str2, i2, i2_byte);
313 else
315 c2 = SREF (str2, i2++);
316 c2 = unibyte_char_to_multibyte (c2);
319 if (c1 == c2)
320 continue;
322 if (! NILP (ignore_case))
324 Lisp_Object tem;
326 tem = Fupcase (make_number (c1));
327 c1 = XINT (tem);
328 tem = Fupcase (make_number (c2));
329 c2 = XINT (tem);
332 if (c1 == c2)
333 continue;
335 /* Note that I1 has already been incremented
336 past the character that we are comparing;
337 hence we don't add or subtract 1 here. */
338 if (c1 < c2)
339 return make_number (- i1 + XINT (start1));
340 else
341 return make_number (i1 - XINT (start1));
344 if (i1 < end1_char)
345 return make_number (i1 - XINT (start1) + 1);
346 if (i2 < end2_char)
347 return make_number (- i1 + XINT (start1) - 1);
349 return Qt;
352 DEFUN ("string-lessp", Fstring_lessp, Sstring_lessp, 2, 2, 0,
353 doc: /* Return t if first arg string is less than second in lexicographic order.
354 Case is significant.
355 Symbols are also allowed; their print names are used instead. */)
356 (s1, s2)
357 register Lisp_Object s1, s2;
359 register int end;
360 register int i1, i1_byte, i2, i2_byte;
362 if (SYMBOLP (s1))
363 s1 = SYMBOL_NAME (s1);
364 if (SYMBOLP (s2))
365 s2 = SYMBOL_NAME (s2);
366 CHECK_STRING (s1);
367 CHECK_STRING (s2);
369 i1 = i1_byte = i2 = i2_byte = 0;
371 end = SCHARS (s1);
372 if (end > SCHARS (s2))
373 end = SCHARS (s2);
375 while (i1 < end)
377 /* When we find a mismatch, we must compare the
378 characters, not just the bytes. */
379 int c1, c2;
381 FETCH_STRING_CHAR_ADVANCE (c1, s1, i1, i1_byte);
382 FETCH_STRING_CHAR_ADVANCE (c2, s2, i2, i2_byte);
384 if (c1 != c2)
385 return c1 < c2 ? Qt : Qnil;
387 return i1 < SCHARS (s2) ? Qt : Qnil;
390 static Lisp_Object concat ();
392 /* ARGSUSED */
393 Lisp_Object
394 concat2 (s1, s2)
395 Lisp_Object s1, s2;
397 #ifdef NO_ARG_ARRAY
398 Lisp_Object args[2];
399 args[0] = s1;
400 args[1] = s2;
401 return concat (2, args, Lisp_String, 0);
402 #else
403 return concat (2, &s1, Lisp_String, 0);
404 #endif /* NO_ARG_ARRAY */
407 /* ARGSUSED */
408 Lisp_Object
409 concat3 (s1, s2, s3)
410 Lisp_Object s1, s2, s3;
412 #ifdef NO_ARG_ARRAY
413 Lisp_Object args[3];
414 args[0] = s1;
415 args[1] = s2;
416 args[2] = s3;
417 return concat (3, args, Lisp_String, 0);
418 #else
419 return concat (3, &s1, Lisp_String, 0);
420 #endif /* NO_ARG_ARRAY */
423 DEFUN ("append", Fappend, Sappend, 0, MANY, 0,
424 doc: /* Concatenate all the arguments and make the result a list.
425 The result is a list whose elements are the elements of all the arguments.
426 Each argument may be a list, vector or string.
427 The last argument is not copied, just used as the tail of the new list.
428 usage: (append &rest SEQUENCES) */)
429 (nargs, args)
430 int nargs;
431 Lisp_Object *args;
433 return concat (nargs, args, Lisp_Cons, 1);
436 DEFUN ("concat", Fconcat, Sconcat, 0, MANY, 0,
437 doc: /* Concatenate all the arguments and make the result a string.
438 The result is a string whose elements are the elements of all the arguments.
439 Each argument may be a string or a list or vector of characters (integers).
440 usage: (concat &rest SEQUENCES) */)
441 (nargs, args)
442 int nargs;
443 Lisp_Object *args;
445 return concat (nargs, args, Lisp_String, 0);
448 DEFUN ("vconcat", Fvconcat, Svconcat, 0, MANY, 0,
449 doc: /* Concatenate all the arguments and make the result a vector.
450 The result is a vector whose elements are the elements of all the arguments.
451 Each argument may be a list, vector or string.
452 usage: (vconcat &rest SEQUENCES) */)
453 (nargs, args)
454 int nargs;
455 Lisp_Object *args;
457 return concat (nargs, args, Lisp_Vectorlike, 0);
460 /* Return a copy of a sub char table ARG. The elements except for a
461 nested sub char table are not copied. */
462 static Lisp_Object
463 copy_sub_char_table (arg)
464 Lisp_Object arg;
466 Lisp_Object copy = make_sub_char_table (Qnil);
467 int i;
469 XCHAR_TABLE (copy)->defalt = XCHAR_TABLE (arg)->defalt;
470 /* Copy all the contents. */
471 bcopy (XCHAR_TABLE (arg)->contents, XCHAR_TABLE (copy)->contents,
472 SUB_CHAR_TABLE_ORDINARY_SLOTS * sizeof (Lisp_Object));
473 /* Recursively copy any sub char-tables in the ordinary slots. */
474 for (i = 32; i < SUB_CHAR_TABLE_ORDINARY_SLOTS; i++)
475 if (SUB_CHAR_TABLE_P (XCHAR_TABLE (arg)->contents[i]))
476 XCHAR_TABLE (copy)->contents[i]
477 = copy_sub_char_table (XCHAR_TABLE (copy)->contents[i]);
479 return copy;
483 DEFUN ("copy-sequence", Fcopy_sequence, Scopy_sequence, 1, 1, 0,
484 doc: /* Return a copy of a list, vector, string or char-table.
485 The elements of a list or vector are not copied; they are shared
486 with the original. */)
487 (arg)
488 Lisp_Object arg;
490 if (NILP (arg)) return arg;
492 if (CHAR_TABLE_P (arg))
494 int i;
495 Lisp_Object copy;
497 copy = Fmake_char_table (XCHAR_TABLE (arg)->purpose, Qnil);
498 /* Copy all the slots, including the extra ones. */
499 bcopy (XVECTOR (arg)->contents, XVECTOR (copy)->contents,
500 ((XCHAR_TABLE (arg)->size & PSEUDOVECTOR_SIZE_MASK)
501 * sizeof (Lisp_Object)));
503 /* Recursively copy any sub char tables in the ordinary slots
504 for multibyte characters. */
505 for (i = CHAR_TABLE_SINGLE_BYTE_SLOTS;
506 i < CHAR_TABLE_ORDINARY_SLOTS; i++)
507 if (SUB_CHAR_TABLE_P (XCHAR_TABLE (arg)->contents[i]))
508 XCHAR_TABLE (copy)->contents[i]
509 = copy_sub_char_table (XCHAR_TABLE (copy)->contents[i]);
511 return copy;
514 if (BOOL_VECTOR_P (arg))
516 Lisp_Object val;
517 int size_in_chars
518 = ((XBOOL_VECTOR (arg)->size + BOOL_VECTOR_BITS_PER_CHAR - 1)
519 / BOOL_VECTOR_BITS_PER_CHAR);
521 val = Fmake_bool_vector (Flength (arg), Qnil);
522 bcopy (XBOOL_VECTOR (arg)->data, XBOOL_VECTOR (val)->data,
523 size_in_chars);
524 return val;
527 if (!CONSP (arg) && !VECTORP (arg) && !STRINGP (arg))
528 wrong_type_argument (Qsequencep, arg);
530 return concat (1, &arg, CONSP (arg) ? Lisp_Cons : XTYPE (arg), 0);
533 /* This structure holds information of an argument of `concat' that is
534 a string and has text properties to be copied. */
535 struct textprop_rec
537 int argnum; /* refer to ARGS (arguments of `concat') */
538 int from; /* refer to ARGS[argnum] (argument string) */
539 int to; /* refer to VAL (the target string) */
542 static Lisp_Object
543 concat (nargs, args, target_type, last_special)
544 int nargs;
545 Lisp_Object *args;
546 enum Lisp_Type target_type;
547 int last_special;
549 Lisp_Object val;
550 register Lisp_Object tail;
551 register Lisp_Object this;
552 int toindex;
553 int toindex_byte = 0;
554 register int result_len;
555 register int result_len_byte;
556 register int argnum;
557 Lisp_Object last_tail;
558 Lisp_Object prev;
559 int some_multibyte;
560 /* When we make a multibyte string, we can't copy text properties
561 while concatinating each string because the length of resulting
562 string can't be decided until we finish the whole concatination.
563 So, we record strings that have text properties to be copied
564 here, and copy the text properties after the concatination. */
565 struct textprop_rec *textprops = NULL;
566 /* Number of elments in textprops. */
567 int num_textprops = 0;
568 USE_SAFE_ALLOCA;
570 tail = Qnil;
572 /* In append, the last arg isn't treated like the others */
573 if (last_special && nargs > 0)
575 nargs--;
576 last_tail = args[nargs];
578 else
579 last_tail = Qnil;
581 /* Check each argument. */
582 for (argnum = 0; argnum < nargs; argnum++)
584 this = args[argnum];
585 if (!(CONSP (this) || NILP (this) || VECTORP (this) || STRINGP (this)
586 || COMPILEDP (this) || BOOL_VECTOR_P (this)))
587 wrong_type_argument (Qsequencep, this);
590 /* Compute total length in chars of arguments in RESULT_LEN.
591 If desired output is a string, also compute length in bytes
592 in RESULT_LEN_BYTE, and determine in SOME_MULTIBYTE
593 whether the result should be a multibyte string. */
594 result_len_byte = 0;
595 result_len = 0;
596 some_multibyte = 0;
597 for (argnum = 0; argnum < nargs; argnum++)
599 int len;
600 this = args[argnum];
601 len = XFASTINT (Flength (this));
602 if (target_type == Lisp_String)
604 /* We must count the number of bytes needed in the string
605 as well as the number of characters. */
606 int i;
607 Lisp_Object ch;
608 int this_len_byte;
610 if (VECTORP (this))
611 for (i = 0; i < len; i++)
613 ch = XVECTOR (this)->contents[i];
614 CHECK_NUMBER (ch);
615 this_len_byte = CHAR_BYTES (XINT (ch));
616 result_len_byte += this_len_byte;
617 if (!SINGLE_BYTE_CHAR_P (XINT (ch)))
618 some_multibyte = 1;
620 else if (BOOL_VECTOR_P (this) && XBOOL_VECTOR (this)->size > 0)
621 wrong_type_argument (Qintegerp, Faref (this, make_number (0)));
622 else if (CONSP (this))
623 for (; CONSP (this); this = XCDR (this))
625 ch = XCAR (this);
626 CHECK_NUMBER (ch);
627 this_len_byte = CHAR_BYTES (XINT (ch));
628 result_len_byte += this_len_byte;
629 if (!SINGLE_BYTE_CHAR_P (XINT (ch)))
630 some_multibyte = 1;
632 else if (STRINGP (this))
634 if (STRING_MULTIBYTE (this))
636 some_multibyte = 1;
637 result_len_byte += SBYTES (this);
639 else
640 result_len_byte += count_size_as_multibyte (SDATA (this),
641 SCHARS (this));
645 result_len += len;
648 if (! some_multibyte)
649 result_len_byte = result_len;
651 /* Create the output object. */
652 if (target_type == Lisp_Cons)
653 val = Fmake_list (make_number (result_len), Qnil);
654 else if (target_type == Lisp_Vectorlike)
655 val = Fmake_vector (make_number (result_len), Qnil);
656 else if (some_multibyte)
657 val = make_uninit_multibyte_string (result_len, result_len_byte);
658 else
659 val = make_uninit_string (result_len);
661 /* In `append', if all but last arg are nil, return last arg. */
662 if (target_type == Lisp_Cons && EQ (val, Qnil))
663 return last_tail;
665 /* Copy the contents of the args into the result. */
666 if (CONSP (val))
667 tail = val, toindex = -1; /* -1 in toindex is flag we are making a list */
668 else
669 toindex = 0, toindex_byte = 0;
671 prev = Qnil;
672 if (STRINGP (val))
673 SAFE_ALLOCA (textprops, struct textprop_rec *, sizeof (struct textprop_rec) * nargs);
675 for (argnum = 0; argnum < nargs; argnum++)
677 Lisp_Object thislen;
678 int thisleni = 0;
679 register unsigned int thisindex = 0;
680 register unsigned int thisindex_byte = 0;
682 this = args[argnum];
683 if (!CONSP (this))
684 thislen = Flength (this), thisleni = XINT (thislen);
686 /* Between strings of the same kind, copy fast. */
687 if (STRINGP (this) && STRINGP (val)
688 && STRING_MULTIBYTE (this) == some_multibyte)
690 int thislen_byte = SBYTES (this);
692 bcopy (SDATA (this), SDATA (val) + toindex_byte,
693 SBYTES (this));
694 if (! NULL_INTERVAL_P (STRING_INTERVALS (this)))
696 textprops[num_textprops].argnum = argnum;
697 textprops[num_textprops].from = 0;
698 textprops[num_textprops++].to = toindex;
700 toindex_byte += thislen_byte;
701 toindex += thisleni;
702 STRING_SET_CHARS (val, SCHARS (val));
704 /* Copy a single-byte string to a multibyte string. */
705 else if (STRINGP (this) && STRINGP (val))
707 if (! NULL_INTERVAL_P (STRING_INTERVALS (this)))
709 textprops[num_textprops].argnum = argnum;
710 textprops[num_textprops].from = 0;
711 textprops[num_textprops++].to = toindex;
713 toindex_byte += copy_text (SDATA (this),
714 SDATA (val) + toindex_byte,
715 SCHARS (this), 0, 1);
716 toindex += thisleni;
718 else
719 /* Copy element by element. */
720 while (1)
722 register Lisp_Object elt;
724 /* Fetch next element of `this' arg into `elt', or break if
725 `this' is exhausted. */
726 if (NILP (this)) break;
727 if (CONSP (this))
728 elt = XCAR (this), this = XCDR (this);
729 else if (thisindex >= thisleni)
730 break;
731 else if (STRINGP (this))
733 int c;
734 if (STRING_MULTIBYTE (this))
736 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, this,
737 thisindex,
738 thisindex_byte);
739 XSETFASTINT (elt, c);
741 else
743 XSETFASTINT (elt, SREF (this, thisindex)); thisindex++;
744 if (some_multibyte
745 && (XINT (elt) >= 0240
746 || (XINT (elt) >= 0200
747 && ! NILP (Vnonascii_translation_table)))
748 && XINT (elt) < 0400)
750 c = unibyte_char_to_multibyte (XINT (elt));
751 XSETINT (elt, c);
755 else if (BOOL_VECTOR_P (this))
757 int byte;
758 byte = XBOOL_VECTOR (this)->data[thisindex / BOOL_VECTOR_BITS_PER_CHAR];
759 if (byte & (1 << (thisindex % BOOL_VECTOR_BITS_PER_CHAR)))
760 elt = Qt;
761 else
762 elt = Qnil;
763 thisindex++;
765 else
766 elt = XVECTOR (this)->contents[thisindex++];
768 /* Store this element into the result. */
769 if (toindex < 0)
771 XSETCAR (tail, elt);
772 prev = tail;
773 tail = XCDR (tail);
775 else if (VECTORP (val))
776 XVECTOR (val)->contents[toindex++] = elt;
777 else
779 CHECK_NUMBER (elt);
780 if (SINGLE_BYTE_CHAR_P (XINT (elt)))
782 if (some_multibyte)
783 toindex_byte
784 += CHAR_STRING (XINT (elt),
785 SDATA (val) + toindex_byte);
786 else
787 SSET (val, toindex_byte++, XINT (elt));
788 toindex++;
790 else
791 /* If we have any multibyte characters,
792 we already decided to make a multibyte string. */
794 int c = XINT (elt);
795 /* P exists as a variable
796 to avoid a bug on the Masscomp C compiler. */
797 unsigned char *p = SDATA (val) + toindex_byte;
799 toindex_byte += CHAR_STRING (c, p);
800 toindex++;
805 if (!NILP (prev))
806 XSETCDR (prev, last_tail);
808 if (num_textprops > 0)
810 Lisp_Object props;
811 int last_to_end = -1;
813 for (argnum = 0; argnum < num_textprops; argnum++)
815 this = args[textprops[argnum].argnum];
816 props = text_property_list (this,
817 make_number (0),
818 make_number (SCHARS (this)),
819 Qnil);
820 /* If successive arguments have properites, be sure that the
821 value of `composition' property be the copy. */
822 if (last_to_end == textprops[argnum].to)
823 make_composition_value_copy (props);
824 add_text_properties_from_list (val, props,
825 make_number (textprops[argnum].to));
826 last_to_end = textprops[argnum].to + SCHARS (this);
830 SAFE_FREE ();
831 return val;
834 static Lisp_Object string_char_byte_cache_string;
835 static int string_char_byte_cache_charpos;
836 static int string_char_byte_cache_bytepos;
838 void
839 clear_string_char_byte_cache ()
841 string_char_byte_cache_string = Qnil;
844 /* Return the character index corresponding to CHAR_INDEX in STRING. */
847 string_char_to_byte (string, char_index)
848 Lisp_Object string;
849 int char_index;
851 int i, i_byte;
852 int best_below, best_below_byte;
853 int best_above, best_above_byte;
855 best_below = best_below_byte = 0;
856 best_above = SCHARS (string);
857 best_above_byte = SBYTES (string);
858 if (best_above == best_above_byte)
859 return char_index;
861 if (EQ (string, string_char_byte_cache_string))
863 if (string_char_byte_cache_charpos < char_index)
865 best_below = string_char_byte_cache_charpos;
866 best_below_byte = string_char_byte_cache_bytepos;
868 else
870 best_above = string_char_byte_cache_charpos;
871 best_above_byte = string_char_byte_cache_bytepos;
875 if (char_index - best_below < best_above - char_index)
877 while (best_below < char_index)
879 int c;
880 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, string,
881 best_below, best_below_byte);
883 i = best_below;
884 i_byte = best_below_byte;
886 else
888 while (best_above > char_index)
890 unsigned char *pend = SDATA (string) + best_above_byte;
891 unsigned char *pbeg = pend - best_above_byte;
892 unsigned char *p = pend - 1;
893 int bytes;
895 while (p > pbeg && !CHAR_HEAD_P (*p)) p--;
896 PARSE_MULTIBYTE_SEQ (p, pend - p, bytes);
897 if (bytes == pend - p)
898 best_above_byte -= bytes;
899 else if (bytes > pend - p)
900 best_above_byte -= (pend - p);
901 else
902 best_above_byte--;
903 best_above--;
905 i = best_above;
906 i_byte = best_above_byte;
909 string_char_byte_cache_bytepos = i_byte;
910 string_char_byte_cache_charpos = i;
911 string_char_byte_cache_string = string;
913 return i_byte;
916 /* Return the character index corresponding to BYTE_INDEX in STRING. */
919 string_byte_to_char (string, byte_index)
920 Lisp_Object string;
921 int byte_index;
923 int i, i_byte;
924 int best_below, best_below_byte;
925 int best_above, best_above_byte;
927 best_below = best_below_byte = 0;
928 best_above = SCHARS (string);
929 best_above_byte = SBYTES (string);
930 if (best_above == best_above_byte)
931 return byte_index;
933 if (EQ (string, string_char_byte_cache_string))
935 if (string_char_byte_cache_bytepos < byte_index)
937 best_below = string_char_byte_cache_charpos;
938 best_below_byte = string_char_byte_cache_bytepos;
940 else
942 best_above = string_char_byte_cache_charpos;
943 best_above_byte = string_char_byte_cache_bytepos;
947 if (byte_index - best_below_byte < best_above_byte - byte_index)
949 while (best_below_byte < byte_index)
951 int c;
952 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, string,
953 best_below, best_below_byte);
955 i = best_below;
956 i_byte = best_below_byte;
958 else
960 while (best_above_byte > byte_index)
962 unsigned char *pend = SDATA (string) + best_above_byte;
963 unsigned char *pbeg = pend - best_above_byte;
964 unsigned char *p = pend - 1;
965 int bytes;
967 while (p > pbeg && !CHAR_HEAD_P (*p)) p--;
968 PARSE_MULTIBYTE_SEQ (p, pend - p, bytes);
969 if (bytes == pend - p)
970 best_above_byte -= bytes;
971 else if (bytes > pend - p)
972 best_above_byte -= (pend - p);
973 else
974 best_above_byte--;
975 best_above--;
977 i = best_above;
978 i_byte = best_above_byte;
981 string_char_byte_cache_bytepos = i_byte;
982 string_char_byte_cache_charpos = i;
983 string_char_byte_cache_string = string;
985 return i;
988 /* Convert STRING to a multibyte string.
989 Single-byte characters 0240 through 0377 are converted
990 by adding nonascii_insert_offset to each. */
992 Lisp_Object
993 string_make_multibyte (string)
994 Lisp_Object string;
996 unsigned char *buf;
997 int nbytes;
998 Lisp_Object ret;
999 USE_SAFE_ALLOCA;
1001 if (STRING_MULTIBYTE (string))
1002 return string;
1004 nbytes = count_size_as_multibyte (SDATA (string),
1005 SCHARS (string));
1006 /* If all the chars are ASCII, they won't need any more bytes
1007 once converted. In that case, we can return STRING itself. */
1008 if (nbytes == SBYTES (string))
1009 return string;
1011 SAFE_ALLOCA (buf, unsigned char *, nbytes);
1012 copy_text (SDATA (string), buf, SBYTES (string),
1013 0, 1);
1015 ret = make_multibyte_string (buf, SCHARS (string), nbytes);
1016 SAFE_FREE ();
1018 return ret;
1022 /* Convert STRING to a multibyte string without changing each
1023 character codes. Thus, characters 0200 trough 0237 are converted
1024 to eight-bit-control characters, and characters 0240 through 0377
1025 are converted eight-bit-graphic characters. */
1027 Lisp_Object
1028 string_to_multibyte (string)
1029 Lisp_Object string;
1031 unsigned char *buf;
1032 int nbytes;
1033 Lisp_Object ret;
1034 USE_SAFE_ALLOCA;
1036 if (STRING_MULTIBYTE (string))
1037 return string;
1039 nbytes = parse_str_to_multibyte (SDATA (string), SBYTES (string));
1040 /* If all the chars are ASCII or eight-bit-graphic, they won't need
1041 any more bytes once converted. */
1042 if (nbytes == SBYTES (string))
1043 return make_multibyte_string (SDATA (string), nbytes, nbytes);
1045 SAFE_ALLOCA (buf, unsigned char *, nbytes);
1046 bcopy (SDATA (string), buf, SBYTES (string));
1047 str_to_multibyte (buf, nbytes, SBYTES (string));
1049 ret = make_multibyte_string (buf, SCHARS (string), nbytes);
1050 SAFE_FREE ();
1052 return ret;
1056 /* Convert STRING to a single-byte string. */
1058 Lisp_Object
1059 string_make_unibyte (string)
1060 Lisp_Object string;
1062 int nchars;
1063 unsigned char *buf;
1064 Lisp_Object ret;
1065 USE_SAFE_ALLOCA;
1067 if (! STRING_MULTIBYTE (string))
1068 return string;
1070 nchars = SCHARS (string);
1072 SAFE_ALLOCA (buf, unsigned char *, nchars);
1073 copy_text (SDATA (string), buf, SBYTES (string),
1074 1, 0);
1076 ret = make_unibyte_string (buf, nchars);
1077 SAFE_FREE ();
1079 return ret;
1082 DEFUN ("string-make-multibyte", Fstring_make_multibyte, Sstring_make_multibyte,
1083 1, 1, 0,
1084 doc: /* Return the multibyte equivalent of STRING.
1085 If STRING is unibyte and contains non-ASCII characters, the function
1086 `unibyte-char-to-multibyte' is used to convert each unibyte character
1087 to a multibyte character. In this case, the returned string is a
1088 newly created string with no text properties. If STRING is multibyte
1089 or entirely ASCII, it is returned unchanged. In particular, when
1090 STRING is unibyte and entirely ASCII, the returned string is unibyte.
1091 \(When the characters are all ASCII, Emacs primitives will treat the
1092 string the same way whether it is unibyte or multibyte.) */)
1093 (string)
1094 Lisp_Object string;
1096 CHECK_STRING (string);
1098 return string_make_multibyte (string);
1101 DEFUN ("string-make-unibyte", Fstring_make_unibyte, Sstring_make_unibyte,
1102 1, 1, 0,
1103 doc: /* Return the unibyte equivalent of STRING.
1104 Multibyte character codes are converted to unibyte according to
1105 `nonascii-translation-table' or, if that is nil, `nonascii-insert-offset'.
1106 If the lookup in the translation table fails, this function takes just
1107 the low 8 bits of each character. */)
1108 (string)
1109 Lisp_Object string;
1111 CHECK_STRING (string);
1113 return string_make_unibyte (string);
1116 DEFUN ("string-as-unibyte", Fstring_as_unibyte, Sstring_as_unibyte,
1117 1, 1, 0,
1118 doc: /* Return a unibyte string with the same individual bytes as STRING.
1119 If STRING is unibyte, the result is STRING itself.
1120 Otherwise it is a newly created string, with no text properties.
1121 If STRING is multibyte and contains a character of charset
1122 `eight-bit-control' or `eight-bit-graphic', it is converted to the
1123 corresponding single byte. */)
1124 (string)
1125 Lisp_Object string;
1127 CHECK_STRING (string);
1129 if (STRING_MULTIBYTE (string))
1131 int bytes = SBYTES (string);
1132 unsigned char *str = (unsigned char *) xmalloc (bytes);
1134 bcopy (SDATA (string), str, bytes);
1135 bytes = str_as_unibyte (str, bytes);
1136 string = make_unibyte_string (str, bytes);
1137 xfree (str);
1139 return string;
1142 DEFUN ("string-as-multibyte", Fstring_as_multibyte, Sstring_as_multibyte,
1143 1, 1, 0,
1144 doc: /* Return a multibyte string with the same individual bytes as STRING.
1145 If STRING is multibyte, the result is STRING itself.
1146 Otherwise it is a newly created string, with no text properties.
1147 If STRING is unibyte and contains an individual 8-bit byte (i.e. not
1148 part of a multibyte form), it is converted to the corresponding
1149 multibyte character of charset `eight-bit-control' or `eight-bit-graphic'.
1150 Beware, this often doesn't really do what you think it does.
1151 It is similar to (decode-coding-string STRING 'emacs-mule-unix).
1152 If you're not sure, whether to use `string-as-multibyte' or
1153 `string-to-multibyte', use `string-to-multibyte'. Beware:
1154 (aref (string-as-multibyte "\\201") 0) -> 129 (aka ?\\201)
1155 (aref (string-as-multibyte "\\300") 0) -> 192 (aka ?\\300)
1156 (aref (string-as-multibyte "\\300\\201") 0) -> 192 (aka ?\\300)
1157 (aref (string-as-multibyte "\\300\\201") 1) -> 129 (aka ?\\201)
1159 (aref (string-as-multibyte "\\201\\300") 0) -> 2240
1160 (aref (string-as-multibyte "\\201\\300") 1) -> <error> */)
1161 (string)
1162 Lisp_Object string;
1164 CHECK_STRING (string);
1166 if (! STRING_MULTIBYTE (string))
1168 Lisp_Object new_string;
1169 int nchars, nbytes;
1171 parse_str_as_multibyte (SDATA (string),
1172 SBYTES (string),
1173 &nchars, &nbytes);
1174 new_string = make_uninit_multibyte_string (nchars, nbytes);
1175 bcopy (SDATA (string), SDATA (new_string),
1176 SBYTES (string));
1177 if (nbytes != SBYTES (string))
1178 str_as_multibyte (SDATA (new_string), nbytes,
1179 SBYTES (string), NULL);
1180 string = new_string;
1181 STRING_SET_INTERVALS (string, NULL_INTERVAL);
1183 return string;
1186 DEFUN ("string-to-multibyte", Fstring_to_multibyte, Sstring_to_multibyte,
1187 1, 1, 0,
1188 doc: /* Return a multibyte string with the same individual chars as STRING.
1189 If STRING is multibyte, the result is STRING itself.
1190 Otherwise it is a newly created string, with no text properties.
1191 Characters 0200 through 0237 are converted to eight-bit-control
1192 characters of the same character code. Characters 0240 through 0377
1193 are converted to eight-bit-graphic characters of the same character
1194 codes.
1195 This is similar to (decode-coding-string STRING 'binary) */)
1196 (string)
1197 Lisp_Object string;
1199 CHECK_STRING (string);
1201 return string_to_multibyte (string);
1205 DEFUN ("copy-alist", Fcopy_alist, Scopy_alist, 1, 1, 0,
1206 doc: /* Return a copy of ALIST.
1207 This is an alist which represents the same mapping from objects to objects,
1208 but does not share the alist structure with ALIST.
1209 The objects mapped (cars and cdrs of elements of the alist)
1210 are shared, however.
1211 Elements of ALIST that are not conses are also shared. */)
1212 (alist)
1213 Lisp_Object alist;
1215 register Lisp_Object tem;
1217 CHECK_LIST (alist);
1218 if (NILP (alist))
1219 return alist;
1220 alist = concat (1, &alist, Lisp_Cons, 0);
1221 for (tem = alist; CONSP (tem); tem = XCDR (tem))
1223 register Lisp_Object car;
1224 car = XCAR (tem);
1226 if (CONSP (car))
1227 XSETCAR (tem, Fcons (XCAR (car), XCDR (car)));
1229 return alist;
1232 DEFUN ("substring", Fsubstring, Ssubstring, 2, 3, 0,
1233 doc: /* Return a substring of STRING, starting at index FROM and ending before TO.
1234 TO may be nil or omitted; then the substring runs to the end of STRING.
1235 FROM and TO start at 0. If either is negative, it counts from the end.
1237 This function allows vectors as well as strings. */)
1238 (string, from, to)
1239 Lisp_Object string;
1240 register Lisp_Object from, to;
1242 Lisp_Object res;
1243 int size;
1244 int size_byte = 0;
1245 int from_char, to_char;
1246 int from_byte = 0, to_byte = 0;
1248 CHECK_VECTOR_OR_STRING (string);
1249 CHECK_NUMBER (from);
1251 if (STRINGP (string))
1253 size = SCHARS (string);
1254 size_byte = SBYTES (string);
1256 else
1257 size = XVECTOR (string)->size;
1259 if (NILP (to))
1261 to_char = size;
1262 to_byte = size_byte;
1264 else
1266 CHECK_NUMBER (to);
1268 to_char = XINT (to);
1269 if (to_char < 0)
1270 to_char += size;
1272 if (STRINGP (string))
1273 to_byte = string_char_to_byte (string, to_char);
1276 from_char = XINT (from);
1277 if (from_char < 0)
1278 from_char += size;
1279 if (STRINGP (string))
1280 from_byte = string_char_to_byte (string, from_char);
1282 if (!(0 <= from_char && from_char <= to_char && to_char <= size))
1283 args_out_of_range_3 (string, make_number (from_char),
1284 make_number (to_char));
1286 if (STRINGP (string))
1288 res = make_specified_string (SDATA (string) + from_byte,
1289 to_char - from_char, to_byte - from_byte,
1290 STRING_MULTIBYTE (string));
1291 copy_text_properties (make_number (from_char), make_number (to_char),
1292 string, make_number (0), res, Qnil);
1294 else
1295 res = Fvector (to_char - from_char,
1296 XVECTOR (string)->contents + from_char);
1298 return res;
1302 DEFUN ("substring-no-properties", Fsubstring_no_properties, Ssubstring_no_properties, 1, 3, 0,
1303 doc: /* Return a substring of STRING, without text properties.
1304 It starts at index FROM and ending before TO.
1305 TO may be nil or omitted; then the substring runs to the end of STRING.
1306 If FROM is nil or omitted, the substring starts at the beginning of STRING.
1307 If FROM or TO is negative, it counts from the end.
1309 With one argument, just copy STRING without its properties. */)
1310 (string, from, to)
1311 Lisp_Object string;
1312 register Lisp_Object from, to;
1314 int size, size_byte;
1315 int from_char, to_char;
1316 int from_byte, to_byte;
1318 CHECK_STRING (string);
1320 size = SCHARS (string);
1321 size_byte = SBYTES (string);
1323 if (NILP (from))
1324 from_char = from_byte = 0;
1325 else
1327 CHECK_NUMBER (from);
1328 from_char = XINT (from);
1329 if (from_char < 0)
1330 from_char += size;
1332 from_byte = string_char_to_byte (string, from_char);
1335 if (NILP (to))
1337 to_char = size;
1338 to_byte = size_byte;
1340 else
1342 CHECK_NUMBER (to);
1344 to_char = XINT (to);
1345 if (to_char < 0)
1346 to_char += size;
1348 to_byte = string_char_to_byte (string, to_char);
1351 if (!(0 <= from_char && from_char <= to_char && to_char <= size))
1352 args_out_of_range_3 (string, make_number (from_char),
1353 make_number (to_char));
1355 return make_specified_string (SDATA (string) + from_byte,
1356 to_char - from_char, to_byte - from_byte,
1357 STRING_MULTIBYTE (string));
1360 /* Extract a substring of STRING, giving start and end positions
1361 both in characters and in bytes. */
1363 Lisp_Object
1364 substring_both (string, from, from_byte, to, to_byte)
1365 Lisp_Object string;
1366 int from, from_byte, to, to_byte;
1368 Lisp_Object res;
1369 int size;
1370 int size_byte;
1372 CHECK_VECTOR_OR_STRING (string);
1374 if (STRINGP (string))
1376 size = SCHARS (string);
1377 size_byte = SBYTES (string);
1379 else
1380 size = XVECTOR (string)->size;
1382 if (!(0 <= from && from <= to && to <= size))
1383 args_out_of_range_3 (string, make_number (from), make_number (to));
1385 if (STRINGP (string))
1387 res = make_specified_string (SDATA (string) + from_byte,
1388 to - from, to_byte - from_byte,
1389 STRING_MULTIBYTE (string));
1390 copy_text_properties (make_number (from), make_number (to),
1391 string, make_number (0), res, Qnil);
1393 else
1394 res = Fvector (to - from,
1395 XVECTOR (string)->contents + from);
1397 return res;
1400 DEFUN ("nthcdr", Fnthcdr, Snthcdr, 2, 2, 0,
1401 doc: /* Take cdr N times on LIST, returns the result. */)
1402 (n, list)
1403 Lisp_Object n;
1404 register Lisp_Object list;
1406 register int i, num;
1407 CHECK_NUMBER (n);
1408 num = XINT (n);
1409 for (i = 0; i < num && !NILP (list); i++)
1411 QUIT;
1412 CHECK_LIST_CONS (list, list);
1413 list = XCDR (list);
1415 return list;
1418 DEFUN ("nth", Fnth, Snth, 2, 2, 0,
1419 doc: /* Return the Nth element of LIST.
1420 N counts from zero. If LIST is not that long, nil is returned. */)
1421 (n, list)
1422 Lisp_Object n, list;
1424 return Fcar (Fnthcdr (n, list));
1427 DEFUN ("elt", Felt, Selt, 2, 2, 0,
1428 doc: /* Return element of SEQUENCE at index N. */)
1429 (sequence, n)
1430 register Lisp_Object sequence, n;
1432 CHECK_NUMBER (n);
1433 if (CONSP (sequence) || NILP (sequence))
1434 return Fcar (Fnthcdr (n, sequence));
1436 /* Faref signals a "not array" error, so check here. */
1437 CHECK_ARRAY (sequence, Qsequencep);
1438 return Faref (sequence, n);
1441 DEFUN ("member", Fmember, Smember, 2, 2, 0,
1442 doc: /* Return non-nil if ELT is an element of LIST. Comparison done with `equal'.
1443 The value is actually the tail of LIST whose car is ELT. */)
1444 (elt, list)
1445 register Lisp_Object elt;
1446 Lisp_Object list;
1448 register Lisp_Object tail;
1449 for (tail = list; !NILP (tail); tail = XCDR (tail))
1451 register Lisp_Object tem;
1452 CHECK_LIST_CONS (tail, list);
1453 tem = XCAR (tail);
1454 if (! NILP (Fequal (elt, tem)))
1455 return tail;
1456 QUIT;
1458 return Qnil;
1461 DEFUN ("memq", Fmemq, Smemq, 2, 2, 0,
1462 doc: /* Return non-nil if ELT is an element of LIST.
1463 Comparison done with `eq'. The value is actually the tail of LIST
1464 whose car is ELT. */)
1465 (elt, list)
1466 Lisp_Object elt, list;
1468 while (1)
1470 if (!CONSP (list) || EQ (XCAR (list), elt))
1471 break;
1473 list = XCDR (list);
1474 if (!CONSP (list) || EQ (XCAR (list), elt))
1475 break;
1477 list = XCDR (list);
1478 if (!CONSP (list) || EQ (XCAR (list), elt))
1479 break;
1481 list = XCDR (list);
1482 QUIT;
1485 CHECK_LIST (list);
1486 return list;
1489 DEFUN ("assq", Fassq, Sassq, 2, 2, 0,
1490 doc: /* Return non-nil if KEY is `eq' to the car of an element of LIST.
1491 The value is actually the first element of LIST whose car is KEY.
1492 Elements of LIST that are not conses are ignored. */)
1493 (key, list)
1494 Lisp_Object key, list;
1496 while (1)
1498 if (!CONSP (list)
1499 || (CONSP (XCAR (list))
1500 && EQ (XCAR (XCAR (list)), key)))
1501 break;
1503 list = XCDR (list);
1504 if (!CONSP (list)
1505 || (CONSP (XCAR (list))
1506 && EQ (XCAR (XCAR (list)), key)))
1507 break;
1509 list = XCDR (list);
1510 if (!CONSP (list)
1511 || (CONSP (XCAR (list))
1512 && EQ (XCAR (XCAR (list)), key)))
1513 break;
1515 list = XCDR (list);
1516 QUIT;
1519 return CAR (list);
1522 /* Like Fassq but never report an error and do not allow quits.
1523 Use only on lists known never to be circular. */
1525 Lisp_Object
1526 assq_no_quit (key, list)
1527 Lisp_Object key, list;
1529 while (CONSP (list)
1530 && (!CONSP (XCAR (list))
1531 || !EQ (XCAR (XCAR (list)), key)))
1532 list = XCDR (list);
1534 return CAR_SAFE (list);
1537 DEFUN ("assoc", Fassoc, Sassoc, 2, 2, 0,
1538 doc: /* Return non-nil if KEY is `equal' to the car of an element of LIST.
1539 The value is actually the first element of LIST whose car equals KEY. */)
1540 (key, list)
1541 Lisp_Object key, list;
1543 Lisp_Object car;
1545 while (1)
1547 if (!CONSP (list)
1548 || (CONSP (XCAR (list))
1549 && (car = XCAR (XCAR (list)),
1550 EQ (car, key) || !NILP (Fequal (car, key)))))
1551 break;
1553 list = XCDR (list);
1554 if (!CONSP (list)
1555 || (CONSP (XCAR (list))
1556 && (car = XCAR (XCAR (list)),
1557 EQ (car, key) || !NILP (Fequal (car, key)))))
1558 break;
1560 list = XCDR (list);
1561 if (!CONSP (list)
1562 || (CONSP (XCAR (list))
1563 && (car = XCAR (XCAR (list)),
1564 EQ (car, key) || !NILP (Fequal (car, key)))))
1565 break;
1567 list = XCDR (list);
1568 QUIT;
1571 return CAR (list);
1574 DEFUN ("rassq", Frassq, Srassq, 2, 2, 0,
1575 doc: /* Return non-nil if KEY is `eq' to the cdr of an element of LIST.
1576 The value is actually the first element of LIST whose cdr is KEY. */)
1577 (key, list)
1578 register Lisp_Object key;
1579 Lisp_Object list;
1581 while (1)
1583 if (!CONSP (list)
1584 || (CONSP (XCAR (list))
1585 && EQ (XCDR (XCAR (list)), key)))
1586 break;
1588 list = XCDR (list);
1589 if (!CONSP (list)
1590 || (CONSP (XCAR (list))
1591 && EQ (XCDR (XCAR (list)), key)))
1592 break;
1594 list = XCDR (list);
1595 if (!CONSP (list)
1596 || (CONSP (XCAR (list))
1597 && EQ (XCDR (XCAR (list)), key)))
1598 break;
1600 list = XCDR (list);
1601 QUIT;
1604 return CAR (list);
1607 DEFUN ("rassoc", Frassoc, Srassoc, 2, 2, 0,
1608 doc: /* Return non-nil if KEY is `equal' to the cdr of an element of LIST.
1609 The value is actually the first element of LIST whose cdr equals KEY. */)
1610 (key, list)
1611 Lisp_Object key, list;
1613 Lisp_Object cdr;
1615 while (1)
1617 if (!CONSP (list)
1618 || (CONSP (XCAR (list))
1619 && (cdr = XCDR (XCAR (list)),
1620 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1621 break;
1623 list = XCDR (list);
1624 if (!CONSP (list)
1625 || (CONSP (XCAR (list))
1626 && (cdr = XCDR (XCAR (list)),
1627 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1628 break;
1630 list = XCDR (list);
1631 if (!CONSP (list)
1632 || (CONSP (XCAR (list))
1633 && (cdr = XCDR (XCAR (list)),
1634 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1635 break;
1637 list = XCDR (list);
1638 QUIT;
1641 return CAR (list);
1644 DEFUN ("delq", Fdelq, Sdelq, 2, 2, 0,
1645 doc: /* Delete by side effect any occurrences of ELT as a member of LIST.
1646 The modified LIST is returned. Comparison is done with `eq'.
1647 If the first member of LIST is ELT, there is no way to remove it by side effect;
1648 therefore, write `(setq foo (delq element foo))'
1649 to be sure of changing the value of `foo'. */)
1650 (elt, list)
1651 register Lisp_Object elt;
1652 Lisp_Object list;
1654 register Lisp_Object tail, prev;
1655 register Lisp_Object tem;
1657 tail = list;
1658 prev = Qnil;
1659 while (!NILP (tail))
1661 CHECK_LIST_CONS (tail, list);
1662 tem = XCAR (tail);
1663 if (EQ (elt, tem))
1665 if (NILP (prev))
1666 list = XCDR (tail);
1667 else
1668 Fsetcdr (prev, XCDR (tail));
1670 else
1671 prev = tail;
1672 tail = XCDR (tail);
1673 QUIT;
1675 return list;
1678 DEFUN ("delete", Fdelete, Sdelete, 2, 2, 0,
1679 doc: /* Delete by side effect any occurrences of ELT as a member of SEQ.
1680 SEQ must be a list, a vector, or a string.
1681 The modified SEQ is returned. Comparison is done with `equal'.
1682 If SEQ is not a list, or the first member of SEQ is ELT, deleting it
1683 is not a side effect; it is simply using a different sequence.
1684 Therefore, write `(setq foo (delete element foo))'
1685 to be sure of changing the value of `foo'. */)
1686 (elt, seq)
1687 Lisp_Object elt, seq;
1689 if (VECTORP (seq))
1691 EMACS_INT i, n;
1693 for (i = n = 0; i < ASIZE (seq); ++i)
1694 if (NILP (Fequal (AREF (seq, i), elt)))
1695 ++n;
1697 if (n != ASIZE (seq))
1699 struct Lisp_Vector *p = allocate_vector (n);
1701 for (i = n = 0; i < ASIZE (seq); ++i)
1702 if (NILP (Fequal (AREF (seq, i), elt)))
1703 p->contents[n++] = AREF (seq, i);
1705 XSETVECTOR (seq, p);
1708 else if (STRINGP (seq))
1710 EMACS_INT i, ibyte, nchars, nbytes, cbytes;
1711 int c;
1713 for (i = nchars = nbytes = ibyte = 0;
1714 i < SCHARS (seq);
1715 ++i, ibyte += cbytes)
1717 if (STRING_MULTIBYTE (seq))
1719 c = STRING_CHAR (SDATA (seq) + ibyte,
1720 SBYTES (seq) - ibyte);
1721 cbytes = CHAR_BYTES (c);
1723 else
1725 c = SREF (seq, i);
1726 cbytes = 1;
1729 if (!INTEGERP (elt) || c != XINT (elt))
1731 ++nchars;
1732 nbytes += cbytes;
1736 if (nchars != SCHARS (seq))
1738 Lisp_Object tem;
1740 tem = make_uninit_multibyte_string (nchars, nbytes);
1741 if (!STRING_MULTIBYTE (seq))
1742 STRING_SET_UNIBYTE (tem);
1744 for (i = nchars = nbytes = ibyte = 0;
1745 i < SCHARS (seq);
1746 ++i, ibyte += cbytes)
1748 if (STRING_MULTIBYTE (seq))
1750 c = STRING_CHAR (SDATA (seq) + ibyte,
1751 SBYTES (seq) - ibyte);
1752 cbytes = CHAR_BYTES (c);
1754 else
1756 c = SREF (seq, i);
1757 cbytes = 1;
1760 if (!INTEGERP (elt) || c != XINT (elt))
1762 unsigned char *from = SDATA (seq) + ibyte;
1763 unsigned char *to = SDATA (tem) + nbytes;
1764 EMACS_INT n;
1766 ++nchars;
1767 nbytes += cbytes;
1769 for (n = cbytes; n--; )
1770 *to++ = *from++;
1774 seq = tem;
1777 else
1779 Lisp_Object tail, prev;
1781 for (tail = seq, prev = Qnil; !NILP (tail); tail = XCDR (tail))
1783 CHECK_LIST_CONS (tail, seq);
1785 if (!NILP (Fequal (elt, XCAR (tail))))
1787 if (NILP (prev))
1788 seq = XCDR (tail);
1789 else
1790 Fsetcdr (prev, XCDR (tail));
1792 else
1793 prev = tail;
1794 QUIT;
1798 return seq;
1801 DEFUN ("nreverse", Fnreverse, Snreverse, 1, 1, 0,
1802 doc: /* Reverse LIST by modifying cdr pointers.
1803 Return the reversed list. */)
1804 (list)
1805 Lisp_Object list;
1807 register Lisp_Object prev, tail, next;
1809 if (NILP (list)) return list;
1810 prev = Qnil;
1811 tail = list;
1812 while (!NILP (tail))
1814 QUIT;
1815 CHECK_LIST_CONS (tail, list);
1816 next = XCDR (tail);
1817 Fsetcdr (tail, prev);
1818 prev = tail;
1819 tail = next;
1821 return prev;
1824 DEFUN ("reverse", Freverse, Sreverse, 1, 1, 0,
1825 doc: /* Reverse LIST, copying. Return the reversed list.
1826 See also the function `nreverse', which is used more often. */)
1827 (list)
1828 Lisp_Object list;
1830 Lisp_Object new;
1832 for (new = Qnil; CONSP (list); list = XCDR (list))
1834 QUIT;
1835 new = Fcons (XCAR (list), new);
1837 CHECK_LIST_END (list, list);
1838 return new;
1841 Lisp_Object merge ();
1843 DEFUN ("sort", Fsort, Ssort, 2, 2, 0,
1844 doc: /* Sort LIST, stably, comparing elements using PREDICATE.
1845 Returns the sorted list. LIST is modified by side effects.
1846 PREDICATE is called with two elements of LIST, and should return non-nil
1847 if the first element should sort before the second. */)
1848 (list, predicate)
1849 Lisp_Object list, predicate;
1851 Lisp_Object front, back;
1852 register Lisp_Object len, tem;
1853 struct gcpro gcpro1, gcpro2;
1854 register int length;
1856 front = list;
1857 len = Flength (list);
1858 length = XINT (len);
1859 if (length < 2)
1860 return list;
1862 XSETINT (len, (length / 2) - 1);
1863 tem = Fnthcdr (len, list);
1864 back = Fcdr (tem);
1865 Fsetcdr (tem, Qnil);
1867 GCPRO2 (front, back);
1868 front = Fsort (front, predicate);
1869 back = Fsort (back, predicate);
1870 UNGCPRO;
1871 return merge (front, back, predicate);
1874 Lisp_Object
1875 merge (org_l1, org_l2, pred)
1876 Lisp_Object org_l1, org_l2;
1877 Lisp_Object pred;
1879 Lisp_Object value;
1880 register Lisp_Object tail;
1881 Lisp_Object tem;
1882 register Lisp_Object l1, l2;
1883 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
1885 l1 = org_l1;
1886 l2 = org_l2;
1887 tail = Qnil;
1888 value = Qnil;
1890 /* It is sufficient to protect org_l1 and org_l2.
1891 When l1 and l2 are updated, we copy the new values
1892 back into the org_ vars. */
1893 GCPRO4 (org_l1, org_l2, pred, value);
1895 while (1)
1897 if (NILP (l1))
1899 UNGCPRO;
1900 if (NILP (tail))
1901 return l2;
1902 Fsetcdr (tail, l2);
1903 return value;
1905 if (NILP (l2))
1907 UNGCPRO;
1908 if (NILP (tail))
1909 return l1;
1910 Fsetcdr (tail, l1);
1911 return value;
1913 tem = call2 (pred, Fcar (l2), Fcar (l1));
1914 if (NILP (tem))
1916 tem = l1;
1917 l1 = Fcdr (l1);
1918 org_l1 = l1;
1920 else
1922 tem = l2;
1923 l2 = Fcdr (l2);
1924 org_l2 = l2;
1926 if (NILP (tail))
1927 value = tem;
1928 else
1929 Fsetcdr (tail, tem);
1930 tail = tem;
1935 #if 0 /* Unsafe version. */
1936 DEFUN ("plist-get", Fplist_get, Splist_get, 2, 2, 0,
1937 doc: /* Extract a value from a property list.
1938 PLIST is a property list, which is a list of the form
1939 \(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value
1940 corresponding to the given PROP, or nil if PROP is not
1941 one of the properties on the list. */)
1942 (plist, prop)
1943 Lisp_Object plist;
1944 Lisp_Object prop;
1946 Lisp_Object tail;
1948 for (tail = plist;
1949 CONSP (tail) && CONSP (XCDR (tail));
1950 tail = XCDR (XCDR (tail)))
1952 if (EQ (prop, XCAR (tail)))
1953 return XCAR (XCDR (tail));
1955 /* This function can be called asynchronously
1956 (setup_coding_system). Don't QUIT in that case. */
1957 if (!interrupt_input_blocked)
1958 QUIT;
1961 CHECK_LIST_END (tail, prop);
1963 return Qnil;
1965 #endif
1967 /* This does not check for quits. That is safe since it must terminate. */
1969 DEFUN ("plist-get", Fplist_get, Splist_get, 2, 2, 0,
1970 doc: /* Extract a value from a property list.
1971 PLIST is a property list, which is a list of the form
1972 \(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value
1973 corresponding to the given PROP, or nil if PROP is not one of the
1974 properties on the list. This function never signals an error. */)
1975 (plist, prop)
1976 Lisp_Object plist;
1977 Lisp_Object prop;
1979 Lisp_Object tail, halftail;
1981 /* halftail is used to detect circular lists. */
1982 tail = halftail = plist;
1983 while (CONSP (tail) && CONSP (XCDR (tail)))
1985 if (EQ (prop, XCAR (tail)))
1986 return XCAR (XCDR (tail));
1988 tail = XCDR (XCDR (tail));
1989 halftail = XCDR (halftail);
1990 if (EQ (tail, halftail))
1991 break;
1994 return Qnil;
1997 DEFUN ("get", Fget, Sget, 2, 2, 0,
1998 doc: /* Return the value of SYMBOL's PROPNAME property.
1999 This is the last value stored with `(put SYMBOL PROPNAME VALUE)'. */)
2000 (symbol, propname)
2001 Lisp_Object symbol, propname;
2003 CHECK_SYMBOL (symbol);
2004 return Fplist_get (XSYMBOL (symbol)->plist, propname);
2007 DEFUN ("plist-put", Fplist_put, Splist_put, 3, 3, 0,
2008 doc: /* Change value in PLIST of PROP to VAL.
2009 PLIST is a property list, which is a list of the form
2010 \(PROP1 VALUE1 PROP2 VALUE2 ...). PROP is a symbol and VAL is any object.
2011 If PROP is already a property on the list, its value is set to VAL,
2012 otherwise the new PROP VAL pair is added. The new plist is returned;
2013 use `(setq x (plist-put x prop val))' to be sure to use the new value.
2014 The PLIST is modified by side effects. */)
2015 (plist, prop, val)
2016 Lisp_Object plist;
2017 register Lisp_Object prop;
2018 Lisp_Object val;
2020 register Lisp_Object tail, prev;
2021 Lisp_Object newcell;
2022 prev = Qnil;
2023 for (tail = plist; CONSP (tail) && CONSP (XCDR (tail));
2024 tail = XCDR (XCDR (tail)))
2026 if (EQ (prop, XCAR (tail)))
2028 Fsetcar (XCDR (tail), val);
2029 return plist;
2032 prev = tail;
2033 QUIT;
2035 newcell = Fcons (prop, Fcons (val, Qnil));
2036 if (NILP (prev))
2037 return newcell;
2038 else
2039 Fsetcdr (XCDR (prev), newcell);
2040 return plist;
2043 DEFUN ("put", Fput, Sput, 3, 3, 0,
2044 doc: /* Store SYMBOL's PROPNAME property with value VALUE.
2045 It can be retrieved with `(get SYMBOL PROPNAME)'. */)
2046 (symbol, propname, value)
2047 Lisp_Object symbol, propname, value;
2049 CHECK_SYMBOL (symbol);
2050 XSYMBOL (symbol)->plist
2051 = Fplist_put (XSYMBOL (symbol)->plist, propname, value);
2052 return value;
2055 DEFUN ("lax-plist-get", Flax_plist_get, Slax_plist_get, 2, 2, 0,
2056 doc: /* Extract a value from a property list, comparing with `equal'.
2057 PLIST is a property list, which is a list of the form
2058 \(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value
2059 corresponding to the given PROP, or nil if PROP is not
2060 one of the properties on the list. */)
2061 (plist, prop)
2062 Lisp_Object plist;
2063 Lisp_Object prop;
2065 Lisp_Object tail;
2067 for (tail = plist;
2068 CONSP (tail) && CONSP (XCDR (tail));
2069 tail = XCDR (XCDR (tail)))
2071 if (! NILP (Fequal (prop, XCAR (tail))))
2072 return XCAR (XCDR (tail));
2074 QUIT;
2077 CHECK_LIST_END (tail, prop);
2079 return Qnil;
2082 DEFUN ("lax-plist-put", Flax_plist_put, Slax_plist_put, 3, 3, 0,
2083 doc: /* Change value in PLIST of PROP to VAL, comparing with `equal'.
2084 PLIST is a property list, which is a list of the form
2085 \(PROP1 VALUE1 PROP2 VALUE2 ...). PROP and VAL are any objects.
2086 If PROP is already a property on the list, its value is set to VAL,
2087 otherwise the new PROP VAL pair is added. The new plist is returned;
2088 use `(setq x (lax-plist-put x prop val))' to be sure to use the new value.
2089 The PLIST is modified by side effects. */)
2090 (plist, prop, val)
2091 Lisp_Object plist;
2092 register Lisp_Object prop;
2093 Lisp_Object val;
2095 register Lisp_Object tail, prev;
2096 Lisp_Object newcell;
2097 prev = Qnil;
2098 for (tail = plist; CONSP (tail) && CONSP (XCDR (tail));
2099 tail = XCDR (XCDR (tail)))
2101 if (! NILP (Fequal (prop, XCAR (tail))))
2103 Fsetcar (XCDR (tail), val);
2104 return plist;
2107 prev = tail;
2108 QUIT;
2110 newcell = Fcons (prop, Fcons (val, Qnil));
2111 if (NILP (prev))
2112 return newcell;
2113 else
2114 Fsetcdr (XCDR (prev), newcell);
2115 return plist;
2118 DEFUN ("eql", Feql, Seql, 2, 2, 0,
2119 doc: /* Return t if the two args are the same Lisp object.
2120 Floating-point numbers of equal value are `eql', but they may not be `eq'. */)
2121 (obj1, obj2)
2122 Lisp_Object obj1, obj2;
2124 if (FLOATP (obj1))
2125 return internal_equal (obj1, obj2, 0, 0) ? Qt : Qnil;
2126 else
2127 return EQ (obj1, obj2) ? Qt : Qnil;
2130 DEFUN ("equal", Fequal, Sequal, 2, 2, 0,
2131 doc: /* Return t if two Lisp objects have similar structure and contents.
2132 They must have the same data type.
2133 Conses are compared by comparing the cars and the cdrs.
2134 Vectors and strings are compared element by element.
2135 Numbers are compared by value, but integers cannot equal floats.
2136 (Use `=' if you want integers and floats to be able to be equal.)
2137 Symbols must match exactly. */)
2138 (o1, o2)
2139 register Lisp_Object o1, o2;
2141 return internal_equal (o1, o2, 0, 0) ? Qt : Qnil;
2144 DEFUN ("equal-including-properties", Fequal_including_properties, Sequal_including_properties, 2, 2, 0,
2145 doc: /* Return t if two Lisp objects have similar structure and contents.
2146 This is like `equal' except that it compares the text properties
2147 of strings. (`equal' ignores text properties.) */)
2148 (o1, o2)
2149 register Lisp_Object o1, o2;
2151 return internal_equal (o1, o2, 0, 1) ? Qt : Qnil;
2154 /* DEPTH is current depth of recursion. Signal an error if it
2155 gets too deep.
2156 PROPS, if non-nil, means compare string text properties too. */
2158 static int
2159 internal_equal (o1, o2, depth, props)
2160 register Lisp_Object o1, o2;
2161 int depth, props;
2163 if (depth > 200)
2164 error ("Stack overflow in equal");
2166 tail_recurse:
2167 QUIT;
2168 if (EQ (o1, o2))
2169 return 1;
2170 if (XTYPE (o1) != XTYPE (o2))
2171 return 0;
2173 switch (XTYPE (o1))
2175 case Lisp_Float:
2177 double d1, d2;
2179 d1 = extract_float (o1);
2180 d2 = extract_float (o2);
2181 /* If d is a NaN, then d != d. Two NaNs should be `equal' even
2182 though they are not =. */
2183 return d1 == d2 || (d1 != d1 && d2 != d2);
2186 case Lisp_Cons:
2187 if (!internal_equal (XCAR (o1), XCAR (o2), depth + 1, props))
2188 return 0;
2189 o1 = XCDR (o1);
2190 o2 = XCDR (o2);
2191 goto tail_recurse;
2193 case Lisp_Misc:
2194 if (XMISCTYPE (o1) != XMISCTYPE (o2))
2195 return 0;
2196 if (OVERLAYP (o1))
2198 if (!internal_equal (OVERLAY_START (o1), OVERLAY_START (o2),
2199 depth + 1, props)
2200 || !internal_equal (OVERLAY_END (o1), OVERLAY_END (o2),
2201 depth + 1, props))
2202 return 0;
2203 o1 = XOVERLAY (o1)->plist;
2204 o2 = XOVERLAY (o2)->plist;
2205 goto tail_recurse;
2207 if (MARKERP (o1))
2209 return (XMARKER (o1)->buffer == XMARKER (o2)->buffer
2210 && (XMARKER (o1)->buffer == 0
2211 || XMARKER (o1)->bytepos == XMARKER (o2)->bytepos));
2213 break;
2215 case Lisp_Vectorlike:
2217 register int i;
2218 EMACS_INT size = XVECTOR (o1)->size;
2219 /* Pseudovectors have the type encoded in the size field, so this test
2220 actually checks that the objects have the same type as well as the
2221 same size. */
2222 if (XVECTOR (o2)->size != size)
2223 return 0;
2224 /* Boolvectors are compared much like strings. */
2225 if (BOOL_VECTOR_P (o1))
2227 int size_in_chars
2228 = ((XBOOL_VECTOR (o1)->size + BOOL_VECTOR_BITS_PER_CHAR - 1)
2229 / BOOL_VECTOR_BITS_PER_CHAR);
2231 if (XBOOL_VECTOR (o1)->size != XBOOL_VECTOR (o2)->size)
2232 return 0;
2233 if (bcmp (XBOOL_VECTOR (o1)->data, XBOOL_VECTOR (o2)->data,
2234 size_in_chars))
2235 return 0;
2236 return 1;
2238 if (WINDOW_CONFIGURATIONP (o1))
2239 return compare_window_configurations (o1, o2, 0);
2241 /* Aside from them, only true vectors, char-tables, and compiled
2242 functions are sensible to compare, so eliminate the others now. */
2243 if (size & PSEUDOVECTOR_FLAG)
2245 if (!(size & (PVEC_COMPILED | PVEC_CHAR_TABLE)))
2246 return 0;
2247 size &= PSEUDOVECTOR_SIZE_MASK;
2249 for (i = 0; i < size; i++)
2251 Lisp_Object v1, v2;
2252 v1 = XVECTOR (o1)->contents [i];
2253 v2 = XVECTOR (o2)->contents [i];
2254 if (!internal_equal (v1, v2, depth + 1, props))
2255 return 0;
2257 return 1;
2259 break;
2261 case Lisp_String:
2262 if (SCHARS (o1) != SCHARS (o2))
2263 return 0;
2264 if (SBYTES (o1) != SBYTES (o2))
2265 return 0;
2266 if (bcmp (SDATA (o1), SDATA (o2),
2267 SBYTES (o1)))
2268 return 0;
2269 if (props && !compare_string_intervals (o1, o2))
2270 return 0;
2271 return 1;
2273 case Lisp_Int:
2274 case Lisp_Symbol:
2275 case Lisp_Type_Limit:
2276 break;
2279 return 0;
2282 extern Lisp_Object Fmake_char_internal ();
2284 DEFUN ("fillarray", Ffillarray, Sfillarray, 2, 2, 0,
2285 doc: /* Store each element of ARRAY with ITEM.
2286 ARRAY is a vector, string, char-table, or bool-vector. */)
2287 (array, item)
2288 Lisp_Object array, item;
2290 register int size, index, charval;
2291 if (VECTORP (array))
2293 register Lisp_Object *p = XVECTOR (array)->contents;
2294 size = XVECTOR (array)->size;
2295 for (index = 0; index < size; index++)
2296 p[index] = item;
2298 else if (CHAR_TABLE_P (array))
2300 register Lisp_Object *p = XCHAR_TABLE (array)->contents;
2301 size = CHAR_TABLE_ORDINARY_SLOTS;
2302 for (index = 0; index < size; index++)
2303 p[index] = item;
2304 XCHAR_TABLE (array)->defalt = Qnil;
2306 else if (STRINGP (array))
2308 register unsigned char *p = SDATA (array);
2309 CHECK_NUMBER (item);
2310 charval = XINT (item);
2311 size = SCHARS (array);
2312 if (STRING_MULTIBYTE (array))
2314 unsigned char str[MAX_MULTIBYTE_LENGTH];
2315 int len = CHAR_STRING (charval, str);
2316 int size_byte = SBYTES (array);
2317 unsigned char *p1 = p, *endp = p + size_byte;
2318 int i;
2320 if (size != size_byte)
2321 while (p1 < endp)
2323 int this_len = MULTIBYTE_FORM_LENGTH (p1, endp - p1);
2324 if (len != this_len)
2325 error ("Attempt to change byte length of a string");
2326 p1 += this_len;
2328 for (i = 0; i < size_byte; i++)
2329 *p++ = str[i % len];
2331 else
2332 for (index = 0; index < size; index++)
2333 p[index] = charval;
2335 else if (BOOL_VECTOR_P (array))
2337 register unsigned char *p = XBOOL_VECTOR (array)->data;
2338 int size_in_chars
2339 = ((XBOOL_VECTOR (array)->size + BOOL_VECTOR_BITS_PER_CHAR - 1)
2340 / BOOL_VECTOR_BITS_PER_CHAR);
2342 charval = (! NILP (item) ? -1 : 0);
2343 for (index = 0; index < size_in_chars - 1; index++)
2344 p[index] = charval;
2345 if (index < size_in_chars)
2347 /* Mask out bits beyond the vector size. */
2348 if (XBOOL_VECTOR (array)->size % BOOL_VECTOR_BITS_PER_CHAR)
2349 charval &= (1 << (XBOOL_VECTOR (array)->size % BOOL_VECTOR_BITS_PER_CHAR)) - 1;
2350 p[index] = charval;
2353 else
2354 wrong_type_argument (Qarrayp, array);
2355 return array;
2358 DEFUN ("clear-string", Fclear_string, Sclear_string,
2359 1, 1, 0,
2360 doc: /* Clear the contents of STRING.
2361 This makes STRING unibyte and may change its length. */)
2362 (string)
2363 Lisp_Object string;
2365 int len;
2366 CHECK_STRING (string);
2367 len = SBYTES (string);
2368 bzero (SDATA (string), len);
2369 STRING_SET_CHARS (string, len);
2370 STRING_SET_UNIBYTE (string);
2371 return Qnil;
2374 DEFUN ("char-table-subtype", Fchar_table_subtype, Schar_table_subtype,
2375 1, 1, 0,
2376 doc: /* Return the subtype of char-table CHAR-TABLE. The value is a symbol. */)
2377 (char_table)
2378 Lisp_Object char_table;
2380 CHECK_CHAR_TABLE (char_table);
2382 return XCHAR_TABLE (char_table)->purpose;
2385 DEFUN ("char-table-parent", Fchar_table_parent, Schar_table_parent,
2386 1, 1, 0,
2387 doc: /* Return the parent char-table of CHAR-TABLE.
2388 The value is either nil or another char-table.
2389 If CHAR-TABLE holds nil for a given character,
2390 then the actual applicable value is inherited from the parent char-table
2391 \(or from its parents, if necessary). */)
2392 (char_table)
2393 Lisp_Object char_table;
2395 CHECK_CHAR_TABLE (char_table);
2397 return XCHAR_TABLE (char_table)->parent;
2400 DEFUN ("set-char-table-parent", Fset_char_table_parent, Sset_char_table_parent,
2401 2, 2, 0,
2402 doc: /* Set the parent char-table of CHAR-TABLE to PARENT.
2403 Return PARENT. PARENT must be either nil or another char-table. */)
2404 (char_table, parent)
2405 Lisp_Object char_table, parent;
2407 Lisp_Object temp;
2409 CHECK_CHAR_TABLE (char_table);
2411 if (!NILP (parent))
2413 CHECK_CHAR_TABLE (parent);
2415 for (temp = parent; !NILP (temp); temp = XCHAR_TABLE (temp)->parent)
2416 if (EQ (temp, char_table))
2417 error ("Attempt to make a chartable be its own parent");
2420 XCHAR_TABLE (char_table)->parent = parent;
2422 return parent;
2425 DEFUN ("char-table-extra-slot", Fchar_table_extra_slot, Schar_table_extra_slot,
2426 2, 2, 0,
2427 doc: /* Return the value of CHAR-TABLE's extra-slot number N. */)
2428 (char_table, n)
2429 Lisp_Object char_table, n;
2431 CHECK_CHAR_TABLE (char_table);
2432 CHECK_NUMBER (n);
2433 if (XINT (n) < 0
2434 || XINT (n) >= CHAR_TABLE_EXTRA_SLOTS (XCHAR_TABLE (char_table)))
2435 args_out_of_range (char_table, n);
2437 return XCHAR_TABLE (char_table)->extras[XINT (n)];
2440 DEFUN ("set-char-table-extra-slot", Fset_char_table_extra_slot,
2441 Sset_char_table_extra_slot,
2442 3, 3, 0,
2443 doc: /* Set CHAR-TABLE's extra-slot number N to VALUE. */)
2444 (char_table, n, value)
2445 Lisp_Object char_table, n, value;
2447 CHECK_CHAR_TABLE (char_table);
2448 CHECK_NUMBER (n);
2449 if (XINT (n) < 0
2450 || XINT (n) >= CHAR_TABLE_EXTRA_SLOTS (XCHAR_TABLE (char_table)))
2451 args_out_of_range (char_table, n);
2453 return XCHAR_TABLE (char_table)->extras[XINT (n)] = value;
2456 static Lisp_Object
2457 char_table_range (table, from, to, defalt)
2458 Lisp_Object table;
2459 int from, to;
2460 Lisp_Object defalt;
2462 Lisp_Object val;
2464 if (! NILP (XCHAR_TABLE (table)->defalt))
2465 defalt = XCHAR_TABLE (table)->defalt;
2466 val = XCHAR_TABLE (table)->contents[from];
2467 if (SUB_CHAR_TABLE_P (val))
2468 val = char_table_range (val, 32, 127, defalt);
2469 else if (NILP (val))
2470 val = defalt;
2471 for (from++; from <= to; from++)
2473 Lisp_Object this_val;
2475 this_val = XCHAR_TABLE (table)->contents[from];
2476 if (SUB_CHAR_TABLE_P (this_val))
2477 this_val = char_table_range (this_val, 32, 127, defalt);
2478 else if (NILP (this_val))
2479 this_val = defalt;
2480 if (! EQ (val, this_val))
2481 error ("Characters in the range have inconsistent values");
2483 return val;
2487 DEFUN ("char-table-range", Fchar_table_range, Schar_table_range,
2488 2, 2, 0,
2489 doc: /* Return the value in CHAR-TABLE for a range of characters RANGE.
2490 RANGE should be nil (for the default value),
2491 a vector which identifies a character set or a row of a character set,
2492 a character set name, or a character code.
2493 If the characters in the specified range have different values,
2494 an error is signaled.
2496 Note that this function doesn't check the parent of CHAR-TABLE. */)
2497 (char_table, range)
2498 Lisp_Object char_table, range;
2500 int charset_id, c1 = 0, c2 = 0;
2501 int size;
2502 Lisp_Object ch, val, current_default;
2504 CHECK_CHAR_TABLE (char_table);
2506 if (EQ (range, Qnil))
2507 return XCHAR_TABLE (char_table)->defalt;
2508 if (INTEGERP (range))
2510 int c = XINT (range);
2511 if (! CHAR_VALID_P (c, 0))
2512 error ("Invalid character code: %d", c);
2513 ch = range;
2514 SPLIT_CHAR (c, charset_id, c1, c2);
2516 else if (SYMBOLP (range))
2518 Lisp_Object charset_info;
2520 charset_info = Fget (range, Qcharset);
2521 CHECK_VECTOR (charset_info);
2522 charset_id = XINT (XVECTOR (charset_info)->contents[0]);
2523 ch = Fmake_char_internal (make_number (charset_id),
2524 make_number (0), make_number (0));
2526 else if (VECTORP (range))
2528 size = ASIZE (range);
2529 if (size == 0)
2530 args_out_of_range (range, make_number (0));
2531 CHECK_NUMBER (AREF (range, 0));
2532 charset_id = XINT (AREF (range, 0));
2533 if (size > 1)
2535 CHECK_NUMBER (AREF (range, 1));
2536 c1 = XINT (AREF (range, 1));
2537 if (size > 2)
2539 CHECK_NUMBER (AREF (range, 2));
2540 c2 = XINT (AREF (range, 2));
2544 /* This checks if charset_id, c0, and c1 are all valid or not. */
2545 ch = Fmake_char_internal (make_number (charset_id),
2546 make_number (c1), make_number (c2));
2548 else
2549 error ("Invalid RANGE argument to `char-table-range'");
2551 if (c1 > 0 && (CHARSET_DIMENSION (charset_id) == 1 || c2 > 0))
2553 /* Fully specified character. */
2554 Lisp_Object parent = XCHAR_TABLE (char_table)->parent;
2556 XCHAR_TABLE (char_table)->parent = Qnil;
2557 val = Faref (char_table, ch);
2558 XCHAR_TABLE (char_table)->parent = parent;
2559 return val;
2562 current_default = XCHAR_TABLE (char_table)->defalt;
2563 if (charset_id == CHARSET_ASCII
2564 || charset_id == CHARSET_8_BIT_CONTROL
2565 || charset_id == CHARSET_8_BIT_GRAPHIC)
2567 int from, to, defalt;
2569 if (charset_id == CHARSET_ASCII)
2570 from = 0, to = 127, defalt = CHAR_TABLE_DEFAULT_SLOT_ASCII;
2571 else if (charset_id == CHARSET_8_BIT_CONTROL)
2572 from = 128, to = 159, defalt = CHAR_TABLE_DEFAULT_SLOT_8_BIT_CONTROL;
2573 else
2574 from = 160, to = 255, defalt = CHAR_TABLE_DEFAULT_SLOT_8_BIT_GRAPHIC;
2575 if (! NILP (XCHAR_TABLE (char_table)->contents[defalt]))
2576 current_default = XCHAR_TABLE (char_table)->contents[defalt];
2577 return char_table_range (char_table, from, to, current_default);
2580 val = XCHAR_TABLE (char_table)->contents[128 + charset_id];
2581 if (! SUB_CHAR_TABLE_P (val))
2582 return (NILP (val) ? current_default : val);
2583 if (! NILP (XCHAR_TABLE (val)->defalt))
2584 current_default = XCHAR_TABLE (val)->defalt;
2585 if (c1 == 0)
2586 return char_table_range (val, 32, 127, current_default);
2587 val = XCHAR_TABLE (val)->contents[c1];
2588 if (! SUB_CHAR_TABLE_P (val))
2589 return (NILP (val) ? current_default : val);
2590 if (! NILP (XCHAR_TABLE (val)->defalt))
2591 current_default = XCHAR_TABLE (val)->defalt;
2592 return char_table_range (val, 32, 127, current_default);
2595 DEFUN ("set-char-table-range", Fset_char_table_range, Sset_char_table_range,
2596 3, 3, 0,
2597 doc: /* Set the value in CHAR-TABLE for a range of characters RANGE to VALUE.
2598 RANGE should be t (for all characters), nil (for the default value),
2599 a character set, a vector which identifies a character set, a row of a
2600 character set, or a character code. Return VALUE. */)
2601 (char_table, range, value)
2602 Lisp_Object char_table, range, value;
2604 int i;
2606 CHECK_CHAR_TABLE (char_table);
2608 if (EQ (range, Qt))
2609 for (i = 0; i < CHAR_TABLE_ORDINARY_SLOTS; i++)
2611 /* Don't set these special slots used for default values of
2612 ascii, eight-bit-control, and eight-bit-graphic. */
2613 if (i != CHAR_TABLE_DEFAULT_SLOT_ASCII
2614 && i != CHAR_TABLE_DEFAULT_SLOT_8_BIT_CONTROL
2615 && i != CHAR_TABLE_DEFAULT_SLOT_8_BIT_GRAPHIC)
2616 XCHAR_TABLE (char_table)->contents[i] = value;
2618 else if (EQ (range, Qnil))
2619 XCHAR_TABLE (char_table)->defalt = value;
2620 else if (SYMBOLP (range))
2622 Lisp_Object charset_info;
2623 int charset_id;
2625 charset_info = Fget (range, Qcharset);
2626 if (! VECTORP (charset_info)
2627 || ! NATNUMP (AREF (charset_info, 0))
2628 || (charset_id = XINT (AREF (charset_info, 0)),
2629 ! CHARSET_DEFINED_P (charset_id)))
2630 error ("Invalid charset: %s", SDATA (SYMBOL_NAME (range)));
2632 if (charset_id == CHARSET_ASCII)
2633 for (i = 0; i < 128; i++)
2634 XCHAR_TABLE (char_table)->contents[i] = value;
2635 else if (charset_id == CHARSET_8_BIT_CONTROL)
2636 for (i = 128; i < 160; i++)
2637 XCHAR_TABLE (char_table)->contents[i] = value;
2638 else if (charset_id == CHARSET_8_BIT_GRAPHIC)
2639 for (i = 160; i < 256; i++)
2640 XCHAR_TABLE (char_table)->contents[i] = value;
2641 else
2642 XCHAR_TABLE (char_table)->contents[charset_id + 128] = value;
2644 else if (INTEGERP (range))
2645 Faset (char_table, range, value);
2646 else if (VECTORP (range))
2648 int size = XVECTOR (range)->size;
2649 Lisp_Object *val = XVECTOR (range)->contents;
2650 Lisp_Object ch = Fmake_char_internal (size <= 0 ? Qnil : val[0],
2651 size <= 1 ? Qnil : val[1],
2652 size <= 2 ? Qnil : val[2]);
2653 Faset (char_table, ch, value);
2655 else
2656 error ("Invalid RANGE argument to `set-char-table-range'");
2658 return value;
2661 DEFUN ("set-char-table-default", Fset_char_table_default,
2662 Sset_char_table_default, 3, 3, 0,
2663 doc: /* Set the default value in CHAR-TABLE for generic character CH to VALUE.
2664 The generic character specifies the group of characters.
2665 If CH is a normal character, set the default value for a group of
2666 characters to which CH belongs.
2667 See also the documentation of `make-char'. */)
2668 (char_table, ch, value)
2669 Lisp_Object char_table, ch, value;
2671 int c, charset, code1, code2;
2672 Lisp_Object temp;
2674 CHECK_CHAR_TABLE (char_table);
2675 CHECK_NUMBER (ch);
2677 c = XINT (ch);
2678 SPLIT_CHAR (c, charset, code1, code2);
2680 /* Since we may want to set the default value for a character set
2681 not yet defined, we check only if the character set is in the
2682 valid range or not, instead of it is already defined or not. */
2683 if (! CHARSET_VALID_P (charset))
2684 invalid_character (c);
2686 if (SINGLE_BYTE_CHAR_P (c))
2688 /* We use special slots for the default values of single byte
2689 characters. */
2690 int default_slot
2691 = (c < 0x80 ? CHAR_TABLE_DEFAULT_SLOT_ASCII
2692 : c < 0xA0 ? CHAR_TABLE_DEFAULT_SLOT_8_BIT_CONTROL
2693 : CHAR_TABLE_DEFAULT_SLOT_8_BIT_GRAPHIC);
2695 return (XCHAR_TABLE (char_table)->contents[default_slot] = value);
2698 /* Even if C is not a generic char, we had better behave as if a
2699 generic char is specified. */
2700 if (!CHARSET_DEFINED_P (charset) || CHARSET_DIMENSION (charset) == 1)
2701 code1 = 0;
2702 temp = XCHAR_TABLE (char_table)->contents[charset + 128];
2703 if (! SUB_CHAR_TABLE_P (temp))
2705 temp = make_sub_char_table (temp);
2706 XCHAR_TABLE (char_table)->contents[charset + 128] = temp;
2708 if (!code1)
2710 XCHAR_TABLE (temp)->defalt = value;
2711 return value;
2713 char_table = temp;
2714 temp = XCHAR_TABLE (char_table)->contents[code1];
2715 if (SUB_CHAR_TABLE_P (temp))
2716 XCHAR_TABLE (temp)->defalt = value;
2717 else
2718 XCHAR_TABLE (char_table)->contents[code1] = value;
2719 return value;
2722 /* Look up the element in TABLE at index CH,
2723 and return it as an integer.
2724 If the element is nil, return CH itself.
2725 (Actually we do that for any non-integer.) */
2728 char_table_translate (table, ch)
2729 Lisp_Object table;
2730 int ch;
2732 Lisp_Object value;
2733 value = Faref (table, make_number (ch));
2734 if (! INTEGERP (value))
2735 return ch;
2736 return XINT (value);
2739 static void
2740 optimize_sub_char_table (table, chars)
2741 Lisp_Object *table;
2742 int chars;
2744 Lisp_Object elt;
2745 int from, to;
2747 if (chars == 94)
2748 from = 33, to = 127;
2749 else
2750 from = 32, to = 128;
2752 if (!SUB_CHAR_TABLE_P (*table))
2753 return;
2754 elt = XCHAR_TABLE (*table)->contents[from++];
2755 for (; from < to; from++)
2756 if (NILP (Fequal (elt, XCHAR_TABLE (*table)->contents[from])))
2757 return;
2758 *table = elt;
2761 DEFUN ("optimize-char-table", Foptimize_char_table, Soptimize_char_table,
2762 1, 1, 0, doc: /* Optimize char table TABLE. */)
2763 (table)
2764 Lisp_Object table;
2766 Lisp_Object elt;
2767 int dim;
2768 int i, j;
2770 CHECK_CHAR_TABLE (table);
2772 for (i = CHAR_TABLE_SINGLE_BYTE_SLOTS; i < CHAR_TABLE_ORDINARY_SLOTS; i++)
2774 elt = XCHAR_TABLE (table)->contents[i];
2775 if (!SUB_CHAR_TABLE_P (elt))
2776 continue;
2777 dim = CHARSET_DIMENSION (i - 128);
2778 if (dim == 2)
2779 for (j = 32; j < SUB_CHAR_TABLE_ORDINARY_SLOTS; j++)
2780 optimize_sub_char_table (XCHAR_TABLE (elt)->contents + j, dim);
2781 optimize_sub_char_table (XCHAR_TABLE (table)->contents + i, dim);
2783 return Qnil;
2787 /* Map C_FUNCTION or FUNCTION over SUBTABLE, calling it for each
2788 character or group of characters that share a value.
2789 DEPTH is the current depth in the originally specified
2790 chartable, and INDICES contains the vector indices
2791 for the levels our callers have descended.
2793 ARG is passed to C_FUNCTION when that is called. */
2795 void
2796 map_char_table (c_function, function, table, subtable, arg, depth, indices)
2797 void (*c_function) P_ ((Lisp_Object, Lisp_Object, Lisp_Object));
2798 Lisp_Object function, table, subtable, arg, *indices;
2799 int depth;
2801 int i, to;
2802 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
2804 GCPRO4 (arg, table, subtable, function);
2806 if (depth == 0)
2808 /* At first, handle ASCII and 8-bit European characters. */
2809 for (i = 0; i < CHAR_TABLE_SINGLE_BYTE_SLOTS; i++)
2811 Lisp_Object elt= XCHAR_TABLE (subtable)->contents[i];
2812 if (NILP (elt))
2813 elt = XCHAR_TABLE (subtable)->defalt;
2814 if (NILP (elt))
2815 elt = Faref (subtable, make_number (i));
2816 if (c_function)
2817 (*c_function) (arg, make_number (i), elt);
2818 else
2819 call2 (function, make_number (i), elt);
2821 #if 0 /* If the char table has entries for higher characters,
2822 we should report them. */
2823 if (NILP (current_buffer->enable_multibyte_characters))
2825 UNGCPRO;
2826 return;
2828 #endif
2829 to = CHAR_TABLE_ORDINARY_SLOTS;
2831 else
2833 int charset = XFASTINT (indices[0]) - 128;
2835 i = 32;
2836 to = SUB_CHAR_TABLE_ORDINARY_SLOTS;
2837 if (CHARSET_CHARS (charset) == 94)
2838 i++, to--;
2841 for (; i < to; i++)
2843 Lisp_Object elt;
2844 int charset;
2846 elt = XCHAR_TABLE (subtable)->contents[i];
2847 XSETFASTINT (indices[depth], i);
2848 charset = XFASTINT (indices[0]) - 128;
2849 if (depth == 0
2850 && (!CHARSET_DEFINED_P (charset)
2851 || charset == CHARSET_8_BIT_CONTROL
2852 || charset == CHARSET_8_BIT_GRAPHIC))
2853 continue;
2855 if (SUB_CHAR_TABLE_P (elt))
2857 if (depth >= 3)
2858 error ("Too deep char table");
2859 map_char_table (c_function, function, table, elt, arg, depth + 1, indices);
2861 else
2863 int c1, c2, c;
2865 c1 = depth >= 1 ? XFASTINT (indices[1]) : 0;
2866 c2 = depth >= 2 ? XFASTINT (indices[2]) : 0;
2867 c = MAKE_CHAR (charset, c1, c2);
2869 if (NILP (elt))
2870 elt = XCHAR_TABLE (subtable)->defalt;
2871 if (NILP (elt))
2872 elt = Faref (table, make_number (c));
2874 if (c_function)
2875 (*c_function) (arg, make_number (c), elt);
2876 else
2877 call2 (function, make_number (c), elt);
2880 UNGCPRO;
2883 static void void_call2 P_ ((Lisp_Object a, Lisp_Object b, Lisp_Object c));
2884 static void
2885 void_call2 (a, b, c)
2886 Lisp_Object a, b, c;
2888 call2 (a, b, c);
2891 DEFUN ("map-char-table", Fmap_char_table, Smap_char_table,
2892 2, 2, 0,
2893 doc: /* Call FUNCTION for each (normal and generic) characters in CHAR-TABLE.
2894 FUNCTION is called with two arguments--a key and a value.
2895 The key is always a possible IDX argument to `aref'. */)
2896 (function, char_table)
2897 Lisp_Object function, char_table;
2899 /* The depth of char table is at most 3. */
2900 Lisp_Object indices[3];
2902 CHECK_CHAR_TABLE (char_table);
2904 /* When Lisp_Object is represented as a union, `call2' cannot directly
2905 be passed to map_char_table because it returns a Lisp_Object rather
2906 than returning nothing.
2907 Casting leads to crashes on some architectures. -stef */
2908 map_char_table (void_call2, Qnil, char_table, char_table, function, 0, indices);
2909 return Qnil;
2912 /* Return a value for character C in char-table TABLE. Store the
2913 actual index for that value in *IDX. Ignore the default value of
2914 TABLE. */
2916 Lisp_Object
2917 char_table_ref_and_index (table, c, idx)
2918 Lisp_Object table;
2919 int c, *idx;
2921 int charset, c1, c2;
2922 Lisp_Object elt;
2924 if (SINGLE_BYTE_CHAR_P (c))
2926 *idx = c;
2927 return XCHAR_TABLE (table)->contents[c];
2929 SPLIT_CHAR (c, charset, c1, c2);
2930 elt = XCHAR_TABLE (table)->contents[charset + 128];
2931 *idx = MAKE_CHAR (charset, 0, 0);
2932 if (!SUB_CHAR_TABLE_P (elt))
2933 return elt;
2934 if (c1 < 32 || NILP (XCHAR_TABLE (elt)->contents[c1]))
2935 return XCHAR_TABLE (elt)->defalt;
2936 elt = XCHAR_TABLE (elt)->contents[c1];
2937 *idx = MAKE_CHAR (charset, c1, 0);
2938 if (!SUB_CHAR_TABLE_P (elt))
2939 return elt;
2940 if (c2 < 32 || NILP (XCHAR_TABLE (elt)->contents[c2]))
2941 return XCHAR_TABLE (elt)->defalt;
2942 *idx = c;
2943 return XCHAR_TABLE (elt)->contents[c2];
2947 /* ARGSUSED */
2948 Lisp_Object
2949 nconc2 (s1, s2)
2950 Lisp_Object s1, s2;
2952 #ifdef NO_ARG_ARRAY
2953 Lisp_Object args[2];
2954 args[0] = s1;
2955 args[1] = s2;
2956 return Fnconc (2, args);
2957 #else
2958 return Fnconc (2, &s1);
2959 #endif /* NO_ARG_ARRAY */
2962 DEFUN ("nconc", Fnconc, Snconc, 0, MANY, 0,
2963 doc: /* Concatenate any number of lists by altering them.
2964 Only the last argument is not altered, and need not be a list.
2965 usage: (nconc &rest LISTS) */)
2966 (nargs, args)
2967 int nargs;
2968 Lisp_Object *args;
2970 register int argnum;
2971 register Lisp_Object tail, tem, val;
2973 val = tail = Qnil;
2975 for (argnum = 0; argnum < nargs; argnum++)
2977 tem = args[argnum];
2978 if (NILP (tem)) continue;
2980 if (NILP (val))
2981 val = tem;
2983 if (argnum + 1 == nargs) break;
2985 CHECK_LIST_CONS (tem, tem);
2987 while (CONSP (tem))
2989 tail = tem;
2990 tem = XCDR (tail);
2991 QUIT;
2994 tem = args[argnum + 1];
2995 Fsetcdr (tail, tem);
2996 if (NILP (tem))
2997 args[argnum + 1] = tail;
3000 return val;
3003 /* This is the guts of all mapping functions.
3004 Apply FN to each element of SEQ, one by one,
3005 storing the results into elements of VALS, a C vector of Lisp_Objects.
3006 LENI is the length of VALS, which should also be the length of SEQ. */
3008 static void
3009 mapcar1 (leni, vals, fn, seq)
3010 int leni;
3011 Lisp_Object *vals;
3012 Lisp_Object fn, seq;
3014 register Lisp_Object tail;
3015 Lisp_Object dummy;
3016 register int i;
3017 struct gcpro gcpro1, gcpro2, gcpro3;
3019 if (vals)
3021 /* Don't let vals contain any garbage when GC happens. */
3022 for (i = 0; i < leni; i++)
3023 vals[i] = Qnil;
3025 GCPRO3 (dummy, fn, seq);
3026 gcpro1.var = vals;
3027 gcpro1.nvars = leni;
3029 else
3030 GCPRO2 (fn, seq);
3031 /* We need not explicitly protect `tail' because it is used only on lists, and
3032 1) lists are not relocated and 2) the list is marked via `seq' so will not be freed */
3034 if (VECTORP (seq))
3036 for (i = 0; i < leni; i++)
3038 dummy = XVECTOR (seq)->contents[i];
3039 dummy = call1 (fn, dummy);
3040 if (vals)
3041 vals[i] = dummy;
3044 else if (BOOL_VECTOR_P (seq))
3046 for (i = 0; i < leni; i++)
3048 int byte;
3049 byte = XBOOL_VECTOR (seq)->data[i / BOOL_VECTOR_BITS_PER_CHAR];
3050 if (byte & (1 << (i % BOOL_VECTOR_BITS_PER_CHAR)))
3051 dummy = Qt;
3052 else
3053 dummy = Qnil;
3055 dummy = call1 (fn, dummy);
3056 if (vals)
3057 vals[i] = dummy;
3060 else if (STRINGP (seq))
3062 int i_byte;
3064 for (i = 0, i_byte = 0; i < leni;)
3066 int c;
3067 int i_before = i;
3069 FETCH_STRING_CHAR_ADVANCE (c, seq, i, i_byte);
3070 XSETFASTINT (dummy, c);
3071 dummy = call1 (fn, dummy);
3072 if (vals)
3073 vals[i_before] = dummy;
3076 else /* Must be a list, since Flength did not get an error */
3078 tail = seq;
3079 for (i = 0; i < leni && CONSP (tail); i++)
3081 dummy = call1 (fn, XCAR (tail));
3082 if (vals)
3083 vals[i] = dummy;
3084 tail = XCDR (tail);
3088 UNGCPRO;
3091 DEFUN ("mapconcat", Fmapconcat, Smapconcat, 3, 3, 0,
3092 doc: /* Apply FUNCTION to each element of SEQUENCE, and concat the results as strings.
3093 In between each pair of results, stick in SEPARATOR. Thus, " " as
3094 SEPARATOR results in spaces between the values returned by FUNCTION.
3095 SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
3096 (function, sequence, separator)
3097 Lisp_Object function, sequence, separator;
3099 Lisp_Object len;
3100 register int leni;
3101 int nargs;
3102 register Lisp_Object *args;
3103 register int i;
3104 struct gcpro gcpro1;
3105 Lisp_Object ret;
3106 USE_SAFE_ALLOCA;
3108 len = Flength (sequence);
3109 leni = XINT (len);
3110 nargs = leni + leni - 1;
3111 if (nargs < 0) return build_string ("");
3113 SAFE_ALLOCA_LISP (args, nargs);
3115 GCPRO1 (separator);
3116 mapcar1 (leni, args, function, sequence);
3117 UNGCPRO;
3119 for (i = leni - 1; i > 0; i--)
3120 args[i + i] = args[i];
3122 for (i = 1; i < nargs; i += 2)
3123 args[i] = separator;
3125 ret = Fconcat (nargs, args);
3126 SAFE_FREE ();
3128 return ret;
3131 DEFUN ("mapcar", Fmapcar, Smapcar, 2, 2, 0,
3132 doc: /* Apply FUNCTION to each element of SEQUENCE, and make a list of the results.
3133 The result is a list just as long as SEQUENCE.
3134 SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
3135 (function, sequence)
3136 Lisp_Object function, sequence;
3138 register Lisp_Object len;
3139 register int leni;
3140 register Lisp_Object *args;
3141 Lisp_Object ret;
3142 USE_SAFE_ALLOCA;
3144 len = Flength (sequence);
3145 leni = XFASTINT (len);
3147 SAFE_ALLOCA_LISP (args, leni);
3149 mapcar1 (leni, args, function, sequence);
3151 ret = Flist (leni, args);
3152 SAFE_FREE ();
3154 return ret;
3157 DEFUN ("mapc", Fmapc, Smapc, 2, 2, 0,
3158 doc: /* Apply FUNCTION to each element of SEQUENCE for side effects only.
3159 Unlike `mapcar', don't accumulate the results. Return SEQUENCE.
3160 SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
3161 (function, sequence)
3162 Lisp_Object function, sequence;
3164 register int leni;
3166 leni = XFASTINT (Flength (sequence));
3167 mapcar1 (leni, 0, function, sequence);
3169 return sequence;
3172 /* Anything that calls this function must protect from GC! */
3174 DEFUN ("y-or-n-p", Fy_or_n_p, Sy_or_n_p, 1, 1, 0,
3175 doc: /* Ask user a "y or n" question. Return t if answer is "y".
3176 Takes one argument, which is the string to display to ask the question.
3177 It should end in a space; `y-or-n-p' adds `(y or n) ' to it.
3178 No confirmation of the answer is requested; a single character is enough.
3179 Also accepts Space to mean yes, or Delete to mean no. \(Actually, it uses
3180 the bindings in `query-replace-map'; see the documentation of that variable
3181 for more information. In this case, the useful bindings are `act', `skip',
3182 `recenter', and `quit'.\)
3184 Under a windowing system a dialog box will be used if `last-nonmenu-event'
3185 is nil and `use-dialog-box' is non-nil. */)
3186 (prompt)
3187 Lisp_Object prompt;
3189 register Lisp_Object obj, key, def, map;
3190 register int answer;
3191 Lisp_Object xprompt;
3192 Lisp_Object args[2];
3193 struct gcpro gcpro1, gcpro2;
3194 int count = SPECPDL_INDEX ();
3196 specbind (Qcursor_in_echo_area, Qt);
3198 map = Fsymbol_value (intern ("query-replace-map"));
3200 CHECK_STRING (prompt);
3201 xprompt = prompt;
3202 GCPRO2 (prompt, xprompt);
3204 #ifdef HAVE_X_WINDOWS
3205 if (display_hourglass_p)
3206 cancel_hourglass ();
3207 #endif
3209 while (1)
3212 #ifdef HAVE_MENUS
3213 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
3214 && use_dialog_box
3215 && have_menus_p ())
3217 Lisp_Object pane, menu;
3218 redisplay_preserve_echo_area (3);
3219 pane = Fcons (Fcons (build_string ("Yes"), Qt),
3220 Fcons (Fcons (build_string ("No"), Qnil),
3221 Qnil));
3222 menu = Fcons (prompt, pane);
3223 obj = Fx_popup_dialog (Qt, menu, Qnil);
3224 answer = !NILP (obj);
3225 break;
3227 #endif /* HAVE_MENUS */
3228 cursor_in_echo_area = 1;
3229 choose_minibuf_frame ();
3232 Lisp_Object pargs[3];
3234 /* Colorize prompt according to `minibuffer-prompt' face. */
3235 pargs[0] = build_string ("%s(y or n) ");
3236 pargs[1] = intern ("face");
3237 pargs[2] = intern ("minibuffer-prompt");
3238 args[0] = Fpropertize (3, pargs);
3239 args[1] = xprompt;
3240 Fmessage (2, args);
3243 if (minibuffer_auto_raise)
3245 Lisp_Object mini_frame;
3247 mini_frame = WINDOW_FRAME (XWINDOW (minibuf_window));
3249 Fraise_frame (mini_frame);
3252 obj = read_filtered_event (1, 0, 0, 0, Qnil);
3253 cursor_in_echo_area = 0;
3254 /* If we need to quit, quit with cursor_in_echo_area = 0. */
3255 QUIT;
3257 key = Fmake_vector (make_number (1), obj);
3258 def = Flookup_key (map, key, Qt);
3260 if (EQ (def, intern ("skip")))
3262 answer = 0;
3263 break;
3265 else if (EQ (def, intern ("act")))
3267 answer = 1;
3268 break;
3270 else if (EQ (def, intern ("recenter")))
3272 Frecenter (Qnil);
3273 xprompt = prompt;
3274 continue;
3276 else if (EQ (def, intern ("quit")))
3277 Vquit_flag = Qt;
3278 /* We want to exit this command for exit-prefix,
3279 and this is the only way to do it. */
3280 else if (EQ (def, intern ("exit-prefix")))
3281 Vquit_flag = Qt;
3283 QUIT;
3285 /* If we don't clear this, then the next call to read_char will
3286 return quit_char again, and we'll enter an infinite loop. */
3287 Vquit_flag = Qnil;
3289 Fding (Qnil);
3290 Fdiscard_input ();
3291 if (EQ (xprompt, prompt))
3293 args[0] = build_string ("Please answer y or n. ");
3294 args[1] = prompt;
3295 xprompt = Fconcat (2, args);
3298 UNGCPRO;
3300 if (! noninteractive)
3302 cursor_in_echo_area = -1;
3303 message_with_string (answer ? "%s(y or n) y" : "%s(y or n) n",
3304 xprompt, 0);
3307 unbind_to (count, Qnil);
3308 return answer ? Qt : Qnil;
3311 /* This is how C code calls `yes-or-no-p' and allows the user
3312 to redefined it.
3314 Anything that calls this function must protect from GC! */
3316 Lisp_Object
3317 do_yes_or_no_p (prompt)
3318 Lisp_Object prompt;
3320 return call1 (intern ("yes-or-no-p"), prompt);
3323 /* Anything that calls this function must protect from GC! */
3325 DEFUN ("yes-or-no-p", Fyes_or_no_p, Syes_or_no_p, 1, 1, 0,
3326 doc: /* Ask user a yes-or-no question. Return t if answer is yes.
3327 Takes one argument, which is the string to display to ask the question.
3328 It should end in a space; `yes-or-no-p' adds `(yes or no) ' to it.
3329 The user must confirm the answer with RET,
3330 and can edit it until it has been confirmed.
3332 Under a windowing system a dialog box will be used if `last-nonmenu-event'
3333 is nil, and `use-dialog-box' is non-nil. */)
3334 (prompt)
3335 Lisp_Object prompt;
3337 register Lisp_Object ans;
3338 Lisp_Object args[2];
3339 struct gcpro gcpro1;
3341 CHECK_STRING (prompt);
3343 #ifdef HAVE_MENUS
3344 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
3345 && use_dialog_box
3346 && have_menus_p ())
3348 Lisp_Object pane, menu, obj;
3349 redisplay_preserve_echo_area (4);
3350 pane = Fcons (Fcons (build_string ("Yes"), Qt),
3351 Fcons (Fcons (build_string ("No"), Qnil),
3352 Qnil));
3353 GCPRO1 (pane);
3354 menu = Fcons (prompt, pane);
3355 obj = Fx_popup_dialog (Qt, menu, Qnil);
3356 UNGCPRO;
3357 return obj;
3359 #endif /* HAVE_MENUS */
3361 args[0] = prompt;
3362 args[1] = build_string ("(yes or no) ");
3363 prompt = Fconcat (2, args);
3365 GCPRO1 (prompt);
3367 while (1)
3369 ans = Fdowncase (Fread_from_minibuffer (prompt, Qnil, Qnil, Qnil,
3370 Qyes_or_no_p_history, Qnil,
3371 Qnil));
3372 if (SCHARS (ans) == 3 && !strcmp (SDATA (ans), "yes"))
3374 UNGCPRO;
3375 return Qt;
3377 if (SCHARS (ans) == 2 && !strcmp (SDATA (ans), "no"))
3379 UNGCPRO;
3380 return Qnil;
3383 Fding (Qnil);
3384 Fdiscard_input ();
3385 message ("Please answer yes or no.");
3386 Fsleep_for (make_number (2), Qnil);
3390 DEFUN ("load-average", Fload_average, Sload_average, 0, 1, 0,
3391 doc: /* Return list of 1 minute, 5 minute and 15 minute load averages.
3393 Each of the three load averages is multiplied by 100, then converted
3394 to integer.
3396 When USE-FLOATS is non-nil, floats will be used instead of integers.
3397 These floats are not multiplied by 100.
3399 If the 5-minute or 15-minute load averages are not available, return a
3400 shortened list, containing only those averages which are available.
3402 An error is thrown if the load average can't be obtained. In some
3403 cases making it work would require Emacs being installed setuid or
3404 setgid so that it can read kernel information, and that usually isn't
3405 advisable. */)
3406 (use_floats)
3407 Lisp_Object use_floats;
3409 double load_ave[3];
3410 int loads = getloadavg (load_ave, 3);
3411 Lisp_Object ret = Qnil;
3413 if (loads < 0)
3414 error ("load-average not implemented for this operating system");
3416 while (loads-- > 0)
3418 Lisp_Object load = (NILP (use_floats) ?
3419 make_number ((int) (100.0 * load_ave[loads]))
3420 : make_float (load_ave[loads]));
3421 ret = Fcons (load, ret);
3424 return ret;
3427 Lisp_Object Vfeatures, Qsubfeatures;
3428 extern Lisp_Object Vafter_load_alist;
3430 DEFUN ("featurep", Ffeaturep, Sfeaturep, 1, 2, 0,
3431 doc: /* Returns t if FEATURE is present in this Emacs.
3433 Use this to conditionalize execution of lisp code based on the
3434 presence or absence of emacs or environment extensions.
3435 Use `provide' to declare that a feature is available. This function
3436 looks at the value of the variable `features'. The optional argument
3437 SUBFEATURE can be used to check a specific subfeature of FEATURE. */)
3438 (feature, subfeature)
3439 Lisp_Object feature, subfeature;
3441 register Lisp_Object tem;
3442 CHECK_SYMBOL (feature);
3443 tem = Fmemq (feature, Vfeatures);
3444 if (!NILP (tem) && !NILP (subfeature))
3445 tem = Fmember (subfeature, Fget (feature, Qsubfeatures));
3446 return (NILP (tem)) ? Qnil : Qt;
3449 DEFUN ("provide", Fprovide, Sprovide, 1, 2, 0,
3450 doc: /* Announce that FEATURE is a feature of the current Emacs.
3451 The optional argument SUBFEATURES should be a list of symbols listing
3452 particular subfeatures supported in this version of FEATURE. */)
3453 (feature, subfeatures)
3454 Lisp_Object feature, subfeatures;
3456 register Lisp_Object tem;
3457 CHECK_SYMBOL (feature);
3458 CHECK_LIST (subfeatures);
3459 if (!NILP (Vautoload_queue))
3460 Vautoload_queue = Fcons (Fcons (make_number (0), Vfeatures),
3461 Vautoload_queue);
3462 tem = Fmemq (feature, Vfeatures);
3463 if (NILP (tem))
3464 Vfeatures = Fcons (feature, Vfeatures);
3465 if (!NILP (subfeatures))
3466 Fput (feature, Qsubfeatures, subfeatures);
3467 LOADHIST_ATTACH (Fcons (Qprovide, feature));
3469 /* Run any load-hooks for this file. */
3470 tem = Fassq (feature, Vafter_load_alist);
3471 if (CONSP (tem))
3472 Fprogn (XCDR (tem));
3474 return feature;
3477 /* `require' and its subroutines. */
3479 /* List of features currently being require'd, innermost first. */
3481 Lisp_Object require_nesting_list;
3483 Lisp_Object
3484 require_unwind (old_value)
3485 Lisp_Object old_value;
3487 return require_nesting_list = old_value;
3490 DEFUN ("require", Frequire, Srequire, 1, 3, 0,
3491 doc: /* If feature FEATURE is not loaded, load it from FILENAME.
3492 If FEATURE is not a member of the list `features', then the feature
3493 is not loaded; so load the file FILENAME.
3494 If FILENAME is omitted, the printname of FEATURE is used as the file name,
3495 and `load' will try to load this name appended with the suffix `.elc' or
3496 `.el', in that order. The name without appended suffix will not be used.
3497 If the optional third argument NOERROR is non-nil,
3498 then return nil if the file is not found instead of signaling an error.
3499 Normally the return value is FEATURE.
3500 The normal messages at start and end of loading FILENAME are suppressed. */)
3501 (feature, filename, noerror)
3502 Lisp_Object feature, filename, noerror;
3504 register Lisp_Object tem;
3505 struct gcpro gcpro1, gcpro2;
3506 int from_file = load_in_progress;
3508 CHECK_SYMBOL (feature);
3510 /* Record the presence of `require' in this file
3511 even if the feature specified is already loaded.
3512 But not more than once in any file,
3513 and not when we aren't loading or reading from a file. */
3514 if (!from_file)
3515 for (tem = Vcurrent_load_list; CONSP (tem); tem = XCDR (tem))
3516 if (NILP (XCDR (tem)) && STRINGP (XCAR (tem)))
3517 from_file = 1;
3519 if (from_file)
3521 tem = Fcons (Qrequire, feature);
3522 if (NILP (Fmember (tem, Vcurrent_load_list)))
3523 LOADHIST_ATTACH (tem);
3525 tem = Fmemq (feature, Vfeatures);
3527 if (NILP (tem))
3529 int count = SPECPDL_INDEX ();
3530 int nesting = 0;
3532 /* This is to make sure that loadup.el gives a clear picture
3533 of what files are preloaded and when. */
3534 if (! NILP (Vpurify_flag))
3535 error ("(require %s) while preparing to dump",
3536 SDATA (SYMBOL_NAME (feature)));
3538 /* A certain amount of recursive `require' is legitimate,
3539 but if we require the same feature recursively 3 times,
3540 signal an error. */
3541 tem = require_nesting_list;
3542 while (! NILP (tem))
3544 if (! NILP (Fequal (feature, XCAR (tem))))
3545 nesting++;
3546 tem = XCDR (tem);
3548 if (nesting > 3)
3549 error ("Recursive `require' for feature `%s'",
3550 SDATA (SYMBOL_NAME (feature)));
3552 /* Update the list for any nested `require's that occur. */
3553 record_unwind_protect (require_unwind, require_nesting_list);
3554 require_nesting_list = Fcons (feature, require_nesting_list);
3556 /* Value saved here is to be restored into Vautoload_queue */
3557 record_unwind_protect (un_autoload, Vautoload_queue);
3558 Vautoload_queue = Qt;
3560 /* Load the file. */
3561 GCPRO2 (feature, filename);
3562 tem = Fload (NILP (filename) ? Fsymbol_name (feature) : filename,
3563 noerror, Qt, Qnil, (NILP (filename) ? Qt : Qnil));
3564 UNGCPRO;
3566 /* If load failed entirely, return nil. */
3567 if (NILP (tem))
3568 return unbind_to (count, Qnil);
3570 tem = Fmemq (feature, Vfeatures);
3571 if (NILP (tem))
3572 error ("Required feature `%s' was not provided",
3573 SDATA (SYMBOL_NAME (feature)));
3575 /* Once loading finishes, don't undo it. */
3576 Vautoload_queue = Qt;
3577 feature = unbind_to (count, feature);
3580 return feature;
3583 /* Primitives for work of the "widget" library.
3584 In an ideal world, this section would not have been necessary.
3585 However, lisp function calls being as slow as they are, it turns
3586 out that some functions in the widget library (wid-edit.el) are the
3587 bottleneck of Widget operation. Here is their translation to C,
3588 for the sole reason of efficiency. */
3590 DEFUN ("plist-member", Fplist_member, Splist_member, 2, 2, 0,
3591 doc: /* Return non-nil if PLIST has the property PROP.
3592 PLIST is a property list, which is a list of the form
3593 \(PROP1 VALUE1 PROP2 VALUE2 ...\). PROP is a symbol.
3594 Unlike `plist-get', this allows you to distinguish between a missing
3595 property and a property with the value nil.
3596 The value is actually the tail of PLIST whose car is PROP. */)
3597 (plist, prop)
3598 Lisp_Object plist, prop;
3600 while (CONSP (plist) && !EQ (XCAR (plist), prop))
3602 QUIT;
3603 plist = XCDR (plist);
3604 plist = CDR (plist);
3606 return plist;
3609 DEFUN ("widget-put", Fwidget_put, Swidget_put, 3, 3, 0,
3610 doc: /* In WIDGET, set PROPERTY to VALUE.
3611 The value can later be retrieved with `widget-get'. */)
3612 (widget, property, value)
3613 Lisp_Object widget, property, value;
3615 CHECK_CONS (widget);
3616 XSETCDR (widget, Fplist_put (XCDR (widget), property, value));
3617 return value;
3620 DEFUN ("widget-get", Fwidget_get, Swidget_get, 2, 2, 0,
3621 doc: /* In WIDGET, get the value of PROPERTY.
3622 The value could either be specified when the widget was created, or
3623 later with `widget-put'. */)
3624 (widget, property)
3625 Lisp_Object widget, property;
3627 Lisp_Object tmp;
3629 while (1)
3631 if (NILP (widget))
3632 return Qnil;
3633 CHECK_CONS (widget);
3634 tmp = Fplist_member (XCDR (widget), property);
3635 if (CONSP (tmp))
3637 tmp = XCDR (tmp);
3638 return CAR (tmp);
3640 tmp = XCAR (widget);
3641 if (NILP (tmp))
3642 return Qnil;
3643 widget = Fget (tmp, Qwidget_type);
3647 DEFUN ("widget-apply", Fwidget_apply, Swidget_apply, 2, MANY, 0,
3648 doc: /* Apply the value of WIDGET's PROPERTY to the widget itself.
3649 ARGS are passed as extra arguments to the function.
3650 usage: (widget-apply WIDGET PROPERTY &rest ARGS) */)
3651 (nargs, args)
3652 int nargs;
3653 Lisp_Object *args;
3655 /* This function can GC. */
3656 Lisp_Object newargs[3];
3657 struct gcpro gcpro1, gcpro2;
3658 Lisp_Object result;
3660 newargs[0] = Fwidget_get (args[0], args[1]);
3661 newargs[1] = args[0];
3662 newargs[2] = Flist (nargs - 2, args + 2);
3663 GCPRO2 (newargs[0], newargs[2]);
3664 result = Fapply (3, newargs);
3665 UNGCPRO;
3666 return result;
3669 #ifdef HAVE_LANGINFO_CODESET
3670 #include <langinfo.h>
3671 #endif
3673 DEFUN ("locale-info", Flocale_info, Slocale_info, 1, 1, 0,
3674 doc: /* Access locale data ITEM for the current C locale, if available.
3675 ITEM should be one of the following:
3677 `codeset', returning the character set as a string (locale item CODESET);
3679 `days', returning a 7-element vector of day names (locale items DAY_n);
3681 `months', returning a 12-element vector of month names (locale items MON_n);
3683 `paper', returning a list (WIDTH HEIGHT) for the default paper size,
3684 both measured in milimeters (locale items PAPER_WIDTH, PAPER_HEIGHT).
3686 If the system can't provide such information through a call to
3687 `nl_langinfo', or if ITEM isn't from the list above, return nil.
3689 See also Info node `(libc)Locales'.
3691 The data read from the system are decoded using `locale-coding-system'. */)
3692 (item)
3693 Lisp_Object item;
3695 char *str = NULL;
3696 #ifdef HAVE_LANGINFO_CODESET
3697 Lisp_Object val;
3698 if (EQ (item, Qcodeset))
3700 str = nl_langinfo (CODESET);
3701 return build_string (str);
3703 #ifdef DAY_1
3704 else if (EQ (item, Qdays)) /* e.g. for calendar-day-name-array */
3706 Lisp_Object v = Fmake_vector (make_number (7), Qnil);
3707 int days[7] = {DAY_1, DAY_2, DAY_3, DAY_4, DAY_5, DAY_6, DAY_7};
3708 int i;
3709 synchronize_system_time_locale ();
3710 for (i = 0; i < 7; i++)
3712 str = nl_langinfo (days[i]);
3713 val = make_unibyte_string (str, strlen (str));
3714 /* Fixme: Is this coding system necessarily right, even if
3715 it is consistent with CODESET? If not, what to do? */
3716 Faset (v, make_number (i),
3717 code_convert_string_norecord (val, Vlocale_coding_system,
3718 0));
3720 return v;
3722 #endif /* DAY_1 */
3723 #ifdef MON_1
3724 else if (EQ (item, Qmonths)) /* e.g. for calendar-month-name-array */
3726 struct Lisp_Vector *p = allocate_vector (12);
3727 int months[12] = {MON_1, MON_2, MON_3, MON_4, MON_5, MON_6, MON_7,
3728 MON_8, MON_9, MON_10, MON_11, MON_12};
3729 int i;
3730 synchronize_system_time_locale ();
3731 for (i = 0; i < 12; i++)
3733 str = nl_langinfo (months[i]);
3734 val = make_unibyte_string (str, strlen (str));
3735 p->contents[i] =
3736 code_convert_string_norecord (val, Vlocale_coding_system, 0);
3738 XSETVECTOR (val, p);
3739 return val;
3741 #endif /* MON_1 */
3742 /* LC_PAPER stuff isn't defined as accessible in glibc as of 2.3.1,
3743 but is in the locale files. This could be used by ps-print. */
3744 #ifdef PAPER_WIDTH
3745 else if (EQ (item, Qpaper))
3747 return list2 (make_number (nl_langinfo (PAPER_WIDTH)),
3748 make_number (nl_langinfo (PAPER_HEIGHT)));
3750 #endif /* PAPER_WIDTH */
3751 #endif /* HAVE_LANGINFO_CODESET*/
3752 return Qnil;
3755 /* base64 encode/decode functions (RFC 2045).
3756 Based on code from GNU recode. */
3758 #define MIME_LINE_LENGTH 76
3760 #define IS_ASCII(Character) \
3761 ((Character) < 128)
3762 #define IS_BASE64(Character) \
3763 (IS_ASCII (Character) && base64_char_to_value[Character] >= 0)
3764 #define IS_BASE64_IGNORABLE(Character) \
3765 ((Character) == ' ' || (Character) == '\t' || (Character) == '\n' \
3766 || (Character) == '\f' || (Character) == '\r')
3768 /* Used by base64_decode_1 to retrieve a non-base64-ignorable
3769 character or return retval if there are no characters left to
3770 process. */
3771 #define READ_QUADRUPLET_BYTE(retval) \
3772 do \
3774 if (i == length) \
3776 if (nchars_return) \
3777 *nchars_return = nchars; \
3778 return (retval); \
3780 c = from[i++]; \
3782 while (IS_BASE64_IGNORABLE (c))
3784 /* Table of characters coding the 64 values. */
3785 static char base64_value_to_char[64] =
3787 'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', /* 0- 9 */
3788 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', /* 10-19 */
3789 'U', 'V', 'W', 'X', 'Y', 'Z', 'a', 'b', 'c', 'd', /* 20-29 */
3790 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', /* 30-39 */
3791 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', /* 40-49 */
3792 'y', 'z', '0', '1', '2', '3', '4', '5', '6', '7', /* 50-59 */
3793 '8', '9', '+', '/' /* 60-63 */
3796 /* Table of base64 values for first 128 characters. */
3797 static short base64_char_to_value[128] =
3799 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 0- 9 */
3800 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 10- 19 */
3801 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 20- 29 */
3802 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 30- 39 */
3803 -1, -1, -1, 62, -1, -1, -1, 63, 52, 53, /* 40- 49 */
3804 54, 55, 56, 57, 58, 59, 60, 61, -1, -1, /* 50- 59 */
3805 -1, -1, -1, -1, -1, 0, 1, 2, 3, 4, /* 60- 69 */
3806 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, /* 70- 79 */
3807 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, /* 80- 89 */
3808 25, -1, -1, -1, -1, -1, -1, 26, 27, 28, /* 90- 99 */
3809 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, /* 100-109 */
3810 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, /* 110-119 */
3811 49, 50, 51, -1, -1, -1, -1, -1 /* 120-127 */
3814 /* The following diagram shows the logical steps by which three octets
3815 get transformed into four base64 characters.
3817 .--------. .--------. .--------.
3818 |aaaaaabb| |bbbbcccc| |ccdddddd|
3819 `--------' `--------' `--------'
3820 6 2 4 4 2 6
3821 .--------+--------+--------+--------.
3822 |00aaaaaa|00bbbbbb|00cccccc|00dddddd|
3823 `--------+--------+--------+--------'
3825 .--------+--------+--------+--------.
3826 |AAAAAAAA|BBBBBBBB|CCCCCCCC|DDDDDDDD|
3827 `--------+--------+--------+--------'
3829 The octets are divided into 6 bit chunks, which are then encoded into
3830 base64 characters. */
3833 static int base64_encode_1 P_ ((const char *, char *, int, int, int));
3834 static int base64_decode_1 P_ ((const char *, char *, int, int, int *));
3836 DEFUN ("base64-encode-region", Fbase64_encode_region, Sbase64_encode_region,
3837 2, 3, "r",
3838 doc: /* Base64-encode the region between BEG and END.
3839 Return the length of the encoded text.
3840 Optional third argument NO-LINE-BREAK means do not break long lines
3841 into shorter lines. */)
3842 (beg, end, no_line_break)
3843 Lisp_Object beg, end, no_line_break;
3845 char *encoded;
3846 int allength, length;
3847 int ibeg, iend, encoded_length;
3848 int old_pos = PT;
3849 USE_SAFE_ALLOCA;
3851 validate_region (&beg, &end);
3853 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
3854 iend = CHAR_TO_BYTE (XFASTINT (end));
3855 move_gap_both (XFASTINT (beg), ibeg);
3857 /* We need to allocate enough room for encoding the text.
3858 We need 33 1/3% more space, plus a newline every 76
3859 characters, and then we round up. */
3860 length = iend - ibeg;
3861 allength = length + length/3 + 1;
3862 allength += allength / MIME_LINE_LENGTH + 1 + 6;
3864 SAFE_ALLOCA (encoded, char *, allength);
3865 encoded_length = base64_encode_1 (BYTE_POS_ADDR (ibeg), encoded, length,
3866 NILP (no_line_break),
3867 !NILP (current_buffer->enable_multibyte_characters));
3868 if (encoded_length > allength)
3869 abort ();
3871 if (encoded_length < 0)
3873 /* The encoding wasn't possible. */
3874 SAFE_FREE ();
3875 error ("Multibyte character in data for base64 encoding");
3878 /* Now we have encoded the region, so we insert the new contents
3879 and delete the old. (Insert first in order to preserve markers.) */
3880 SET_PT_BOTH (XFASTINT (beg), ibeg);
3881 insert (encoded, encoded_length);
3882 SAFE_FREE ();
3883 del_range_byte (ibeg + encoded_length, iend + encoded_length, 1);
3885 /* If point was outside of the region, restore it exactly; else just
3886 move to the beginning of the region. */
3887 if (old_pos >= XFASTINT (end))
3888 old_pos += encoded_length - (XFASTINT (end) - XFASTINT (beg));
3889 else if (old_pos > XFASTINT (beg))
3890 old_pos = XFASTINT (beg);
3891 SET_PT (old_pos);
3893 /* We return the length of the encoded text. */
3894 return make_number (encoded_length);
3897 DEFUN ("base64-encode-string", Fbase64_encode_string, Sbase64_encode_string,
3898 1, 2, 0,
3899 doc: /* Base64-encode STRING and return the result.
3900 Optional second argument NO-LINE-BREAK means do not break long lines
3901 into shorter lines. */)
3902 (string, no_line_break)
3903 Lisp_Object string, no_line_break;
3905 int allength, length, encoded_length;
3906 char *encoded;
3907 Lisp_Object encoded_string;
3908 USE_SAFE_ALLOCA;
3910 CHECK_STRING (string);
3912 /* We need to allocate enough room for encoding the text.
3913 We need 33 1/3% more space, plus a newline every 76
3914 characters, and then we round up. */
3915 length = SBYTES (string);
3916 allength = length + length/3 + 1;
3917 allength += allength / MIME_LINE_LENGTH + 1 + 6;
3919 /* We need to allocate enough room for decoding the text. */
3920 SAFE_ALLOCA (encoded, char *, allength);
3922 encoded_length = base64_encode_1 (SDATA (string),
3923 encoded, length, NILP (no_line_break),
3924 STRING_MULTIBYTE (string));
3925 if (encoded_length > allength)
3926 abort ();
3928 if (encoded_length < 0)
3930 /* The encoding wasn't possible. */
3931 SAFE_FREE ();
3932 error ("Multibyte character in data for base64 encoding");
3935 encoded_string = make_unibyte_string (encoded, encoded_length);
3936 SAFE_FREE ();
3938 return encoded_string;
3941 static int
3942 base64_encode_1 (from, to, length, line_break, multibyte)
3943 const char *from;
3944 char *to;
3945 int length;
3946 int line_break;
3947 int multibyte;
3949 int counter = 0, i = 0;
3950 char *e = to;
3951 int c;
3952 unsigned int value;
3953 int bytes;
3955 while (i < length)
3957 if (multibyte)
3959 c = STRING_CHAR_AND_LENGTH (from + i, length - i, bytes);
3960 if (c >= 256)
3961 return -1;
3962 i += bytes;
3964 else
3965 c = from[i++];
3967 /* Wrap line every 76 characters. */
3969 if (line_break)
3971 if (counter < MIME_LINE_LENGTH / 4)
3972 counter++;
3973 else
3975 *e++ = '\n';
3976 counter = 1;
3980 /* Process first byte of a triplet. */
3982 *e++ = base64_value_to_char[0x3f & c >> 2];
3983 value = (0x03 & c) << 4;
3985 /* Process second byte of a triplet. */
3987 if (i == length)
3989 *e++ = base64_value_to_char[value];
3990 *e++ = '=';
3991 *e++ = '=';
3992 break;
3995 if (multibyte)
3997 c = STRING_CHAR_AND_LENGTH (from + i, length - i, bytes);
3998 if (c >= 256)
3999 return -1;
4000 i += bytes;
4002 else
4003 c = from[i++];
4005 *e++ = base64_value_to_char[value | (0x0f & c >> 4)];
4006 value = (0x0f & c) << 2;
4008 /* Process third byte of a triplet. */
4010 if (i == length)
4012 *e++ = base64_value_to_char[value];
4013 *e++ = '=';
4014 break;
4017 if (multibyte)
4019 c = STRING_CHAR_AND_LENGTH (from + i, length - i, bytes);
4020 if (c >= 256)
4021 return -1;
4022 i += bytes;
4024 else
4025 c = from[i++];
4027 *e++ = base64_value_to_char[value | (0x03 & c >> 6)];
4028 *e++ = base64_value_to_char[0x3f & c];
4031 return e - to;
4035 DEFUN ("base64-decode-region", Fbase64_decode_region, Sbase64_decode_region,
4036 2, 2, "r",
4037 doc: /* Base64-decode the region between BEG and END.
4038 Return the length of the decoded text.
4039 If the region can't be decoded, signal an error and don't modify the buffer. */)
4040 (beg, end)
4041 Lisp_Object beg, end;
4043 int ibeg, iend, length, allength;
4044 char *decoded;
4045 int old_pos = PT;
4046 int decoded_length;
4047 int inserted_chars;
4048 int multibyte = !NILP (current_buffer->enable_multibyte_characters);
4049 USE_SAFE_ALLOCA;
4051 validate_region (&beg, &end);
4053 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
4054 iend = CHAR_TO_BYTE (XFASTINT (end));
4056 length = iend - ibeg;
4058 /* We need to allocate enough room for decoding the text. If we are
4059 working on a multibyte buffer, each decoded code may occupy at
4060 most two bytes. */
4061 allength = multibyte ? length * 2 : length;
4062 SAFE_ALLOCA (decoded, char *, allength);
4064 move_gap_both (XFASTINT (beg), ibeg);
4065 decoded_length = base64_decode_1 (BYTE_POS_ADDR (ibeg), decoded, length,
4066 multibyte, &inserted_chars);
4067 if (decoded_length > allength)
4068 abort ();
4070 if (decoded_length < 0)
4072 /* The decoding wasn't possible. */
4073 SAFE_FREE ();
4074 error ("Invalid base64 data");
4077 /* Now we have decoded the region, so we insert the new contents
4078 and delete the old. (Insert first in order to preserve markers.) */
4079 TEMP_SET_PT_BOTH (XFASTINT (beg), ibeg);
4080 insert_1_both (decoded, inserted_chars, decoded_length, 0, 1, 0);
4081 SAFE_FREE ();
4083 /* Delete the original text. */
4084 del_range_both (PT, PT_BYTE, XFASTINT (end) + inserted_chars,
4085 iend + decoded_length, 1);
4087 /* If point was outside of the region, restore it exactly; else just
4088 move to the beginning of the region. */
4089 if (old_pos >= XFASTINT (end))
4090 old_pos += inserted_chars - (XFASTINT (end) - XFASTINT (beg));
4091 else if (old_pos > XFASTINT (beg))
4092 old_pos = XFASTINT (beg);
4093 SET_PT (old_pos > ZV ? ZV : old_pos);
4095 return make_number (inserted_chars);
4098 DEFUN ("base64-decode-string", Fbase64_decode_string, Sbase64_decode_string,
4099 1, 1, 0,
4100 doc: /* Base64-decode STRING and return the result. */)
4101 (string)
4102 Lisp_Object string;
4104 char *decoded;
4105 int length, decoded_length;
4106 Lisp_Object decoded_string;
4107 USE_SAFE_ALLOCA;
4109 CHECK_STRING (string);
4111 length = SBYTES (string);
4112 /* We need to allocate enough room for decoding the text. */
4113 SAFE_ALLOCA (decoded, char *, length);
4115 /* The decoded result should be unibyte. */
4116 decoded_length = base64_decode_1 (SDATA (string), decoded, length,
4117 0, NULL);
4118 if (decoded_length > length)
4119 abort ();
4120 else if (decoded_length >= 0)
4121 decoded_string = make_unibyte_string (decoded, decoded_length);
4122 else
4123 decoded_string = Qnil;
4125 SAFE_FREE ();
4126 if (!STRINGP (decoded_string))
4127 error ("Invalid base64 data");
4129 return decoded_string;
4132 /* Base64-decode the data at FROM of LENGHT bytes into TO. If
4133 MULTIBYTE is nonzero, the decoded result should be in multibyte
4134 form. If NCHARS_RETRUN is not NULL, store the number of produced
4135 characters in *NCHARS_RETURN. */
4137 static int
4138 base64_decode_1 (from, to, length, multibyte, nchars_return)
4139 const char *from;
4140 char *to;
4141 int length;
4142 int multibyte;
4143 int *nchars_return;
4145 int i = 0;
4146 char *e = to;
4147 unsigned char c;
4148 unsigned long value;
4149 int nchars = 0;
4151 while (1)
4153 /* Process first byte of a quadruplet. */
4155 READ_QUADRUPLET_BYTE (e-to);
4157 if (!IS_BASE64 (c))
4158 return -1;
4159 value = base64_char_to_value[c] << 18;
4161 /* Process second byte of a quadruplet. */
4163 READ_QUADRUPLET_BYTE (-1);
4165 if (!IS_BASE64 (c))
4166 return -1;
4167 value |= base64_char_to_value[c] << 12;
4169 c = (unsigned char) (value >> 16);
4170 if (multibyte)
4171 e += CHAR_STRING (c, e);
4172 else
4173 *e++ = c;
4174 nchars++;
4176 /* Process third byte of a quadruplet. */
4178 READ_QUADRUPLET_BYTE (-1);
4180 if (c == '=')
4182 READ_QUADRUPLET_BYTE (-1);
4184 if (c != '=')
4185 return -1;
4186 continue;
4189 if (!IS_BASE64 (c))
4190 return -1;
4191 value |= base64_char_to_value[c] << 6;
4193 c = (unsigned char) (0xff & value >> 8);
4194 if (multibyte)
4195 e += CHAR_STRING (c, e);
4196 else
4197 *e++ = c;
4198 nchars++;
4200 /* Process fourth byte of a quadruplet. */
4202 READ_QUADRUPLET_BYTE (-1);
4204 if (c == '=')
4205 continue;
4207 if (!IS_BASE64 (c))
4208 return -1;
4209 value |= base64_char_to_value[c];
4211 c = (unsigned char) (0xff & value);
4212 if (multibyte)
4213 e += CHAR_STRING (c, e);
4214 else
4215 *e++ = c;
4216 nchars++;
4222 /***********************************************************************
4223 ***** *****
4224 ***** Hash Tables *****
4225 ***** *****
4226 ***********************************************************************/
4228 /* Implemented by gerd@gnu.org. This hash table implementation was
4229 inspired by CMUCL hash tables. */
4231 /* Ideas:
4233 1. For small tables, association lists are probably faster than
4234 hash tables because they have lower overhead.
4236 For uses of hash tables where the O(1) behavior of table
4237 operations is not a requirement, it might therefore be a good idea
4238 not to hash. Instead, we could just do a linear search in the
4239 key_and_value vector of the hash table. This could be done
4240 if a `:linear-search t' argument is given to make-hash-table. */
4243 /* The list of all weak hash tables. Don't staticpro this one. */
4245 Lisp_Object Vweak_hash_tables;
4247 /* Various symbols. */
4249 Lisp_Object Qhash_table_p, Qeq, Qeql, Qequal, Qkey, Qvalue;
4250 Lisp_Object QCtest, QCsize, QCrehash_size, QCrehash_threshold, QCweakness;
4251 Lisp_Object Qhash_table_test, Qkey_or_value, Qkey_and_value;
4253 /* Function prototypes. */
4255 static struct Lisp_Hash_Table *check_hash_table P_ ((Lisp_Object));
4256 static int get_key_arg P_ ((Lisp_Object, int, Lisp_Object *, char *));
4257 static void maybe_resize_hash_table P_ ((struct Lisp_Hash_Table *));
4258 static int cmpfn_eql P_ ((struct Lisp_Hash_Table *, Lisp_Object, unsigned,
4259 Lisp_Object, unsigned));
4260 static int cmpfn_equal P_ ((struct Lisp_Hash_Table *, Lisp_Object, unsigned,
4261 Lisp_Object, unsigned));
4262 static int cmpfn_user_defined P_ ((struct Lisp_Hash_Table *, Lisp_Object,
4263 unsigned, Lisp_Object, unsigned));
4264 static unsigned hashfn_eq P_ ((struct Lisp_Hash_Table *, Lisp_Object));
4265 static unsigned hashfn_eql P_ ((struct Lisp_Hash_Table *, Lisp_Object));
4266 static unsigned hashfn_equal P_ ((struct Lisp_Hash_Table *, Lisp_Object));
4267 static unsigned hashfn_user_defined P_ ((struct Lisp_Hash_Table *,
4268 Lisp_Object));
4269 static unsigned sxhash_string P_ ((unsigned char *, int));
4270 static unsigned sxhash_list P_ ((Lisp_Object, int));
4271 static unsigned sxhash_vector P_ ((Lisp_Object, int));
4272 static unsigned sxhash_bool_vector P_ ((Lisp_Object));
4273 static int sweep_weak_table P_ ((struct Lisp_Hash_Table *, int));
4277 /***********************************************************************
4278 Utilities
4279 ***********************************************************************/
4281 /* If OBJ is a Lisp hash table, return a pointer to its struct
4282 Lisp_Hash_Table. Otherwise, signal an error. */
4284 static struct Lisp_Hash_Table *
4285 check_hash_table (obj)
4286 Lisp_Object obj;
4288 CHECK_HASH_TABLE (obj);
4289 return XHASH_TABLE (obj);
4293 /* Value is the next integer I >= N, N >= 0 which is "almost" a prime
4294 number. */
4297 next_almost_prime (n)
4298 int n;
4300 if (n % 2 == 0)
4301 n += 1;
4302 if (n % 3 == 0)
4303 n += 2;
4304 if (n % 7 == 0)
4305 n += 4;
4306 return n;
4310 /* Find KEY in ARGS which has size NARGS. Don't consider indices for
4311 which USED[I] is non-zero. If found at index I in ARGS, set
4312 USED[I] and USED[I + 1] to 1, and return I + 1. Otherwise return
4313 -1. This function is used to extract a keyword/argument pair from
4314 a DEFUN parameter list. */
4316 static int
4317 get_key_arg (key, nargs, args, used)
4318 Lisp_Object key;
4319 int nargs;
4320 Lisp_Object *args;
4321 char *used;
4323 int i;
4325 for (i = 0; i < nargs - 1; ++i)
4326 if (!used[i] && EQ (args[i], key))
4327 break;
4329 if (i >= nargs - 1)
4330 i = -1;
4331 else
4333 used[i++] = 1;
4334 used[i] = 1;
4337 return i;
4341 /* Return a Lisp vector which has the same contents as VEC but has
4342 size NEW_SIZE, NEW_SIZE >= VEC->size. Entries in the resulting
4343 vector that are not copied from VEC are set to INIT. */
4345 Lisp_Object
4346 larger_vector (vec, new_size, init)
4347 Lisp_Object vec;
4348 int new_size;
4349 Lisp_Object init;
4351 struct Lisp_Vector *v;
4352 int i, old_size;
4354 xassert (VECTORP (vec));
4355 old_size = XVECTOR (vec)->size;
4356 xassert (new_size >= old_size);
4358 v = allocate_vector (new_size);
4359 bcopy (XVECTOR (vec)->contents, v->contents,
4360 old_size * sizeof *v->contents);
4361 for (i = old_size; i < new_size; ++i)
4362 v->contents[i] = init;
4363 XSETVECTOR (vec, v);
4364 return vec;
4368 /***********************************************************************
4369 Low-level Functions
4370 ***********************************************************************/
4372 /* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
4373 HASH2 in hash table H using `eql'. Value is non-zero if KEY1 and
4374 KEY2 are the same. */
4376 static int
4377 cmpfn_eql (h, key1, hash1, key2, hash2)
4378 struct Lisp_Hash_Table *h;
4379 Lisp_Object key1, key2;
4380 unsigned hash1, hash2;
4382 return (FLOATP (key1)
4383 && FLOATP (key2)
4384 && XFLOAT_DATA (key1) == XFLOAT_DATA (key2));
4388 /* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
4389 HASH2 in hash table H using `equal'. Value is non-zero if KEY1 and
4390 KEY2 are the same. */
4392 static int
4393 cmpfn_equal (h, key1, hash1, key2, hash2)
4394 struct Lisp_Hash_Table *h;
4395 Lisp_Object key1, key2;
4396 unsigned hash1, hash2;
4398 return hash1 == hash2 && !NILP (Fequal (key1, key2));
4402 /* Compare KEY1 which has hash code HASH1, and KEY2 with hash code
4403 HASH2 in hash table H using H->user_cmp_function. Value is non-zero
4404 if KEY1 and KEY2 are the same. */
4406 static int
4407 cmpfn_user_defined (h, key1, hash1, key2, hash2)
4408 struct Lisp_Hash_Table *h;
4409 Lisp_Object key1, key2;
4410 unsigned hash1, hash2;
4412 if (hash1 == hash2)
4414 Lisp_Object args[3];
4416 args[0] = h->user_cmp_function;
4417 args[1] = key1;
4418 args[2] = key2;
4419 return !NILP (Ffuncall (3, args));
4421 else
4422 return 0;
4426 /* Value is a hash code for KEY for use in hash table H which uses
4427 `eq' to compare keys. The hash code returned is guaranteed to fit
4428 in a Lisp integer. */
4430 static unsigned
4431 hashfn_eq (h, key)
4432 struct Lisp_Hash_Table *h;
4433 Lisp_Object key;
4435 unsigned hash = XUINT (key) ^ XGCTYPE (key);
4436 xassert ((hash & ~INTMASK) == 0);
4437 return hash;
4441 /* Value is a hash code for KEY for use in hash table H which uses
4442 `eql' to compare keys. The hash code returned is guaranteed to fit
4443 in a Lisp integer. */
4445 static unsigned
4446 hashfn_eql (h, key)
4447 struct Lisp_Hash_Table *h;
4448 Lisp_Object key;
4450 unsigned hash;
4451 if (FLOATP (key))
4452 hash = sxhash (key, 0);
4453 else
4454 hash = XUINT (key) ^ XGCTYPE (key);
4455 xassert ((hash & ~INTMASK) == 0);
4456 return hash;
4460 /* Value is a hash code for KEY for use in hash table H which uses
4461 `equal' to compare keys. The hash code returned is guaranteed to fit
4462 in a Lisp integer. */
4464 static unsigned
4465 hashfn_equal (h, key)
4466 struct Lisp_Hash_Table *h;
4467 Lisp_Object key;
4469 unsigned hash = sxhash (key, 0);
4470 xassert ((hash & ~INTMASK) == 0);
4471 return hash;
4475 /* Value is a hash code for KEY for use in hash table H which uses as
4476 user-defined function to compare keys. The hash code returned is
4477 guaranteed to fit in a Lisp integer. */
4479 static unsigned
4480 hashfn_user_defined (h, key)
4481 struct Lisp_Hash_Table *h;
4482 Lisp_Object key;
4484 Lisp_Object args[2], hash;
4486 args[0] = h->user_hash_function;
4487 args[1] = key;
4488 hash = Ffuncall (2, args);
4489 if (!INTEGERP (hash))
4490 signal_error ("Invalid hash code returned from user-supplied hash function", hash);
4491 return XUINT (hash);
4495 /* Create and initialize a new hash table.
4497 TEST specifies the test the hash table will use to compare keys.
4498 It must be either one of the predefined tests `eq', `eql' or
4499 `equal' or a symbol denoting a user-defined test named TEST with
4500 test and hash functions USER_TEST and USER_HASH.
4502 Give the table initial capacity SIZE, SIZE >= 0, an integer.
4504 If REHASH_SIZE is an integer, it must be > 0, and this hash table's
4505 new size when it becomes full is computed by adding REHASH_SIZE to
4506 its old size. If REHASH_SIZE is a float, it must be > 1.0, and the
4507 table's new size is computed by multiplying its old size with
4508 REHASH_SIZE.
4510 REHASH_THRESHOLD must be a float <= 1.0, and > 0. The table will
4511 be resized when the ratio of (number of entries in the table) /
4512 (table size) is >= REHASH_THRESHOLD.
4514 WEAK specifies the weakness of the table. If non-nil, it must be
4515 one of the symbols `key', `value', `key-or-value', or `key-and-value'. */
4517 Lisp_Object
4518 make_hash_table (test, size, rehash_size, rehash_threshold, weak,
4519 user_test, user_hash)
4520 Lisp_Object test, size, rehash_size, rehash_threshold, weak;
4521 Lisp_Object user_test, user_hash;
4523 struct Lisp_Hash_Table *h;
4524 Lisp_Object table;
4525 int index_size, i, sz;
4527 /* Preconditions. */
4528 xassert (SYMBOLP (test));
4529 xassert (INTEGERP (size) && XINT (size) >= 0);
4530 xassert ((INTEGERP (rehash_size) && XINT (rehash_size) > 0)
4531 || (FLOATP (rehash_size) && XFLOATINT (rehash_size) > 1.0));
4532 xassert (FLOATP (rehash_threshold)
4533 && XFLOATINT (rehash_threshold) > 0
4534 && XFLOATINT (rehash_threshold) <= 1.0);
4536 if (XFASTINT (size) == 0)
4537 size = make_number (1);
4539 /* Allocate a table and initialize it. */
4540 h = allocate_hash_table ();
4542 /* Initialize hash table slots. */
4543 sz = XFASTINT (size);
4545 h->test = test;
4546 if (EQ (test, Qeql))
4548 h->cmpfn = cmpfn_eql;
4549 h->hashfn = hashfn_eql;
4551 else if (EQ (test, Qeq))
4553 h->cmpfn = NULL;
4554 h->hashfn = hashfn_eq;
4556 else if (EQ (test, Qequal))
4558 h->cmpfn = cmpfn_equal;
4559 h->hashfn = hashfn_equal;
4561 else
4563 h->user_cmp_function = user_test;
4564 h->user_hash_function = user_hash;
4565 h->cmpfn = cmpfn_user_defined;
4566 h->hashfn = hashfn_user_defined;
4569 h->weak = weak;
4570 h->rehash_threshold = rehash_threshold;
4571 h->rehash_size = rehash_size;
4572 h->count = make_number (0);
4573 h->key_and_value = Fmake_vector (make_number (2 * sz), Qnil);
4574 h->hash = Fmake_vector (size, Qnil);
4575 h->next = Fmake_vector (size, Qnil);
4576 /* Cast to int here avoids losing with gcc 2.95 on Tru64/Alpha... */
4577 index_size = next_almost_prime ((int) (sz / XFLOATINT (rehash_threshold)));
4578 h->index = Fmake_vector (make_number (index_size), Qnil);
4580 /* Set up the free list. */
4581 for (i = 0; i < sz - 1; ++i)
4582 HASH_NEXT (h, i) = make_number (i + 1);
4583 h->next_free = make_number (0);
4585 XSET_HASH_TABLE (table, h);
4586 xassert (HASH_TABLE_P (table));
4587 xassert (XHASH_TABLE (table) == h);
4589 /* Maybe add this hash table to the list of all weak hash tables. */
4590 if (NILP (h->weak))
4591 h->next_weak = Qnil;
4592 else
4594 h->next_weak = Vweak_hash_tables;
4595 Vweak_hash_tables = table;
4598 return table;
4602 /* Return a copy of hash table H1. Keys and values are not copied,
4603 only the table itself is. */
4605 Lisp_Object
4606 copy_hash_table (h1)
4607 struct Lisp_Hash_Table *h1;
4609 Lisp_Object table;
4610 struct Lisp_Hash_Table *h2;
4611 struct Lisp_Vector *next;
4613 h2 = allocate_hash_table ();
4614 next = h2->vec_next;
4615 bcopy (h1, h2, sizeof *h2);
4616 h2->vec_next = next;
4617 h2->key_and_value = Fcopy_sequence (h1->key_and_value);
4618 h2->hash = Fcopy_sequence (h1->hash);
4619 h2->next = Fcopy_sequence (h1->next);
4620 h2->index = Fcopy_sequence (h1->index);
4621 XSET_HASH_TABLE (table, h2);
4623 /* Maybe add this hash table to the list of all weak hash tables. */
4624 if (!NILP (h2->weak))
4626 h2->next_weak = Vweak_hash_tables;
4627 Vweak_hash_tables = table;
4630 return table;
4634 /* Resize hash table H if it's too full. If H cannot be resized
4635 because it's already too large, throw an error. */
4637 static INLINE void
4638 maybe_resize_hash_table (h)
4639 struct Lisp_Hash_Table *h;
4641 if (NILP (h->next_free))
4643 int old_size = HASH_TABLE_SIZE (h);
4644 int i, new_size, index_size;
4646 if (INTEGERP (h->rehash_size))
4647 new_size = old_size + XFASTINT (h->rehash_size);
4648 else
4649 new_size = old_size * XFLOATINT (h->rehash_size);
4650 new_size = max (old_size + 1, new_size);
4651 index_size = next_almost_prime ((int)
4652 (new_size
4653 / XFLOATINT (h->rehash_threshold)));
4654 if (max (index_size, 2 * new_size) > MOST_POSITIVE_FIXNUM)
4655 error ("Hash table too large to resize");
4657 h->key_and_value = larger_vector (h->key_and_value, 2 * new_size, Qnil);
4658 h->next = larger_vector (h->next, new_size, Qnil);
4659 h->hash = larger_vector (h->hash, new_size, Qnil);
4660 h->index = Fmake_vector (make_number (index_size), Qnil);
4662 /* Update the free list. Do it so that new entries are added at
4663 the end of the free list. This makes some operations like
4664 maphash faster. */
4665 for (i = old_size; i < new_size - 1; ++i)
4666 HASH_NEXT (h, i) = make_number (i + 1);
4668 if (!NILP (h->next_free))
4670 Lisp_Object last, next;
4672 last = h->next_free;
4673 while (next = HASH_NEXT (h, XFASTINT (last)),
4674 !NILP (next))
4675 last = next;
4677 HASH_NEXT (h, XFASTINT (last)) = make_number (old_size);
4679 else
4680 XSETFASTINT (h->next_free, old_size);
4682 /* Rehash. */
4683 for (i = 0; i < old_size; ++i)
4684 if (!NILP (HASH_HASH (h, i)))
4686 unsigned hash_code = XUINT (HASH_HASH (h, i));
4687 int start_of_bucket = hash_code % XVECTOR (h->index)->size;
4688 HASH_NEXT (h, i) = HASH_INDEX (h, start_of_bucket);
4689 HASH_INDEX (h, start_of_bucket) = make_number (i);
4695 /* Lookup KEY in hash table H. If HASH is non-null, return in *HASH
4696 the hash code of KEY. Value is the index of the entry in H
4697 matching KEY, or -1 if not found. */
4700 hash_lookup (h, key, hash)
4701 struct Lisp_Hash_Table *h;
4702 Lisp_Object key;
4703 unsigned *hash;
4705 unsigned hash_code;
4706 int start_of_bucket;
4707 Lisp_Object idx;
4709 hash_code = h->hashfn (h, key);
4710 if (hash)
4711 *hash = hash_code;
4713 start_of_bucket = hash_code % XVECTOR (h->index)->size;
4714 idx = HASH_INDEX (h, start_of_bucket);
4716 /* We need not gcpro idx since it's either an integer or nil. */
4717 while (!NILP (idx))
4719 int i = XFASTINT (idx);
4720 if (EQ (key, HASH_KEY (h, i))
4721 || (h->cmpfn
4722 && h->cmpfn (h, key, hash_code,
4723 HASH_KEY (h, i), XUINT (HASH_HASH (h, i)))))
4724 break;
4725 idx = HASH_NEXT (h, i);
4728 return NILP (idx) ? -1 : XFASTINT (idx);
4732 /* Put an entry into hash table H that associates KEY with VALUE.
4733 HASH is a previously computed hash code of KEY.
4734 Value is the index of the entry in H matching KEY. */
4737 hash_put (h, key, value, hash)
4738 struct Lisp_Hash_Table *h;
4739 Lisp_Object key, value;
4740 unsigned hash;
4742 int start_of_bucket, i;
4744 xassert ((hash & ~INTMASK) == 0);
4746 /* Increment count after resizing because resizing may fail. */
4747 maybe_resize_hash_table (h);
4748 h->count = make_number (XFASTINT (h->count) + 1);
4750 /* Store key/value in the key_and_value vector. */
4751 i = XFASTINT (h->next_free);
4752 h->next_free = HASH_NEXT (h, i);
4753 HASH_KEY (h, i) = key;
4754 HASH_VALUE (h, i) = value;
4756 /* Remember its hash code. */
4757 HASH_HASH (h, i) = make_number (hash);
4759 /* Add new entry to its collision chain. */
4760 start_of_bucket = hash % XVECTOR (h->index)->size;
4761 HASH_NEXT (h, i) = HASH_INDEX (h, start_of_bucket);
4762 HASH_INDEX (h, start_of_bucket) = make_number (i);
4763 return i;
4767 /* Remove the entry matching KEY from hash table H, if there is one. */
4769 void
4770 hash_remove (h, key)
4771 struct Lisp_Hash_Table *h;
4772 Lisp_Object key;
4774 unsigned hash_code;
4775 int start_of_bucket;
4776 Lisp_Object idx, prev;
4778 hash_code = h->hashfn (h, key);
4779 start_of_bucket = hash_code % XVECTOR (h->index)->size;
4780 idx = HASH_INDEX (h, start_of_bucket);
4781 prev = Qnil;
4783 /* We need not gcpro idx, prev since they're either integers or nil. */
4784 while (!NILP (idx))
4786 int i = XFASTINT (idx);
4788 if (EQ (key, HASH_KEY (h, i))
4789 || (h->cmpfn
4790 && h->cmpfn (h, key, hash_code,
4791 HASH_KEY (h, i), XUINT (HASH_HASH (h, i)))))
4793 /* Take entry out of collision chain. */
4794 if (NILP (prev))
4795 HASH_INDEX (h, start_of_bucket) = HASH_NEXT (h, i);
4796 else
4797 HASH_NEXT (h, XFASTINT (prev)) = HASH_NEXT (h, i);
4799 /* Clear slots in key_and_value and add the slots to
4800 the free list. */
4801 HASH_KEY (h, i) = HASH_VALUE (h, i) = HASH_HASH (h, i) = Qnil;
4802 HASH_NEXT (h, i) = h->next_free;
4803 h->next_free = make_number (i);
4804 h->count = make_number (XFASTINT (h->count) - 1);
4805 xassert (XINT (h->count) >= 0);
4806 break;
4808 else
4810 prev = idx;
4811 idx = HASH_NEXT (h, i);
4817 /* Clear hash table H. */
4819 void
4820 hash_clear (h)
4821 struct Lisp_Hash_Table *h;
4823 if (XFASTINT (h->count) > 0)
4825 int i, size = HASH_TABLE_SIZE (h);
4827 for (i = 0; i < size; ++i)
4829 HASH_NEXT (h, i) = i < size - 1 ? make_number (i + 1) : Qnil;
4830 HASH_KEY (h, i) = Qnil;
4831 HASH_VALUE (h, i) = Qnil;
4832 HASH_HASH (h, i) = Qnil;
4835 for (i = 0; i < XVECTOR (h->index)->size; ++i)
4836 XVECTOR (h->index)->contents[i] = Qnil;
4838 h->next_free = make_number (0);
4839 h->count = make_number (0);
4845 /************************************************************************
4846 Weak Hash Tables
4847 ************************************************************************/
4849 /* Sweep weak hash table H. REMOVE_ENTRIES_P non-zero means remove
4850 entries from the table that don't survive the current GC.
4851 REMOVE_ENTRIES_P zero means mark entries that are in use. Value is
4852 non-zero if anything was marked. */
4854 static int
4855 sweep_weak_table (h, remove_entries_p)
4856 struct Lisp_Hash_Table *h;
4857 int remove_entries_p;
4859 int bucket, n, marked;
4861 n = XVECTOR (h->index)->size & ~ARRAY_MARK_FLAG;
4862 marked = 0;
4864 for (bucket = 0; bucket < n; ++bucket)
4866 Lisp_Object idx, next, prev;
4868 /* Follow collision chain, removing entries that
4869 don't survive this garbage collection. */
4870 prev = Qnil;
4871 for (idx = HASH_INDEX (h, bucket); !GC_NILP (idx); idx = next)
4873 int i = XFASTINT (idx);
4874 int key_known_to_survive_p = survives_gc_p (HASH_KEY (h, i));
4875 int value_known_to_survive_p = survives_gc_p (HASH_VALUE (h, i));
4876 int remove_p;
4878 if (EQ (h->weak, Qkey))
4879 remove_p = !key_known_to_survive_p;
4880 else if (EQ (h->weak, Qvalue))
4881 remove_p = !value_known_to_survive_p;
4882 else if (EQ (h->weak, Qkey_or_value))
4883 remove_p = !(key_known_to_survive_p || value_known_to_survive_p);
4884 else if (EQ (h->weak, Qkey_and_value))
4885 remove_p = !(key_known_to_survive_p && value_known_to_survive_p);
4886 else
4887 abort ();
4889 next = HASH_NEXT (h, i);
4891 if (remove_entries_p)
4893 if (remove_p)
4895 /* Take out of collision chain. */
4896 if (GC_NILP (prev))
4897 HASH_INDEX (h, bucket) = next;
4898 else
4899 HASH_NEXT (h, XFASTINT (prev)) = next;
4901 /* Add to free list. */
4902 HASH_NEXT (h, i) = h->next_free;
4903 h->next_free = idx;
4905 /* Clear key, value, and hash. */
4906 HASH_KEY (h, i) = HASH_VALUE (h, i) = Qnil;
4907 HASH_HASH (h, i) = Qnil;
4909 h->count = make_number (XFASTINT (h->count) - 1);
4911 else
4913 prev = idx;
4916 else
4918 if (!remove_p)
4920 /* Make sure key and value survive. */
4921 if (!key_known_to_survive_p)
4923 mark_object (HASH_KEY (h, i));
4924 marked = 1;
4927 if (!value_known_to_survive_p)
4929 mark_object (HASH_VALUE (h, i));
4930 marked = 1;
4937 return marked;
4940 /* Remove elements from weak hash tables that don't survive the
4941 current garbage collection. Remove weak tables that don't survive
4942 from Vweak_hash_tables. Called from gc_sweep. */
4944 void
4945 sweep_weak_hash_tables ()
4947 Lisp_Object table, used, next;
4948 struct Lisp_Hash_Table *h;
4949 int marked;
4951 /* Mark all keys and values that are in use. Keep on marking until
4952 there is no more change. This is necessary for cases like
4953 value-weak table A containing an entry X -> Y, where Y is used in a
4954 key-weak table B, Z -> Y. If B comes after A in the list of weak
4955 tables, X -> Y might be removed from A, although when looking at B
4956 one finds that it shouldn't. */
4959 marked = 0;
4960 for (table = Vweak_hash_tables; !GC_NILP (table); table = h->next_weak)
4962 h = XHASH_TABLE (table);
4963 if (h->size & ARRAY_MARK_FLAG)
4964 marked |= sweep_weak_table (h, 0);
4967 while (marked);
4969 /* Remove tables and entries that aren't used. */
4970 for (table = Vweak_hash_tables, used = Qnil; !GC_NILP (table); table = next)
4972 h = XHASH_TABLE (table);
4973 next = h->next_weak;
4975 if (h->size & ARRAY_MARK_FLAG)
4977 /* TABLE is marked as used. Sweep its contents. */
4978 if (XFASTINT (h->count) > 0)
4979 sweep_weak_table (h, 1);
4981 /* Add table to the list of used weak hash tables. */
4982 h->next_weak = used;
4983 used = table;
4987 Vweak_hash_tables = used;
4992 /***********************************************************************
4993 Hash Code Computation
4994 ***********************************************************************/
4996 /* Maximum depth up to which to dive into Lisp structures. */
4998 #define SXHASH_MAX_DEPTH 3
5000 /* Maximum length up to which to take list and vector elements into
5001 account. */
5003 #define SXHASH_MAX_LEN 7
5005 /* Combine two integers X and Y for hashing. */
5007 #define SXHASH_COMBINE(X, Y) \
5008 ((((unsigned)(X) << 4) + (((unsigned)(X) >> 24) & 0x0fffffff)) \
5009 + (unsigned)(Y))
5012 /* Return a hash for string PTR which has length LEN. The hash
5013 code returned is guaranteed to fit in a Lisp integer. */
5015 static unsigned
5016 sxhash_string (ptr, len)
5017 unsigned char *ptr;
5018 int len;
5020 unsigned char *p = ptr;
5021 unsigned char *end = p + len;
5022 unsigned char c;
5023 unsigned hash = 0;
5025 while (p != end)
5027 c = *p++;
5028 if (c >= 0140)
5029 c -= 40;
5030 hash = ((hash << 3) + (hash >> 28) + c);
5033 return hash & INTMASK;
5037 /* Return a hash for list LIST. DEPTH is the current depth in the
5038 list. We don't recurse deeper than SXHASH_MAX_DEPTH in it. */
5040 static unsigned
5041 sxhash_list (list, depth)
5042 Lisp_Object list;
5043 int depth;
5045 unsigned hash = 0;
5046 int i;
5048 if (depth < SXHASH_MAX_DEPTH)
5049 for (i = 0;
5050 CONSP (list) && i < SXHASH_MAX_LEN;
5051 list = XCDR (list), ++i)
5053 unsigned hash2 = sxhash (XCAR (list), depth + 1);
5054 hash = SXHASH_COMBINE (hash, hash2);
5057 if (!NILP (list))
5059 unsigned hash2 = sxhash (list, depth + 1);
5060 hash = SXHASH_COMBINE (hash, hash2);
5063 return hash;
5067 /* Return a hash for vector VECTOR. DEPTH is the current depth in
5068 the Lisp structure. */
5070 static unsigned
5071 sxhash_vector (vec, depth)
5072 Lisp_Object vec;
5073 int depth;
5075 unsigned hash = XVECTOR (vec)->size;
5076 int i, n;
5078 n = min (SXHASH_MAX_LEN, XVECTOR (vec)->size);
5079 for (i = 0; i < n; ++i)
5081 unsigned hash2 = sxhash (XVECTOR (vec)->contents[i], depth + 1);
5082 hash = SXHASH_COMBINE (hash, hash2);
5085 return hash;
5089 /* Return a hash for bool-vector VECTOR. */
5091 static unsigned
5092 sxhash_bool_vector (vec)
5093 Lisp_Object vec;
5095 unsigned hash = XBOOL_VECTOR (vec)->size;
5096 int i, n;
5098 n = min (SXHASH_MAX_LEN, XBOOL_VECTOR (vec)->vector_size);
5099 for (i = 0; i < n; ++i)
5100 hash = SXHASH_COMBINE (hash, XBOOL_VECTOR (vec)->data[i]);
5102 return hash;
5106 /* Return a hash code for OBJ. DEPTH is the current depth in the Lisp
5107 structure. Value is an unsigned integer clipped to INTMASK. */
5109 unsigned
5110 sxhash (obj, depth)
5111 Lisp_Object obj;
5112 int depth;
5114 unsigned hash;
5116 if (depth > SXHASH_MAX_DEPTH)
5117 return 0;
5119 switch (XTYPE (obj))
5121 case Lisp_Int:
5122 hash = XUINT (obj);
5123 break;
5125 case Lisp_Misc:
5126 hash = XUINT (obj);
5127 break;
5129 case Lisp_Symbol:
5130 obj = SYMBOL_NAME (obj);
5131 /* Fall through. */
5133 case Lisp_String:
5134 hash = sxhash_string (SDATA (obj), SCHARS (obj));
5135 break;
5137 /* This can be everything from a vector to an overlay. */
5138 case Lisp_Vectorlike:
5139 if (VECTORP (obj))
5140 /* According to the CL HyperSpec, two arrays are equal only if
5141 they are `eq', except for strings and bit-vectors. In
5142 Emacs, this works differently. We have to compare element
5143 by element. */
5144 hash = sxhash_vector (obj, depth);
5145 else if (BOOL_VECTOR_P (obj))
5146 hash = sxhash_bool_vector (obj);
5147 else
5148 /* Others are `equal' if they are `eq', so let's take their
5149 address as hash. */
5150 hash = XUINT (obj);
5151 break;
5153 case Lisp_Cons:
5154 hash = sxhash_list (obj, depth);
5155 break;
5157 case Lisp_Float:
5159 unsigned char *p = (unsigned char *) &XFLOAT_DATA (obj);
5160 unsigned char *e = p + sizeof XFLOAT_DATA (obj);
5161 for (hash = 0; p < e; ++p)
5162 hash = SXHASH_COMBINE (hash, *p);
5163 break;
5166 default:
5167 abort ();
5170 return hash & INTMASK;
5175 /***********************************************************************
5176 Lisp Interface
5177 ***********************************************************************/
5180 DEFUN ("sxhash", Fsxhash, Ssxhash, 1, 1, 0,
5181 doc: /* Compute a hash code for OBJ and return it as integer. */)
5182 (obj)
5183 Lisp_Object obj;
5185 unsigned hash = sxhash (obj, 0);;
5186 return make_number (hash);
5190 DEFUN ("make-hash-table", Fmake_hash_table, Smake_hash_table, 0, MANY, 0,
5191 doc: /* Create and return a new hash table.
5193 Arguments are specified as keyword/argument pairs. The following
5194 arguments are defined:
5196 :test TEST -- TEST must be a symbol that specifies how to compare
5197 keys. Default is `eql'. Predefined are the tests `eq', `eql', and
5198 `equal'. User-supplied test and hash functions can be specified via
5199 `define-hash-table-test'.
5201 :size SIZE -- A hint as to how many elements will be put in the table.
5202 Default is 65.
5204 :rehash-size REHASH-SIZE - Indicates how to expand the table when it
5205 fills up. If REHASH-SIZE is an integer, add that many space. If it
5206 is a float, it must be > 1.0, and the new size is computed by
5207 multiplying the old size with that factor. Default is 1.5.
5209 :rehash-threshold THRESHOLD -- THRESHOLD must a float > 0, and <= 1.0.
5210 Resize the hash table when ratio of the number of entries in the
5211 table. Default is 0.8.
5213 :weakness WEAK -- WEAK must be one of nil, t, `key', `value',
5214 `key-or-value', or `key-and-value'. If WEAK is not nil, the table
5215 returned is a weak table. Key/value pairs are removed from a weak
5216 hash table when there are no non-weak references pointing to their
5217 key, value, one of key or value, or both key and value, depending on
5218 WEAK. WEAK t is equivalent to `key-and-value'. Default value of WEAK
5219 is nil.
5221 usage: (make-hash-table &rest KEYWORD-ARGS) */)
5222 (nargs, args)
5223 int nargs;
5224 Lisp_Object *args;
5226 Lisp_Object test, size, rehash_size, rehash_threshold, weak;
5227 Lisp_Object user_test, user_hash;
5228 char *used;
5229 int i;
5231 /* The vector `used' is used to keep track of arguments that
5232 have been consumed. */
5233 used = (char *) alloca (nargs * sizeof *used);
5234 bzero (used, nargs * sizeof *used);
5236 /* See if there's a `:test TEST' among the arguments. */
5237 i = get_key_arg (QCtest, nargs, args, used);
5238 test = i < 0 ? Qeql : args[i];
5239 if (!EQ (test, Qeq) && !EQ (test, Qeql) && !EQ (test, Qequal))
5241 /* See if it is a user-defined test. */
5242 Lisp_Object prop;
5244 prop = Fget (test, Qhash_table_test);
5245 if (!CONSP (prop) || !CONSP (XCDR (prop)))
5246 signal_error ("Invalid hash table test", test);
5247 user_test = XCAR (prop);
5248 user_hash = XCAR (XCDR (prop));
5250 else
5251 user_test = user_hash = Qnil;
5253 /* See if there's a `:size SIZE' argument. */
5254 i = get_key_arg (QCsize, nargs, args, used);
5255 size = i < 0 ? Qnil : args[i];
5256 if (NILP (size))
5257 size = make_number (DEFAULT_HASH_SIZE);
5258 else if (!INTEGERP (size) || XINT (size) < 0)
5259 signal_error ("Invalid hash table size", size);
5261 /* Look for `:rehash-size SIZE'. */
5262 i = get_key_arg (QCrehash_size, nargs, args, used);
5263 rehash_size = i < 0 ? make_float (DEFAULT_REHASH_SIZE) : args[i];
5264 if (!NUMBERP (rehash_size)
5265 || (INTEGERP (rehash_size) && XINT (rehash_size) <= 0)
5266 || XFLOATINT (rehash_size) <= 1.0)
5267 signal_error ("Invalid hash table rehash size", rehash_size);
5269 /* Look for `:rehash-threshold THRESHOLD'. */
5270 i = get_key_arg (QCrehash_threshold, nargs, args, used);
5271 rehash_threshold = i < 0 ? make_float (DEFAULT_REHASH_THRESHOLD) : args[i];
5272 if (!FLOATP (rehash_threshold)
5273 || XFLOATINT (rehash_threshold) <= 0.0
5274 || XFLOATINT (rehash_threshold) > 1.0)
5275 signal_error ("Invalid hash table rehash threshold", rehash_threshold);
5277 /* Look for `:weakness WEAK'. */
5278 i = get_key_arg (QCweakness, nargs, args, used);
5279 weak = i < 0 ? Qnil : args[i];
5280 if (EQ (weak, Qt))
5281 weak = Qkey_and_value;
5282 if (!NILP (weak)
5283 && !EQ (weak, Qkey)
5284 && !EQ (weak, Qvalue)
5285 && !EQ (weak, Qkey_or_value)
5286 && !EQ (weak, Qkey_and_value))
5287 signal_error ("Invalid hash table weakness", weak);
5289 /* Now, all args should have been used up, or there's a problem. */
5290 for (i = 0; i < nargs; ++i)
5291 if (!used[i])
5292 signal_error ("Invalid argument list", args[i]);
5294 return make_hash_table (test, size, rehash_size, rehash_threshold, weak,
5295 user_test, user_hash);
5299 DEFUN ("copy-hash-table", Fcopy_hash_table, Scopy_hash_table, 1, 1, 0,
5300 doc: /* Return a copy of hash table TABLE. */)
5301 (table)
5302 Lisp_Object table;
5304 return copy_hash_table (check_hash_table (table));
5308 DEFUN ("hash-table-count", Fhash_table_count, Shash_table_count, 1, 1, 0,
5309 doc: /* Return the number of elements in TABLE. */)
5310 (table)
5311 Lisp_Object table;
5313 return check_hash_table (table)->count;
5317 DEFUN ("hash-table-rehash-size", Fhash_table_rehash_size,
5318 Shash_table_rehash_size, 1, 1, 0,
5319 doc: /* Return the current rehash size of TABLE. */)
5320 (table)
5321 Lisp_Object table;
5323 return check_hash_table (table)->rehash_size;
5327 DEFUN ("hash-table-rehash-threshold", Fhash_table_rehash_threshold,
5328 Shash_table_rehash_threshold, 1, 1, 0,
5329 doc: /* Return the current rehash threshold of TABLE. */)
5330 (table)
5331 Lisp_Object table;
5333 return check_hash_table (table)->rehash_threshold;
5337 DEFUN ("hash-table-size", Fhash_table_size, Shash_table_size, 1, 1, 0,
5338 doc: /* Return the size of TABLE.
5339 The size can be used as an argument to `make-hash-table' to create
5340 a hash table than can hold as many elements of TABLE holds
5341 without need for resizing. */)
5342 (table)
5343 Lisp_Object table;
5345 struct Lisp_Hash_Table *h = check_hash_table (table);
5346 return make_number (HASH_TABLE_SIZE (h));
5350 DEFUN ("hash-table-test", Fhash_table_test, Shash_table_test, 1, 1, 0,
5351 doc: /* Return the test TABLE uses. */)
5352 (table)
5353 Lisp_Object table;
5355 return check_hash_table (table)->test;
5359 DEFUN ("hash-table-weakness", Fhash_table_weakness, Shash_table_weakness,
5360 1, 1, 0,
5361 doc: /* Return the weakness of TABLE. */)
5362 (table)
5363 Lisp_Object table;
5365 return check_hash_table (table)->weak;
5369 DEFUN ("hash-table-p", Fhash_table_p, Shash_table_p, 1, 1, 0,
5370 doc: /* Return t if OBJ is a Lisp hash table object. */)
5371 (obj)
5372 Lisp_Object obj;
5374 return HASH_TABLE_P (obj) ? Qt : Qnil;
5378 DEFUN ("clrhash", Fclrhash, Sclrhash, 1, 1, 0,
5379 doc: /* Clear hash table TABLE. */)
5380 (table)
5381 Lisp_Object table;
5383 hash_clear (check_hash_table (table));
5384 return Qnil;
5388 DEFUN ("gethash", Fgethash, Sgethash, 2, 3, 0,
5389 doc: /* Look up KEY in TABLE and return its associated value.
5390 If KEY is not found, return DFLT which defaults to nil. */)
5391 (key, table, dflt)
5392 Lisp_Object key, table, dflt;
5394 struct Lisp_Hash_Table *h = check_hash_table (table);
5395 int i = hash_lookup (h, key, NULL);
5396 return i >= 0 ? HASH_VALUE (h, i) : dflt;
5400 DEFUN ("puthash", Fputhash, Sputhash, 3, 3, 0,
5401 doc: /* Associate KEY with VALUE in hash table TABLE.
5402 If KEY is already present in table, replace its current value with
5403 VALUE. */)
5404 (key, value, table)
5405 Lisp_Object key, value, table;
5407 struct Lisp_Hash_Table *h = check_hash_table (table);
5408 int i;
5409 unsigned hash;
5411 i = hash_lookup (h, key, &hash);
5412 if (i >= 0)
5413 HASH_VALUE (h, i) = value;
5414 else
5415 hash_put (h, key, value, hash);
5417 return value;
5421 DEFUN ("remhash", Fremhash, Sremhash, 2, 2, 0,
5422 doc: /* Remove KEY from TABLE. */)
5423 (key, table)
5424 Lisp_Object key, table;
5426 struct Lisp_Hash_Table *h = check_hash_table (table);
5427 hash_remove (h, key);
5428 return Qnil;
5432 DEFUN ("maphash", Fmaphash, Smaphash, 2, 2, 0,
5433 doc: /* Call FUNCTION for all entries in hash table TABLE.
5434 FUNCTION is called with two arguments, KEY and VALUE. */)
5435 (function, table)
5436 Lisp_Object function, table;
5438 struct Lisp_Hash_Table *h = check_hash_table (table);
5439 Lisp_Object args[3];
5440 int i;
5442 for (i = 0; i < HASH_TABLE_SIZE (h); ++i)
5443 if (!NILP (HASH_HASH (h, i)))
5445 args[0] = function;
5446 args[1] = HASH_KEY (h, i);
5447 args[2] = HASH_VALUE (h, i);
5448 Ffuncall (3, args);
5451 return Qnil;
5455 DEFUN ("define-hash-table-test", Fdefine_hash_table_test,
5456 Sdefine_hash_table_test, 3, 3, 0,
5457 doc: /* Define a new hash table test with name NAME, a symbol.
5459 In hash tables created with NAME specified as test, use TEST to
5460 compare keys, and HASH for computing hash codes of keys.
5462 TEST must be a function taking two arguments and returning non-nil if
5463 both arguments are the same. HASH must be a function taking one
5464 argument and return an integer that is the hash code of the argument.
5465 Hash code computation should use the whole value range of integers,
5466 including negative integers. */)
5467 (name, test, hash)
5468 Lisp_Object name, test, hash;
5470 return Fput (name, Qhash_table_test, list2 (test, hash));
5475 /************************************************************************
5477 ************************************************************************/
5479 #include "md5.h"
5480 #include "coding.h"
5482 DEFUN ("md5", Fmd5, Smd5, 1, 5, 0,
5483 doc: /* Return MD5 message digest of OBJECT, a buffer or string.
5485 A message digest is a cryptographic checksum of a document, and the
5486 algorithm to calculate it is defined in RFC 1321.
5488 The two optional arguments START and END are character positions
5489 specifying for which part of OBJECT the message digest should be
5490 computed. If nil or omitted, the digest is computed for the whole
5491 OBJECT.
5493 The MD5 message digest is computed from the result of encoding the
5494 text in a coding system, not directly from the internal Emacs form of
5495 the text. The optional fourth argument CODING-SYSTEM specifies which
5496 coding system to encode the text with. It should be the same coding
5497 system that you used or will use when actually writing the text into a
5498 file.
5500 If CODING-SYSTEM is nil or omitted, the default depends on OBJECT. If
5501 OBJECT is a buffer, the default for CODING-SYSTEM is whatever coding
5502 system would be chosen by default for writing this text into a file.
5504 If OBJECT is a string, the most preferred coding system (see the
5505 command `prefer-coding-system') is used.
5507 If NOERROR is non-nil, silently assume the `raw-text' coding if the
5508 guesswork fails. Normally, an error is signaled in such case. */)
5509 (object, start, end, coding_system, noerror)
5510 Lisp_Object object, start, end, coding_system, noerror;
5512 unsigned char digest[16];
5513 unsigned char value[33];
5514 int i;
5515 int size;
5516 int size_byte = 0;
5517 int start_char = 0, end_char = 0;
5518 int start_byte = 0, end_byte = 0;
5519 register int b, e;
5520 register struct buffer *bp;
5521 int temp;
5523 if (STRINGP (object))
5525 if (NILP (coding_system))
5527 /* Decide the coding-system to encode the data with. */
5529 if (STRING_MULTIBYTE (object))
5530 /* use default, we can't guess correct value */
5531 coding_system = SYMBOL_VALUE (XCAR (Vcoding_category_list));
5532 else
5533 coding_system = Qraw_text;
5536 if (NILP (Fcoding_system_p (coding_system)))
5538 /* Invalid coding system. */
5540 if (!NILP (noerror))
5541 coding_system = Qraw_text;
5542 else
5543 xsignal1 (Qcoding_system_error, coding_system);
5546 if (STRING_MULTIBYTE (object))
5547 object = code_convert_string1 (object, coding_system, Qnil, 1);
5549 size = SCHARS (object);
5550 size_byte = SBYTES (object);
5552 if (!NILP (start))
5554 CHECK_NUMBER (start);
5556 start_char = XINT (start);
5558 if (start_char < 0)
5559 start_char += size;
5561 start_byte = string_char_to_byte (object, start_char);
5564 if (NILP (end))
5566 end_char = size;
5567 end_byte = size_byte;
5569 else
5571 CHECK_NUMBER (end);
5573 end_char = XINT (end);
5575 if (end_char < 0)
5576 end_char += size;
5578 end_byte = string_char_to_byte (object, end_char);
5581 if (!(0 <= start_char && start_char <= end_char && end_char <= size))
5582 args_out_of_range_3 (object, make_number (start_char),
5583 make_number (end_char));
5585 else
5587 struct buffer *prev = current_buffer;
5589 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
5591 CHECK_BUFFER (object);
5593 bp = XBUFFER (object);
5594 if (bp != current_buffer)
5595 set_buffer_internal (bp);
5597 if (NILP (start))
5598 b = BEGV;
5599 else
5601 CHECK_NUMBER_COERCE_MARKER (start);
5602 b = XINT (start);
5605 if (NILP (end))
5606 e = ZV;
5607 else
5609 CHECK_NUMBER_COERCE_MARKER (end);
5610 e = XINT (end);
5613 if (b > e)
5614 temp = b, b = e, e = temp;
5616 if (!(BEGV <= b && e <= ZV))
5617 args_out_of_range (start, end);
5619 if (NILP (coding_system))
5621 /* Decide the coding-system to encode the data with.
5622 See fileio.c:Fwrite-region */
5624 if (!NILP (Vcoding_system_for_write))
5625 coding_system = Vcoding_system_for_write;
5626 else
5628 int force_raw_text = 0;
5630 coding_system = XBUFFER (object)->buffer_file_coding_system;
5631 if (NILP (coding_system)
5632 || NILP (Flocal_variable_p (Qbuffer_file_coding_system, Qnil)))
5634 coding_system = Qnil;
5635 if (NILP (current_buffer->enable_multibyte_characters))
5636 force_raw_text = 1;
5639 if (NILP (coding_system) && !NILP (Fbuffer_file_name(object)))
5641 /* Check file-coding-system-alist. */
5642 Lisp_Object args[4], val;
5644 args[0] = Qwrite_region; args[1] = start; args[2] = end;
5645 args[3] = Fbuffer_file_name(object);
5646 val = Ffind_operation_coding_system (4, args);
5647 if (CONSP (val) && !NILP (XCDR (val)))
5648 coding_system = XCDR (val);
5651 if (NILP (coding_system)
5652 && !NILP (XBUFFER (object)->buffer_file_coding_system))
5654 /* If we still have not decided a coding system, use the
5655 default value of buffer-file-coding-system. */
5656 coding_system = XBUFFER (object)->buffer_file_coding_system;
5659 if (!force_raw_text
5660 && !NILP (Ffboundp (Vselect_safe_coding_system_function)))
5661 /* Confirm that VAL can surely encode the current region. */
5662 coding_system = call4 (Vselect_safe_coding_system_function,
5663 make_number (b), make_number (e),
5664 coding_system, Qnil);
5666 if (force_raw_text)
5667 coding_system = Qraw_text;
5670 if (NILP (Fcoding_system_p (coding_system)))
5672 /* Invalid coding system. */
5674 if (!NILP (noerror))
5675 coding_system = Qraw_text;
5676 else
5677 xsignal1 (Qcoding_system_error, coding_system);
5681 object = make_buffer_string (b, e, 0);
5682 if (prev != current_buffer)
5683 set_buffer_internal (prev);
5684 /* Discard the unwind protect for recovering the current
5685 buffer. */
5686 specpdl_ptr--;
5688 if (STRING_MULTIBYTE (object))
5689 object = code_convert_string1 (object, coding_system, Qnil, 1);
5692 md5_buffer (SDATA (object) + start_byte,
5693 SBYTES (object) - (size_byte - end_byte),
5694 digest);
5696 for (i = 0; i < 16; i++)
5697 sprintf (&value[2 * i], "%02x", digest[i]);
5698 value[32] = '\0';
5700 return make_string (value, 32);
5704 void
5705 syms_of_fns ()
5707 /* Hash table stuff. */
5708 Qhash_table_p = intern ("hash-table-p");
5709 staticpro (&Qhash_table_p);
5710 Qeq = intern ("eq");
5711 staticpro (&Qeq);
5712 Qeql = intern ("eql");
5713 staticpro (&Qeql);
5714 Qequal = intern ("equal");
5715 staticpro (&Qequal);
5716 QCtest = intern (":test");
5717 staticpro (&QCtest);
5718 QCsize = intern (":size");
5719 staticpro (&QCsize);
5720 QCrehash_size = intern (":rehash-size");
5721 staticpro (&QCrehash_size);
5722 QCrehash_threshold = intern (":rehash-threshold");
5723 staticpro (&QCrehash_threshold);
5724 QCweakness = intern (":weakness");
5725 staticpro (&QCweakness);
5726 Qkey = intern ("key");
5727 staticpro (&Qkey);
5728 Qvalue = intern ("value");
5729 staticpro (&Qvalue);
5730 Qhash_table_test = intern ("hash-table-test");
5731 staticpro (&Qhash_table_test);
5732 Qkey_or_value = intern ("key-or-value");
5733 staticpro (&Qkey_or_value);
5734 Qkey_and_value = intern ("key-and-value");
5735 staticpro (&Qkey_and_value);
5737 defsubr (&Ssxhash);
5738 defsubr (&Smake_hash_table);
5739 defsubr (&Scopy_hash_table);
5740 defsubr (&Shash_table_count);
5741 defsubr (&Shash_table_rehash_size);
5742 defsubr (&Shash_table_rehash_threshold);
5743 defsubr (&Shash_table_size);
5744 defsubr (&Shash_table_test);
5745 defsubr (&Shash_table_weakness);
5746 defsubr (&Shash_table_p);
5747 defsubr (&Sclrhash);
5748 defsubr (&Sgethash);
5749 defsubr (&Sputhash);
5750 defsubr (&Sremhash);
5751 defsubr (&Smaphash);
5752 defsubr (&Sdefine_hash_table_test);
5754 Qstring_lessp = intern ("string-lessp");
5755 staticpro (&Qstring_lessp);
5756 Qprovide = intern ("provide");
5757 staticpro (&Qprovide);
5758 Qrequire = intern ("require");
5759 staticpro (&Qrequire);
5760 Qyes_or_no_p_history = intern ("yes-or-no-p-history");
5761 staticpro (&Qyes_or_no_p_history);
5762 Qcursor_in_echo_area = intern ("cursor-in-echo-area");
5763 staticpro (&Qcursor_in_echo_area);
5764 Qwidget_type = intern ("widget-type");
5765 staticpro (&Qwidget_type);
5767 staticpro (&string_char_byte_cache_string);
5768 string_char_byte_cache_string = Qnil;
5770 require_nesting_list = Qnil;
5771 staticpro (&require_nesting_list);
5773 Fset (Qyes_or_no_p_history, Qnil);
5775 DEFVAR_LISP ("features", &Vfeatures,
5776 doc: /* A list of symbols which are the features of the executing emacs.
5777 Used by `featurep' and `require', and altered by `provide'. */);
5778 Vfeatures = Fcons (intern ("emacs"), Qnil);
5779 Qsubfeatures = intern ("subfeatures");
5780 staticpro (&Qsubfeatures);
5782 #ifdef HAVE_LANGINFO_CODESET
5783 Qcodeset = intern ("codeset");
5784 staticpro (&Qcodeset);
5785 Qdays = intern ("days");
5786 staticpro (&Qdays);
5787 Qmonths = intern ("months");
5788 staticpro (&Qmonths);
5789 Qpaper = intern ("paper");
5790 staticpro (&Qpaper);
5791 #endif /* HAVE_LANGINFO_CODESET */
5793 DEFVAR_BOOL ("use-dialog-box", &use_dialog_box,
5794 doc: /* *Non-nil means mouse commands use dialog boxes to ask questions.
5795 This applies to `y-or-n-p' and `yes-or-no-p' questions asked by commands
5796 invoked by mouse clicks and mouse menu items. */);
5797 use_dialog_box = 1;
5799 DEFVAR_BOOL ("use-file-dialog", &use_file_dialog,
5800 doc: /* *Non-nil means mouse commands use a file dialog to ask for files.
5801 This applies to commands from menus and tool bar buttons. The value of
5802 `use-dialog-box' takes precedence over this variable, so a file dialog is only
5803 used if both `use-dialog-box' and this variable are non-nil. */);
5804 use_file_dialog = 1;
5806 defsubr (&Sidentity);
5807 defsubr (&Srandom);
5808 defsubr (&Slength);
5809 defsubr (&Ssafe_length);
5810 defsubr (&Sstring_bytes);
5811 defsubr (&Sstring_equal);
5812 defsubr (&Scompare_strings);
5813 defsubr (&Sstring_lessp);
5814 defsubr (&Sappend);
5815 defsubr (&Sconcat);
5816 defsubr (&Svconcat);
5817 defsubr (&Scopy_sequence);
5818 defsubr (&Sstring_make_multibyte);
5819 defsubr (&Sstring_make_unibyte);
5820 defsubr (&Sstring_as_multibyte);
5821 defsubr (&Sstring_as_unibyte);
5822 defsubr (&Sstring_to_multibyte);
5823 defsubr (&Scopy_alist);
5824 defsubr (&Ssubstring);
5825 defsubr (&Ssubstring_no_properties);
5826 defsubr (&Snthcdr);
5827 defsubr (&Snth);
5828 defsubr (&Selt);
5829 defsubr (&Smember);
5830 defsubr (&Smemq);
5831 defsubr (&Sassq);
5832 defsubr (&Sassoc);
5833 defsubr (&Srassq);
5834 defsubr (&Srassoc);
5835 defsubr (&Sdelq);
5836 defsubr (&Sdelete);
5837 defsubr (&Snreverse);
5838 defsubr (&Sreverse);
5839 defsubr (&Ssort);
5840 defsubr (&Splist_get);
5841 defsubr (&Sget);
5842 defsubr (&Splist_put);
5843 defsubr (&Sput);
5844 defsubr (&Slax_plist_get);
5845 defsubr (&Slax_plist_put);
5846 defsubr (&Seql);
5847 defsubr (&Sequal);
5848 defsubr (&Sequal_including_properties);
5849 defsubr (&Sfillarray);
5850 defsubr (&Sclear_string);
5851 defsubr (&Schar_table_subtype);
5852 defsubr (&Schar_table_parent);
5853 defsubr (&Sset_char_table_parent);
5854 defsubr (&Schar_table_extra_slot);
5855 defsubr (&Sset_char_table_extra_slot);
5856 defsubr (&Schar_table_range);
5857 defsubr (&Sset_char_table_range);
5858 defsubr (&Sset_char_table_default);
5859 defsubr (&Soptimize_char_table);
5860 defsubr (&Smap_char_table);
5861 defsubr (&Snconc);
5862 defsubr (&Smapcar);
5863 defsubr (&Smapc);
5864 defsubr (&Smapconcat);
5865 defsubr (&Sy_or_n_p);
5866 defsubr (&Syes_or_no_p);
5867 defsubr (&Sload_average);
5868 defsubr (&Sfeaturep);
5869 defsubr (&Srequire);
5870 defsubr (&Sprovide);
5871 defsubr (&Splist_member);
5872 defsubr (&Swidget_put);
5873 defsubr (&Swidget_get);
5874 defsubr (&Swidget_apply);
5875 defsubr (&Sbase64_encode_region);
5876 defsubr (&Sbase64_decode_region);
5877 defsubr (&Sbase64_encode_string);
5878 defsubr (&Sbase64_decode_string);
5879 defsubr (&Smd5);
5880 defsubr (&Slocale_info);
5884 void
5885 init_fns ()
5887 Vweak_hash_tables = Qnil;
5890 /* arch-tag: 787f8219-5b74-46bd-8469-7e1cc475fa31
5891 (do not change this comment) */