(Variable Definitions): Replace show-paren-mode example with tooltip-mode.
[emacs.git] / src / fns.c
blobc436649f73ddde3856b16c54c57feedabcaa32b2
1 /* Random utility Lisp functions.
2 Copyright (C) 1985, 86, 87, 93, 94, 95, 97, 98, 99, 2000, 2001, 02, 03, 2004
3 Free Software Foundation, Inc.
5 This file is part of GNU Emacs.
7 GNU Emacs is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs; see the file COPYING. If not, write to
19 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
22 #include <config.h>
24 #ifdef HAVE_UNISTD_H
25 #include <unistd.h>
26 #endif
27 #include <time.h>
29 #ifndef MAC_OSX
30 /* On Mac OS X, defining this conflicts with precompiled headers. */
32 /* Note on some machines this defines `vector' as a typedef,
33 so make sure we don't use that name in this file. */
34 #undef vector
35 #define vector *****
37 #endif /* ! MAC_OSX */
39 #include "lisp.h"
40 #include "commands.h"
41 #include "charset.h"
42 #include "coding.h"
43 #include "buffer.h"
44 #include "keyboard.h"
45 #include "keymap.h"
46 #include "intervals.h"
47 #include "frame.h"
48 #include "window.h"
49 #include "blockinput.h"
50 #if defined (HAVE_MENUS) && defined (HAVE_X_WINDOWS)
51 #include "xterm.h"
52 #endif
54 #ifndef NULL
55 #define NULL ((POINTER_TYPE *)0)
56 #endif
58 /* Nonzero enables use of dialog boxes for questions
59 asked by mouse commands. */
60 int use_dialog_box;
62 /* Nonzero enables use of a file dialog for file name
63 questions asked by mouse commands. */
64 int use_file_dialog;
66 extern int minibuffer_auto_raise;
67 extern Lisp_Object minibuf_window;
68 extern Lisp_Object Vlocale_coding_system;
70 Lisp_Object Qstring_lessp, Qprovide, Qrequire;
71 Lisp_Object Qyes_or_no_p_history;
72 Lisp_Object Qcursor_in_echo_area;
73 Lisp_Object Qwidget_type;
74 Lisp_Object Qcodeset, Qdays, Qmonths, Qpaper;
76 extern Lisp_Object Qinput_method_function;
78 static int internal_equal ();
80 extern long get_random ();
81 extern void seed_random ();
83 #ifndef HAVE_UNISTD_H
84 extern long time ();
85 #endif
87 DEFUN ("identity", Fidentity, Sidentity, 1, 1, 0,
88 doc: /* Return the argument unchanged. */)
89 (arg)
90 Lisp_Object arg;
92 return arg;
95 DEFUN ("random", Frandom, Srandom, 0, 1, 0,
96 doc: /* Return a pseudo-random number.
97 All integers representable in Lisp are equally likely.
98 On most systems, this is 29 bits' worth.
99 With positive integer argument N, return random number in interval [0,N).
100 With argument t, set the random number seed from the current time and pid. */)
102 Lisp_Object n;
104 EMACS_INT val;
105 Lisp_Object lispy_val;
106 unsigned long denominator;
108 if (EQ (n, Qt))
109 seed_random (getpid () + time (NULL));
110 if (NATNUMP (n) && XFASTINT (n) != 0)
112 /* Try to take our random number from the higher bits of VAL,
113 not the lower, since (says Gentzel) the low bits of `random'
114 are less random than the higher ones. We do this by using the
115 quotient rather than the remainder. At the high end of the RNG
116 it's possible to get a quotient larger than n; discarding
117 these values eliminates the bias that would otherwise appear
118 when using a large n. */
119 denominator = ((unsigned long)1 << VALBITS) / XFASTINT (n);
121 val = get_random () / denominator;
122 while (val >= XFASTINT (n));
124 else
125 val = get_random ();
126 XSETINT (lispy_val, val);
127 return lispy_val;
130 /* Random data-structure functions */
132 DEFUN ("length", Flength, Slength, 1, 1, 0,
133 doc: /* Return the length of vector, list or string SEQUENCE.
134 A byte-code function object is also allowed.
135 If the string contains multibyte characters, this is not necessarily
136 the number of bytes in the string; it is the number of characters.
137 To get the number of bytes, use `string-bytes'. */)
138 (sequence)
139 register Lisp_Object sequence;
141 register Lisp_Object val;
142 register int i;
144 retry:
145 if (STRINGP (sequence))
146 XSETFASTINT (val, SCHARS (sequence));
147 else if (VECTORP (sequence))
148 XSETFASTINT (val, XVECTOR (sequence)->size);
149 else if (SUB_CHAR_TABLE_P (sequence))
150 XSETFASTINT (val, SUB_CHAR_TABLE_ORDINARY_SLOTS);
151 else if (CHAR_TABLE_P (sequence))
152 XSETFASTINT (val, MAX_CHAR);
153 else if (BOOL_VECTOR_P (sequence))
154 XSETFASTINT (val, XBOOL_VECTOR (sequence)->size);
155 else if (COMPILEDP (sequence))
156 XSETFASTINT (val, XVECTOR (sequence)->size & PSEUDOVECTOR_SIZE_MASK);
157 else if (CONSP (sequence))
159 i = 0;
160 while (CONSP (sequence))
162 sequence = XCDR (sequence);
163 ++i;
165 if (!CONSP (sequence))
166 break;
168 sequence = XCDR (sequence);
169 ++i;
170 QUIT;
173 if (!NILP (sequence))
174 wrong_type_argument (Qlistp, sequence);
176 val = make_number (i);
178 else if (NILP (sequence))
179 XSETFASTINT (val, 0);
180 else
182 sequence = wrong_type_argument (Qsequencep, sequence);
183 goto retry;
185 return val;
188 /* This does not check for quits. That is safe
189 since it must terminate. */
191 DEFUN ("safe-length", Fsafe_length, Ssafe_length, 1, 1, 0,
192 doc: /* Return the length of a list, but avoid error or infinite loop.
193 This function never gets an error. If LIST is not really a list,
194 it returns 0. If LIST is circular, it returns a finite value
195 which is at least the number of distinct elements. */)
196 (list)
197 Lisp_Object list;
199 Lisp_Object tail, halftail, length;
200 int len = 0;
202 /* halftail is used to detect circular lists. */
203 halftail = list;
204 for (tail = list; CONSP (tail); tail = XCDR (tail))
206 if (EQ (tail, halftail) && len != 0)
207 break;
208 len++;
209 if ((len & 1) == 0)
210 halftail = XCDR (halftail);
213 XSETINT (length, len);
214 return length;
217 DEFUN ("string-bytes", Fstring_bytes, Sstring_bytes, 1, 1, 0,
218 doc: /* Return the number of bytes in STRING.
219 If STRING is a multibyte string, this is greater than the length of STRING. */)
220 (string)
221 Lisp_Object string;
223 CHECK_STRING (string);
224 return make_number (SBYTES (string));
227 DEFUN ("string-equal", Fstring_equal, Sstring_equal, 2, 2, 0,
228 doc: /* Return t if two strings have identical contents.
229 Case is significant, but text properties are ignored.
230 Symbols are also allowed; their print names are used instead. */)
231 (s1, s2)
232 register Lisp_Object s1, s2;
234 if (SYMBOLP (s1))
235 s1 = SYMBOL_NAME (s1);
236 if (SYMBOLP (s2))
237 s2 = SYMBOL_NAME (s2);
238 CHECK_STRING (s1);
239 CHECK_STRING (s2);
241 if (SCHARS (s1) != SCHARS (s2)
242 || SBYTES (s1) != SBYTES (s2)
243 || bcmp (SDATA (s1), SDATA (s2), SBYTES (s1)))
244 return Qnil;
245 return Qt;
248 DEFUN ("compare-strings", Fcompare_strings,
249 Scompare_strings, 6, 7, 0,
250 doc: /* Compare the contents of two strings, converting to multibyte if needed.
251 In string STR1, skip the first START1 characters and stop at END1.
252 In string STR2, skip the first START2 characters and stop at END2.
253 END1 and END2 default to the full lengths of the respective strings.
255 Case is significant in this comparison if IGNORE-CASE is nil.
256 Unibyte strings are converted to multibyte for comparison.
258 The value is t if the strings (or specified portions) match.
259 If string STR1 is less, the value is a negative number N;
260 - 1 - N is the number of characters that match at the beginning.
261 If string STR1 is greater, the value is a positive number N;
262 N - 1 is the number of characters that match at the beginning. */)
263 (str1, start1, end1, str2, start2, end2, ignore_case)
264 Lisp_Object str1, start1, end1, start2, str2, end2, ignore_case;
266 register int end1_char, end2_char;
267 register int i1, i1_byte, i2, i2_byte;
269 CHECK_STRING (str1);
270 CHECK_STRING (str2);
271 if (NILP (start1))
272 start1 = make_number (0);
273 if (NILP (start2))
274 start2 = make_number (0);
275 CHECK_NATNUM (start1);
276 CHECK_NATNUM (start2);
277 if (! NILP (end1))
278 CHECK_NATNUM (end1);
279 if (! NILP (end2))
280 CHECK_NATNUM (end2);
282 i1 = XINT (start1);
283 i2 = XINT (start2);
285 i1_byte = string_char_to_byte (str1, i1);
286 i2_byte = string_char_to_byte (str2, i2);
288 end1_char = SCHARS (str1);
289 if (! NILP (end1) && end1_char > XINT (end1))
290 end1_char = XINT (end1);
292 end2_char = SCHARS (str2);
293 if (! NILP (end2) && end2_char > XINT (end2))
294 end2_char = XINT (end2);
296 while (i1 < end1_char && i2 < end2_char)
298 /* When we find a mismatch, we must compare the
299 characters, not just the bytes. */
300 int c1, c2;
302 if (STRING_MULTIBYTE (str1))
303 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c1, str1, i1, i1_byte);
304 else
306 c1 = SREF (str1, i1++);
307 c1 = unibyte_char_to_multibyte (c1);
310 if (STRING_MULTIBYTE (str2))
311 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c2, str2, i2, i2_byte);
312 else
314 c2 = SREF (str2, i2++);
315 c2 = unibyte_char_to_multibyte (c2);
318 if (c1 == c2)
319 continue;
321 if (! NILP (ignore_case))
323 Lisp_Object tem;
325 tem = Fupcase (make_number (c1));
326 c1 = XINT (tem);
327 tem = Fupcase (make_number (c2));
328 c2 = XINT (tem);
331 if (c1 == c2)
332 continue;
334 /* Note that I1 has already been incremented
335 past the character that we are comparing;
336 hence we don't add or subtract 1 here. */
337 if (c1 < c2)
338 return make_number (- i1 + XINT (start1));
339 else
340 return make_number (i1 - XINT (start1));
343 if (i1 < end1_char)
344 return make_number (i1 - XINT (start1) + 1);
345 if (i2 < end2_char)
346 return make_number (- i1 + XINT (start1) - 1);
348 return Qt;
351 DEFUN ("string-lessp", Fstring_lessp, Sstring_lessp, 2, 2, 0,
352 doc: /* Return t if first arg string is less than second in lexicographic order.
353 Case is significant.
354 Symbols are also allowed; their print names are used instead. */)
355 (s1, s2)
356 register Lisp_Object s1, s2;
358 register int end;
359 register int i1, i1_byte, i2, i2_byte;
361 if (SYMBOLP (s1))
362 s1 = SYMBOL_NAME (s1);
363 if (SYMBOLP (s2))
364 s2 = SYMBOL_NAME (s2);
365 CHECK_STRING (s1);
366 CHECK_STRING (s2);
368 i1 = i1_byte = i2 = i2_byte = 0;
370 end = SCHARS (s1);
371 if (end > SCHARS (s2))
372 end = SCHARS (s2);
374 while (i1 < end)
376 /* When we find a mismatch, we must compare the
377 characters, not just the bytes. */
378 int c1, c2;
380 FETCH_STRING_CHAR_ADVANCE (c1, s1, i1, i1_byte);
381 FETCH_STRING_CHAR_ADVANCE (c2, s2, i2, i2_byte);
383 if (c1 != c2)
384 return c1 < c2 ? Qt : Qnil;
386 return i1 < SCHARS (s2) ? Qt : Qnil;
389 static Lisp_Object concat ();
391 /* ARGSUSED */
392 Lisp_Object
393 concat2 (s1, s2)
394 Lisp_Object s1, s2;
396 #ifdef NO_ARG_ARRAY
397 Lisp_Object args[2];
398 args[0] = s1;
399 args[1] = s2;
400 return concat (2, args, Lisp_String, 0);
401 #else
402 return concat (2, &s1, Lisp_String, 0);
403 #endif /* NO_ARG_ARRAY */
406 /* ARGSUSED */
407 Lisp_Object
408 concat3 (s1, s2, s3)
409 Lisp_Object s1, s2, s3;
411 #ifdef NO_ARG_ARRAY
412 Lisp_Object args[3];
413 args[0] = s1;
414 args[1] = s2;
415 args[2] = s3;
416 return concat (3, args, Lisp_String, 0);
417 #else
418 return concat (3, &s1, Lisp_String, 0);
419 #endif /* NO_ARG_ARRAY */
422 DEFUN ("append", Fappend, Sappend, 0, MANY, 0,
423 doc: /* Concatenate all the arguments and make the result a list.
424 The result is a list whose elements are the elements of all the arguments.
425 Each argument may be a list, vector or string.
426 The last argument is not copied, just used as the tail of the new list.
427 usage: (append &rest SEQUENCES) */)
428 (nargs, args)
429 int nargs;
430 Lisp_Object *args;
432 return concat (nargs, args, Lisp_Cons, 1);
435 DEFUN ("concat", Fconcat, Sconcat, 0, MANY, 0,
436 doc: /* Concatenate all the arguments and make the result a string.
437 The result is a string whose elements are the elements of all the arguments.
438 Each argument may be a string or a list or vector of characters (integers).
439 usage: (concat &rest SEQUENCES) */)
440 (nargs, args)
441 int nargs;
442 Lisp_Object *args;
444 return concat (nargs, args, Lisp_String, 0);
447 DEFUN ("vconcat", Fvconcat, Svconcat, 0, MANY, 0,
448 doc: /* Concatenate all the arguments and make the result a vector.
449 The result is a vector whose elements are the elements of all the arguments.
450 Each argument may be a list, vector or string.
451 usage: (vconcat &rest SEQUENCES) */)
452 (nargs, args)
453 int nargs;
454 Lisp_Object *args;
456 return concat (nargs, args, Lisp_Vectorlike, 0);
459 /* Return a copy of a sub char table ARG. The elements except for a
460 nested sub char table are not copied. */
461 static Lisp_Object
462 copy_sub_char_table (arg)
463 Lisp_Object arg;
465 Lisp_Object copy = make_sub_char_table (XCHAR_TABLE (arg)->defalt);
466 int i;
468 /* Copy all the contents. */
469 bcopy (XCHAR_TABLE (arg)->contents, XCHAR_TABLE (copy)->contents,
470 SUB_CHAR_TABLE_ORDINARY_SLOTS * sizeof (Lisp_Object));
471 /* Recursively copy any sub char-tables in the ordinary slots. */
472 for (i = 32; i < SUB_CHAR_TABLE_ORDINARY_SLOTS; i++)
473 if (SUB_CHAR_TABLE_P (XCHAR_TABLE (arg)->contents[i]))
474 XCHAR_TABLE (copy)->contents[i]
475 = copy_sub_char_table (XCHAR_TABLE (copy)->contents[i]);
477 return copy;
481 DEFUN ("copy-sequence", Fcopy_sequence, Scopy_sequence, 1, 1, 0,
482 doc: /* Return a copy of a list, vector, string or char-table.
483 The elements of a list or vector are not copied; they are shared
484 with the original. */)
485 (arg)
486 Lisp_Object arg;
488 if (NILP (arg)) return arg;
490 if (CHAR_TABLE_P (arg))
492 int i;
493 Lisp_Object copy;
495 copy = Fmake_char_table (XCHAR_TABLE (arg)->purpose, Qnil);
496 /* Copy all the slots, including the extra ones. */
497 bcopy (XVECTOR (arg)->contents, XVECTOR (copy)->contents,
498 ((XCHAR_TABLE (arg)->size & PSEUDOVECTOR_SIZE_MASK)
499 * sizeof (Lisp_Object)));
501 /* Recursively copy any sub char tables in the ordinary slots
502 for multibyte characters. */
503 for (i = CHAR_TABLE_SINGLE_BYTE_SLOTS;
504 i < CHAR_TABLE_ORDINARY_SLOTS; i++)
505 if (SUB_CHAR_TABLE_P (XCHAR_TABLE (arg)->contents[i]))
506 XCHAR_TABLE (copy)->contents[i]
507 = copy_sub_char_table (XCHAR_TABLE (copy)->contents[i]);
509 return copy;
512 if (BOOL_VECTOR_P (arg))
514 Lisp_Object val;
515 int size_in_chars
516 = ((XBOOL_VECTOR (arg)->size + BOOL_VECTOR_BITS_PER_CHAR - 1)
517 / BOOL_VECTOR_BITS_PER_CHAR);
519 val = Fmake_bool_vector (Flength (arg), Qnil);
520 bcopy (XBOOL_VECTOR (arg)->data, XBOOL_VECTOR (val)->data,
521 size_in_chars);
522 return val;
525 if (!CONSP (arg) && !VECTORP (arg) && !STRINGP (arg))
526 arg = wrong_type_argument (Qsequencep, arg);
527 return concat (1, &arg, CONSP (arg) ? Lisp_Cons : XTYPE (arg), 0);
530 /* This structure holds information of an argument of `concat' that is
531 a string and has text properties to be copied. */
532 struct textprop_rec
534 int argnum; /* refer to ARGS (arguments of `concat') */
535 int from; /* refer to ARGS[argnum] (argument string) */
536 int to; /* refer to VAL (the target string) */
539 static Lisp_Object
540 concat (nargs, args, target_type, last_special)
541 int nargs;
542 Lisp_Object *args;
543 enum Lisp_Type target_type;
544 int last_special;
546 Lisp_Object val;
547 register Lisp_Object tail;
548 register Lisp_Object this;
549 int toindex;
550 int toindex_byte = 0;
551 register int result_len;
552 register int result_len_byte;
553 register int argnum;
554 Lisp_Object last_tail;
555 Lisp_Object prev;
556 int some_multibyte;
557 /* When we make a multibyte string, we can't copy text properties
558 while concatinating each string because the length of resulting
559 string can't be decided until we finish the whole concatination.
560 So, we record strings that have text properties to be copied
561 here, and copy the text properties after the concatination. */
562 struct textprop_rec *textprops = NULL;
563 /* Number of elments in textprops. */
564 int num_textprops = 0;
566 tail = Qnil;
568 /* In append, the last arg isn't treated like the others */
569 if (last_special && nargs > 0)
571 nargs--;
572 last_tail = args[nargs];
574 else
575 last_tail = Qnil;
577 /* Canonicalize each argument. */
578 for (argnum = 0; argnum < nargs; argnum++)
580 this = args[argnum];
581 if (!(CONSP (this) || NILP (this) || VECTORP (this) || STRINGP (this)
582 || COMPILEDP (this) || BOOL_VECTOR_P (this)))
584 args[argnum] = wrong_type_argument (Qsequencep, this);
588 /* Compute total length in chars of arguments in RESULT_LEN.
589 If desired output is a string, also compute length in bytes
590 in RESULT_LEN_BYTE, and determine in SOME_MULTIBYTE
591 whether the result should be a multibyte string. */
592 result_len_byte = 0;
593 result_len = 0;
594 some_multibyte = 0;
595 for (argnum = 0; argnum < nargs; argnum++)
597 int len;
598 this = args[argnum];
599 len = XFASTINT (Flength (this));
600 if (target_type == Lisp_String)
602 /* We must count the number of bytes needed in the string
603 as well as the number of characters. */
604 int i;
605 Lisp_Object ch;
606 int this_len_byte;
608 if (VECTORP (this))
609 for (i = 0; i < len; i++)
611 ch = XVECTOR (this)->contents[i];
612 if (! INTEGERP (ch))
613 wrong_type_argument (Qintegerp, ch);
614 this_len_byte = CHAR_BYTES (XINT (ch));
615 result_len_byte += this_len_byte;
616 if (!SINGLE_BYTE_CHAR_P (XINT (ch)))
617 some_multibyte = 1;
619 else if (BOOL_VECTOR_P (this) && XBOOL_VECTOR (this)->size > 0)
620 wrong_type_argument (Qintegerp, Faref (this, make_number (0)));
621 else if (CONSP (this))
622 for (; CONSP (this); this = XCDR (this))
624 ch = XCAR (this);
625 if (! INTEGERP (ch))
626 wrong_type_argument (Qintegerp, 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 textprops
674 = (struct textprop_rec *) alloca (sizeof (struct textprop_rec) * nargs);
676 for (argnum = 0; argnum < nargs; argnum++)
678 Lisp_Object thislen;
679 int thisleni = 0;
680 register unsigned int thisindex = 0;
681 register unsigned int thisindex_byte = 0;
683 this = args[argnum];
684 if (!CONSP (this))
685 thislen = Flength (this), thisleni = XINT (thislen);
687 /* Between strings of the same kind, copy fast. */
688 if (STRINGP (this) && STRINGP (val)
689 && STRING_MULTIBYTE (this) == some_multibyte)
691 int thislen_byte = SBYTES (this);
693 bcopy (SDATA (this), SDATA (val) + toindex_byte,
694 SBYTES (this));
695 if (! NULL_INTERVAL_P (STRING_INTERVALS (this)))
697 textprops[num_textprops].argnum = argnum;
698 textprops[num_textprops].from = 0;
699 textprops[num_textprops++].to = toindex;
701 toindex_byte += thislen_byte;
702 toindex += thisleni;
703 STRING_SET_CHARS (val, SCHARS (val));
705 /* Copy a single-byte string to a multibyte string. */
706 else if (STRINGP (this) && STRINGP (val))
708 if (! NULL_INTERVAL_P (STRING_INTERVALS (this)))
710 textprops[num_textprops].argnum = argnum;
711 textprops[num_textprops].from = 0;
712 textprops[num_textprops++].to = toindex;
714 toindex_byte += copy_text (SDATA (this),
715 SDATA (val) + toindex_byte,
716 SCHARS (this), 0, 1);
717 toindex += thisleni;
719 else
720 /* Copy element by element. */
721 while (1)
723 register Lisp_Object elt;
725 /* Fetch next element of `this' arg into `elt', or break if
726 `this' is exhausted. */
727 if (NILP (this)) break;
728 if (CONSP (this))
729 elt = XCAR (this), this = XCDR (this);
730 else if (thisindex >= thisleni)
731 break;
732 else if (STRINGP (this))
734 int c;
735 if (STRING_MULTIBYTE (this))
737 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, this,
738 thisindex,
739 thisindex_byte);
740 XSETFASTINT (elt, c);
742 else
744 XSETFASTINT (elt, SREF (this, thisindex)); thisindex++;
745 if (some_multibyte
746 && (XINT (elt) >= 0240
747 || (XINT (elt) >= 0200
748 && ! NILP (Vnonascii_translation_table)))
749 && XINT (elt) < 0400)
751 c = unibyte_char_to_multibyte (XINT (elt));
752 XSETINT (elt, c);
756 else if (BOOL_VECTOR_P (this))
758 int byte;
759 byte = XBOOL_VECTOR (this)->data[thisindex / BOOL_VECTOR_BITS_PER_CHAR];
760 if (byte & (1 << (thisindex % BOOL_VECTOR_BITS_PER_CHAR)))
761 elt = Qt;
762 else
763 elt = Qnil;
764 thisindex++;
766 else
767 elt = XVECTOR (this)->contents[thisindex++];
769 /* Store this element into the result. */
770 if (toindex < 0)
772 XSETCAR (tail, elt);
773 prev = tail;
774 tail = XCDR (tail);
776 else if (VECTORP (val))
777 XVECTOR (val)->contents[toindex++] = elt;
778 else
780 CHECK_NUMBER (elt);
781 if (SINGLE_BYTE_CHAR_P (XINT (elt)))
783 if (some_multibyte)
784 toindex_byte
785 += CHAR_STRING (XINT (elt),
786 SDATA (val) + toindex_byte);
787 else
788 SSET (val, toindex_byte++, XINT (elt));
789 toindex++;
791 else
792 /* If we have any multibyte characters,
793 we already decided to make a multibyte string. */
795 int c = XINT (elt);
796 /* P exists as a variable
797 to avoid a bug on the Masscomp C compiler. */
798 unsigned char *p = SDATA (val) + toindex_byte;
800 toindex_byte += CHAR_STRING (c, p);
801 toindex++;
806 if (!NILP (prev))
807 XSETCDR (prev, last_tail);
809 if (num_textprops > 0)
811 Lisp_Object props;
812 int last_to_end = -1;
814 for (argnum = 0; argnum < num_textprops; argnum++)
816 this = args[textprops[argnum].argnum];
817 props = text_property_list (this,
818 make_number (0),
819 make_number (SCHARS (this)),
820 Qnil);
821 /* If successive arguments have properites, be sure that the
822 value of `composition' property be the copy. */
823 if (last_to_end == textprops[argnum].to)
824 make_composition_value_copy (props);
825 add_text_properties_from_list (val, props,
826 make_number (textprops[argnum].to));
827 last_to_end = textprops[argnum].to + SCHARS (this);
830 return val;
833 static Lisp_Object string_char_byte_cache_string;
834 static int string_char_byte_cache_charpos;
835 static int string_char_byte_cache_bytepos;
837 void
838 clear_string_char_byte_cache ()
840 string_char_byte_cache_string = Qnil;
843 /* Return the character index corresponding to CHAR_INDEX in STRING. */
846 string_char_to_byte (string, char_index)
847 Lisp_Object string;
848 int char_index;
850 int i, i_byte;
851 int best_below, best_below_byte;
852 int best_above, best_above_byte;
854 best_below = best_below_byte = 0;
855 best_above = SCHARS (string);
856 best_above_byte = SBYTES (string);
857 if (best_above == best_above_byte)
858 return char_index;
860 if (EQ (string, string_char_byte_cache_string))
862 if (string_char_byte_cache_charpos < char_index)
864 best_below = string_char_byte_cache_charpos;
865 best_below_byte = string_char_byte_cache_bytepos;
867 else
869 best_above = string_char_byte_cache_charpos;
870 best_above_byte = string_char_byte_cache_bytepos;
874 if (char_index - best_below < best_above - char_index)
876 while (best_below < char_index)
878 int c;
879 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, string,
880 best_below, best_below_byte);
882 i = best_below;
883 i_byte = best_below_byte;
885 else
887 while (best_above > char_index)
889 unsigned char *pend = SDATA (string) + best_above_byte;
890 unsigned char *pbeg = pend - best_above_byte;
891 unsigned char *p = pend - 1;
892 int bytes;
894 while (p > pbeg && !CHAR_HEAD_P (*p)) p--;
895 PARSE_MULTIBYTE_SEQ (p, pend - p, bytes);
896 if (bytes == pend - p)
897 best_above_byte -= bytes;
898 else if (bytes > pend - p)
899 best_above_byte -= (pend - p);
900 else
901 best_above_byte--;
902 best_above--;
904 i = best_above;
905 i_byte = best_above_byte;
908 string_char_byte_cache_bytepos = i_byte;
909 string_char_byte_cache_charpos = i;
910 string_char_byte_cache_string = string;
912 return i_byte;
915 /* Return the character index corresponding to BYTE_INDEX in STRING. */
918 string_byte_to_char (string, byte_index)
919 Lisp_Object string;
920 int byte_index;
922 int i, i_byte;
923 int best_below, best_below_byte;
924 int best_above, best_above_byte;
926 best_below = best_below_byte = 0;
927 best_above = SCHARS (string);
928 best_above_byte = SBYTES (string);
929 if (best_above == best_above_byte)
930 return byte_index;
932 if (EQ (string, string_char_byte_cache_string))
934 if (string_char_byte_cache_bytepos < byte_index)
936 best_below = string_char_byte_cache_charpos;
937 best_below_byte = string_char_byte_cache_bytepos;
939 else
941 best_above = string_char_byte_cache_charpos;
942 best_above_byte = string_char_byte_cache_bytepos;
946 if (byte_index - best_below_byte < best_above_byte - byte_index)
948 while (best_below_byte < byte_index)
950 int c;
951 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, string,
952 best_below, best_below_byte);
954 i = best_below;
955 i_byte = best_below_byte;
957 else
959 while (best_above_byte > byte_index)
961 unsigned char *pend = SDATA (string) + best_above_byte;
962 unsigned char *pbeg = pend - best_above_byte;
963 unsigned char *p = pend - 1;
964 int bytes;
966 while (p > pbeg && !CHAR_HEAD_P (*p)) p--;
967 PARSE_MULTIBYTE_SEQ (p, pend - p, bytes);
968 if (bytes == pend - p)
969 best_above_byte -= bytes;
970 else if (bytes > pend - p)
971 best_above_byte -= (pend - p);
972 else
973 best_above_byte--;
974 best_above--;
976 i = best_above;
977 i_byte = best_above_byte;
980 string_char_byte_cache_bytepos = i_byte;
981 string_char_byte_cache_charpos = i;
982 string_char_byte_cache_string = string;
984 return i;
987 /* Convert STRING to a multibyte string.
988 Single-byte characters 0240 through 0377 are converted
989 by adding nonascii_insert_offset to each. */
991 Lisp_Object
992 string_make_multibyte (string)
993 Lisp_Object string;
995 unsigned char *buf;
996 int nbytes;
997 Lisp_Object ret;
998 USE_SAFE_ALLOCA;
1000 if (STRING_MULTIBYTE (string))
1001 return string;
1003 nbytes = count_size_as_multibyte (SDATA (string),
1004 SCHARS (string));
1005 /* If all the chars are ASCII, they won't need any more bytes
1006 once converted. In that case, we can return STRING itself. */
1007 if (nbytes == SBYTES (string))
1008 return string;
1010 SAFE_ALLOCA (buf, unsigned char *, nbytes);
1011 copy_text (SDATA (string), buf, SBYTES (string),
1012 0, 1);
1014 ret = make_multibyte_string (buf, SCHARS (string), nbytes);
1015 SAFE_FREE ();
1017 return ret;
1021 /* Convert STRING to a multibyte string without changing each
1022 character codes. Thus, characters 0200 trough 0237 are converted
1023 to eight-bit-control characters, and characters 0240 through 0377
1024 are converted eight-bit-graphic characters. */
1026 Lisp_Object
1027 string_to_multibyte (string)
1028 Lisp_Object string;
1030 unsigned char *buf;
1031 int nbytes;
1032 Lisp_Object ret;
1033 USE_SAFE_ALLOCA;
1035 if (STRING_MULTIBYTE (string))
1036 return string;
1038 nbytes = parse_str_to_multibyte (SDATA (string), SBYTES (string));
1039 /* If all the chars are ASCII or eight-bit-graphic, they won't need
1040 any more bytes once converted. */
1041 if (nbytes == SBYTES (string))
1042 return make_multibyte_string (SDATA (string), nbytes, nbytes);
1044 SAFE_ALLOCA (buf, unsigned char *, nbytes);
1045 bcopy (SDATA (string), buf, SBYTES (string));
1046 str_to_multibyte (buf, nbytes, SBYTES (string));
1048 ret = make_multibyte_string (buf, SCHARS (string), nbytes);
1049 SAFE_FREE ();
1051 return ret;
1055 /* Convert STRING to a single-byte string. */
1057 Lisp_Object
1058 string_make_unibyte (string)
1059 Lisp_Object string;
1061 int nchars;
1062 unsigned char *buf;
1063 Lisp_Object ret;
1064 USE_SAFE_ALLOCA;
1066 if (! STRING_MULTIBYTE (string))
1067 return string;
1069 nchars = SCHARS (string);
1071 SAFE_ALLOCA (buf, unsigned char *, nchars);
1072 copy_text (SDATA (string), buf, SBYTES (string),
1073 1, 0);
1075 ret = make_unibyte_string (buf, nchars);
1076 SAFE_FREE ();
1078 return ret;
1081 DEFUN ("string-make-multibyte", Fstring_make_multibyte, Sstring_make_multibyte,
1082 1, 1, 0,
1083 doc: /* Return the multibyte equivalent of STRING.
1084 If STRING is unibyte and contains non-ASCII characters, the function
1085 `unibyte-char-to-multibyte' is used to convert each unibyte character
1086 to a multibyte character. In this case, the returned string is a
1087 newly created string with no text properties. If STRING is multibyte
1088 or entirely ASCII, it is returned unchanged. In particular, when
1089 STRING is unibyte and entirely ASCII, the returned string is unibyte.
1090 \(When the characters are all ASCII, Emacs primitives will treat the
1091 string the same way whether it is unibyte or multibyte.) */)
1092 (string)
1093 Lisp_Object string;
1095 CHECK_STRING (string);
1097 return string_make_multibyte (string);
1100 DEFUN ("string-make-unibyte", Fstring_make_unibyte, Sstring_make_unibyte,
1101 1, 1, 0,
1102 doc: /* Return the unibyte equivalent of STRING.
1103 Multibyte character codes are converted to unibyte according to
1104 `nonascii-translation-table' or, if that is nil, `nonascii-insert-offset'.
1105 If the lookup in the translation table fails, this function takes just
1106 the low 8 bits of each character. */)
1107 (string)
1108 Lisp_Object string;
1110 CHECK_STRING (string);
1112 return string_make_unibyte (string);
1115 DEFUN ("string-as-unibyte", Fstring_as_unibyte, Sstring_as_unibyte,
1116 1, 1, 0,
1117 doc: /* Return a unibyte string with the same individual bytes as STRING.
1118 If STRING is unibyte, the result is STRING itself.
1119 Otherwise it is a newly created string, with no text properties.
1120 If STRING is multibyte and contains a character of charset
1121 `eight-bit-control' or `eight-bit-graphic', it is converted to the
1122 corresponding single byte. */)
1123 (string)
1124 Lisp_Object string;
1126 CHECK_STRING (string);
1128 if (STRING_MULTIBYTE (string))
1130 int bytes = SBYTES (string);
1131 unsigned char *str = (unsigned char *) xmalloc (bytes);
1133 bcopy (SDATA (string), str, bytes);
1134 bytes = str_as_unibyte (str, bytes);
1135 string = make_unibyte_string (str, bytes);
1136 xfree (str);
1138 return string;
1141 DEFUN ("string-as-multibyte", Fstring_as_multibyte, Sstring_as_multibyte,
1142 1, 1, 0,
1143 doc: /* Return a multibyte string with the same individual bytes as STRING.
1144 If STRING is multibyte, the result is STRING itself.
1145 Otherwise it is a newly created string, with no text properties.
1146 If STRING is unibyte and contains an individual 8-bit byte (i.e. not
1147 part of a multibyte form), it is converted to the corresponding
1148 multibyte character of charset `eight-bit-control' or `eight-bit-graphic'. */)
1149 (string)
1150 Lisp_Object string;
1152 CHECK_STRING (string);
1154 if (! STRING_MULTIBYTE (string))
1156 Lisp_Object new_string;
1157 int nchars, nbytes;
1159 parse_str_as_multibyte (SDATA (string),
1160 SBYTES (string),
1161 &nchars, &nbytes);
1162 new_string = make_uninit_multibyte_string (nchars, nbytes);
1163 bcopy (SDATA (string), SDATA (new_string),
1164 SBYTES (string));
1165 if (nbytes != SBYTES (string))
1166 str_as_multibyte (SDATA (new_string), nbytes,
1167 SBYTES (string), NULL);
1168 string = new_string;
1169 STRING_SET_INTERVALS (string, NULL_INTERVAL);
1171 return string;
1174 DEFUN ("string-to-multibyte", Fstring_to_multibyte, Sstring_to_multibyte,
1175 1, 1, 0,
1176 doc: /* Return a multibyte string with the same individual chars as STRING.
1177 If STRING is multibyte, the result is STRING itself.
1178 Otherwise it is a newly created string, with no text properties.
1179 Characters 0200 through 0237 are converted to eight-bit-control
1180 characters of the same character code. Characters 0240 through 0377
1181 are converted to eight-bit-graphic characters of the same character
1182 codes. */)
1183 (string)
1184 Lisp_Object string;
1186 CHECK_STRING (string);
1188 return string_to_multibyte (string);
1192 DEFUN ("copy-alist", Fcopy_alist, Scopy_alist, 1, 1, 0,
1193 doc: /* Return a copy of ALIST.
1194 This is an alist which represents the same mapping from objects to objects,
1195 but does not share the alist structure with ALIST.
1196 The objects mapped (cars and cdrs of elements of the alist)
1197 are shared, however.
1198 Elements of ALIST that are not conses are also shared. */)
1199 (alist)
1200 Lisp_Object alist;
1202 register Lisp_Object tem;
1204 CHECK_LIST (alist);
1205 if (NILP (alist))
1206 return alist;
1207 alist = concat (1, &alist, Lisp_Cons, 0);
1208 for (tem = alist; CONSP (tem); tem = XCDR (tem))
1210 register Lisp_Object car;
1211 car = XCAR (tem);
1213 if (CONSP (car))
1214 XSETCAR (tem, Fcons (XCAR (car), XCDR (car)));
1216 return alist;
1219 DEFUN ("substring", Fsubstring, Ssubstring, 2, 3, 0,
1220 doc: /* Return a substring of STRING, starting at index FROM and ending before TO.
1221 TO may be nil or omitted; then the substring runs to the end of STRING.
1222 FROM and TO start at 0. If either is negative, it counts from the end.
1224 This function allows vectors as well as strings. */)
1225 (string, from, to)
1226 Lisp_Object string;
1227 register Lisp_Object from, to;
1229 Lisp_Object res;
1230 int size;
1231 int size_byte = 0;
1232 int from_char, to_char;
1233 int from_byte = 0, to_byte = 0;
1235 if (! (STRINGP (string) || VECTORP (string)))
1236 wrong_type_argument (Qarrayp, string);
1238 CHECK_NUMBER (from);
1240 if (STRINGP (string))
1242 size = SCHARS (string);
1243 size_byte = SBYTES (string);
1245 else
1246 size = XVECTOR (string)->size;
1248 if (NILP (to))
1250 to_char = size;
1251 to_byte = size_byte;
1253 else
1255 CHECK_NUMBER (to);
1257 to_char = XINT (to);
1258 if (to_char < 0)
1259 to_char += size;
1261 if (STRINGP (string))
1262 to_byte = string_char_to_byte (string, to_char);
1265 from_char = XINT (from);
1266 if (from_char < 0)
1267 from_char += size;
1268 if (STRINGP (string))
1269 from_byte = string_char_to_byte (string, from_char);
1271 if (!(0 <= from_char && from_char <= to_char && to_char <= size))
1272 args_out_of_range_3 (string, make_number (from_char),
1273 make_number (to_char));
1275 if (STRINGP (string))
1277 res = make_specified_string (SDATA (string) + from_byte,
1278 to_char - from_char, to_byte - from_byte,
1279 STRING_MULTIBYTE (string));
1280 copy_text_properties (make_number (from_char), make_number (to_char),
1281 string, make_number (0), res, Qnil);
1283 else
1284 res = Fvector (to_char - from_char,
1285 XVECTOR (string)->contents + from_char);
1287 return res;
1291 DEFUN ("substring-no-properties", Fsubstring_no_properties, Ssubstring_no_properties, 1, 3, 0,
1292 doc: /* Return a substring of STRING, without text properties.
1293 It starts at index FROM and ending before TO.
1294 TO may be nil or omitted; then the substring runs to the end of STRING.
1295 If FROM is nil or omitted, the substring starts at the beginning of STRING.
1296 If FROM or TO is negative, it counts from the end.
1298 With one argument, just copy STRING without its properties. */)
1299 (string, from, to)
1300 Lisp_Object string;
1301 register Lisp_Object from, to;
1303 int size, size_byte;
1304 int from_char, to_char;
1305 int from_byte, to_byte;
1307 CHECK_STRING (string);
1309 size = SCHARS (string);
1310 size_byte = SBYTES (string);
1312 if (NILP (from))
1313 from_char = from_byte = 0;
1314 else
1316 CHECK_NUMBER (from);
1317 from_char = XINT (from);
1318 if (from_char < 0)
1319 from_char += size;
1321 from_byte = string_char_to_byte (string, from_char);
1324 if (NILP (to))
1326 to_char = size;
1327 to_byte = size_byte;
1329 else
1331 CHECK_NUMBER (to);
1333 to_char = XINT (to);
1334 if (to_char < 0)
1335 to_char += size;
1337 to_byte = string_char_to_byte (string, to_char);
1340 if (!(0 <= from_char && from_char <= to_char && to_char <= size))
1341 args_out_of_range_3 (string, make_number (from_char),
1342 make_number (to_char));
1344 return make_specified_string (SDATA (string) + from_byte,
1345 to_char - from_char, to_byte - from_byte,
1346 STRING_MULTIBYTE (string));
1349 /* Extract a substring of STRING, giving start and end positions
1350 both in characters and in bytes. */
1352 Lisp_Object
1353 substring_both (string, from, from_byte, to, to_byte)
1354 Lisp_Object string;
1355 int from, from_byte, to, to_byte;
1357 Lisp_Object res;
1358 int size;
1359 int size_byte;
1361 if (! (STRINGP (string) || VECTORP (string)))
1362 wrong_type_argument (Qarrayp, string);
1364 if (STRINGP (string))
1366 size = SCHARS (string);
1367 size_byte = SBYTES (string);
1369 else
1370 size = XVECTOR (string)->size;
1372 if (!(0 <= from && from <= to && to <= size))
1373 args_out_of_range_3 (string, make_number (from), make_number (to));
1375 if (STRINGP (string))
1377 res = make_specified_string (SDATA (string) + from_byte,
1378 to - from, to_byte - from_byte,
1379 STRING_MULTIBYTE (string));
1380 copy_text_properties (make_number (from), make_number (to),
1381 string, make_number (0), res, Qnil);
1383 else
1384 res = Fvector (to - from,
1385 XVECTOR (string)->contents + from);
1387 return res;
1390 DEFUN ("nthcdr", Fnthcdr, Snthcdr, 2, 2, 0,
1391 doc: /* Take cdr N times on LIST, returns the result. */)
1392 (n, list)
1393 Lisp_Object n;
1394 register Lisp_Object list;
1396 register int i, num;
1397 CHECK_NUMBER (n);
1398 num = XINT (n);
1399 for (i = 0; i < num && !NILP (list); i++)
1401 QUIT;
1402 if (! CONSP (list))
1403 wrong_type_argument (Qlistp, list);
1404 list = XCDR (list);
1406 return list;
1409 DEFUN ("nth", Fnth, Snth, 2, 2, 0,
1410 doc: /* Return the Nth element of LIST.
1411 N counts from zero. If LIST is not that long, nil is returned. */)
1412 (n, list)
1413 Lisp_Object n, list;
1415 return Fcar (Fnthcdr (n, list));
1418 DEFUN ("elt", Felt, Selt, 2, 2, 0,
1419 doc: /* Return element of SEQUENCE at index N. */)
1420 (sequence, n)
1421 register Lisp_Object sequence, n;
1423 CHECK_NUMBER (n);
1424 while (1)
1426 if (CONSP (sequence) || NILP (sequence))
1427 return Fcar (Fnthcdr (n, sequence));
1428 else if (STRINGP (sequence) || VECTORP (sequence)
1429 || BOOL_VECTOR_P (sequence) || CHAR_TABLE_P (sequence))
1430 return Faref (sequence, n);
1431 else
1432 sequence = wrong_type_argument (Qsequencep, sequence);
1436 DEFUN ("member", Fmember, Smember, 2, 2, 0,
1437 doc: /* Return non-nil if ELT is an element of LIST. Comparison done with `equal'.
1438 The value is actually the tail of LIST whose car is ELT. */)
1439 (elt, list)
1440 register Lisp_Object elt;
1441 Lisp_Object list;
1443 register Lisp_Object tail;
1444 for (tail = list; !NILP (tail); tail = XCDR (tail))
1446 register Lisp_Object tem;
1447 if (! CONSP (tail))
1448 wrong_type_argument (Qlistp, list);
1449 tem = XCAR (tail);
1450 if (! NILP (Fequal (elt, tem)))
1451 return tail;
1452 QUIT;
1454 return Qnil;
1457 DEFUN ("memq", Fmemq, Smemq, 2, 2, 0,
1458 doc: /* Return non-nil if ELT is an element of LIST.
1459 Comparison done with EQ. The value is actually the tail of LIST
1460 whose car is ELT. */)
1461 (elt, list)
1462 Lisp_Object elt, list;
1464 while (1)
1466 if (!CONSP (list) || EQ (XCAR (list), elt))
1467 break;
1469 list = XCDR (list);
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 QUIT;
1481 if (!CONSP (list) && !NILP (list))
1482 list = wrong_type_argument (Qlistp, list);
1484 return list;
1487 DEFUN ("assq", Fassq, Sassq, 2, 2, 0,
1488 doc: /* Return non-nil if KEY is `eq' to the car of an element of LIST.
1489 The value is actually the first element of LIST whose car is KEY.
1490 Elements of LIST that are not conses are ignored. */)
1491 (key, list)
1492 Lisp_Object key, list;
1494 Lisp_Object result;
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 if (CONSP (list))
1520 result = XCAR (list);
1521 else if (NILP (list))
1522 result = Qnil;
1523 else
1524 result = wrong_type_argument (Qlistp, list);
1526 return result;
1529 /* Like Fassq but never report an error and do not allow quits.
1530 Use only on lists known never to be circular. */
1532 Lisp_Object
1533 assq_no_quit (key, list)
1534 Lisp_Object key, list;
1536 while (CONSP (list)
1537 && (!CONSP (XCAR (list))
1538 || !EQ (XCAR (XCAR (list)), key)))
1539 list = XCDR (list);
1541 return CONSP (list) ? XCAR (list) : Qnil;
1544 DEFUN ("assoc", Fassoc, Sassoc, 2, 2, 0,
1545 doc: /* Return non-nil if KEY is `equal' to the car of an element of LIST.
1546 The value is actually the first element of LIST whose car equals KEY. */)
1547 (key, list)
1548 Lisp_Object key, list;
1550 Lisp_Object result, car;
1552 while (1)
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 if (!CONSP (list)
1569 || (CONSP (XCAR (list))
1570 && (car = XCAR (XCAR (list)),
1571 EQ (car, key) || !NILP (Fequal (car, key)))))
1572 break;
1574 list = XCDR (list);
1575 QUIT;
1578 if (CONSP (list))
1579 result = XCAR (list);
1580 else if (NILP (list))
1581 result = Qnil;
1582 else
1583 result = wrong_type_argument (Qlistp, list);
1585 return result;
1588 DEFUN ("rassq", Frassq, Srassq, 2, 2, 0,
1589 doc: /* Return non-nil if KEY is `eq' to the cdr of an element of LIST.
1590 The value is actually the first element of LIST whose cdr is KEY. */)
1591 (key, list)
1592 register Lisp_Object key;
1593 Lisp_Object list;
1595 Lisp_Object result;
1597 while (1)
1599 if (!CONSP (list)
1600 || (CONSP (XCAR (list))
1601 && EQ (XCDR (XCAR (list)), key)))
1602 break;
1604 list = XCDR (list);
1605 if (!CONSP (list)
1606 || (CONSP (XCAR (list))
1607 && EQ (XCDR (XCAR (list)), key)))
1608 break;
1610 list = XCDR (list);
1611 if (!CONSP (list)
1612 || (CONSP (XCAR (list))
1613 && EQ (XCDR (XCAR (list)), key)))
1614 break;
1616 list = XCDR (list);
1617 QUIT;
1620 if (NILP (list))
1621 result = Qnil;
1622 else if (CONSP (list))
1623 result = XCAR (list);
1624 else
1625 result = wrong_type_argument (Qlistp, list);
1627 return result;
1630 DEFUN ("rassoc", Frassoc, Srassoc, 2, 2, 0,
1631 doc: /* Return non-nil if KEY is `equal' to the cdr of an element of LIST.
1632 The value is actually the first element of LIST whose cdr equals KEY. */)
1633 (key, list)
1634 Lisp_Object key, list;
1636 Lisp_Object result, cdr;
1638 while (1)
1640 if (!CONSP (list)
1641 || (CONSP (XCAR (list))
1642 && (cdr = XCDR (XCAR (list)),
1643 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1644 break;
1646 list = XCDR (list);
1647 if (!CONSP (list)
1648 || (CONSP (XCAR (list))
1649 && (cdr = XCDR (XCAR (list)),
1650 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1651 break;
1653 list = XCDR (list);
1654 if (!CONSP (list)
1655 || (CONSP (XCAR (list))
1656 && (cdr = XCDR (XCAR (list)),
1657 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1658 break;
1660 list = XCDR (list);
1661 QUIT;
1664 if (CONSP (list))
1665 result = XCAR (list);
1666 else if (NILP (list))
1667 result = Qnil;
1668 else
1669 result = wrong_type_argument (Qlistp, list);
1671 return result;
1674 DEFUN ("delq", Fdelq, Sdelq, 2, 2, 0,
1675 doc: /* Delete by side effect any occurrences of ELT as a member of LIST.
1676 The modified LIST is returned. Comparison is done with `eq'.
1677 If the first member of LIST is ELT, there is no way to remove it by side effect;
1678 therefore, write `(setq foo (delq element foo))'
1679 to be sure of changing the value of `foo'. */)
1680 (elt, list)
1681 register Lisp_Object elt;
1682 Lisp_Object list;
1684 register Lisp_Object tail, prev;
1685 register Lisp_Object tem;
1687 tail = list;
1688 prev = Qnil;
1689 while (!NILP (tail))
1691 if (! CONSP (tail))
1692 wrong_type_argument (Qlistp, list);
1693 tem = XCAR (tail);
1694 if (EQ (elt, tem))
1696 if (NILP (prev))
1697 list = XCDR (tail);
1698 else
1699 Fsetcdr (prev, XCDR (tail));
1701 else
1702 prev = tail;
1703 tail = XCDR (tail);
1704 QUIT;
1706 return list;
1709 DEFUN ("delete", Fdelete, Sdelete, 2, 2, 0,
1710 doc: /* Delete by side effect any occurrences of ELT as a member of SEQ.
1711 SEQ must be a list, a vector, or a string.
1712 The modified SEQ is returned. Comparison is done with `equal'.
1713 If SEQ is not a list, or the first member of SEQ is ELT, deleting it
1714 is not a side effect; it is simply using a different sequence.
1715 Therefore, write `(setq foo (delete element foo))'
1716 to be sure of changing the value of `foo'. */)
1717 (elt, seq)
1718 Lisp_Object elt, seq;
1720 if (VECTORP (seq))
1722 EMACS_INT i, n;
1724 for (i = n = 0; i < ASIZE (seq); ++i)
1725 if (NILP (Fequal (AREF (seq, i), elt)))
1726 ++n;
1728 if (n != ASIZE (seq))
1730 struct Lisp_Vector *p = allocate_vector (n);
1732 for (i = n = 0; i < ASIZE (seq); ++i)
1733 if (NILP (Fequal (AREF (seq, i), elt)))
1734 p->contents[n++] = AREF (seq, i);
1736 XSETVECTOR (seq, p);
1739 else if (STRINGP (seq))
1741 EMACS_INT i, ibyte, nchars, nbytes, cbytes;
1742 int c;
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 ++nchars;
1763 nbytes += cbytes;
1767 if (nchars != SCHARS (seq))
1769 Lisp_Object tem;
1771 tem = make_uninit_multibyte_string (nchars, nbytes);
1772 if (!STRING_MULTIBYTE (seq))
1773 STRING_SET_UNIBYTE (tem);
1775 for (i = nchars = nbytes = ibyte = 0;
1776 i < SCHARS (seq);
1777 ++i, ibyte += cbytes)
1779 if (STRING_MULTIBYTE (seq))
1781 c = STRING_CHAR (SDATA (seq) + ibyte,
1782 SBYTES (seq) - ibyte);
1783 cbytes = CHAR_BYTES (c);
1785 else
1787 c = SREF (seq, i);
1788 cbytes = 1;
1791 if (!INTEGERP (elt) || c != XINT (elt))
1793 unsigned char *from = SDATA (seq) + ibyte;
1794 unsigned char *to = SDATA (tem) + nbytes;
1795 EMACS_INT n;
1797 ++nchars;
1798 nbytes += cbytes;
1800 for (n = cbytes; n--; )
1801 *to++ = *from++;
1805 seq = tem;
1808 else
1810 Lisp_Object tail, prev;
1812 for (tail = seq, prev = Qnil; !NILP (tail); tail = XCDR (tail))
1814 if (!CONSP (tail))
1815 wrong_type_argument (Qlistp, seq);
1817 if (!NILP (Fequal (elt, XCAR (tail))))
1819 if (NILP (prev))
1820 seq = XCDR (tail);
1821 else
1822 Fsetcdr (prev, XCDR (tail));
1824 else
1825 prev = tail;
1826 QUIT;
1830 return seq;
1833 DEFUN ("nreverse", Fnreverse, Snreverse, 1, 1, 0,
1834 doc: /* Reverse LIST by modifying cdr pointers.
1835 Return the reversed list. */)
1836 (list)
1837 Lisp_Object list;
1839 register Lisp_Object prev, tail, next;
1841 if (NILP (list)) return list;
1842 prev = Qnil;
1843 tail = list;
1844 while (!NILP (tail))
1846 QUIT;
1847 if (! CONSP (tail))
1848 wrong_type_argument (Qlistp, list);
1849 next = XCDR (tail);
1850 Fsetcdr (tail, prev);
1851 prev = tail;
1852 tail = next;
1854 return prev;
1857 DEFUN ("reverse", Freverse, Sreverse, 1, 1, 0,
1858 doc: /* Reverse LIST, copying. Return the reversed list.
1859 See also the function `nreverse', which is used more often. */)
1860 (list)
1861 Lisp_Object list;
1863 Lisp_Object new;
1865 for (new = Qnil; CONSP (list); list = XCDR (list))
1867 QUIT;
1868 new = Fcons (XCAR (list), new);
1870 if (!NILP (list))
1871 wrong_type_argument (Qconsp, list);
1872 return new;
1875 Lisp_Object merge ();
1877 DEFUN ("sort", Fsort, Ssort, 2, 2, 0,
1878 doc: /* Sort LIST, stably, comparing elements using PREDICATE.
1879 Returns the sorted list. LIST is modified by side effects.
1880 PREDICATE is called with two elements of LIST, and should return t
1881 if the first element is "less" than the second. */)
1882 (list, predicate)
1883 Lisp_Object list, predicate;
1885 Lisp_Object front, back;
1886 register Lisp_Object len, tem;
1887 struct gcpro gcpro1, gcpro2;
1888 register int length;
1890 front = list;
1891 len = Flength (list);
1892 length = XINT (len);
1893 if (length < 2)
1894 return list;
1896 XSETINT (len, (length / 2) - 1);
1897 tem = Fnthcdr (len, list);
1898 back = Fcdr (tem);
1899 Fsetcdr (tem, Qnil);
1901 GCPRO2 (front, back);
1902 front = Fsort (front, predicate);
1903 back = Fsort (back, predicate);
1904 UNGCPRO;
1905 return merge (front, back, predicate);
1908 Lisp_Object
1909 merge (org_l1, org_l2, pred)
1910 Lisp_Object org_l1, org_l2;
1911 Lisp_Object pred;
1913 Lisp_Object value;
1914 register Lisp_Object tail;
1915 Lisp_Object tem;
1916 register Lisp_Object l1, l2;
1917 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
1919 l1 = org_l1;
1920 l2 = org_l2;
1921 tail = Qnil;
1922 value = Qnil;
1924 /* It is sufficient to protect org_l1 and org_l2.
1925 When l1 and l2 are updated, we copy the new values
1926 back into the org_ vars. */
1927 GCPRO4 (org_l1, org_l2, pred, value);
1929 while (1)
1931 if (NILP (l1))
1933 UNGCPRO;
1934 if (NILP (tail))
1935 return l2;
1936 Fsetcdr (tail, l2);
1937 return value;
1939 if (NILP (l2))
1941 UNGCPRO;
1942 if (NILP (tail))
1943 return l1;
1944 Fsetcdr (tail, l1);
1945 return value;
1947 tem = call2 (pred, Fcar (l2), Fcar (l1));
1948 if (NILP (tem))
1950 tem = l1;
1951 l1 = Fcdr (l1);
1952 org_l1 = l1;
1954 else
1956 tem = l2;
1957 l2 = Fcdr (l2);
1958 org_l2 = l2;
1960 if (NILP (tail))
1961 value = tem;
1962 else
1963 Fsetcdr (tail, tem);
1964 tail = tem;
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
1974 one of the properties on the list. */)
1975 (plist, prop)
1976 Lisp_Object plist;
1977 Lisp_Object prop;
1979 Lisp_Object tail;
1981 for (tail = plist;
1982 CONSP (tail) && CONSP (XCDR (tail));
1983 tail = XCDR (XCDR (tail)))
1985 if (EQ (prop, XCAR (tail)))
1986 return XCAR (XCDR (tail));
1988 /* This function can be called asynchronously
1989 (setup_coding_system). Don't QUIT in that case. */
1990 if (!interrupt_input_blocked)
1991 QUIT;
1994 if (!NILP (tail))
1995 wrong_type_argument (Qlistp, prop);
1997 return Qnil;
2000 DEFUN ("safe-plist-get", Fsafe_plist_get, Ssafe_plist_get, 2, 2, 0,
2001 doc: /* Extract a value from a property list.
2002 PLIST is a property list, which is a list of the form
2003 \(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value
2004 corresponding to the given PROP, or nil if PROP is not
2005 one of the properties on the list.
2006 This function never signals an error. */)
2007 (plist, prop)
2008 Lisp_Object plist;
2009 Lisp_Object prop;
2011 Lisp_Object tail, halftail;
2013 /* halftail is used to detect circular lists. */
2014 tail = halftail = plist;
2015 while (CONSP (tail) && CONSP (XCDR (tail)))
2017 if (EQ (prop, XCAR (tail)))
2018 return XCAR (XCDR (tail));
2020 tail = XCDR (XCDR (tail));
2021 halftail = XCDR (halftail);
2022 if (EQ (tail, halftail))
2023 break;
2026 return Qnil;
2029 DEFUN ("get", Fget, Sget, 2, 2, 0,
2030 doc: /* Return the value of SYMBOL's PROPNAME property.
2031 This is the last value stored with `(put SYMBOL PROPNAME VALUE)'. */)
2032 (symbol, propname)
2033 Lisp_Object symbol, propname;
2035 CHECK_SYMBOL (symbol);
2036 return Fplist_get (XSYMBOL (symbol)->plist, propname);
2039 DEFUN ("plist-put", Fplist_put, Splist_put, 3, 3, 0,
2040 doc: /* Change value in PLIST of PROP to VAL.
2041 PLIST is a property list, which is a list of the form
2042 \(PROP1 VALUE1 PROP2 VALUE2 ...). PROP is a symbol and VAL is any object.
2043 If PROP is already a property on the list, its value is set to VAL,
2044 otherwise the new PROP VAL pair is added. The new plist is returned;
2045 use `(setq x (plist-put x prop val))' to be sure to use the new value.
2046 The PLIST is modified by side effects. */)
2047 (plist, prop, val)
2048 Lisp_Object plist;
2049 register Lisp_Object prop;
2050 Lisp_Object val;
2052 register Lisp_Object tail, prev;
2053 Lisp_Object newcell;
2054 prev = Qnil;
2055 for (tail = plist; CONSP (tail) && CONSP (XCDR (tail));
2056 tail = XCDR (XCDR (tail)))
2058 if (EQ (prop, XCAR (tail)))
2060 Fsetcar (XCDR (tail), val);
2061 return plist;
2064 prev = tail;
2065 QUIT;
2067 newcell = Fcons (prop, Fcons (val, Qnil));
2068 if (NILP (prev))
2069 return newcell;
2070 else
2071 Fsetcdr (XCDR (prev), newcell);
2072 return plist;
2075 DEFUN ("put", Fput, Sput, 3, 3, 0,
2076 doc: /* Store SYMBOL's PROPNAME property with value VALUE.
2077 It can be retrieved with `(get SYMBOL PROPNAME)'. */)
2078 (symbol, propname, value)
2079 Lisp_Object symbol, propname, value;
2081 CHECK_SYMBOL (symbol);
2082 XSYMBOL (symbol)->plist
2083 = Fplist_put (XSYMBOL (symbol)->plist, propname, value);
2084 return value;
2087 DEFUN ("lax-plist-get", Flax_plist_get, Slax_plist_get, 2, 2, 0,
2088 doc: /* Extract a value from a property list, comparing with `equal'.
2089 PLIST is a property list, which is a list of the form
2090 \(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value
2091 corresponding to the given PROP, or nil if PROP is not
2092 one of the properties on the list. */)
2093 (plist, prop)
2094 Lisp_Object plist;
2095 Lisp_Object prop;
2097 Lisp_Object tail;
2099 for (tail = plist;
2100 CONSP (tail) && CONSP (XCDR (tail));
2101 tail = XCDR (XCDR (tail)))
2103 if (! NILP (Fequal (prop, XCAR (tail))))
2104 return XCAR (XCDR (tail));
2106 QUIT;
2109 if (!NILP (tail))
2110 wrong_type_argument (Qlistp, prop);
2112 return Qnil;
2115 DEFUN ("lax-plist-put", Flax_plist_put, Slax_plist_put, 3, 3, 0,
2116 doc: /* Change value in PLIST of PROP to VAL, comparing with `equal'.
2117 PLIST is a property list, which is a list of the form
2118 \(PROP1 VALUE1 PROP2 VALUE2 ...). PROP and VAL are any objects.
2119 If PROP is already a property on the list, its value is set to VAL,
2120 otherwise the new PROP VAL pair is added. The new plist is returned;
2121 use `(setq x (lax-plist-put x prop val))' to be sure to use the new value.
2122 The PLIST is modified by side effects. */)
2123 (plist, prop, val)
2124 Lisp_Object plist;
2125 register Lisp_Object prop;
2126 Lisp_Object val;
2128 register Lisp_Object tail, prev;
2129 Lisp_Object newcell;
2130 prev = Qnil;
2131 for (tail = plist; CONSP (tail) && CONSP (XCDR (tail));
2132 tail = XCDR (XCDR (tail)))
2134 if (! NILP (Fequal (prop, XCAR (tail))))
2136 Fsetcar (XCDR (tail), val);
2137 return plist;
2140 prev = tail;
2141 QUIT;
2143 newcell = Fcons (prop, Fcons (val, Qnil));
2144 if (NILP (prev))
2145 return newcell;
2146 else
2147 Fsetcdr (XCDR (prev), newcell);
2148 return plist;
2151 DEFUN ("eql", Feql, Seql, 2, 2, 0,
2152 doc: /* Return t if the two args are the same Lisp object.
2153 Floating-point numbers of equal value are `eql', but they may not be `eq'. */)
2154 (obj1, obj2)
2155 Lisp_Object obj1, obj2;
2157 if (FLOATP (obj1))
2158 return internal_equal (obj1, obj2, 0, 0) ? Qt : Qnil;
2159 else
2160 return EQ (obj1, obj2) ? Qt : Qnil;
2163 DEFUN ("equal", Fequal, Sequal, 2, 2, 0,
2164 doc: /* Return t if two Lisp objects have similar structure and contents.
2165 They must have the same data type.
2166 Conses are compared by comparing the cars and the cdrs.
2167 Vectors and strings are compared element by element.
2168 Numbers are compared by value, but integers cannot equal floats.
2169 (Use `=' if you want integers and floats to be able to be equal.)
2170 Symbols must match exactly. */)
2171 (o1, o2)
2172 register Lisp_Object o1, o2;
2174 return internal_equal (o1, o2, 0, 0) ? Qt : Qnil;
2177 DEFUN ("equal-including-properties", Fequal_including_properties, Sequal_including_properties, 2, 2, 0,
2178 doc: /* Return t if two Lisp objects have similar structure and contents.
2179 This is like `equal' except that it compares the text properties
2180 of strings. (`equal' ignores text properties.) */)
2181 (o1, o2)
2182 register Lisp_Object o1, o2;
2184 return internal_equal (o1, o2, 0, 1) ? Qt : Qnil;
2187 /* DEPTH is current depth of recursion. Signal an error if it
2188 gets too deep.
2189 PROPS, if non-nil, means compare string text properties too. */
2191 static int
2192 internal_equal (o1, o2, depth, props)
2193 register Lisp_Object o1, o2;
2194 int depth, props;
2196 if (depth > 200)
2197 error ("Stack overflow in equal");
2199 tail_recurse:
2200 QUIT;
2201 if (EQ (o1, o2))
2202 return 1;
2203 if (XTYPE (o1) != XTYPE (o2))
2204 return 0;
2206 switch (XTYPE (o1))
2208 case Lisp_Float:
2210 double d1, d2;
2212 d1 = extract_float (o1);
2213 d2 = extract_float (o2);
2214 /* If d is a NaN, then d != d. Two NaNs should be `equal' even
2215 though they are not =. */
2216 return d1 == d2 || (d1 != d1 && d2 != d2);
2219 case Lisp_Cons:
2220 if (!internal_equal (XCAR (o1), XCAR (o2), depth + 1, props))
2221 return 0;
2222 o1 = XCDR (o1);
2223 o2 = XCDR (o2);
2224 goto tail_recurse;
2226 case Lisp_Misc:
2227 if (XMISCTYPE (o1) != XMISCTYPE (o2))
2228 return 0;
2229 if (OVERLAYP (o1))
2231 if (!internal_equal (OVERLAY_START (o1), OVERLAY_START (o2),
2232 depth + 1, props)
2233 || !internal_equal (OVERLAY_END (o1), OVERLAY_END (o2),
2234 depth + 1))
2235 return 0;
2236 o1 = XOVERLAY (o1)->plist;
2237 o2 = XOVERLAY (o2)->plist;
2238 goto tail_recurse;
2240 if (MARKERP (o1))
2242 return (XMARKER (o1)->buffer == XMARKER (o2)->buffer
2243 && (XMARKER (o1)->buffer == 0
2244 || XMARKER (o1)->bytepos == XMARKER (o2)->bytepos));
2246 break;
2248 case Lisp_Vectorlike:
2250 register int i;
2251 EMACS_INT size = XVECTOR (o1)->size;
2252 /* Pseudovectors have the type encoded in the size field, so this test
2253 actually checks that the objects have the same type as well as the
2254 same size. */
2255 if (XVECTOR (o2)->size != size)
2256 return 0;
2257 /* Boolvectors are compared much like strings. */
2258 if (BOOL_VECTOR_P (o1))
2260 int size_in_chars
2261 = ((XBOOL_VECTOR (o1)->size + BOOL_VECTOR_BITS_PER_CHAR - 1)
2262 / BOOL_VECTOR_BITS_PER_CHAR);
2264 if (XBOOL_VECTOR (o1)->size != XBOOL_VECTOR (o2)->size)
2265 return 0;
2266 if (bcmp (XBOOL_VECTOR (o1)->data, XBOOL_VECTOR (o2)->data,
2267 size_in_chars))
2268 return 0;
2269 return 1;
2271 if (WINDOW_CONFIGURATIONP (o1))
2272 return compare_window_configurations (o1, o2, 0);
2274 /* Aside from them, only true vectors, char-tables, and compiled
2275 functions are sensible to compare, so eliminate the others now. */
2276 if (size & PSEUDOVECTOR_FLAG)
2278 if (!(size & (PVEC_COMPILED | PVEC_CHAR_TABLE)))
2279 return 0;
2280 size &= PSEUDOVECTOR_SIZE_MASK;
2282 for (i = 0; i < size; i++)
2284 Lisp_Object v1, v2;
2285 v1 = XVECTOR (o1)->contents [i];
2286 v2 = XVECTOR (o2)->contents [i];
2287 if (!internal_equal (v1, v2, depth + 1, props))
2288 return 0;
2290 return 1;
2292 break;
2294 case Lisp_String:
2295 if (SCHARS (o1) != SCHARS (o2))
2296 return 0;
2297 if (SBYTES (o1) != SBYTES (o2))
2298 return 0;
2299 if (bcmp (SDATA (o1), SDATA (o2),
2300 SBYTES (o1)))
2301 return 0;
2302 if (props && !compare_string_intervals (o1, o2))
2303 return 0;
2304 return 1;
2306 case Lisp_Int:
2307 case Lisp_Symbol:
2308 case Lisp_Type_Limit:
2309 break;
2312 return 0;
2315 extern Lisp_Object Fmake_char_internal ();
2317 DEFUN ("fillarray", Ffillarray, Sfillarray, 2, 2, 0,
2318 doc: /* Store each element of ARRAY with ITEM.
2319 ARRAY is a vector, string, char-table, or bool-vector. */)
2320 (array, item)
2321 Lisp_Object array, item;
2323 register int size, index, charval;
2324 retry:
2325 if (VECTORP (array))
2327 register Lisp_Object *p = XVECTOR (array)->contents;
2328 size = XVECTOR (array)->size;
2329 for (index = 0; index < size; index++)
2330 p[index] = item;
2332 else if (CHAR_TABLE_P (array))
2334 register Lisp_Object *p = XCHAR_TABLE (array)->contents;
2335 size = CHAR_TABLE_ORDINARY_SLOTS;
2336 for (index = 0; index < size; index++)
2337 p[index] = item;
2338 XCHAR_TABLE (array)->defalt = Qnil;
2340 else if (STRINGP (array))
2342 register unsigned char *p = SDATA (array);
2343 CHECK_NUMBER (item);
2344 charval = XINT (item);
2345 size = SCHARS (array);
2346 if (STRING_MULTIBYTE (array))
2348 unsigned char str[MAX_MULTIBYTE_LENGTH];
2349 int len = CHAR_STRING (charval, str);
2350 int size_byte = SBYTES (array);
2351 unsigned char *p1 = p, *endp = p + size_byte;
2352 int i;
2354 if (size != size_byte)
2355 while (p1 < endp)
2357 int this_len = MULTIBYTE_FORM_LENGTH (p1, endp - p1);
2358 if (len != this_len)
2359 error ("Attempt to change byte length of a string");
2360 p1 += this_len;
2362 for (i = 0; i < size_byte; i++)
2363 *p++ = str[i % len];
2365 else
2366 for (index = 0; index < size; index++)
2367 p[index] = charval;
2369 else if (BOOL_VECTOR_P (array))
2371 register unsigned char *p = XBOOL_VECTOR (array)->data;
2372 int size_in_chars
2373 = ((XBOOL_VECTOR (array)->size + BOOL_VECTOR_BITS_PER_CHAR - 1)
2374 / BOOL_VECTOR_BITS_PER_CHAR);
2376 charval = (! NILP (item) ? -1 : 0);
2377 for (index = 0; index < size_in_chars - 1; index++)
2378 p[index] = charval;
2379 if (index < size_in_chars)
2381 /* Mask out bits beyond the vector size. */
2382 if (XBOOL_VECTOR (array)->size % BOOL_VECTOR_BITS_PER_CHAR)
2383 charval &= (1 << (XBOOL_VECTOR (array)->size % BOOL_VECTOR_BITS_PER_CHAR)) - 1;
2384 p[index] = charval;
2387 else
2389 array = wrong_type_argument (Qarrayp, array);
2390 goto retry;
2392 return array;
2395 DEFUN ("clear-string", Fclear_string, Sclear_string,
2396 1, 1, 0,
2397 doc: /* Clear the contents of STRING.
2398 This makes STRING unibyte and may change its length. */)
2399 (string)
2400 Lisp_Object string;
2402 int len;
2403 CHECK_STRING (string);
2404 len = SBYTES (string);
2405 bzero (SDATA (string), len);
2406 STRING_SET_CHARS (string, len);
2407 STRING_SET_UNIBYTE (string);
2408 return Qnil;
2411 DEFUN ("char-table-subtype", Fchar_table_subtype, Schar_table_subtype,
2412 1, 1, 0,
2413 doc: /* Return the subtype of char-table CHAR-TABLE. The value is a symbol. */)
2414 (char_table)
2415 Lisp_Object char_table;
2417 CHECK_CHAR_TABLE (char_table);
2419 return XCHAR_TABLE (char_table)->purpose;
2422 DEFUN ("char-table-parent", Fchar_table_parent, Schar_table_parent,
2423 1, 1, 0,
2424 doc: /* Return the parent char-table of CHAR-TABLE.
2425 The value is either nil or another char-table.
2426 If CHAR-TABLE holds nil for a given character,
2427 then the actual applicable value is inherited from the parent char-table
2428 \(or from its parents, if necessary). */)
2429 (char_table)
2430 Lisp_Object char_table;
2432 CHECK_CHAR_TABLE (char_table);
2434 return XCHAR_TABLE (char_table)->parent;
2437 DEFUN ("set-char-table-parent", Fset_char_table_parent, Sset_char_table_parent,
2438 2, 2, 0,
2439 doc: /* Set the parent char-table of CHAR-TABLE to PARENT.
2440 Return PARENT. PARENT must be either nil or another char-table. */)
2441 (char_table, parent)
2442 Lisp_Object char_table, parent;
2444 Lisp_Object temp;
2446 CHECK_CHAR_TABLE (char_table);
2448 if (!NILP (parent))
2450 CHECK_CHAR_TABLE (parent);
2452 for (temp = parent; !NILP (temp); temp = XCHAR_TABLE (temp)->parent)
2453 if (EQ (temp, char_table))
2454 error ("Attempt to make a chartable be its own parent");
2457 XCHAR_TABLE (char_table)->parent = parent;
2459 return parent;
2462 DEFUN ("char-table-extra-slot", Fchar_table_extra_slot, Schar_table_extra_slot,
2463 2, 2, 0,
2464 doc: /* Return the value of CHAR-TABLE's extra-slot number N. */)
2465 (char_table, n)
2466 Lisp_Object char_table, n;
2468 CHECK_CHAR_TABLE (char_table);
2469 CHECK_NUMBER (n);
2470 if (XINT (n) < 0
2471 || XINT (n) >= CHAR_TABLE_EXTRA_SLOTS (XCHAR_TABLE (char_table)))
2472 args_out_of_range (char_table, n);
2474 return XCHAR_TABLE (char_table)->extras[XINT (n)];
2477 DEFUN ("set-char-table-extra-slot", Fset_char_table_extra_slot,
2478 Sset_char_table_extra_slot,
2479 3, 3, 0,
2480 doc: /* Set CHAR-TABLE's extra-slot number N to VALUE. */)
2481 (char_table, n, value)
2482 Lisp_Object char_table, n, value;
2484 CHECK_CHAR_TABLE (char_table);
2485 CHECK_NUMBER (n);
2486 if (XINT (n) < 0
2487 || XINT (n) >= CHAR_TABLE_EXTRA_SLOTS (XCHAR_TABLE (char_table)))
2488 args_out_of_range (char_table, n);
2490 return XCHAR_TABLE (char_table)->extras[XINT (n)] = value;
2493 DEFUN ("char-table-range", Fchar_table_range, Schar_table_range,
2494 2, 2, 0,
2495 doc: /* Return the value in CHAR-TABLE for a range of characters RANGE.
2496 RANGE should be nil (for the default value)
2497 a vector which identifies a character set or a row of a character set,
2498 a character set name, or a character code. */)
2499 (char_table, range)
2500 Lisp_Object char_table, range;
2502 CHECK_CHAR_TABLE (char_table);
2504 if (EQ (range, Qnil))
2505 return XCHAR_TABLE (char_table)->defalt;
2506 else if (INTEGERP (range))
2507 return Faref (char_table, range);
2508 else if (SYMBOLP (range))
2510 Lisp_Object charset_info;
2512 charset_info = Fget (range, Qcharset);
2513 CHECK_VECTOR (charset_info);
2515 return Faref (char_table,
2516 make_number (XINT (XVECTOR (charset_info)->contents[0])
2517 + 128));
2519 else if (VECTORP (range))
2521 if (XVECTOR (range)->size == 1)
2522 return Faref (char_table,
2523 make_number (XINT (XVECTOR (range)->contents[0]) + 128));
2524 else
2526 int size = XVECTOR (range)->size;
2527 Lisp_Object *val = XVECTOR (range)->contents;
2528 Lisp_Object ch = Fmake_char_internal (size <= 0 ? Qnil : val[0],
2529 size <= 1 ? Qnil : val[1],
2530 size <= 2 ? Qnil : val[2]);
2531 return Faref (char_table, ch);
2534 else
2535 error ("Invalid RANGE argument to `char-table-range'");
2536 return Qt;
2539 DEFUN ("set-char-table-range", Fset_char_table_range, Sset_char_table_range,
2540 3, 3, 0,
2541 doc: /* Set the value in CHAR-TABLE for a range of characters RANGE to VALUE.
2542 RANGE should be t (for all characters), nil (for the default value),
2543 a character set, a vector which identifies a character set, a row of a
2544 character set, or a character code. Return VALUE. */)
2545 (char_table, range, value)
2546 Lisp_Object char_table, range, value;
2548 int i;
2550 CHECK_CHAR_TABLE (char_table);
2552 if (EQ (range, Qt))
2553 for (i = 0; i < CHAR_TABLE_ORDINARY_SLOTS; i++)
2554 XCHAR_TABLE (char_table)->contents[i] = value;
2555 else if (EQ (range, Qnil))
2556 XCHAR_TABLE (char_table)->defalt = value;
2557 else if (SYMBOLP (range))
2559 Lisp_Object charset_info;
2560 int charset_id;
2562 charset_info = Fget (range, Qcharset);
2563 if (! VECTORP (charset_info)
2564 || ! NATNUMP (AREF (charset_info, 0))
2565 || (charset_id = XINT (AREF (charset_info, 0)),
2566 ! CHARSET_DEFINED_P (charset_id)))
2567 error ("Invalid charset: %s", SDATA (SYMBOL_NAME (range)));
2569 if (charset_id == CHARSET_ASCII)
2570 for (i = 0; i < 128; i++)
2571 XCHAR_TABLE (char_table)->contents[i] = value;
2572 else if (charset_id == CHARSET_8_BIT_CONTROL)
2573 for (i = 128; i < 160; i++)
2574 XCHAR_TABLE (char_table)->contents[i] = value;
2575 else if (charset_id == CHARSET_8_BIT_GRAPHIC)
2576 for (i = 160; i < 256; i++)
2577 XCHAR_TABLE (char_table)->contents[i] = value;
2578 else
2579 XCHAR_TABLE (char_table)->contents[charset_id + 128] = value;
2581 else if (INTEGERP (range))
2582 Faset (char_table, range, value);
2583 else if (VECTORP (range))
2585 if (XVECTOR (range)->size == 1)
2586 return Faset (char_table,
2587 make_number (XINT (XVECTOR (range)->contents[0]) + 128),
2588 value);
2589 else
2591 int size = XVECTOR (range)->size;
2592 Lisp_Object *val = XVECTOR (range)->contents;
2593 Lisp_Object ch = Fmake_char_internal (size <= 0 ? Qnil : val[0],
2594 size <= 1 ? Qnil : val[1],
2595 size <= 2 ? Qnil : val[2]);
2596 return Faset (char_table, ch, value);
2599 else
2600 error ("Invalid RANGE argument to `set-char-table-range'");
2602 return value;
2605 DEFUN ("set-char-table-default", Fset_char_table_default,
2606 Sset_char_table_default, 3, 3, 0,
2607 doc: /* Set the default value in CHAR-TABLE for generic character CH to VALUE.
2608 The generic character specifies the group of characters.
2609 See also the documentation of `make-char'. */)
2610 (char_table, ch, value)
2611 Lisp_Object char_table, ch, value;
2613 int c, charset, code1, code2;
2614 Lisp_Object temp;
2616 CHECK_CHAR_TABLE (char_table);
2617 CHECK_NUMBER (ch);
2619 c = XINT (ch);
2620 SPLIT_CHAR (c, charset, code1, code2);
2622 /* Since we may want to set the default value for a character set
2623 not yet defined, we check only if the character set is in the
2624 valid range or not, instead of it is already defined or not. */
2625 if (! CHARSET_VALID_P (charset))
2626 invalid_character (c);
2628 if (charset == CHARSET_ASCII)
2629 return (XCHAR_TABLE (char_table)->defalt = value);
2631 /* Even if C is not a generic char, we had better behave as if a
2632 generic char is specified. */
2633 if (!CHARSET_DEFINED_P (charset) || CHARSET_DIMENSION (charset) == 1)
2634 code1 = 0;
2635 temp = XCHAR_TABLE (char_table)->contents[charset + 128];
2636 if (!code1)
2638 if (SUB_CHAR_TABLE_P (temp))
2639 XCHAR_TABLE (temp)->defalt = value;
2640 else
2641 XCHAR_TABLE (char_table)->contents[charset + 128] = value;
2642 return value;
2644 if (SUB_CHAR_TABLE_P (temp))
2645 char_table = temp;
2646 else
2647 char_table = (XCHAR_TABLE (char_table)->contents[charset + 128]
2648 = make_sub_char_table (temp));
2649 temp = XCHAR_TABLE (char_table)->contents[code1];
2650 if (SUB_CHAR_TABLE_P (temp))
2651 XCHAR_TABLE (temp)->defalt = value;
2652 else
2653 XCHAR_TABLE (char_table)->contents[code1] = value;
2654 return value;
2657 /* Look up the element in TABLE at index CH,
2658 and return it as an integer.
2659 If the element is nil, return CH itself.
2660 (Actually we do that for any non-integer.) */
2663 char_table_translate (table, ch)
2664 Lisp_Object table;
2665 int ch;
2667 Lisp_Object value;
2668 value = Faref (table, make_number (ch));
2669 if (! INTEGERP (value))
2670 return ch;
2671 return XINT (value);
2674 static void
2675 optimize_sub_char_table (table, chars)
2676 Lisp_Object *table;
2677 int chars;
2679 Lisp_Object elt;
2680 int from, to;
2682 if (chars == 94)
2683 from = 33, to = 127;
2684 else
2685 from = 32, to = 128;
2687 if (!SUB_CHAR_TABLE_P (*table))
2688 return;
2689 elt = XCHAR_TABLE (*table)->contents[from++];
2690 for (; from < to; from++)
2691 if (NILP (Fequal (elt, XCHAR_TABLE (*table)->contents[from])))
2692 return;
2693 *table = elt;
2696 DEFUN ("optimize-char-table", Foptimize_char_table, Soptimize_char_table,
2697 1, 1, 0, doc: /* Optimize char table TABLE. */)
2698 (table)
2699 Lisp_Object table;
2701 Lisp_Object elt;
2702 int dim;
2703 int i, j;
2705 CHECK_CHAR_TABLE (table);
2707 for (i = CHAR_TABLE_SINGLE_BYTE_SLOTS; i < CHAR_TABLE_ORDINARY_SLOTS; i++)
2709 elt = XCHAR_TABLE (table)->contents[i];
2710 if (!SUB_CHAR_TABLE_P (elt))
2711 continue;
2712 dim = CHARSET_DIMENSION (i - 128);
2713 if (dim == 2)
2714 for (j = 32; j < SUB_CHAR_TABLE_ORDINARY_SLOTS; j++)
2715 optimize_sub_char_table (XCHAR_TABLE (elt)->contents + j, dim);
2716 optimize_sub_char_table (XCHAR_TABLE (table)->contents + i, dim);
2718 return Qnil;
2722 /* Map C_FUNCTION or FUNCTION over SUBTABLE, calling it for each
2723 character or group of characters that share a value.
2724 DEPTH is the current depth in the originally specified
2725 chartable, and INDICES contains the vector indices
2726 for the levels our callers have descended.
2728 ARG is passed to C_FUNCTION when that is called. */
2730 void
2731 map_char_table (c_function, function, table, subtable, arg, depth, indices)
2732 void (*c_function) P_ ((Lisp_Object, Lisp_Object, Lisp_Object));
2733 Lisp_Object function, table, subtable, arg, *indices;
2734 int depth;
2736 int i, to;
2737 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
2739 GCPRO4 (arg, table, subtable, function);
2741 if (depth == 0)
2743 /* At first, handle ASCII and 8-bit European characters. */
2744 for (i = 0; i < CHAR_TABLE_SINGLE_BYTE_SLOTS; i++)
2746 Lisp_Object elt= XCHAR_TABLE (subtable)->contents[i];
2747 if (NILP (elt))
2748 elt = XCHAR_TABLE (subtable)->defalt;
2749 if (NILP (elt))
2750 elt = Faref (subtable, make_number (i));
2751 if (c_function)
2752 (*c_function) (arg, make_number (i), elt);
2753 else
2754 call2 (function, make_number (i), elt);
2756 #if 0 /* If the char table has entries for higher characters,
2757 we should report them. */
2758 if (NILP (current_buffer->enable_multibyte_characters))
2760 UNGCPRO;
2761 return;
2763 #endif
2764 to = CHAR_TABLE_ORDINARY_SLOTS;
2766 else
2768 int charset = XFASTINT (indices[0]) - 128;
2770 i = 32;
2771 to = SUB_CHAR_TABLE_ORDINARY_SLOTS;
2772 if (CHARSET_CHARS (charset) == 94)
2773 i++, to--;
2776 for (; i < to; i++)
2778 Lisp_Object elt;
2779 int charset;
2781 elt = XCHAR_TABLE (subtable)->contents[i];
2782 XSETFASTINT (indices[depth], i);
2783 charset = XFASTINT (indices[0]) - 128;
2784 if (depth == 0
2785 && (!CHARSET_DEFINED_P (charset)
2786 || charset == CHARSET_8_BIT_CONTROL
2787 || charset == CHARSET_8_BIT_GRAPHIC))
2788 continue;
2790 if (SUB_CHAR_TABLE_P (elt))
2792 if (depth >= 3)
2793 error ("Too deep char table");
2794 map_char_table (c_function, function, table, elt, arg, depth + 1, indices);
2796 else
2798 int c1, c2, c;
2800 c1 = depth >= 1 ? XFASTINT (indices[1]) : 0;
2801 c2 = depth >= 2 ? XFASTINT (indices[2]) : 0;
2802 c = MAKE_CHAR (charset, c1, c2);
2804 if (NILP (elt))
2805 elt = XCHAR_TABLE (subtable)->defalt;
2806 if (NILP (elt))
2807 elt = Faref (table, make_number (c));
2809 if (c_function)
2810 (*c_function) (arg, make_number (c), elt);
2811 else
2812 call2 (function, make_number (c), elt);
2815 UNGCPRO;
2818 static void void_call2 P_ ((Lisp_Object a, Lisp_Object b, Lisp_Object c));
2819 static void
2820 void_call2 (a, b, c)
2821 Lisp_Object a, b, c;
2823 call2 (a, b, c);
2826 DEFUN ("map-char-table", Fmap_char_table, Smap_char_table,
2827 2, 2, 0,
2828 doc: /* Call FUNCTION for each (normal and generic) characters in CHAR-TABLE.
2829 FUNCTION is called with two arguments--a key and a value.
2830 The key is always a possible IDX argument to `aref'. */)
2831 (function, char_table)
2832 Lisp_Object function, char_table;
2834 /* The depth of char table is at most 3. */
2835 Lisp_Object indices[3];
2837 CHECK_CHAR_TABLE (char_table);
2839 /* When Lisp_Object is represented as a union, `call2' cannot directly
2840 be passed to map_char_table because it returns a Lisp_Object rather
2841 than returning nothing.
2842 Casting leads to crashes on some architectures. -stef */
2843 map_char_table (void_call2, Qnil, char_table, char_table, function, 0, indices);
2844 return Qnil;
2847 /* Return a value for character C in char-table TABLE. Store the
2848 actual index for that value in *IDX. Ignore the default value of
2849 TABLE. */
2851 Lisp_Object
2852 char_table_ref_and_index (table, c, idx)
2853 Lisp_Object table;
2854 int c, *idx;
2856 int charset, c1, c2;
2857 Lisp_Object elt;
2859 if (SINGLE_BYTE_CHAR_P (c))
2861 *idx = c;
2862 return XCHAR_TABLE (table)->contents[c];
2864 SPLIT_CHAR (c, charset, c1, c2);
2865 elt = XCHAR_TABLE (table)->contents[charset + 128];
2866 *idx = MAKE_CHAR (charset, 0, 0);
2867 if (!SUB_CHAR_TABLE_P (elt))
2868 return elt;
2869 if (c1 < 32 || NILP (XCHAR_TABLE (elt)->contents[c1]))
2870 return XCHAR_TABLE (elt)->defalt;
2871 elt = XCHAR_TABLE (elt)->contents[c1];
2872 *idx = MAKE_CHAR (charset, c1, 0);
2873 if (!SUB_CHAR_TABLE_P (elt))
2874 return elt;
2875 if (c2 < 32 || NILP (XCHAR_TABLE (elt)->contents[c2]))
2876 return XCHAR_TABLE (elt)->defalt;
2877 *idx = c;
2878 return XCHAR_TABLE (elt)->contents[c2];
2882 /* ARGSUSED */
2883 Lisp_Object
2884 nconc2 (s1, s2)
2885 Lisp_Object s1, s2;
2887 #ifdef NO_ARG_ARRAY
2888 Lisp_Object args[2];
2889 args[0] = s1;
2890 args[1] = s2;
2891 return Fnconc (2, args);
2892 #else
2893 return Fnconc (2, &s1);
2894 #endif /* NO_ARG_ARRAY */
2897 DEFUN ("nconc", Fnconc, Snconc, 0, MANY, 0,
2898 doc: /* Concatenate any number of lists by altering them.
2899 Only the last argument is not altered, and need not be a list.
2900 usage: (nconc &rest LISTS) */)
2901 (nargs, args)
2902 int nargs;
2903 Lisp_Object *args;
2905 register int argnum;
2906 register Lisp_Object tail, tem, val;
2908 val = tail = Qnil;
2910 for (argnum = 0; argnum < nargs; argnum++)
2912 tem = args[argnum];
2913 if (NILP (tem)) continue;
2915 if (NILP (val))
2916 val = tem;
2918 if (argnum + 1 == nargs) break;
2920 if (!CONSP (tem))
2921 tem = wrong_type_argument (Qlistp, tem);
2923 while (CONSP (tem))
2925 tail = tem;
2926 tem = XCDR (tail);
2927 QUIT;
2930 tem = args[argnum + 1];
2931 Fsetcdr (tail, tem);
2932 if (NILP (tem))
2933 args[argnum + 1] = tail;
2936 return val;
2939 /* This is the guts of all mapping functions.
2940 Apply FN to each element of SEQ, one by one,
2941 storing the results into elements of VALS, a C vector of Lisp_Objects.
2942 LENI is the length of VALS, which should also be the length of SEQ. */
2944 static void
2945 mapcar1 (leni, vals, fn, seq)
2946 int leni;
2947 Lisp_Object *vals;
2948 Lisp_Object fn, seq;
2950 register Lisp_Object tail;
2951 Lisp_Object dummy;
2952 register int i;
2953 struct gcpro gcpro1, gcpro2, gcpro3;
2955 if (vals)
2957 /* Don't let vals contain any garbage when GC happens. */
2958 for (i = 0; i < leni; i++)
2959 vals[i] = Qnil;
2961 GCPRO3 (dummy, fn, seq);
2962 gcpro1.var = vals;
2963 gcpro1.nvars = leni;
2965 else
2966 GCPRO2 (fn, seq);
2967 /* We need not explicitly protect `tail' because it is used only on lists, and
2968 1) lists are not relocated and 2) the list is marked via `seq' so will not be freed */
2970 if (VECTORP (seq))
2972 for (i = 0; i < leni; i++)
2974 dummy = XVECTOR (seq)->contents[i];
2975 dummy = call1 (fn, dummy);
2976 if (vals)
2977 vals[i] = dummy;
2980 else if (BOOL_VECTOR_P (seq))
2982 for (i = 0; i < leni; i++)
2984 int byte;
2985 byte = XBOOL_VECTOR (seq)->data[i / BOOL_VECTOR_BITS_PER_CHAR];
2986 if (byte & (1 << (i % BOOL_VECTOR_BITS_PER_CHAR)))
2987 dummy = Qt;
2988 else
2989 dummy = Qnil;
2991 dummy = call1 (fn, dummy);
2992 if (vals)
2993 vals[i] = dummy;
2996 else if (STRINGP (seq))
2998 int i_byte;
3000 for (i = 0, i_byte = 0; i < leni;)
3002 int c;
3003 int i_before = i;
3005 FETCH_STRING_CHAR_ADVANCE (c, seq, i, i_byte);
3006 XSETFASTINT (dummy, c);
3007 dummy = call1 (fn, dummy);
3008 if (vals)
3009 vals[i_before] = dummy;
3012 else /* Must be a list, since Flength did not get an error */
3014 tail = seq;
3015 for (i = 0; i < leni; i++)
3017 dummy = call1 (fn, Fcar (tail));
3018 if (vals)
3019 vals[i] = dummy;
3020 tail = XCDR (tail);
3024 UNGCPRO;
3027 DEFUN ("mapconcat", Fmapconcat, Smapconcat, 3, 3, 0,
3028 doc: /* Apply FUNCTION to each element of SEQUENCE, and concat the results as strings.
3029 In between each pair of results, stick in SEPARATOR. Thus, " " as
3030 SEPARATOR results in spaces between the values returned by FUNCTION.
3031 SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
3032 (function, sequence, separator)
3033 Lisp_Object function, sequence, separator;
3035 Lisp_Object len;
3036 register int leni;
3037 int nargs;
3038 register Lisp_Object *args;
3039 register int i;
3040 struct gcpro gcpro1;
3041 Lisp_Object ret;
3042 USE_SAFE_ALLOCA;
3044 len = Flength (sequence);
3045 leni = XINT (len);
3046 nargs = leni + leni - 1;
3047 if (nargs < 0) return build_string ("");
3049 SAFE_ALLOCA_LISP (args, nargs);
3051 GCPRO1 (separator);
3052 mapcar1 (leni, args, function, sequence);
3053 UNGCPRO;
3055 for (i = leni - 1; i >= 0; i--)
3056 args[i + i] = args[i];
3058 for (i = 1; i < nargs; i += 2)
3059 args[i] = separator;
3061 ret = Fconcat (nargs, args);
3062 SAFE_FREE ();
3064 return ret;
3067 DEFUN ("mapcar", Fmapcar, Smapcar, 2, 2, 0,
3068 doc: /* Apply FUNCTION to each element of SEQUENCE, and make a list of the results.
3069 The result is a list just as long as SEQUENCE.
3070 SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
3071 (function, sequence)
3072 Lisp_Object function, sequence;
3074 register Lisp_Object len;
3075 register int leni;
3076 register Lisp_Object *args;
3077 Lisp_Object ret;
3078 USE_SAFE_ALLOCA;
3080 len = Flength (sequence);
3081 leni = XFASTINT (len);
3083 SAFE_ALLOCA_LISP (args, leni);
3085 mapcar1 (leni, args, function, sequence);
3087 ret = Flist (leni, args);
3088 SAFE_FREE ();
3090 return ret;
3093 DEFUN ("mapc", Fmapc, Smapc, 2, 2, 0,
3094 doc: /* Apply FUNCTION to each element of SEQUENCE for side effects only.
3095 Unlike `mapcar', don't accumulate the results. Return SEQUENCE.
3096 SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
3097 (function, sequence)
3098 Lisp_Object function, sequence;
3100 register int leni;
3102 leni = XFASTINT (Flength (sequence));
3103 mapcar1 (leni, 0, function, sequence);
3105 return sequence;
3108 /* Anything that calls this function must protect from GC! */
3110 DEFUN ("y-or-n-p", Fy_or_n_p, Sy_or_n_p, 1, 1, 0,
3111 doc: /* Ask user a "y or n" question. Return t if answer is "y".
3112 Takes one argument, which is the string to display to ask the question.
3113 It should end in a space; `y-or-n-p' adds `(y or n) ' to it.
3114 No confirmation of the answer is requested; a single character is enough.
3115 Also accepts Space to mean yes, or Delete to mean no. \(Actually, it uses
3116 the bindings in `query-replace-map'; see the documentation of that variable
3117 for more information. In this case, the useful bindings are `act', `skip',
3118 `recenter', and `quit'.\)
3120 Under a windowing system a dialog box will be used if `last-nonmenu-event'
3121 is nil and `use-dialog-box' is non-nil. */)
3122 (prompt)
3123 Lisp_Object prompt;
3125 register Lisp_Object obj, key, def, map;
3126 register int answer;
3127 Lisp_Object xprompt;
3128 Lisp_Object args[2];
3129 struct gcpro gcpro1, gcpro2;
3130 int count = SPECPDL_INDEX ();
3132 specbind (Qcursor_in_echo_area, Qt);
3134 map = Fsymbol_value (intern ("query-replace-map"));
3136 CHECK_STRING (prompt);
3137 xprompt = prompt;
3138 GCPRO2 (prompt, xprompt);
3140 #ifdef HAVE_X_WINDOWS
3141 if (display_hourglass_p)
3142 cancel_hourglass ();
3143 #endif
3145 while (1)
3148 #ifdef HAVE_MENUS
3149 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
3150 && use_dialog_box
3151 && have_menus_p ())
3153 Lisp_Object pane, menu;
3154 redisplay_preserve_echo_area (3);
3155 pane = Fcons (Fcons (build_string ("Yes"), Qt),
3156 Fcons (Fcons (build_string ("No"), Qnil),
3157 Qnil));
3158 menu = Fcons (prompt, pane);
3159 obj = Fx_popup_dialog (Qt, menu);
3160 answer = !NILP (obj);
3161 break;
3163 #endif /* HAVE_MENUS */
3164 cursor_in_echo_area = 1;
3165 choose_minibuf_frame ();
3168 Lisp_Object pargs[3];
3170 /* Colorize prompt according to `minibuffer-prompt' face. */
3171 pargs[0] = build_string ("%s(y or n) ");
3172 pargs[1] = intern ("face");
3173 pargs[2] = intern ("minibuffer-prompt");
3174 args[0] = Fpropertize (3, pargs);
3175 args[1] = xprompt;
3176 Fmessage (2, args);
3179 if (minibuffer_auto_raise)
3181 Lisp_Object mini_frame;
3183 mini_frame = WINDOW_FRAME (XWINDOW (minibuf_window));
3185 Fraise_frame (mini_frame);
3188 obj = read_filtered_event (1, 0, 0, 0);
3189 cursor_in_echo_area = 0;
3190 /* If we need to quit, quit with cursor_in_echo_area = 0. */
3191 QUIT;
3193 key = Fmake_vector (make_number (1), obj);
3194 def = Flookup_key (map, key, Qt);
3196 if (EQ (def, intern ("skip")))
3198 answer = 0;
3199 break;
3201 else if (EQ (def, intern ("act")))
3203 answer = 1;
3204 break;
3206 else if (EQ (def, intern ("recenter")))
3208 Frecenter (Qnil);
3209 xprompt = prompt;
3210 continue;
3212 else if (EQ (def, intern ("quit")))
3213 Vquit_flag = Qt;
3214 /* We want to exit this command for exit-prefix,
3215 and this is the only way to do it. */
3216 else if (EQ (def, intern ("exit-prefix")))
3217 Vquit_flag = Qt;
3219 QUIT;
3221 /* If we don't clear this, then the next call to read_char will
3222 return quit_char again, and we'll enter an infinite loop. */
3223 Vquit_flag = Qnil;
3225 Fding (Qnil);
3226 Fdiscard_input ();
3227 if (EQ (xprompt, prompt))
3229 args[0] = build_string ("Please answer y or n. ");
3230 args[1] = prompt;
3231 xprompt = Fconcat (2, args);
3234 UNGCPRO;
3236 if (! noninteractive)
3238 cursor_in_echo_area = -1;
3239 message_with_string (answer ? "%s(y or n) y" : "%s(y or n) n",
3240 xprompt, 0);
3243 unbind_to (count, Qnil);
3244 return answer ? Qt : Qnil;
3247 /* This is how C code calls `yes-or-no-p' and allows the user
3248 to redefined it.
3250 Anything that calls this function must protect from GC! */
3252 Lisp_Object
3253 do_yes_or_no_p (prompt)
3254 Lisp_Object prompt;
3256 return call1 (intern ("yes-or-no-p"), prompt);
3259 /* Anything that calls this function must protect from GC! */
3261 DEFUN ("yes-or-no-p", Fyes_or_no_p, Syes_or_no_p, 1, 1, 0,
3262 doc: /* Ask user a yes-or-no question. Return t if answer is yes.
3263 Takes one argument, which is the string to display to ask the question.
3264 It should end in a space; `yes-or-no-p' adds `(yes or no) ' to it.
3265 The user must confirm the answer with RET,
3266 and can edit it until it has been confirmed.
3268 Under a windowing system a dialog box will be used if `last-nonmenu-event'
3269 is nil, and `use-dialog-box' is non-nil. */)
3270 (prompt)
3271 Lisp_Object prompt;
3273 register Lisp_Object ans;
3274 Lisp_Object args[2];
3275 struct gcpro gcpro1;
3277 CHECK_STRING (prompt);
3279 #ifdef HAVE_MENUS
3280 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
3281 && use_dialog_box
3282 && have_menus_p ())
3284 Lisp_Object pane, menu, obj;
3285 redisplay_preserve_echo_area (4);
3286 pane = Fcons (Fcons (build_string ("Yes"), Qt),
3287 Fcons (Fcons (build_string ("No"), Qnil),
3288 Qnil));
3289 GCPRO1 (pane);
3290 menu = Fcons (prompt, pane);
3291 obj = Fx_popup_dialog (Qt, menu);
3292 UNGCPRO;
3293 return obj;
3295 #endif /* HAVE_MENUS */
3297 args[0] = prompt;
3298 args[1] = build_string ("(yes or no) ");
3299 prompt = Fconcat (2, args);
3301 GCPRO1 (prompt);
3303 while (1)
3305 ans = Fdowncase (Fread_from_minibuffer (prompt, Qnil, Qnil, Qnil,
3306 Qyes_or_no_p_history, Qnil,
3307 Qnil, Qnil));
3308 if (SCHARS (ans) == 3 && !strcmp (SDATA (ans), "yes"))
3310 UNGCPRO;
3311 return Qt;
3313 if (SCHARS (ans) == 2 && !strcmp (SDATA (ans), "no"))
3315 UNGCPRO;
3316 return Qnil;
3319 Fding (Qnil);
3320 Fdiscard_input ();
3321 message ("Please answer yes or no.");
3322 Fsleep_for (make_number (2), Qnil);
3326 DEFUN ("load-average", Fload_average, Sload_average, 0, 1, 0,
3327 doc: /* Return list of 1 minute, 5 minute and 15 minute load averages.
3329 Each of the three load averages is multiplied by 100, then converted
3330 to integer.
3332 When USE-FLOATS is non-nil, floats will be used instead of integers.
3333 These floats are not multiplied by 100.
3335 If the 5-minute or 15-minute load averages are not available, return a
3336 shortened list, containing only those averages which are available.
3338 An error is thrown if the load average can't be obtained. In some
3339 cases making it work would require Emacs being installed setuid or
3340 setgid so that it can read kernel information, and that usually isn't
3341 advisable. */)
3342 (use_floats)
3343 Lisp_Object use_floats;
3345 double load_ave[3];
3346 int loads = getloadavg (load_ave, 3);
3347 Lisp_Object ret = Qnil;
3349 if (loads < 0)
3350 error ("load-average not implemented for this operating system");
3352 while (loads-- > 0)
3354 Lisp_Object load = (NILP (use_floats) ?
3355 make_number ((int) (100.0 * load_ave[loads]))
3356 : make_float (load_ave[loads]));
3357 ret = Fcons (load, ret);
3360 return ret;
3363 Lisp_Object Vfeatures, Qsubfeatures;
3364 extern Lisp_Object Vafter_load_alist;
3366 DEFUN ("featurep", Ffeaturep, Sfeaturep, 1, 2, 0,
3367 doc: /* Returns t if FEATURE is present in this Emacs.
3369 Use this to conditionalize execution of lisp code based on the
3370 presence or absence of emacs or environment extensions.
3371 Use `provide' to declare that a feature is available. This function
3372 looks at the value of the variable `features'. The optional argument
3373 SUBFEATURE can be used to check a specific subfeature of FEATURE. */)
3374 (feature, subfeature)
3375 Lisp_Object feature, subfeature;
3377 register Lisp_Object tem;
3378 CHECK_SYMBOL (feature);
3379 tem = Fmemq (feature, Vfeatures);
3380 if (!NILP (tem) && !NILP (subfeature))
3381 tem = Fmember (subfeature, Fget (feature, Qsubfeatures));
3382 return (NILP (tem)) ? Qnil : Qt;
3385 DEFUN ("provide", Fprovide, Sprovide, 1, 2, 0,
3386 doc: /* Announce that FEATURE is a feature of the current Emacs.
3387 The optional argument SUBFEATURES should be a list of symbols listing
3388 particular subfeatures supported in this version of FEATURE. */)
3389 (feature, subfeatures)
3390 Lisp_Object feature, subfeatures;
3392 register Lisp_Object tem;
3393 CHECK_SYMBOL (feature);
3394 CHECK_LIST (subfeatures);
3395 if (!NILP (Vautoload_queue))
3396 Vautoload_queue = Fcons (Fcons (Vfeatures, Qnil), Vautoload_queue);
3397 tem = Fmemq (feature, Vfeatures);
3398 if (NILP (tem))
3399 Vfeatures = Fcons (feature, Vfeatures);
3400 if (!NILP (subfeatures))
3401 Fput (feature, Qsubfeatures, subfeatures);
3402 LOADHIST_ATTACH (Fcons (Qprovide, feature));
3404 /* Run any load-hooks for this file. */
3405 tem = Fassq (feature, Vafter_load_alist);
3406 if (CONSP (tem))
3407 Fprogn (XCDR (tem));
3409 return feature;
3412 /* `require' and its subroutines. */
3414 /* List of features currently being require'd, innermost first. */
3416 Lisp_Object require_nesting_list;
3418 Lisp_Object
3419 require_unwind (old_value)
3420 Lisp_Object old_value;
3422 return require_nesting_list = old_value;
3425 DEFUN ("require", Frequire, Srequire, 1, 3, 0,
3426 doc: /* If feature FEATURE is not loaded, load it from FILENAME.
3427 If FEATURE is not a member of the list `features', then the feature
3428 is not loaded; so load the file FILENAME.
3429 If FILENAME is omitted, the printname of FEATURE is used as the file name,
3430 and `load' will try to load this name appended with the suffix `.elc' or
3431 `.el', in that order. The name without appended suffix will not be used.
3432 If the optional third argument NOERROR is non-nil,
3433 then return nil if the file is not found instead of signaling an error.
3434 Normally the return value is FEATURE.
3435 The normal messages at start and end of loading FILENAME are suppressed. */)
3436 (feature, filename, noerror)
3437 Lisp_Object feature, filename, noerror;
3439 register Lisp_Object tem;
3440 struct gcpro gcpro1, gcpro2;
3442 CHECK_SYMBOL (feature);
3444 tem = Fmemq (feature, Vfeatures);
3446 if (NILP (tem))
3448 int count = SPECPDL_INDEX ();
3449 int nesting = 0;
3451 LOADHIST_ATTACH (Fcons (Qrequire, feature));
3453 /* This is to make sure that loadup.el gives a clear picture
3454 of what files are preloaded and when. */
3455 if (! NILP (Vpurify_flag))
3456 error ("(require %s) while preparing to dump",
3457 SDATA (SYMBOL_NAME (feature)));
3459 /* A certain amount of recursive `require' is legitimate,
3460 but if we require the same feature recursively 3 times,
3461 signal an error. */
3462 tem = require_nesting_list;
3463 while (! NILP (tem))
3465 if (! NILP (Fequal (feature, XCAR (tem))))
3466 nesting++;
3467 tem = XCDR (tem);
3469 if (nesting > 3)
3470 error ("Recursive `require' for feature `%s'",
3471 SDATA (SYMBOL_NAME (feature)));
3473 /* Update the list for any nested `require's that occur. */
3474 record_unwind_protect (require_unwind, require_nesting_list);
3475 require_nesting_list = Fcons (feature, require_nesting_list);
3477 /* Value saved here is to be restored into Vautoload_queue */
3478 record_unwind_protect (un_autoload, Vautoload_queue);
3479 Vautoload_queue = Qt;
3481 /* Load the file. */
3482 GCPRO2 (feature, filename);
3483 tem = Fload (NILP (filename) ? Fsymbol_name (feature) : filename,
3484 noerror, Qt, Qnil, (NILP (filename) ? Qt : Qnil));
3485 UNGCPRO;
3487 /* If load failed entirely, return nil. */
3488 if (NILP (tem))
3489 return unbind_to (count, Qnil);
3491 tem = Fmemq (feature, Vfeatures);
3492 if (NILP (tem))
3493 error ("Required feature `%s' was not provided",
3494 SDATA (SYMBOL_NAME (feature)));
3496 /* Once loading finishes, don't undo it. */
3497 Vautoload_queue = Qt;
3498 feature = unbind_to (count, feature);
3501 return feature;
3504 /* Primitives for work of the "widget" library.
3505 In an ideal world, this section would not have been necessary.
3506 However, lisp function calls being as slow as they are, it turns
3507 out that some functions in the widget library (wid-edit.el) are the
3508 bottleneck of Widget operation. Here is their translation to C,
3509 for the sole reason of efficiency. */
3511 DEFUN ("plist-member", Fplist_member, Splist_member, 2, 2, 0,
3512 doc: /* Return non-nil if PLIST has the property PROP.
3513 PLIST is a property list, which is a list of the form
3514 \(PROP1 VALUE1 PROP2 VALUE2 ...\). PROP is a symbol.
3515 Unlike `plist-get', this allows you to distinguish between a missing
3516 property and a property with the value nil.
3517 The value is actually the tail of PLIST whose car is PROP. */)
3518 (plist, prop)
3519 Lisp_Object plist, prop;
3521 while (CONSP (plist) && !EQ (XCAR (plist), prop))
3523 QUIT;
3524 plist = XCDR (plist);
3525 plist = CDR (plist);
3527 return plist;
3530 DEFUN ("widget-put", Fwidget_put, Swidget_put, 3, 3, 0,
3531 doc: /* In WIDGET, set PROPERTY to VALUE.
3532 The value can later be retrieved with `widget-get'. */)
3533 (widget, property, value)
3534 Lisp_Object widget, property, value;
3536 CHECK_CONS (widget);
3537 XSETCDR (widget, Fplist_put (XCDR (widget), property, value));
3538 return value;
3541 DEFUN ("widget-get", Fwidget_get, Swidget_get, 2, 2, 0,
3542 doc: /* In WIDGET, get the value of PROPERTY.
3543 The value could either be specified when the widget was created, or
3544 later with `widget-put'. */)
3545 (widget, property)
3546 Lisp_Object widget, property;
3548 Lisp_Object tmp;
3550 while (1)
3552 if (NILP (widget))
3553 return Qnil;
3554 CHECK_CONS (widget);
3555 tmp = Fplist_member (XCDR (widget), property);
3556 if (CONSP (tmp))
3558 tmp = XCDR (tmp);
3559 return CAR (tmp);
3561 tmp = XCAR (widget);
3562 if (NILP (tmp))
3563 return Qnil;
3564 widget = Fget (tmp, Qwidget_type);
3568 DEFUN ("widget-apply", Fwidget_apply, Swidget_apply, 2, MANY, 0,
3569 doc: /* Apply the value of WIDGET's PROPERTY to the widget itself.
3570 ARGS are passed as extra arguments to the function.
3571 usage: (widget-apply WIDGET PROPERTY &rest ARGS) */)
3572 (nargs, args)
3573 int nargs;
3574 Lisp_Object *args;
3576 /* This function can GC. */
3577 Lisp_Object newargs[3];
3578 struct gcpro gcpro1, gcpro2;
3579 Lisp_Object result;
3581 newargs[0] = Fwidget_get (args[0], args[1]);
3582 newargs[1] = args[0];
3583 newargs[2] = Flist (nargs - 2, args + 2);
3584 GCPRO2 (newargs[0], newargs[2]);
3585 result = Fapply (3, newargs);
3586 UNGCPRO;
3587 return result;
3590 #ifdef HAVE_LANGINFO_CODESET
3591 #include <langinfo.h>
3592 #endif
3594 DEFUN ("locale-info", Flocale_info, Slocale_info, 1, 1, 0,
3595 doc: /* Access locale data ITEM for the current C locale, if available.
3596 ITEM should be one of the following:
3598 `codeset', returning the character set as a string (locale item CODESET);
3600 `days', returning a 7-element vector of day names (locale items DAY_n);
3602 `months', returning a 12-element vector of month names (locale items MON_n);
3604 `paper', returning a list (WIDTH HEIGHT) for the default paper size,
3605 both measured in milimeters (locale items PAPER_WIDTH, PAPER_HEIGHT).
3607 If the system can't provide such information through a call to
3608 `nl_langinfo', or if ITEM isn't from the list above, return nil.
3610 See also Info node `(libc)Locales'.
3612 The data read from the system are decoded using `locale-coding-system'. */)
3613 (item)
3614 Lisp_Object item;
3616 char *str = NULL;
3617 #ifdef HAVE_LANGINFO_CODESET
3618 Lisp_Object val;
3619 if (EQ (item, Qcodeset))
3621 str = nl_langinfo (CODESET);
3622 return build_string (str);
3624 #ifdef DAY_1
3625 else if (EQ (item, Qdays)) /* e.g. for calendar-day-name-array */
3627 Lisp_Object v = Fmake_vector (make_number (7), Qnil);
3628 int days[7] = {DAY_1, DAY_2, DAY_3, DAY_4, DAY_5, DAY_6, DAY_7};
3629 int i;
3630 synchronize_system_time_locale ();
3631 for (i = 0; i < 7; i++)
3633 str = nl_langinfo (days[i]);
3634 val = make_unibyte_string (str, strlen (str));
3635 /* Fixme: Is this coding system necessarily right, even if
3636 it is consistent with CODESET? If not, what to do? */
3637 Faset (v, make_number (i),
3638 code_convert_string_norecord (val, Vlocale_coding_system,
3639 0));
3641 return v;
3643 #endif /* DAY_1 */
3644 #ifdef MON_1
3645 else if (EQ (item, Qmonths)) /* e.g. for calendar-month-name-array */
3647 struct Lisp_Vector *p = allocate_vector (12);
3648 int months[12] = {MON_1, MON_2, MON_3, MON_4, MON_5, MON_6, MON_7,
3649 MON_8, MON_9, MON_10, MON_11, MON_12};
3650 int i;
3651 synchronize_system_time_locale ();
3652 for (i = 0; i < 12; i++)
3654 str = nl_langinfo (months[i]);
3655 val = make_unibyte_string (str, strlen (str));
3656 p->contents[i] =
3657 code_convert_string_norecord (val, Vlocale_coding_system, 0);
3659 XSETVECTOR (val, p);
3660 return val;
3662 #endif /* MON_1 */
3663 /* LC_PAPER stuff isn't defined as accessible in glibc as of 2.3.1,
3664 but is in the locale files. This could be used by ps-print. */
3665 #ifdef PAPER_WIDTH
3666 else if (EQ (item, Qpaper))
3668 return list2 (make_number (nl_langinfo (PAPER_WIDTH)),
3669 make_number (nl_langinfo (PAPER_HEIGHT)));
3671 #endif /* PAPER_WIDTH */
3672 #endif /* HAVE_LANGINFO_CODESET*/
3673 return Qnil;
3676 /* base64 encode/decode functions (RFC 2045).
3677 Based on code from GNU recode. */
3679 #define MIME_LINE_LENGTH 76
3681 #define IS_ASCII(Character) \
3682 ((Character) < 128)
3683 #define IS_BASE64(Character) \
3684 (IS_ASCII (Character) && base64_char_to_value[Character] >= 0)
3685 #define IS_BASE64_IGNORABLE(Character) \
3686 ((Character) == ' ' || (Character) == '\t' || (Character) == '\n' \
3687 || (Character) == '\f' || (Character) == '\r')
3689 /* Used by base64_decode_1 to retrieve a non-base64-ignorable
3690 character or return retval if there are no characters left to
3691 process. */
3692 #define READ_QUADRUPLET_BYTE(retval) \
3693 do \
3695 if (i == length) \
3697 if (nchars_return) \
3698 *nchars_return = nchars; \
3699 return (retval); \
3701 c = from[i++]; \
3703 while (IS_BASE64_IGNORABLE (c))
3705 /* Table of characters coding the 64 values. */
3706 static char base64_value_to_char[64] =
3708 'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', /* 0- 9 */
3709 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', /* 10-19 */
3710 'U', 'V', 'W', 'X', 'Y', 'Z', 'a', 'b', 'c', 'd', /* 20-29 */
3711 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', /* 30-39 */
3712 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', /* 40-49 */
3713 'y', 'z', '0', '1', '2', '3', '4', '5', '6', '7', /* 50-59 */
3714 '8', '9', '+', '/' /* 60-63 */
3717 /* Table of base64 values for first 128 characters. */
3718 static short base64_char_to_value[128] =
3720 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 0- 9 */
3721 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 10- 19 */
3722 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 20- 29 */
3723 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 30- 39 */
3724 -1, -1, -1, 62, -1, -1, -1, 63, 52, 53, /* 40- 49 */
3725 54, 55, 56, 57, 58, 59, 60, 61, -1, -1, /* 50- 59 */
3726 -1, -1, -1, -1, -1, 0, 1, 2, 3, 4, /* 60- 69 */
3727 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, /* 70- 79 */
3728 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, /* 80- 89 */
3729 25, -1, -1, -1, -1, -1, -1, 26, 27, 28, /* 90- 99 */
3730 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, /* 100-109 */
3731 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, /* 110-119 */
3732 49, 50, 51, -1, -1, -1, -1, -1 /* 120-127 */
3735 /* The following diagram shows the logical steps by which three octets
3736 get transformed into four base64 characters.
3738 .--------. .--------. .--------.
3739 |aaaaaabb| |bbbbcccc| |ccdddddd|
3740 `--------' `--------' `--------'
3741 6 2 4 4 2 6
3742 .--------+--------+--------+--------.
3743 |00aaaaaa|00bbbbbb|00cccccc|00dddddd|
3744 `--------+--------+--------+--------'
3746 .--------+--------+--------+--------.
3747 |AAAAAAAA|BBBBBBBB|CCCCCCCC|DDDDDDDD|
3748 `--------+--------+--------+--------'
3750 The octets are divided into 6 bit chunks, which are then encoded into
3751 base64 characters. */
3754 static int base64_encode_1 P_ ((const char *, char *, int, int, int));
3755 static int base64_decode_1 P_ ((const char *, char *, int, int, int *));
3757 DEFUN ("base64-encode-region", Fbase64_encode_region, Sbase64_encode_region,
3758 2, 3, "r",
3759 doc: /* Base64-encode the region between BEG and END.
3760 Return the length of the encoded text.
3761 Optional third argument NO-LINE-BREAK means do not break long lines
3762 into shorter lines. */)
3763 (beg, end, no_line_break)
3764 Lisp_Object beg, end, no_line_break;
3766 char *encoded;
3767 int allength, length;
3768 int ibeg, iend, encoded_length;
3769 int old_pos = PT;
3770 USE_SAFE_ALLOCA;
3772 validate_region (&beg, &end);
3774 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
3775 iend = CHAR_TO_BYTE (XFASTINT (end));
3776 move_gap_both (XFASTINT (beg), ibeg);
3778 /* We need to allocate enough room for encoding the text.
3779 We need 33 1/3% more space, plus a newline every 76
3780 characters, and then we round up. */
3781 length = iend - ibeg;
3782 allength = length + length/3 + 1;
3783 allength += allength / MIME_LINE_LENGTH + 1 + 6;
3785 SAFE_ALLOCA (encoded, char *, allength);
3786 encoded_length = base64_encode_1 (BYTE_POS_ADDR (ibeg), encoded, length,
3787 NILP (no_line_break),
3788 !NILP (current_buffer->enable_multibyte_characters));
3789 if (encoded_length > allength)
3790 abort ();
3792 if (encoded_length < 0)
3794 /* The encoding wasn't possible. */
3795 SAFE_FREE ();
3796 error ("Multibyte character in data for base64 encoding");
3799 /* Now we have encoded the region, so we insert the new contents
3800 and delete the old. (Insert first in order to preserve markers.) */
3801 SET_PT_BOTH (XFASTINT (beg), ibeg);
3802 insert (encoded, encoded_length);
3803 SAFE_FREE ();
3804 del_range_byte (ibeg + encoded_length, iend + encoded_length, 1);
3806 /* If point was outside of the region, restore it exactly; else just
3807 move to the beginning of the region. */
3808 if (old_pos >= XFASTINT (end))
3809 old_pos += encoded_length - (XFASTINT (end) - XFASTINT (beg));
3810 else if (old_pos > XFASTINT (beg))
3811 old_pos = XFASTINT (beg);
3812 SET_PT (old_pos);
3814 /* We return the length of the encoded text. */
3815 return make_number (encoded_length);
3818 DEFUN ("base64-encode-string", Fbase64_encode_string, Sbase64_encode_string,
3819 1, 2, 0,
3820 doc: /* Base64-encode STRING and return the result.
3821 Optional second argument NO-LINE-BREAK means do not break long lines
3822 into shorter lines. */)
3823 (string, no_line_break)
3824 Lisp_Object string, no_line_break;
3826 int allength, length, encoded_length;
3827 char *encoded;
3828 Lisp_Object encoded_string;
3829 USE_SAFE_ALLOCA;
3831 CHECK_STRING (string);
3833 /* We need to allocate enough room for encoding the text.
3834 We need 33 1/3% more space, plus a newline every 76
3835 characters, and then we round up. */
3836 length = SBYTES (string);
3837 allength = length + length/3 + 1;
3838 allength += allength / MIME_LINE_LENGTH + 1 + 6;
3840 /* We need to allocate enough room for decoding the text. */
3841 SAFE_ALLOCA (encoded, char *, allength);
3843 encoded_length = base64_encode_1 (SDATA (string),
3844 encoded, length, NILP (no_line_break),
3845 STRING_MULTIBYTE (string));
3846 if (encoded_length > allength)
3847 abort ();
3849 if (encoded_length < 0)
3851 /* The encoding wasn't possible. */
3852 SAFE_FREE ();
3853 error ("Multibyte character in data for base64 encoding");
3856 encoded_string = make_unibyte_string (encoded, encoded_length);
3857 SAFE_FREE ();
3859 return encoded_string;
3862 static int
3863 base64_encode_1 (from, to, length, line_break, multibyte)
3864 const char *from;
3865 char *to;
3866 int length;
3867 int line_break;
3868 int multibyte;
3870 int counter = 0, i = 0;
3871 char *e = to;
3872 int c;
3873 unsigned int value;
3874 int bytes;
3876 while (i < length)
3878 if (multibyte)
3880 c = STRING_CHAR_AND_LENGTH (from + i, length - i, bytes);
3881 if (c >= 256)
3882 return -1;
3883 i += bytes;
3885 else
3886 c = from[i++];
3888 /* Wrap line every 76 characters. */
3890 if (line_break)
3892 if (counter < MIME_LINE_LENGTH / 4)
3893 counter++;
3894 else
3896 *e++ = '\n';
3897 counter = 1;
3901 /* Process first byte of a triplet. */
3903 *e++ = base64_value_to_char[0x3f & c >> 2];
3904 value = (0x03 & c) << 4;
3906 /* Process second byte of a triplet. */
3908 if (i == length)
3910 *e++ = base64_value_to_char[value];
3911 *e++ = '=';
3912 *e++ = '=';
3913 break;
3916 if (multibyte)
3918 c = STRING_CHAR_AND_LENGTH (from + i, length - i, bytes);
3919 if (c >= 256)
3920 return -1;
3921 i += bytes;
3923 else
3924 c = from[i++];
3926 *e++ = base64_value_to_char[value | (0x0f & c >> 4)];
3927 value = (0x0f & c) << 2;
3929 /* Process third byte of a triplet. */
3931 if (i == length)
3933 *e++ = base64_value_to_char[value];
3934 *e++ = '=';
3935 break;
3938 if (multibyte)
3940 c = STRING_CHAR_AND_LENGTH (from + i, length - i, bytes);
3941 if (c >= 256)
3942 return -1;
3943 i += bytes;
3945 else
3946 c = from[i++];
3948 *e++ = base64_value_to_char[value | (0x03 & c >> 6)];
3949 *e++ = base64_value_to_char[0x3f & c];
3952 return e - to;
3956 DEFUN ("base64-decode-region", Fbase64_decode_region, Sbase64_decode_region,
3957 2, 2, "r",
3958 doc: /* Base64-decode the region between BEG and END.
3959 Return the length of the decoded text.
3960 If the region can't be decoded, signal an error and don't modify the buffer. */)
3961 (beg, end)
3962 Lisp_Object beg, end;
3964 int ibeg, iend, length, allength;
3965 char *decoded;
3966 int old_pos = PT;
3967 int decoded_length;
3968 int inserted_chars;
3969 int multibyte = !NILP (current_buffer->enable_multibyte_characters);
3970 USE_SAFE_ALLOCA;
3972 validate_region (&beg, &end);
3974 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
3975 iend = CHAR_TO_BYTE (XFASTINT (end));
3977 length = iend - ibeg;
3979 /* We need to allocate enough room for decoding the text. If we are
3980 working on a multibyte buffer, each decoded code may occupy at
3981 most two bytes. */
3982 allength = multibyte ? length * 2 : length;
3983 SAFE_ALLOCA (decoded, char *, allength);
3985 move_gap_both (XFASTINT (beg), ibeg);
3986 decoded_length = base64_decode_1 (BYTE_POS_ADDR (ibeg), decoded, length,
3987 multibyte, &inserted_chars);
3988 if (decoded_length > allength)
3989 abort ();
3991 if (decoded_length < 0)
3993 /* The decoding wasn't possible. */
3994 SAFE_FREE ();
3995 error ("Invalid base64 data");
3998 /* Now we have decoded the region, so we insert the new contents
3999 and delete the old. (Insert first in order to preserve markers.) */
4000 TEMP_SET_PT_BOTH (XFASTINT (beg), ibeg);
4001 insert_1_both (decoded, inserted_chars, decoded_length, 0, 1, 0);
4002 SAFE_FREE ();
4004 /* Delete the original text. */
4005 del_range_both (PT, PT_BYTE, XFASTINT (end) + inserted_chars,
4006 iend + decoded_length, 1);
4008 /* If point was outside of the region, restore it exactly; else just
4009 move to the beginning of the region. */
4010 if (old_pos >= XFASTINT (end))
4011 old_pos += inserted_chars - (XFASTINT (end) - XFASTINT (beg));
4012 else if (old_pos > XFASTINT (beg))
4013 old_pos = XFASTINT (beg);
4014 SET_PT (old_pos > ZV ? ZV : old_pos);
4016 return make_number (inserted_chars);
4019 DEFUN ("base64-decode-string", Fbase64_decode_string, Sbase64_decode_string,
4020 1, 1, 0,
4021 doc: /* Base64-decode STRING and return the result. */)
4022 (string)
4023 Lisp_Object string;
4025 char *decoded;
4026 int length, decoded_length;
4027 Lisp_Object decoded_string;
4028 USE_SAFE_ALLOCA;
4030 CHECK_STRING (string);
4032 length = SBYTES (string);
4033 /* We need to allocate enough room for decoding the text. */
4034 SAFE_ALLOCA (decoded, char *, length);
4036 /* The decoded result should be unibyte. */
4037 decoded_length = base64_decode_1 (SDATA (string), decoded, length,
4038 0, NULL);
4039 if (decoded_length > length)
4040 abort ();
4041 else if (decoded_length >= 0)
4042 decoded_string = make_unibyte_string (decoded, decoded_length);
4043 else
4044 decoded_string = Qnil;
4046 SAFE_FREE ();
4047 if (!STRINGP (decoded_string))
4048 error ("Invalid base64 data");
4050 return decoded_string;
4053 /* Base64-decode the data at FROM of LENGHT bytes into TO. If
4054 MULTIBYTE is nonzero, the decoded result should be in multibyte
4055 form. If NCHARS_RETRUN is not NULL, store the number of produced
4056 characters in *NCHARS_RETURN. */
4058 static int
4059 base64_decode_1 (from, to, length, multibyte, nchars_return)
4060 const char *from;
4061 char *to;
4062 int length;
4063 int multibyte;
4064 int *nchars_return;
4066 int i = 0;
4067 char *e = to;
4068 unsigned char c;
4069 unsigned long value;
4070 int nchars = 0;
4072 while (1)
4074 /* Process first byte of a quadruplet. */
4076 READ_QUADRUPLET_BYTE (e-to);
4078 if (!IS_BASE64 (c))
4079 return -1;
4080 value = base64_char_to_value[c] << 18;
4082 /* Process second byte of a quadruplet. */
4084 READ_QUADRUPLET_BYTE (-1);
4086 if (!IS_BASE64 (c))
4087 return -1;
4088 value |= base64_char_to_value[c] << 12;
4090 c = (unsigned char) (value >> 16);
4091 if (multibyte)
4092 e += CHAR_STRING (c, e);
4093 else
4094 *e++ = c;
4095 nchars++;
4097 /* Process third byte of a quadruplet. */
4099 READ_QUADRUPLET_BYTE (-1);
4101 if (c == '=')
4103 READ_QUADRUPLET_BYTE (-1);
4105 if (c != '=')
4106 return -1;
4107 continue;
4110 if (!IS_BASE64 (c))
4111 return -1;
4112 value |= base64_char_to_value[c] << 6;
4114 c = (unsigned char) (0xff & value >> 8);
4115 if (multibyte)
4116 e += CHAR_STRING (c, e);
4117 else
4118 *e++ = c;
4119 nchars++;
4121 /* Process fourth byte of a quadruplet. */
4123 READ_QUADRUPLET_BYTE (-1);
4125 if (c == '=')
4126 continue;
4128 if (!IS_BASE64 (c))
4129 return -1;
4130 value |= base64_char_to_value[c];
4132 c = (unsigned char) (0xff & value);
4133 if (multibyte)
4134 e += CHAR_STRING (c, e);
4135 else
4136 *e++ = c;
4137 nchars++;
4143 /***********************************************************************
4144 ***** *****
4145 ***** Hash Tables *****
4146 ***** *****
4147 ***********************************************************************/
4149 /* Implemented by gerd@gnu.org. This hash table implementation was
4150 inspired by CMUCL hash tables. */
4152 /* Ideas:
4154 1. For small tables, association lists are probably faster than
4155 hash tables because they have lower overhead.
4157 For uses of hash tables where the O(1) behavior of table
4158 operations is not a requirement, it might therefore be a good idea
4159 not to hash. Instead, we could just do a linear search in the
4160 key_and_value vector of the hash table. This could be done
4161 if a `:linear-search t' argument is given to make-hash-table. */
4164 /* The list of all weak hash tables. Don't staticpro this one. */
4166 Lisp_Object Vweak_hash_tables;
4168 /* Various symbols. */
4170 Lisp_Object Qhash_table_p, Qeq, Qeql, Qequal, Qkey, Qvalue;
4171 Lisp_Object QCtest, QCsize, QCrehash_size, QCrehash_threshold, QCweakness;
4172 Lisp_Object Qhash_table_test, Qkey_or_value, Qkey_and_value;
4174 /* Function prototypes. */
4176 static struct Lisp_Hash_Table *check_hash_table P_ ((Lisp_Object));
4177 static int get_key_arg P_ ((Lisp_Object, int, Lisp_Object *, char *));
4178 static void maybe_resize_hash_table P_ ((struct Lisp_Hash_Table *));
4179 static int cmpfn_eql P_ ((struct Lisp_Hash_Table *, Lisp_Object, unsigned,
4180 Lisp_Object, unsigned));
4181 static int cmpfn_equal P_ ((struct Lisp_Hash_Table *, Lisp_Object, unsigned,
4182 Lisp_Object, unsigned));
4183 static int cmpfn_user_defined P_ ((struct Lisp_Hash_Table *, Lisp_Object,
4184 unsigned, Lisp_Object, unsigned));
4185 static unsigned hashfn_eq P_ ((struct Lisp_Hash_Table *, Lisp_Object));
4186 static unsigned hashfn_eql P_ ((struct Lisp_Hash_Table *, Lisp_Object));
4187 static unsigned hashfn_equal P_ ((struct Lisp_Hash_Table *, Lisp_Object));
4188 static unsigned hashfn_user_defined P_ ((struct Lisp_Hash_Table *,
4189 Lisp_Object));
4190 static unsigned sxhash_string P_ ((unsigned char *, int));
4191 static unsigned sxhash_list P_ ((Lisp_Object, int));
4192 static unsigned sxhash_vector P_ ((Lisp_Object, int));
4193 static unsigned sxhash_bool_vector P_ ((Lisp_Object));
4194 static int sweep_weak_table P_ ((struct Lisp_Hash_Table *, int));
4198 /***********************************************************************
4199 Utilities
4200 ***********************************************************************/
4202 /* If OBJ is a Lisp hash table, return a pointer to its struct
4203 Lisp_Hash_Table. Otherwise, signal an error. */
4205 static struct Lisp_Hash_Table *
4206 check_hash_table (obj)
4207 Lisp_Object obj;
4209 CHECK_HASH_TABLE (obj);
4210 return XHASH_TABLE (obj);
4214 /* Value is the next integer I >= N, N >= 0 which is "almost" a prime
4215 number. */
4218 next_almost_prime (n)
4219 int n;
4221 if (n % 2 == 0)
4222 n += 1;
4223 if (n % 3 == 0)
4224 n += 2;
4225 if (n % 7 == 0)
4226 n += 4;
4227 return n;
4231 /* Find KEY in ARGS which has size NARGS. Don't consider indices for
4232 which USED[I] is non-zero. If found at index I in ARGS, set
4233 USED[I] and USED[I + 1] to 1, and return I + 1. Otherwise return
4234 -1. This function is used to extract a keyword/argument pair from
4235 a DEFUN parameter list. */
4237 static int
4238 get_key_arg (key, nargs, args, used)
4239 Lisp_Object key;
4240 int nargs;
4241 Lisp_Object *args;
4242 char *used;
4244 int i;
4246 for (i = 0; i < nargs - 1; ++i)
4247 if (!used[i] && EQ (args[i], key))
4248 break;
4250 if (i >= nargs - 1)
4251 i = -1;
4252 else
4254 used[i++] = 1;
4255 used[i] = 1;
4258 return i;
4262 /* Return a Lisp vector which has the same contents as VEC but has
4263 size NEW_SIZE, NEW_SIZE >= VEC->size. Entries in the resulting
4264 vector that are not copied from VEC are set to INIT. */
4266 Lisp_Object
4267 larger_vector (vec, new_size, init)
4268 Lisp_Object vec;
4269 int new_size;
4270 Lisp_Object init;
4272 struct Lisp_Vector *v;
4273 int i, old_size;
4275 xassert (VECTORP (vec));
4276 old_size = XVECTOR (vec)->size;
4277 xassert (new_size >= old_size);
4279 v = allocate_vector (new_size);
4280 bcopy (XVECTOR (vec)->contents, v->contents,
4281 old_size * sizeof *v->contents);
4282 for (i = old_size; i < new_size; ++i)
4283 v->contents[i] = init;
4284 XSETVECTOR (vec, v);
4285 return vec;
4289 /***********************************************************************
4290 Low-level Functions
4291 ***********************************************************************/
4293 /* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
4294 HASH2 in hash table H using `eql'. Value is non-zero if KEY1 and
4295 KEY2 are the same. */
4297 static int
4298 cmpfn_eql (h, key1, hash1, key2, hash2)
4299 struct Lisp_Hash_Table *h;
4300 Lisp_Object key1, key2;
4301 unsigned hash1, hash2;
4303 return (FLOATP (key1)
4304 && FLOATP (key2)
4305 && XFLOAT_DATA (key1) == XFLOAT_DATA (key2));
4309 /* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
4310 HASH2 in hash table H using `equal'. Value is non-zero if KEY1 and
4311 KEY2 are the same. */
4313 static int
4314 cmpfn_equal (h, key1, hash1, key2, hash2)
4315 struct Lisp_Hash_Table *h;
4316 Lisp_Object key1, key2;
4317 unsigned hash1, hash2;
4319 return hash1 == hash2 && !NILP (Fequal (key1, key2));
4323 /* Compare KEY1 which has hash code HASH1, and KEY2 with hash code
4324 HASH2 in hash table H using H->user_cmp_function. Value is non-zero
4325 if KEY1 and KEY2 are the same. */
4327 static int
4328 cmpfn_user_defined (h, key1, hash1, key2, hash2)
4329 struct Lisp_Hash_Table *h;
4330 Lisp_Object key1, key2;
4331 unsigned hash1, hash2;
4333 if (hash1 == hash2)
4335 Lisp_Object args[3];
4337 args[0] = h->user_cmp_function;
4338 args[1] = key1;
4339 args[2] = key2;
4340 return !NILP (Ffuncall (3, args));
4342 else
4343 return 0;
4347 /* Value is a hash code for KEY for use in hash table H which uses
4348 `eq' to compare keys. The hash code returned is guaranteed to fit
4349 in a Lisp integer. */
4351 static unsigned
4352 hashfn_eq (h, key)
4353 struct Lisp_Hash_Table *h;
4354 Lisp_Object key;
4356 unsigned hash = XUINT (key) ^ XGCTYPE (key);
4357 xassert ((hash & ~INTMASK) == 0);
4358 return hash;
4362 /* Value is a hash code for KEY for use in hash table H which uses
4363 `eql' to compare keys. The hash code returned is guaranteed to fit
4364 in a Lisp integer. */
4366 static unsigned
4367 hashfn_eql (h, key)
4368 struct Lisp_Hash_Table *h;
4369 Lisp_Object key;
4371 unsigned hash;
4372 if (FLOATP (key))
4373 hash = sxhash (key, 0);
4374 else
4375 hash = XUINT (key) ^ XGCTYPE (key);
4376 xassert ((hash & ~INTMASK) == 0);
4377 return hash;
4381 /* Value is a hash code for KEY for use in hash table H which uses
4382 `equal' to compare keys. The hash code returned is guaranteed to fit
4383 in a Lisp integer. */
4385 static unsigned
4386 hashfn_equal (h, key)
4387 struct Lisp_Hash_Table *h;
4388 Lisp_Object key;
4390 unsigned hash = sxhash (key, 0);
4391 xassert ((hash & ~INTMASK) == 0);
4392 return hash;
4396 /* Value is a hash code for KEY for use in hash table H which uses as
4397 user-defined function to compare keys. The hash code returned is
4398 guaranteed to fit in a Lisp integer. */
4400 static unsigned
4401 hashfn_user_defined (h, key)
4402 struct Lisp_Hash_Table *h;
4403 Lisp_Object key;
4405 Lisp_Object args[2], hash;
4407 args[0] = h->user_hash_function;
4408 args[1] = key;
4409 hash = Ffuncall (2, args);
4410 if (!INTEGERP (hash))
4411 Fsignal (Qerror,
4412 list2 (build_string ("Invalid hash code returned from \
4413 user-supplied hash function"),
4414 hash));
4415 return XUINT (hash);
4419 /* Create and initialize a new hash table.
4421 TEST specifies the test the hash table will use to compare keys.
4422 It must be either one of the predefined tests `eq', `eql' or
4423 `equal' or a symbol denoting a user-defined test named TEST with
4424 test and hash functions USER_TEST and USER_HASH.
4426 Give the table initial capacity SIZE, SIZE >= 0, an integer.
4428 If REHASH_SIZE is an integer, it must be > 0, and this hash table's
4429 new size when it becomes full is computed by adding REHASH_SIZE to
4430 its old size. If REHASH_SIZE is a float, it must be > 1.0, and the
4431 table's new size is computed by multiplying its old size with
4432 REHASH_SIZE.
4434 REHASH_THRESHOLD must be a float <= 1.0, and > 0. The table will
4435 be resized when the ratio of (number of entries in the table) /
4436 (table size) is >= REHASH_THRESHOLD.
4438 WEAK specifies the weakness of the table. If non-nil, it must be
4439 one of the symbols `key', `value', `key-or-value', or `key-and-value'. */
4441 Lisp_Object
4442 make_hash_table (test, size, rehash_size, rehash_threshold, weak,
4443 user_test, user_hash)
4444 Lisp_Object test, size, rehash_size, rehash_threshold, weak;
4445 Lisp_Object user_test, user_hash;
4447 struct Lisp_Hash_Table *h;
4448 Lisp_Object table;
4449 int index_size, i, sz;
4451 /* Preconditions. */
4452 xassert (SYMBOLP (test));
4453 xassert (INTEGERP (size) && XINT (size) >= 0);
4454 xassert ((INTEGERP (rehash_size) && XINT (rehash_size) > 0)
4455 || (FLOATP (rehash_size) && XFLOATINT (rehash_size) > 1.0));
4456 xassert (FLOATP (rehash_threshold)
4457 && XFLOATINT (rehash_threshold) > 0
4458 && XFLOATINT (rehash_threshold) <= 1.0);
4460 if (XFASTINT (size) == 0)
4461 size = make_number (1);
4463 /* Allocate a table and initialize it. */
4464 h = allocate_hash_table ();
4466 /* Initialize hash table slots. */
4467 sz = XFASTINT (size);
4469 h->test = test;
4470 if (EQ (test, Qeql))
4472 h->cmpfn = cmpfn_eql;
4473 h->hashfn = hashfn_eql;
4475 else if (EQ (test, Qeq))
4477 h->cmpfn = NULL;
4478 h->hashfn = hashfn_eq;
4480 else if (EQ (test, Qequal))
4482 h->cmpfn = cmpfn_equal;
4483 h->hashfn = hashfn_equal;
4485 else
4487 h->user_cmp_function = user_test;
4488 h->user_hash_function = user_hash;
4489 h->cmpfn = cmpfn_user_defined;
4490 h->hashfn = hashfn_user_defined;
4493 h->weak = weak;
4494 h->rehash_threshold = rehash_threshold;
4495 h->rehash_size = rehash_size;
4496 h->count = make_number (0);
4497 h->key_and_value = Fmake_vector (make_number (2 * sz), Qnil);
4498 h->hash = Fmake_vector (size, Qnil);
4499 h->next = Fmake_vector (size, Qnil);
4500 /* Cast to int here avoids losing with gcc 2.95 on Tru64/Alpha... */
4501 index_size = next_almost_prime ((int) (sz / XFLOATINT (rehash_threshold)));
4502 h->index = Fmake_vector (make_number (index_size), Qnil);
4504 /* Set up the free list. */
4505 for (i = 0; i < sz - 1; ++i)
4506 HASH_NEXT (h, i) = make_number (i + 1);
4507 h->next_free = make_number (0);
4509 XSET_HASH_TABLE (table, h);
4510 xassert (HASH_TABLE_P (table));
4511 xassert (XHASH_TABLE (table) == h);
4513 /* Maybe add this hash table to the list of all weak hash tables. */
4514 if (NILP (h->weak))
4515 h->next_weak = Qnil;
4516 else
4518 h->next_weak = Vweak_hash_tables;
4519 Vweak_hash_tables = table;
4522 return table;
4526 /* Return a copy of hash table H1. Keys and values are not copied,
4527 only the table itself is. */
4529 Lisp_Object
4530 copy_hash_table (h1)
4531 struct Lisp_Hash_Table *h1;
4533 Lisp_Object table;
4534 struct Lisp_Hash_Table *h2;
4535 struct Lisp_Vector *next;
4537 h2 = allocate_hash_table ();
4538 next = h2->vec_next;
4539 bcopy (h1, h2, sizeof *h2);
4540 h2->vec_next = next;
4541 h2->key_and_value = Fcopy_sequence (h1->key_and_value);
4542 h2->hash = Fcopy_sequence (h1->hash);
4543 h2->next = Fcopy_sequence (h1->next);
4544 h2->index = Fcopy_sequence (h1->index);
4545 XSET_HASH_TABLE (table, h2);
4547 /* Maybe add this hash table to the list of all weak hash tables. */
4548 if (!NILP (h2->weak))
4550 h2->next_weak = Vweak_hash_tables;
4551 Vweak_hash_tables = table;
4554 return table;
4558 /* Resize hash table H if it's too full. If H cannot be resized
4559 because it's already too large, throw an error. */
4561 static INLINE void
4562 maybe_resize_hash_table (h)
4563 struct Lisp_Hash_Table *h;
4565 if (NILP (h->next_free))
4567 int old_size = HASH_TABLE_SIZE (h);
4568 int i, new_size, index_size;
4570 if (INTEGERP (h->rehash_size))
4571 new_size = old_size + XFASTINT (h->rehash_size);
4572 else
4573 new_size = old_size * XFLOATINT (h->rehash_size);
4574 new_size = max (old_size + 1, new_size);
4575 index_size = next_almost_prime ((int)
4576 (new_size
4577 / XFLOATINT (h->rehash_threshold)));
4578 if (max (index_size, 2 * new_size) > MOST_POSITIVE_FIXNUM)
4579 error ("Hash table too large to resize");
4581 h->key_and_value = larger_vector (h->key_and_value, 2 * new_size, Qnil);
4582 h->next = larger_vector (h->next, new_size, Qnil);
4583 h->hash = larger_vector (h->hash, new_size, Qnil);
4584 h->index = Fmake_vector (make_number (index_size), Qnil);
4586 /* Update the free list. Do it so that new entries are added at
4587 the end of the free list. This makes some operations like
4588 maphash faster. */
4589 for (i = old_size; i < new_size - 1; ++i)
4590 HASH_NEXT (h, i) = make_number (i + 1);
4592 if (!NILP (h->next_free))
4594 Lisp_Object last, next;
4596 last = h->next_free;
4597 while (next = HASH_NEXT (h, XFASTINT (last)),
4598 !NILP (next))
4599 last = next;
4601 HASH_NEXT (h, XFASTINT (last)) = make_number (old_size);
4603 else
4604 XSETFASTINT (h->next_free, old_size);
4606 /* Rehash. */
4607 for (i = 0; i < old_size; ++i)
4608 if (!NILP (HASH_HASH (h, i)))
4610 unsigned hash_code = XUINT (HASH_HASH (h, i));
4611 int start_of_bucket = hash_code % XVECTOR (h->index)->size;
4612 HASH_NEXT (h, i) = HASH_INDEX (h, start_of_bucket);
4613 HASH_INDEX (h, start_of_bucket) = make_number (i);
4619 /* Lookup KEY in hash table H. If HASH is non-null, return in *HASH
4620 the hash code of KEY. Value is the index of the entry in H
4621 matching KEY, or -1 if not found. */
4624 hash_lookup (h, key, hash)
4625 struct Lisp_Hash_Table *h;
4626 Lisp_Object key;
4627 unsigned *hash;
4629 unsigned hash_code;
4630 int start_of_bucket;
4631 Lisp_Object idx;
4633 hash_code = h->hashfn (h, key);
4634 if (hash)
4635 *hash = hash_code;
4637 start_of_bucket = hash_code % XVECTOR (h->index)->size;
4638 idx = HASH_INDEX (h, start_of_bucket);
4640 /* We need not gcpro idx since it's either an integer or nil. */
4641 while (!NILP (idx))
4643 int i = XFASTINT (idx);
4644 if (EQ (key, HASH_KEY (h, i))
4645 || (h->cmpfn
4646 && h->cmpfn (h, key, hash_code,
4647 HASH_KEY (h, i), XUINT (HASH_HASH (h, i)))))
4648 break;
4649 idx = HASH_NEXT (h, i);
4652 return NILP (idx) ? -1 : XFASTINT (idx);
4656 /* Put an entry into hash table H that associates KEY with VALUE.
4657 HASH is a previously computed hash code of KEY.
4658 Value is the index of the entry in H matching KEY. */
4661 hash_put (h, key, value, hash)
4662 struct Lisp_Hash_Table *h;
4663 Lisp_Object key, value;
4664 unsigned hash;
4666 int start_of_bucket, i;
4668 xassert ((hash & ~INTMASK) == 0);
4670 /* Increment count after resizing because resizing may fail. */
4671 maybe_resize_hash_table (h);
4672 h->count = make_number (XFASTINT (h->count) + 1);
4674 /* Store key/value in the key_and_value vector. */
4675 i = XFASTINT (h->next_free);
4676 h->next_free = HASH_NEXT (h, i);
4677 HASH_KEY (h, i) = key;
4678 HASH_VALUE (h, i) = value;
4680 /* Remember its hash code. */
4681 HASH_HASH (h, i) = make_number (hash);
4683 /* Add new entry to its collision chain. */
4684 start_of_bucket = hash % XVECTOR (h->index)->size;
4685 HASH_NEXT (h, i) = HASH_INDEX (h, start_of_bucket);
4686 HASH_INDEX (h, start_of_bucket) = make_number (i);
4687 return i;
4691 /* Remove the entry matching KEY from hash table H, if there is one. */
4693 void
4694 hash_remove (h, key)
4695 struct Lisp_Hash_Table *h;
4696 Lisp_Object key;
4698 unsigned hash_code;
4699 int start_of_bucket;
4700 Lisp_Object idx, prev;
4702 hash_code = h->hashfn (h, key);
4703 start_of_bucket = hash_code % XVECTOR (h->index)->size;
4704 idx = HASH_INDEX (h, start_of_bucket);
4705 prev = Qnil;
4707 /* We need not gcpro idx, prev since they're either integers or nil. */
4708 while (!NILP (idx))
4710 int i = XFASTINT (idx);
4712 if (EQ (key, HASH_KEY (h, i))
4713 || (h->cmpfn
4714 && h->cmpfn (h, key, hash_code,
4715 HASH_KEY (h, i), XUINT (HASH_HASH (h, i)))))
4717 /* Take entry out of collision chain. */
4718 if (NILP (prev))
4719 HASH_INDEX (h, start_of_bucket) = HASH_NEXT (h, i);
4720 else
4721 HASH_NEXT (h, XFASTINT (prev)) = HASH_NEXT (h, i);
4723 /* Clear slots in key_and_value and add the slots to
4724 the free list. */
4725 HASH_KEY (h, i) = HASH_VALUE (h, i) = HASH_HASH (h, i) = Qnil;
4726 HASH_NEXT (h, i) = h->next_free;
4727 h->next_free = make_number (i);
4728 h->count = make_number (XFASTINT (h->count) - 1);
4729 xassert (XINT (h->count) >= 0);
4730 break;
4732 else
4734 prev = idx;
4735 idx = HASH_NEXT (h, i);
4741 /* Clear hash table H. */
4743 void
4744 hash_clear (h)
4745 struct Lisp_Hash_Table *h;
4747 if (XFASTINT (h->count) > 0)
4749 int i, size = HASH_TABLE_SIZE (h);
4751 for (i = 0; i < size; ++i)
4753 HASH_NEXT (h, i) = i < size - 1 ? make_number (i + 1) : Qnil;
4754 HASH_KEY (h, i) = Qnil;
4755 HASH_VALUE (h, i) = Qnil;
4756 HASH_HASH (h, i) = Qnil;
4759 for (i = 0; i < XVECTOR (h->index)->size; ++i)
4760 XVECTOR (h->index)->contents[i] = Qnil;
4762 h->next_free = make_number (0);
4763 h->count = make_number (0);
4769 /************************************************************************
4770 Weak Hash Tables
4771 ************************************************************************/
4773 /* Sweep weak hash table H. REMOVE_ENTRIES_P non-zero means remove
4774 entries from the table that don't survive the current GC.
4775 REMOVE_ENTRIES_P zero means mark entries that are in use. Value is
4776 non-zero if anything was marked. */
4778 static int
4779 sweep_weak_table (h, remove_entries_p)
4780 struct Lisp_Hash_Table *h;
4781 int remove_entries_p;
4783 int bucket, n, marked;
4785 n = XVECTOR (h->index)->size & ~ARRAY_MARK_FLAG;
4786 marked = 0;
4788 for (bucket = 0; bucket < n; ++bucket)
4790 Lisp_Object idx, next, prev;
4792 /* Follow collision chain, removing entries that
4793 don't survive this garbage collection. */
4794 prev = Qnil;
4795 for (idx = HASH_INDEX (h, bucket); !GC_NILP (idx); idx = next)
4797 int i = XFASTINT (idx);
4798 int key_known_to_survive_p = survives_gc_p (HASH_KEY (h, i));
4799 int value_known_to_survive_p = survives_gc_p (HASH_VALUE (h, i));
4800 int remove_p;
4802 if (EQ (h->weak, Qkey))
4803 remove_p = !key_known_to_survive_p;
4804 else if (EQ (h->weak, Qvalue))
4805 remove_p = !value_known_to_survive_p;
4806 else if (EQ (h->weak, Qkey_or_value))
4807 remove_p = !(key_known_to_survive_p || value_known_to_survive_p);
4808 else if (EQ (h->weak, Qkey_and_value))
4809 remove_p = !(key_known_to_survive_p && value_known_to_survive_p);
4810 else
4811 abort ();
4813 next = HASH_NEXT (h, i);
4815 if (remove_entries_p)
4817 if (remove_p)
4819 /* Take out of collision chain. */
4820 if (GC_NILP (prev))
4821 HASH_INDEX (h, bucket) = next;
4822 else
4823 HASH_NEXT (h, XFASTINT (prev)) = next;
4825 /* Add to free list. */
4826 HASH_NEXT (h, i) = h->next_free;
4827 h->next_free = idx;
4829 /* Clear key, value, and hash. */
4830 HASH_KEY (h, i) = HASH_VALUE (h, i) = Qnil;
4831 HASH_HASH (h, i) = Qnil;
4833 h->count = make_number (XFASTINT (h->count) - 1);
4836 else
4838 if (!remove_p)
4840 /* Make sure key and value survive. */
4841 if (!key_known_to_survive_p)
4843 mark_object (HASH_KEY (h, i));
4844 marked = 1;
4847 if (!value_known_to_survive_p)
4849 mark_object (HASH_VALUE (h, i));
4850 marked = 1;
4857 return marked;
4860 /* Remove elements from weak hash tables that don't survive the
4861 current garbage collection. Remove weak tables that don't survive
4862 from Vweak_hash_tables. Called from gc_sweep. */
4864 void
4865 sweep_weak_hash_tables ()
4867 Lisp_Object table, used, next;
4868 struct Lisp_Hash_Table *h;
4869 int marked;
4871 /* Mark all keys and values that are in use. Keep on marking until
4872 there is no more change. This is necessary for cases like
4873 value-weak table A containing an entry X -> Y, where Y is used in a
4874 key-weak table B, Z -> Y. If B comes after A in the list of weak
4875 tables, X -> Y might be removed from A, although when looking at B
4876 one finds that it shouldn't. */
4879 marked = 0;
4880 for (table = Vweak_hash_tables; !GC_NILP (table); table = h->next_weak)
4882 h = XHASH_TABLE (table);
4883 if (h->size & ARRAY_MARK_FLAG)
4884 marked |= sweep_weak_table (h, 0);
4887 while (marked);
4889 /* Remove tables and entries that aren't used. */
4890 for (table = Vweak_hash_tables, used = Qnil; !GC_NILP (table); table = next)
4892 h = XHASH_TABLE (table);
4893 next = h->next_weak;
4895 if (h->size & ARRAY_MARK_FLAG)
4897 /* TABLE is marked as used. Sweep its contents. */
4898 if (XFASTINT (h->count) > 0)
4899 sweep_weak_table (h, 1);
4901 /* Add table to the list of used weak hash tables. */
4902 h->next_weak = used;
4903 used = table;
4907 Vweak_hash_tables = used;
4912 /***********************************************************************
4913 Hash Code Computation
4914 ***********************************************************************/
4916 /* Maximum depth up to which to dive into Lisp structures. */
4918 #define SXHASH_MAX_DEPTH 3
4920 /* Maximum length up to which to take list and vector elements into
4921 account. */
4923 #define SXHASH_MAX_LEN 7
4925 /* Combine two integers X and Y for hashing. */
4927 #define SXHASH_COMBINE(X, Y) \
4928 ((((unsigned)(X) << 4) + (((unsigned)(X) >> 24) & 0x0fffffff)) \
4929 + (unsigned)(Y))
4932 /* Return a hash for string PTR which has length LEN. The hash
4933 code returned is guaranteed to fit in a Lisp integer. */
4935 static unsigned
4936 sxhash_string (ptr, len)
4937 unsigned char *ptr;
4938 int len;
4940 unsigned char *p = ptr;
4941 unsigned char *end = p + len;
4942 unsigned char c;
4943 unsigned hash = 0;
4945 while (p != end)
4947 c = *p++;
4948 if (c >= 0140)
4949 c -= 40;
4950 hash = ((hash << 3) + (hash >> 28) + c);
4953 return hash & INTMASK;
4957 /* Return a hash for list LIST. DEPTH is the current depth in the
4958 list. We don't recurse deeper than SXHASH_MAX_DEPTH in it. */
4960 static unsigned
4961 sxhash_list (list, depth)
4962 Lisp_Object list;
4963 int depth;
4965 unsigned hash = 0;
4966 int i;
4968 if (depth < SXHASH_MAX_DEPTH)
4969 for (i = 0;
4970 CONSP (list) && i < SXHASH_MAX_LEN;
4971 list = XCDR (list), ++i)
4973 unsigned hash2 = sxhash (XCAR (list), depth + 1);
4974 hash = SXHASH_COMBINE (hash, hash2);
4977 return hash;
4981 /* Return a hash for vector VECTOR. DEPTH is the current depth in
4982 the Lisp structure. */
4984 static unsigned
4985 sxhash_vector (vec, depth)
4986 Lisp_Object vec;
4987 int depth;
4989 unsigned hash = XVECTOR (vec)->size;
4990 int i, n;
4992 n = min (SXHASH_MAX_LEN, XVECTOR (vec)->size);
4993 for (i = 0; i < n; ++i)
4995 unsigned hash2 = sxhash (XVECTOR (vec)->contents[i], depth + 1);
4996 hash = SXHASH_COMBINE (hash, hash2);
4999 return hash;
5003 /* Return a hash for bool-vector VECTOR. */
5005 static unsigned
5006 sxhash_bool_vector (vec)
5007 Lisp_Object vec;
5009 unsigned hash = XBOOL_VECTOR (vec)->size;
5010 int i, n;
5012 n = min (SXHASH_MAX_LEN, XBOOL_VECTOR (vec)->vector_size);
5013 for (i = 0; i < n; ++i)
5014 hash = SXHASH_COMBINE (hash, XBOOL_VECTOR (vec)->data[i]);
5016 return hash;
5020 /* Return a hash code for OBJ. DEPTH is the current depth in the Lisp
5021 structure. Value is an unsigned integer clipped to INTMASK. */
5023 unsigned
5024 sxhash (obj, depth)
5025 Lisp_Object obj;
5026 int depth;
5028 unsigned hash;
5030 if (depth > SXHASH_MAX_DEPTH)
5031 return 0;
5033 switch (XTYPE (obj))
5035 case Lisp_Int:
5036 hash = XUINT (obj);
5037 break;
5039 case Lisp_Misc:
5040 hash = XUINT (obj);
5041 break;
5043 case Lisp_Symbol:
5044 obj = SYMBOL_NAME (obj);
5045 /* Fall through. */
5047 case Lisp_String:
5048 hash = sxhash_string (SDATA (obj), SCHARS (obj));
5049 break;
5051 /* This can be everything from a vector to an overlay. */
5052 case Lisp_Vectorlike:
5053 if (VECTORP (obj))
5054 /* According to the CL HyperSpec, two arrays are equal only if
5055 they are `eq', except for strings and bit-vectors. In
5056 Emacs, this works differently. We have to compare element
5057 by element. */
5058 hash = sxhash_vector (obj, depth);
5059 else if (BOOL_VECTOR_P (obj))
5060 hash = sxhash_bool_vector (obj);
5061 else
5062 /* Others are `equal' if they are `eq', so let's take their
5063 address as hash. */
5064 hash = XUINT (obj);
5065 break;
5067 case Lisp_Cons:
5068 hash = sxhash_list (obj, depth);
5069 break;
5071 case Lisp_Float:
5073 unsigned char *p = (unsigned char *) &XFLOAT_DATA (obj);
5074 unsigned char *e = p + sizeof XFLOAT_DATA (obj);
5075 for (hash = 0; p < e; ++p)
5076 hash = SXHASH_COMBINE (hash, *p);
5077 break;
5080 default:
5081 abort ();
5084 return hash & INTMASK;
5089 /***********************************************************************
5090 Lisp Interface
5091 ***********************************************************************/
5094 DEFUN ("sxhash", Fsxhash, Ssxhash, 1, 1, 0,
5095 doc: /* Compute a hash code for OBJ and return it as integer. */)
5096 (obj)
5097 Lisp_Object obj;
5099 unsigned hash = sxhash (obj, 0);;
5100 return make_number (hash);
5104 DEFUN ("make-hash-table", Fmake_hash_table, Smake_hash_table, 0, MANY, 0,
5105 doc: /* Create and return a new hash table.
5107 Arguments are specified as keyword/argument pairs. The following
5108 arguments are defined:
5110 :test TEST -- TEST must be a symbol that specifies how to compare
5111 keys. Default is `eql'. Predefined are the tests `eq', `eql', and
5112 `equal'. User-supplied test and hash functions can be specified via
5113 `define-hash-table-test'.
5115 :size SIZE -- A hint as to how many elements will be put in the table.
5116 Default is 65.
5118 :rehash-size REHASH-SIZE - Indicates how to expand the table when it
5119 fills up. If REHASH-SIZE is an integer, add that many space. If it
5120 is a float, it must be > 1.0, and the new size is computed by
5121 multiplying the old size with that factor. Default is 1.5.
5123 :rehash-threshold THRESHOLD -- THRESHOLD must a float > 0, and <= 1.0.
5124 Resize the hash table when ratio of the number of entries in the
5125 table. Default is 0.8.
5127 :weakness WEAK -- WEAK must be one of nil, t, `key', `value',
5128 `key-or-value', or `key-and-value'. If WEAK is not nil, the table
5129 returned is a weak table. Key/value pairs are removed from a weak
5130 hash table when there are no non-weak references pointing to their
5131 key, value, one of key or value, or both key and value, depending on
5132 WEAK. WEAK t is equivalent to `key-and-value'. Default value of WEAK
5133 is nil.
5135 usage: (make-hash-table &rest KEYWORD-ARGS) */)
5136 (nargs, args)
5137 int nargs;
5138 Lisp_Object *args;
5140 Lisp_Object test, size, rehash_size, rehash_threshold, weak;
5141 Lisp_Object user_test, user_hash;
5142 char *used;
5143 int i;
5145 /* The vector `used' is used to keep track of arguments that
5146 have been consumed. */
5147 used = (char *) alloca (nargs * sizeof *used);
5148 bzero (used, nargs * sizeof *used);
5150 /* See if there's a `:test TEST' among the arguments. */
5151 i = get_key_arg (QCtest, nargs, args, used);
5152 test = i < 0 ? Qeql : args[i];
5153 if (!EQ (test, Qeq) && !EQ (test, Qeql) && !EQ (test, Qequal))
5155 /* See if it is a user-defined test. */
5156 Lisp_Object prop;
5158 prop = Fget (test, Qhash_table_test);
5159 if (!CONSP (prop) || !CONSP (XCDR (prop)))
5160 Fsignal (Qerror, list2 (build_string ("Invalid hash table test"),
5161 test));
5162 user_test = XCAR (prop);
5163 user_hash = XCAR (XCDR (prop));
5165 else
5166 user_test = user_hash = Qnil;
5168 /* See if there's a `:size SIZE' argument. */
5169 i = get_key_arg (QCsize, nargs, args, used);
5170 size = i < 0 ? Qnil : args[i];
5171 if (NILP (size))
5172 size = make_number (DEFAULT_HASH_SIZE);
5173 else if (!INTEGERP (size) || XINT (size) < 0)
5174 Fsignal (Qerror,
5175 list2 (build_string ("Invalid hash table size"),
5176 size));
5178 /* Look for `:rehash-size SIZE'. */
5179 i = get_key_arg (QCrehash_size, nargs, args, used);
5180 rehash_size = i < 0 ? make_float (DEFAULT_REHASH_SIZE) : args[i];
5181 if (!NUMBERP (rehash_size)
5182 || (INTEGERP (rehash_size) && XINT (rehash_size) <= 0)
5183 || XFLOATINT (rehash_size) <= 1.0)
5184 Fsignal (Qerror,
5185 list2 (build_string ("Invalid hash table rehash size"),
5186 rehash_size));
5188 /* Look for `:rehash-threshold THRESHOLD'. */
5189 i = get_key_arg (QCrehash_threshold, nargs, args, used);
5190 rehash_threshold = i < 0 ? make_float (DEFAULT_REHASH_THRESHOLD) : args[i];
5191 if (!FLOATP (rehash_threshold)
5192 || XFLOATINT (rehash_threshold) <= 0.0
5193 || XFLOATINT (rehash_threshold) > 1.0)
5194 Fsignal (Qerror,
5195 list2 (build_string ("Invalid hash table rehash threshold"),
5196 rehash_threshold));
5198 /* Look for `:weakness WEAK'. */
5199 i = get_key_arg (QCweakness, nargs, args, used);
5200 weak = i < 0 ? Qnil : args[i];
5201 if (EQ (weak, Qt))
5202 weak = Qkey_and_value;
5203 if (!NILP (weak)
5204 && !EQ (weak, Qkey)
5205 && !EQ (weak, Qvalue)
5206 && !EQ (weak, Qkey_or_value)
5207 && !EQ (weak, Qkey_and_value))
5208 Fsignal (Qerror, list2 (build_string ("Invalid hash table weakness"),
5209 weak));
5211 /* Now, all args should have been used up, or there's a problem. */
5212 for (i = 0; i < nargs; ++i)
5213 if (!used[i])
5214 Fsignal (Qerror,
5215 list2 (build_string ("Invalid argument list"), args[i]));
5217 return make_hash_table (test, size, rehash_size, rehash_threshold, weak,
5218 user_test, user_hash);
5222 DEFUN ("copy-hash-table", Fcopy_hash_table, Scopy_hash_table, 1, 1, 0,
5223 doc: /* Return a copy of hash table TABLE. */)
5224 (table)
5225 Lisp_Object table;
5227 return copy_hash_table (check_hash_table (table));
5231 DEFUN ("hash-table-count", Fhash_table_count, Shash_table_count, 1, 1, 0,
5232 doc: /* Return the number of elements in TABLE. */)
5233 (table)
5234 Lisp_Object table;
5236 return check_hash_table (table)->count;
5240 DEFUN ("hash-table-rehash-size", Fhash_table_rehash_size,
5241 Shash_table_rehash_size, 1, 1, 0,
5242 doc: /* Return the current rehash size of TABLE. */)
5243 (table)
5244 Lisp_Object table;
5246 return check_hash_table (table)->rehash_size;
5250 DEFUN ("hash-table-rehash-threshold", Fhash_table_rehash_threshold,
5251 Shash_table_rehash_threshold, 1, 1, 0,
5252 doc: /* Return the current rehash threshold of TABLE. */)
5253 (table)
5254 Lisp_Object table;
5256 return check_hash_table (table)->rehash_threshold;
5260 DEFUN ("hash-table-size", Fhash_table_size, Shash_table_size, 1, 1, 0,
5261 doc: /* Return the size of TABLE.
5262 The size can be used as an argument to `make-hash-table' to create
5263 a hash table than can hold as many elements of TABLE holds
5264 without need for resizing. */)
5265 (table)
5266 Lisp_Object table;
5268 struct Lisp_Hash_Table *h = check_hash_table (table);
5269 return make_number (HASH_TABLE_SIZE (h));
5273 DEFUN ("hash-table-test", Fhash_table_test, Shash_table_test, 1, 1, 0,
5274 doc: /* Return the test TABLE uses. */)
5275 (table)
5276 Lisp_Object table;
5278 return check_hash_table (table)->test;
5282 DEFUN ("hash-table-weakness", Fhash_table_weakness, Shash_table_weakness,
5283 1, 1, 0,
5284 doc: /* Return the weakness of TABLE. */)
5285 (table)
5286 Lisp_Object table;
5288 return check_hash_table (table)->weak;
5292 DEFUN ("hash-table-p", Fhash_table_p, Shash_table_p, 1, 1, 0,
5293 doc: /* Return t if OBJ is a Lisp hash table object. */)
5294 (obj)
5295 Lisp_Object obj;
5297 return HASH_TABLE_P (obj) ? Qt : Qnil;
5301 DEFUN ("clrhash", Fclrhash, Sclrhash, 1, 1, 0,
5302 doc: /* Clear hash table TABLE. */)
5303 (table)
5304 Lisp_Object table;
5306 hash_clear (check_hash_table (table));
5307 return Qnil;
5311 DEFUN ("gethash", Fgethash, Sgethash, 2, 3, 0,
5312 doc: /* Look up KEY in TABLE and return its associated value.
5313 If KEY is not found, return DFLT which defaults to nil. */)
5314 (key, table, dflt)
5315 Lisp_Object key, table, dflt;
5317 struct Lisp_Hash_Table *h = check_hash_table (table);
5318 int i = hash_lookup (h, key, NULL);
5319 return i >= 0 ? HASH_VALUE (h, i) : dflt;
5323 DEFUN ("puthash", Fputhash, Sputhash, 3, 3, 0,
5324 doc: /* Associate KEY with VALUE in hash table TABLE.
5325 If KEY is already present in table, replace its current value with
5326 VALUE. */)
5327 (key, value, table)
5328 Lisp_Object key, value, table;
5330 struct Lisp_Hash_Table *h = check_hash_table (table);
5331 int i;
5332 unsigned hash;
5334 i = hash_lookup (h, key, &hash);
5335 if (i >= 0)
5336 HASH_VALUE (h, i) = value;
5337 else
5338 hash_put (h, key, value, hash);
5340 return value;
5344 DEFUN ("remhash", Fremhash, Sremhash, 2, 2, 0,
5345 doc: /* Remove KEY from TABLE. */)
5346 (key, table)
5347 Lisp_Object key, table;
5349 struct Lisp_Hash_Table *h = check_hash_table (table);
5350 hash_remove (h, key);
5351 return Qnil;
5355 DEFUN ("maphash", Fmaphash, Smaphash, 2, 2, 0,
5356 doc: /* Call FUNCTION for all entries in hash table TABLE.
5357 FUNCTION is called with 2 arguments KEY and VALUE. */)
5358 (function, table)
5359 Lisp_Object function, table;
5361 struct Lisp_Hash_Table *h = check_hash_table (table);
5362 Lisp_Object args[3];
5363 int i;
5365 for (i = 0; i < HASH_TABLE_SIZE (h); ++i)
5366 if (!NILP (HASH_HASH (h, i)))
5368 args[0] = function;
5369 args[1] = HASH_KEY (h, i);
5370 args[2] = HASH_VALUE (h, i);
5371 Ffuncall (3, args);
5374 return Qnil;
5378 DEFUN ("define-hash-table-test", Fdefine_hash_table_test,
5379 Sdefine_hash_table_test, 3, 3, 0,
5380 doc: /* Define a new hash table test with name NAME, a symbol.
5382 In hash tables created with NAME specified as test, use TEST to
5383 compare keys, and HASH for computing hash codes of keys.
5385 TEST must be a function taking two arguments and returning non-nil if
5386 both arguments are the same. HASH must be a function taking one
5387 argument and return an integer that is the hash code of the argument.
5388 Hash code computation should use the whole value range of integers,
5389 including negative integers. */)
5390 (name, test, hash)
5391 Lisp_Object name, test, hash;
5393 return Fput (name, Qhash_table_test, list2 (test, hash));
5398 /************************************************************************
5400 ************************************************************************/
5402 #include "md5.h"
5403 #include "coding.h"
5405 DEFUN ("md5", Fmd5, Smd5, 1, 5, 0,
5406 doc: /* Return MD5 message digest of OBJECT, a buffer or string.
5408 A message digest is a cryptographic checksum of a document, and the
5409 algorithm to calculate it is defined in RFC 1321.
5411 The two optional arguments START and END are character positions
5412 specifying for which part of OBJECT the message digest should be
5413 computed. If nil or omitted, the digest is computed for the whole
5414 OBJECT.
5416 The MD5 message digest is computed from the result of encoding the
5417 text in a coding system, not directly from the internal Emacs form of
5418 the text. The optional fourth argument CODING-SYSTEM specifies which
5419 coding system to encode the text with. It should be the same coding
5420 system that you used or will use when actually writing the text into a
5421 file.
5423 If CODING-SYSTEM is nil or omitted, the default depends on OBJECT. If
5424 OBJECT is a buffer, the default for CODING-SYSTEM is whatever coding
5425 system would be chosen by default for writing this text into a file.
5427 If OBJECT is a string, the most preferred coding system (see the
5428 command `prefer-coding-system') is used.
5430 If NOERROR is non-nil, silently assume the `raw-text' coding if the
5431 guesswork fails. Normally, an error is signaled in such case. */)
5432 (object, start, end, coding_system, noerror)
5433 Lisp_Object object, start, end, coding_system, noerror;
5435 unsigned char digest[16];
5436 unsigned char value[33];
5437 int i;
5438 int size;
5439 int size_byte = 0;
5440 int start_char = 0, end_char = 0;
5441 int start_byte = 0, end_byte = 0;
5442 register int b, e;
5443 register struct buffer *bp;
5444 int temp;
5446 if (STRINGP (object))
5448 if (NILP (coding_system))
5450 /* Decide the coding-system to encode the data with. */
5452 if (STRING_MULTIBYTE (object))
5453 /* use default, we can't guess correct value */
5454 coding_system = SYMBOL_VALUE (XCAR (Vcoding_category_list));
5455 else
5456 coding_system = Qraw_text;
5459 if (NILP (Fcoding_system_p (coding_system)))
5461 /* Invalid coding system. */
5463 if (!NILP (noerror))
5464 coding_system = Qraw_text;
5465 else
5466 while (1)
5467 Fsignal (Qcoding_system_error, Fcons (coding_system, Qnil));
5470 if (STRING_MULTIBYTE (object))
5471 object = code_convert_string1 (object, coding_system, Qnil, 1);
5473 size = SCHARS (object);
5474 size_byte = SBYTES (object);
5476 if (!NILP (start))
5478 CHECK_NUMBER (start);
5480 start_char = XINT (start);
5482 if (start_char < 0)
5483 start_char += size;
5485 start_byte = string_char_to_byte (object, start_char);
5488 if (NILP (end))
5490 end_char = size;
5491 end_byte = size_byte;
5493 else
5495 CHECK_NUMBER (end);
5497 end_char = XINT (end);
5499 if (end_char < 0)
5500 end_char += size;
5502 end_byte = string_char_to_byte (object, end_char);
5505 if (!(0 <= start_char && start_char <= end_char && end_char <= size))
5506 args_out_of_range_3 (object, make_number (start_char),
5507 make_number (end_char));
5509 else
5511 struct buffer *prev = current_buffer;
5513 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
5515 CHECK_BUFFER (object);
5517 bp = XBUFFER (object);
5518 if (bp != current_buffer)
5519 set_buffer_internal (bp);
5521 if (NILP (start))
5522 b = BEGV;
5523 else
5525 CHECK_NUMBER_COERCE_MARKER (start);
5526 b = XINT (start);
5529 if (NILP (end))
5530 e = ZV;
5531 else
5533 CHECK_NUMBER_COERCE_MARKER (end);
5534 e = XINT (end);
5537 if (b > e)
5538 temp = b, b = e, e = temp;
5540 if (!(BEGV <= b && e <= ZV))
5541 args_out_of_range (start, end);
5543 if (NILP (coding_system))
5545 /* Decide the coding-system to encode the data with.
5546 See fileio.c:Fwrite-region */
5548 if (!NILP (Vcoding_system_for_write))
5549 coding_system = Vcoding_system_for_write;
5550 else
5552 int force_raw_text = 0;
5554 coding_system = XBUFFER (object)->buffer_file_coding_system;
5555 if (NILP (coding_system)
5556 || NILP (Flocal_variable_p (Qbuffer_file_coding_system, Qnil)))
5558 coding_system = Qnil;
5559 if (NILP (current_buffer->enable_multibyte_characters))
5560 force_raw_text = 1;
5563 if (NILP (coding_system) && !NILP (Fbuffer_file_name(object)))
5565 /* Check file-coding-system-alist. */
5566 Lisp_Object args[4], val;
5568 args[0] = Qwrite_region; args[1] = start; args[2] = end;
5569 args[3] = Fbuffer_file_name(object);
5570 val = Ffind_operation_coding_system (4, args);
5571 if (CONSP (val) && !NILP (XCDR (val)))
5572 coding_system = XCDR (val);
5575 if (NILP (coding_system)
5576 && !NILP (XBUFFER (object)->buffer_file_coding_system))
5578 /* If we still have not decided a coding system, use the
5579 default value of buffer-file-coding-system. */
5580 coding_system = XBUFFER (object)->buffer_file_coding_system;
5583 if (!force_raw_text
5584 && !NILP (Ffboundp (Vselect_safe_coding_system_function)))
5585 /* Confirm that VAL can surely encode the current region. */
5586 coding_system = call4 (Vselect_safe_coding_system_function,
5587 make_number (b), make_number (e),
5588 coding_system, Qnil);
5590 if (force_raw_text)
5591 coding_system = Qraw_text;
5594 if (NILP (Fcoding_system_p (coding_system)))
5596 /* Invalid coding system. */
5598 if (!NILP (noerror))
5599 coding_system = Qraw_text;
5600 else
5601 while (1)
5602 Fsignal (Qcoding_system_error, Fcons (coding_system, Qnil));
5606 object = make_buffer_string (b, e, 0);
5607 if (prev != current_buffer)
5608 set_buffer_internal (prev);
5609 /* Discard the unwind protect for recovering the current
5610 buffer. */
5611 specpdl_ptr--;
5613 if (STRING_MULTIBYTE (object))
5614 object = code_convert_string1 (object, coding_system, Qnil, 1);
5617 md5_buffer (SDATA (object) + start_byte,
5618 SBYTES (object) - (size_byte - end_byte),
5619 digest);
5621 for (i = 0; i < 16; i++)
5622 sprintf (&value[2 * i], "%02x", digest[i]);
5623 value[32] = '\0';
5625 return make_string (value, 32);
5629 void
5630 syms_of_fns ()
5632 /* Hash table stuff. */
5633 Qhash_table_p = intern ("hash-table-p");
5634 staticpro (&Qhash_table_p);
5635 Qeq = intern ("eq");
5636 staticpro (&Qeq);
5637 Qeql = intern ("eql");
5638 staticpro (&Qeql);
5639 Qequal = intern ("equal");
5640 staticpro (&Qequal);
5641 QCtest = intern (":test");
5642 staticpro (&QCtest);
5643 QCsize = intern (":size");
5644 staticpro (&QCsize);
5645 QCrehash_size = intern (":rehash-size");
5646 staticpro (&QCrehash_size);
5647 QCrehash_threshold = intern (":rehash-threshold");
5648 staticpro (&QCrehash_threshold);
5649 QCweakness = intern (":weakness");
5650 staticpro (&QCweakness);
5651 Qkey = intern ("key");
5652 staticpro (&Qkey);
5653 Qvalue = intern ("value");
5654 staticpro (&Qvalue);
5655 Qhash_table_test = intern ("hash-table-test");
5656 staticpro (&Qhash_table_test);
5657 Qkey_or_value = intern ("key-or-value");
5658 staticpro (&Qkey_or_value);
5659 Qkey_and_value = intern ("key-and-value");
5660 staticpro (&Qkey_and_value);
5662 defsubr (&Ssxhash);
5663 defsubr (&Smake_hash_table);
5664 defsubr (&Scopy_hash_table);
5665 defsubr (&Shash_table_count);
5666 defsubr (&Shash_table_rehash_size);
5667 defsubr (&Shash_table_rehash_threshold);
5668 defsubr (&Shash_table_size);
5669 defsubr (&Shash_table_test);
5670 defsubr (&Shash_table_weakness);
5671 defsubr (&Shash_table_p);
5672 defsubr (&Sclrhash);
5673 defsubr (&Sgethash);
5674 defsubr (&Sputhash);
5675 defsubr (&Sremhash);
5676 defsubr (&Smaphash);
5677 defsubr (&Sdefine_hash_table_test);
5679 Qstring_lessp = intern ("string-lessp");
5680 staticpro (&Qstring_lessp);
5681 Qprovide = intern ("provide");
5682 staticpro (&Qprovide);
5683 Qrequire = intern ("require");
5684 staticpro (&Qrequire);
5685 Qyes_or_no_p_history = intern ("yes-or-no-p-history");
5686 staticpro (&Qyes_or_no_p_history);
5687 Qcursor_in_echo_area = intern ("cursor-in-echo-area");
5688 staticpro (&Qcursor_in_echo_area);
5689 Qwidget_type = intern ("widget-type");
5690 staticpro (&Qwidget_type);
5692 staticpro (&string_char_byte_cache_string);
5693 string_char_byte_cache_string = Qnil;
5695 require_nesting_list = Qnil;
5696 staticpro (&require_nesting_list);
5698 Fset (Qyes_or_no_p_history, Qnil);
5700 DEFVAR_LISP ("features", &Vfeatures,
5701 doc: /* A list of symbols which are the features of the executing emacs.
5702 Used by `featurep' and `require', and altered by `provide'. */);
5703 Vfeatures = Qnil;
5704 Qsubfeatures = intern ("subfeatures");
5705 staticpro (&Qsubfeatures);
5707 #ifdef HAVE_LANGINFO_CODESET
5708 Qcodeset = intern ("codeset");
5709 staticpro (&Qcodeset);
5710 Qdays = intern ("days");
5711 staticpro (&Qdays);
5712 Qmonths = intern ("months");
5713 staticpro (&Qmonths);
5714 Qpaper = intern ("paper");
5715 staticpro (&Qpaper);
5716 #endif /* HAVE_LANGINFO_CODESET */
5718 DEFVAR_BOOL ("use-dialog-box", &use_dialog_box,
5719 doc: /* *Non-nil means mouse commands use dialog boxes to ask questions.
5720 This applies to `y-or-n-p' and `yes-or-no-p' questions asked by commands
5721 invoked by mouse clicks and mouse menu items. */);
5722 use_dialog_box = 1;
5724 DEFVAR_BOOL ("use-file-dialog", &use_file_dialog,
5725 doc: /* *Non-nil means mouse commands use a file dialog to ask for files.
5726 This applies to commands from menus and tool bar buttons. The value of
5727 `use-dialog-box' takes precedence over this variable, so a file dialog is only
5728 used if both `use-dialog-box' and this variable are non-nil. */);
5729 use_file_dialog = 1;
5731 defsubr (&Sidentity);
5732 defsubr (&Srandom);
5733 defsubr (&Slength);
5734 defsubr (&Ssafe_length);
5735 defsubr (&Sstring_bytes);
5736 defsubr (&Sstring_equal);
5737 defsubr (&Scompare_strings);
5738 defsubr (&Sstring_lessp);
5739 defsubr (&Sappend);
5740 defsubr (&Sconcat);
5741 defsubr (&Svconcat);
5742 defsubr (&Scopy_sequence);
5743 defsubr (&Sstring_make_multibyte);
5744 defsubr (&Sstring_make_unibyte);
5745 defsubr (&Sstring_as_multibyte);
5746 defsubr (&Sstring_as_unibyte);
5747 defsubr (&Sstring_to_multibyte);
5748 defsubr (&Scopy_alist);
5749 defsubr (&Ssubstring);
5750 defsubr (&Ssubstring_no_properties);
5751 defsubr (&Snthcdr);
5752 defsubr (&Snth);
5753 defsubr (&Selt);
5754 defsubr (&Smember);
5755 defsubr (&Smemq);
5756 defsubr (&Sassq);
5757 defsubr (&Sassoc);
5758 defsubr (&Srassq);
5759 defsubr (&Srassoc);
5760 defsubr (&Sdelq);
5761 defsubr (&Sdelete);
5762 defsubr (&Snreverse);
5763 defsubr (&Sreverse);
5764 defsubr (&Ssort);
5765 defsubr (&Splist_get);
5766 defsubr (&Ssafe_plist_get);
5767 defsubr (&Sget);
5768 defsubr (&Splist_put);
5769 defsubr (&Sput);
5770 defsubr (&Slax_plist_get);
5771 defsubr (&Slax_plist_put);
5772 defsubr (&Seql);
5773 defsubr (&Sequal);
5774 defsubr (&Sequal_including_properties);
5775 defsubr (&Sfillarray);
5776 defsubr (&Sclear_string);
5777 defsubr (&Schar_table_subtype);
5778 defsubr (&Schar_table_parent);
5779 defsubr (&Sset_char_table_parent);
5780 defsubr (&Schar_table_extra_slot);
5781 defsubr (&Sset_char_table_extra_slot);
5782 defsubr (&Schar_table_range);
5783 defsubr (&Sset_char_table_range);
5784 defsubr (&Sset_char_table_default);
5785 defsubr (&Soptimize_char_table);
5786 defsubr (&Smap_char_table);
5787 defsubr (&Snconc);
5788 defsubr (&Smapcar);
5789 defsubr (&Smapc);
5790 defsubr (&Smapconcat);
5791 defsubr (&Sy_or_n_p);
5792 defsubr (&Syes_or_no_p);
5793 defsubr (&Sload_average);
5794 defsubr (&Sfeaturep);
5795 defsubr (&Srequire);
5796 defsubr (&Sprovide);
5797 defsubr (&Splist_member);
5798 defsubr (&Swidget_put);
5799 defsubr (&Swidget_get);
5800 defsubr (&Swidget_apply);
5801 defsubr (&Sbase64_encode_region);
5802 defsubr (&Sbase64_decode_region);
5803 defsubr (&Sbase64_encode_string);
5804 defsubr (&Sbase64_decode_string);
5805 defsubr (&Smd5);
5806 defsubr (&Slocale_info);
5810 void
5811 init_fns ()
5813 Vweak_hash_tables = Qnil;
5816 /* arch-tag: 787f8219-5b74-46bd-8469-7e1cc475fa31
5817 (do not change this comment) */