Merge from emacs-24; up to 2014-03-23T23:14:52Z!yamaoka@jpl.org
[bpt/emacs.git] / src / fns.c
1 /* Random utility Lisp functions.
2
3 Copyright (C) 1985-1987, 1993-1995, 1997-2014 Free Software Foundation,
4 Inc.
5
6 This file is part of GNU Emacs.
7
8 GNU Emacs is free software: you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation, either version 3 of the License, or
11 (at your option) any later version.
12
13 GNU Emacs is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
20
21 #include <config.h>
22
23 #include <unistd.h>
24 #include <time.h>
25
26 #include <intprops.h>
27
28 #include "lisp.h"
29 #include "commands.h"
30 #include "character.h"
31 #include "coding.h"
32 #include "buffer.h"
33 #include "keyboard.h"
34 #include "keymap.h"
35 #include "intervals.h"
36 #include "frame.h"
37 #include "window.h"
38 #include "blockinput.h"
39 #if defined (HAVE_X_WINDOWS)
40 #include "xterm.h"
41 #endif
42
43 Lisp_Object Qstring_lessp;
44 static Lisp_Object Qprovide, Qrequire;
45 static Lisp_Object Qyes_or_no_p_history;
46 Lisp_Object Qcursor_in_echo_area;
47 static Lisp_Object Qwidget_type;
48 static Lisp_Object Qcodeset, Qdays, Qmonths, Qpaper;
49
50 static Lisp_Object Qmd5, Qsha1, Qsha224, Qsha256, Qsha384, Qsha512;
51
52 static bool internal_equal (Lisp_Object, Lisp_Object, int, bool, Lisp_Object);
53 \f
54 DEFUN ("identity", Fidentity, Sidentity, 1, 1, 0,
55 doc: /* Return the argument unchanged. */)
56 (Lisp_Object arg)
57 {
58 return arg;
59 }
60
61 DEFUN ("random", Frandom, Srandom, 0, 1, 0,
62 doc: /* Return a pseudo-random number.
63 All integers representable in Lisp, i.e. between `most-negative-fixnum'
64 and `most-positive-fixnum', inclusive, are equally likely.
65
66 With positive integer LIMIT, return random number in interval [0,LIMIT).
67 With argument t, set the random number seed from the current time and pid.
68 With a string argument, set the seed based on the string's contents.
69 Other values of LIMIT are ignored.
70
71 See Info node `(elisp)Random Numbers' for more details. */)
72 (Lisp_Object limit)
73 {
74 EMACS_INT val;
75
76 if (EQ (limit, Qt))
77 init_random ();
78 else if (STRINGP (limit))
79 seed_random (SSDATA (limit), SBYTES (limit));
80
81 val = get_random ();
82 if (INTEGERP (limit) && 0 < XINT (limit))
83 while (true)
84 {
85 /* Return the remainder, except reject the rare case where
86 get_random returns a number so close to INTMASK that the
87 remainder isn't random. */
88 EMACS_INT remainder = val % XINT (limit);
89 if (val - remainder <= INTMASK - XINT (limit) + 1)
90 return make_number (remainder);
91 val = get_random ();
92 }
93 return make_number (val);
94 }
95 \f
96 /* Heuristic on how many iterations of a tight loop can be safely done
97 before it's time to do a QUIT. This must be a power of 2. */
98 enum { QUIT_COUNT_HEURISTIC = 1 << 16 };
99
100 /* Random data-structure functions. */
101
102 static void
103 CHECK_LIST_END (Lisp_Object x, Lisp_Object y)
104 {
105 CHECK_TYPE (NILP (x), Qlistp, y);
106 }
107
108 DEFUN ("length", Flength, Slength, 1, 1, 0,
109 doc: /* Return the length of vector, list or string SEQUENCE.
110 A byte-code function object is also allowed.
111 If the string contains multibyte characters, this is not necessarily
112 the number of bytes in the string; it is the number of characters.
113 To get the number of bytes, use `string-bytes'. */)
114 (register Lisp_Object sequence)
115 {
116 register Lisp_Object val;
117
118 if (STRINGP (sequence))
119 XSETFASTINT (val, SCHARS (sequence));
120 else if (VECTORP (sequence))
121 XSETFASTINT (val, ASIZE (sequence));
122 else if (CHAR_TABLE_P (sequence))
123 XSETFASTINT (val, MAX_CHAR);
124 else if (BOOL_VECTOR_P (sequence))
125 XSETFASTINT (val, bool_vector_size (sequence));
126 else if (COMPILEDP (sequence))
127 XSETFASTINT (val, ASIZE (sequence) & PSEUDOVECTOR_SIZE_MASK);
128 else if (CONSP (sequence))
129 {
130 EMACS_INT i = 0;
131
132 do
133 {
134 ++i;
135 if ((i & (QUIT_COUNT_HEURISTIC - 1)) == 0)
136 {
137 if (MOST_POSITIVE_FIXNUM < i)
138 error ("List too long");
139 QUIT;
140 }
141 sequence = XCDR (sequence);
142 }
143 while (CONSP (sequence));
144
145 CHECK_LIST_END (sequence, sequence);
146
147 val = make_number (i);
148 }
149 else if (NILP (sequence))
150 XSETFASTINT (val, 0);
151 else
152 wrong_type_argument (Qsequencep, sequence);
153
154 return val;
155 }
156
157 DEFUN ("safe-length", Fsafe_length, Ssafe_length, 1, 1, 0,
158 doc: /* Return the length of a list, but avoid error or infinite loop.
159 This function never gets an error. If LIST is not really a list,
160 it returns 0. If LIST is circular, it returns a finite value
161 which is at least the number of distinct elements. */)
162 (Lisp_Object list)
163 {
164 Lisp_Object tail, halftail;
165 double hilen = 0;
166 uintmax_t lolen = 1;
167
168 if (! CONSP (list))
169 return make_number (0);
170
171 /* halftail is used to detect circular lists. */
172 for (tail = halftail = list; ; )
173 {
174 tail = XCDR (tail);
175 if (! CONSP (tail))
176 break;
177 if (EQ (tail, halftail))
178 break;
179 lolen++;
180 if ((lolen & 1) == 0)
181 {
182 halftail = XCDR (halftail);
183 if ((lolen & (QUIT_COUNT_HEURISTIC - 1)) == 0)
184 {
185 QUIT;
186 if (lolen == 0)
187 hilen += UINTMAX_MAX + 1.0;
188 }
189 }
190 }
191
192 /* If the length does not fit into a fixnum, return a float.
193 On all known practical machines this returns an upper bound on
194 the true length. */
195 return hilen ? make_float (hilen + lolen) : make_fixnum_or_float (lolen);
196 }
197
198 DEFUN ("string-bytes", Fstring_bytes, Sstring_bytes, 1, 1, 0,
199 doc: /* Return the number of bytes in STRING.
200 If STRING is multibyte, this may be greater than the length of STRING. */)
201 (Lisp_Object string)
202 {
203 CHECK_STRING (string);
204 return make_number (SBYTES (string));
205 }
206
207 DEFUN ("string-equal", Fstring_equal, Sstring_equal, 2, 2, 0,
208 doc: /* Return t if two strings have identical contents.
209 Case is significant, but text properties are ignored.
210 Symbols are also allowed; their print names are used instead. */)
211 (register Lisp_Object s1, Lisp_Object s2)
212 {
213 if (SYMBOLP (s1))
214 s1 = SYMBOL_NAME (s1);
215 if (SYMBOLP (s2))
216 s2 = SYMBOL_NAME (s2);
217 CHECK_STRING (s1);
218 CHECK_STRING (s2);
219
220 if (SCHARS (s1) != SCHARS (s2)
221 || SBYTES (s1) != SBYTES (s2)
222 || memcmp (SDATA (s1), SDATA (s2), SBYTES (s1)))
223 return Qnil;
224 return Qt;
225 }
226
227 DEFUN ("compare-strings", Fcompare_strings, Scompare_strings, 6, 7, 0,
228 doc: /* Compare the contents of two strings, converting to multibyte if needed.
229 The arguments START1, END1, START2, and END2, if non-nil, are
230 positions specifying which parts of STR1 or STR2 to compare. In
231 string STR1, compare the part between START1 (inclusive) and END1
232 \(exclusive). If START1 is nil, it defaults to 0, the beginning of
233 the string; if END1 is nil, it defaults to the length of the string.
234 Likewise, in string STR2, compare the part between START2 and END2.
235
236 The strings are compared by the numeric values of their characters.
237 For instance, STR1 is "less than" STR2 if its first differing
238 character has a smaller numeric value. If IGNORE-CASE is non-nil,
239 characters are converted to lower-case before comparing them. Unibyte
240 strings are converted to multibyte for comparison.
241
242 The value is t if the strings (or specified portions) match.
243 If string STR1 is less, the value is a negative number N;
244 - 1 - N is the number of characters that match at the beginning.
245 If string STR1 is greater, the value is a positive number N;
246 N - 1 is the number of characters that match at the beginning. */)
247 (Lisp_Object str1, Lisp_Object start1, Lisp_Object end1, Lisp_Object str2, Lisp_Object start2, Lisp_Object end2, Lisp_Object ignore_case)
248 {
249 register ptrdiff_t end1_char, end2_char;
250 register ptrdiff_t i1, i1_byte, i2, i2_byte;
251
252 CHECK_STRING (str1);
253 CHECK_STRING (str2);
254 if (NILP (start1))
255 start1 = make_number (0);
256 if (NILP (start2))
257 start2 = make_number (0);
258 CHECK_NATNUM (start1);
259 CHECK_NATNUM (start2);
260 if (! NILP (end1))
261 CHECK_NATNUM (end1);
262 if (! NILP (end2))
263 CHECK_NATNUM (end2);
264
265 end1_char = SCHARS (str1);
266 if (! NILP (end1) && end1_char > XINT (end1))
267 end1_char = XINT (end1);
268 if (end1_char < XINT (start1))
269 args_out_of_range (str1, start1);
270
271 end2_char = SCHARS (str2);
272 if (! NILP (end2) && end2_char > XINT (end2))
273 end2_char = XINT (end2);
274 if (end2_char < XINT (start2))
275 args_out_of_range (str2, start2);
276
277 i1 = XINT (start1);
278 i2 = XINT (start2);
279
280 i1_byte = string_char_to_byte (str1, i1);
281 i2_byte = string_char_to_byte (str2, i2);
282
283 while (i1 < end1_char && i2 < end2_char)
284 {
285 /* When we find a mismatch, we must compare the
286 characters, not just the bytes. */
287 int c1, c2;
288
289 if (STRING_MULTIBYTE (str1))
290 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c1, str1, i1, i1_byte);
291 else
292 {
293 c1 = SREF (str1, i1++);
294 MAKE_CHAR_MULTIBYTE (c1);
295 }
296
297 if (STRING_MULTIBYTE (str2))
298 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c2, str2, i2, i2_byte);
299 else
300 {
301 c2 = SREF (str2, i2++);
302 MAKE_CHAR_MULTIBYTE (c2);
303 }
304
305 if (c1 == c2)
306 continue;
307
308 if (! NILP (ignore_case))
309 {
310 Lisp_Object tem;
311
312 tem = Fupcase (make_number (c1));
313 c1 = XINT (tem);
314 tem = Fupcase (make_number (c2));
315 c2 = XINT (tem);
316 }
317
318 if (c1 == c2)
319 continue;
320
321 /* Note that I1 has already been incremented
322 past the character that we are comparing;
323 hence we don't add or subtract 1 here. */
324 if (c1 < c2)
325 return make_number (- i1 + XINT (start1));
326 else
327 return make_number (i1 - XINT (start1));
328 }
329
330 if (i1 < end1_char)
331 return make_number (i1 - XINT (start1) + 1);
332 if (i2 < end2_char)
333 return make_number (- i1 + XINT (start1) - 1);
334
335 return Qt;
336 }
337
338 DEFUN ("string-lessp", Fstring_lessp, Sstring_lessp, 2, 2, 0,
339 doc: /* Return t if first arg string is less than second in lexicographic order.
340 Case is significant.
341 Symbols are also allowed; their print names are used instead. */)
342 (register Lisp_Object s1, Lisp_Object s2)
343 {
344 register ptrdiff_t end;
345 register ptrdiff_t i1, i1_byte, i2, i2_byte;
346
347 if (SYMBOLP (s1))
348 s1 = SYMBOL_NAME (s1);
349 if (SYMBOLP (s2))
350 s2 = SYMBOL_NAME (s2);
351 CHECK_STRING (s1);
352 CHECK_STRING (s2);
353
354 i1 = i1_byte = i2 = i2_byte = 0;
355
356 end = SCHARS (s1);
357 if (end > SCHARS (s2))
358 end = SCHARS (s2);
359
360 while (i1 < end)
361 {
362 /* When we find a mismatch, we must compare the
363 characters, not just the bytes. */
364 int c1, c2;
365
366 FETCH_STRING_CHAR_ADVANCE (c1, s1, i1, i1_byte);
367 FETCH_STRING_CHAR_ADVANCE (c2, s2, i2, i2_byte);
368
369 if (c1 != c2)
370 return c1 < c2 ? Qt : Qnil;
371 }
372 return i1 < SCHARS (s2) ? Qt : Qnil;
373 }
374 \f
375 static Lisp_Object concat (ptrdiff_t nargs, Lisp_Object *args,
376 enum Lisp_Type target_type, bool last_special);
377
378 /* ARGSUSED */
379 Lisp_Object
380 concat2 (Lisp_Object s1, Lisp_Object s2)
381 {
382 Lisp_Object args[2];
383 args[0] = s1;
384 args[1] = s2;
385 return concat (2, args, Lisp_String, 0);
386 }
387
388 /* ARGSUSED */
389 Lisp_Object
390 concat3 (Lisp_Object s1, Lisp_Object s2, Lisp_Object s3)
391 {
392 Lisp_Object args[3];
393 args[0] = s1;
394 args[1] = s2;
395 args[2] = s3;
396 return concat (3, args, Lisp_String, 0);
397 }
398
399 DEFUN ("append", Fappend, Sappend, 0, MANY, 0,
400 doc: /* Concatenate all the arguments and make the result a list.
401 The result is a list whose elements are the elements of all the arguments.
402 Each argument may be a list, vector or string.
403 The last argument is not copied, just used as the tail of the new list.
404 usage: (append &rest SEQUENCES) */)
405 (ptrdiff_t nargs, Lisp_Object *args)
406 {
407 return concat (nargs, args, Lisp_Cons, 1);
408 }
409
410 DEFUN ("concat", Fconcat, Sconcat, 0, MANY, 0,
411 doc: /* Concatenate all the arguments and make the result a string.
412 The result is a string whose elements are the elements of all the arguments.
413 Each argument may be a string or a list or vector of characters (integers).
414 usage: (concat &rest SEQUENCES) */)
415 (ptrdiff_t nargs, Lisp_Object *args)
416 {
417 return concat (nargs, args, Lisp_String, 0);
418 }
419
420 DEFUN ("vconcat", Fvconcat, Svconcat, 0, MANY, 0,
421 doc: /* Concatenate all the arguments and make the result a vector.
422 The result is a vector whose elements are the elements of all the arguments.
423 Each argument may be a list, vector or string.
424 usage: (vconcat &rest SEQUENCES) */)
425 (ptrdiff_t nargs, Lisp_Object *args)
426 {
427 return concat (nargs, args, Lisp_Vectorlike, 0);
428 }
429
430
431 DEFUN ("copy-sequence", Fcopy_sequence, Scopy_sequence, 1, 1, 0,
432 doc: /* Return a copy of a list, vector, string or char-table.
433 The elements of a list or vector are not copied; they are shared
434 with the original. */)
435 (Lisp_Object arg)
436 {
437 if (NILP (arg)) return arg;
438
439 if (CHAR_TABLE_P (arg))
440 {
441 return copy_char_table (arg);
442 }
443
444 if (BOOL_VECTOR_P (arg))
445 {
446 EMACS_INT nbits = bool_vector_size (arg);
447 ptrdiff_t nbytes = bool_vector_bytes (nbits);
448 Lisp_Object val = make_uninit_bool_vector (nbits);
449 memcpy (bool_vector_data (val), bool_vector_data (arg), nbytes);
450 return val;
451 }
452
453 if (!CONSP (arg) && !VECTORP (arg) && !STRINGP (arg))
454 wrong_type_argument (Qsequencep, arg);
455
456 return concat (1, &arg, XTYPE (arg), 0);
457 }
458
459 /* This structure holds information of an argument of `concat' that is
460 a string and has text properties to be copied. */
461 struct textprop_rec
462 {
463 ptrdiff_t argnum; /* refer to ARGS (arguments of `concat') */
464 ptrdiff_t from; /* refer to ARGS[argnum] (argument string) */
465 ptrdiff_t to; /* refer to VAL (the target string) */
466 };
467
468 static Lisp_Object
469 concat (ptrdiff_t nargs, Lisp_Object *args,
470 enum Lisp_Type target_type, bool last_special)
471 {
472 Lisp_Object val;
473 Lisp_Object tail;
474 Lisp_Object this;
475 ptrdiff_t toindex;
476 ptrdiff_t toindex_byte = 0;
477 EMACS_INT result_len;
478 EMACS_INT result_len_byte;
479 ptrdiff_t argnum;
480 Lisp_Object last_tail;
481 Lisp_Object prev;
482 bool some_multibyte;
483 /* When we make a multibyte string, we can't copy text properties
484 while concatenating each string because the length of resulting
485 string can't be decided until we finish the whole concatenation.
486 So, we record strings that have text properties to be copied
487 here, and copy the text properties after the concatenation. */
488 struct textprop_rec *textprops = NULL;
489 /* Number of elements in textprops. */
490 ptrdiff_t num_textprops = 0;
491 USE_SAFE_ALLOCA;
492
493 tail = Qnil;
494
495 /* In append, the last arg isn't treated like the others */
496 if (last_special && nargs > 0)
497 {
498 nargs--;
499 last_tail = args[nargs];
500 }
501 else
502 last_tail = Qnil;
503
504 /* Check each argument. */
505 for (argnum = 0; argnum < nargs; argnum++)
506 {
507 this = args[argnum];
508 if (!(CONSP (this) || NILP (this) || VECTORP (this) || STRINGP (this)
509 || COMPILEDP (this) || BOOL_VECTOR_P (this)))
510 wrong_type_argument (Qsequencep, this);
511 }
512
513 /* Compute total length in chars of arguments in RESULT_LEN.
514 If desired output is a string, also compute length in bytes
515 in RESULT_LEN_BYTE, and determine in SOME_MULTIBYTE
516 whether the result should be a multibyte string. */
517 result_len_byte = 0;
518 result_len = 0;
519 some_multibyte = 0;
520 for (argnum = 0; argnum < nargs; argnum++)
521 {
522 EMACS_INT len;
523 this = args[argnum];
524 len = XFASTINT (Flength (this));
525 if (target_type == Lisp_String)
526 {
527 /* We must count the number of bytes needed in the string
528 as well as the number of characters. */
529 ptrdiff_t i;
530 Lisp_Object ch;
531 int c;
532 ptrdiff_t this_len_byte;
533
534 if (VECTORP (this) || COMPILEDP (this))
535 for (i = 0; i < len; i++)
536 {
537 ch = AREF (this, i);
538 CHECK_CHARACTER (ch);
539 c = XFASTINT (ch);
540 this_len_byte = CHAR_BYTES (c);
541 if (STRING_BYTES_BOUND - result_len_byte < this_len_byte)
542 string_overflow ();
543 result_len_byte += this_len_byte;
544 if (! ASCII_CHAR_P (c) && ! CHAR_BYTE8_P (c))
545 some_multibyte = 1;
546 }
547 else if (BOOL_VECTOR_P (this) && bool_vector_size (this) > 0)
548 wrong_type_argument (Qintegerp, Faref (this, make_number (0)));
549 else if (CONSP (this))
550 for (; CONSP (this); this = XCDR (this))
551 {
552 ch = XCAR (this);
553 CHECK_CHARACTER (ch);
554 c = XFASTINT (ch);
555 this_len_byte = CHAR_BYTES (c);
556 if (STRING_BYTES_BOUND - result_len_byte < this_len_byte)
557 string_overflow ();
558 result_len_byte += this_len_byte;
559 if (! ASCII_CHAR_P (c) && ! CHAR_BYTE8_P (c))
560 some_multibyte = 1;
561 }
562 else if (STRINGP (this))
563 {
564 if (STRING_MULTIBYTE (this))
565 {
566 some_multibyte = 1;
567 this_len_byte = SBYTES (this);
568 }
569 else
570 this_len_byte = count_size_as_multibyte (SDATA (this),
571 SCHARS (this));
572 if (STRING_BYTES_BOUND - result_len_byte < this_len_byte)
573 string_overflow ();
574 result_len_byte += this_len_byte;
575 }
576 }
577
578 result_len += len;
579 if (MOST_POSITIVE_FIXNUM < result_len)
580 memory_full (SIZE_MAX);
581 }
582
583 if (! some_multibyte)
584 result_len_byte = result_len;
585
586 /* Create the output object. */
587 if (target_type == Lisp_Cons)
588 val = Fmake_list (make_number (result_len), Qnil);
589 else if (target_type == Lisp_Vectorlike)
590 val = Fmake_vector (make_number (result_len), Qnil);
591 else if (some_multibyte)
592 val = make_uninit_multibyte_string (result_len, result_len_byte);
593 else
594 val = make_uninit_string (result_len);
595
596 /* In `append', if all but last arg are nil, return last arg. */
597 if (target_type == Lisp_Cons && EQ (val, Qnil))
598 return last_tail;
599
600 /* Copy the contents of the args into the result. */
601 if (CONSP (val))
602 tail = val, toindex = -1; /* -1 in toindex is flag we are making a list */
603 else
604 toindex = 0, toindex_byte = 0;
605
606 prev = Qnil;
607 if (STRINGP (val))
608 SAFE_NALLOCA (textprops, 1, nargs);
609
610 for (argnum = 0; argnum < nargs; argnum++)
611 {
612 Lisp_Object thislen;
613 ptrdiff_t thisleni = 0;
614 register ptrdiff_t thisindex = 0;
615 register ptrdiff_t thisindex_byte = 0;
616
617 this = args[argnum];
618 if (!CONSP (this))
619 thislen = Flength (this), thisleni = XINT (thislen);
620
621 /* Between strings of the same kind, copy fast. */
622 if (STRINGP (this) && STRINGP (val)
623 && STRING_MULTIBYTE (this) == some_multibyte)
624 {
625 ptrdiff_t thislen_byte = SBYTES (this);
626
627 memcpy (SDATA (val) + toindex_byte, SDATA (this), SBYTES (this));
628 if (string_intervals (this))
629 {
630 textprops[num_textprops].argnum = argnum;
631 textprops[num_textprops].from = 0;
632 textprops[num_textprops++].to = toindex;
633 }
634 toindex_byte += thislen_byte;
635 toindex += thisleni;
636 }
637 /* Copy a single-byte string to a multibyte string. */
638 else if (STRINGP (this) && STRINGP (val))
639 {
640 if (string_intervals (this))
641 {
642 textprops[num_textprops].argnum = argnum;
643 textprops[num_textprops].from = 0;
644 textprops[num_textprops++].to = toindex;
645 }
646 toindex_byte += copy_text (SDATA (this),
647 SDATA (val) + toindex_byte,
648 SCHARS (this), 0, 1);
649 toindex += thisleni;
650 }
651 else
652 /* Copy element by element. */
653 while (1)
654 {
655 register Lisp_Object elt;
656
657 /* Fetch next element of `this' arg into `elt', or break if
658 `this' is exhausted. */
659 if (NILP (this)) break;
660 if (CONSP (this))
661 elt = XCAR (this), this = XCDR (this);
662 else if (thisindex >= thisleni)
663 break;
664 else if (STRINGP (this))
665 {
666 int c;
667 if (STRING_MULTIBYTE (this))
668 FETCH_STRING_CHAR_ADVANCE_NO_CHECK (c, this,
669 thisindex,
670 thisindex_byte);
671 else
672 {
673 c = SREF (this, thisindex); thisindex++;
674 if (some_multibyte && !ASCII_CHAR_P (c))
675 c = BYTE8_TO_CHAR (c);
676 }
677 XSETFASTINT (elt, c);
678 }
679 else if (BOOL_VECTOR_P (this))
680 {
681 elt = bool_vector_ref (this, thisindex);
682 thisindex++;
683 }
684 else
685 {
686 elt = AREF (this, thisindex);
687 thisindex++;
688 }
689
690 /* Store this element into the result. */
691 if (toindex < 0)
692 {
693 XSETCAR (tail, elt);
694 prev = tail;
695 tail = XCDR (tail);
696 }
697 else if (VECTORP (val))
698 {
699 ASET (val, toindex, elt);
700 toindex++;
701 }
702 else
703 {
704 int c;
705 CHECK_CHARACTER (elt);
706 c = XFASTINT (elt);
707 if (some_multibyte)
708 toindex_byte += CHAR_STRING (c, SDATA (val) + toindex_byte);
709 else
710 SSET (val, toindex_byte++, c);
711 toindex++;
712 }
713 }
714 }
715 if (!NILP (prev))
716 XSETCDR (prev, last_tail);
717
718 if (num_textprops > 0)
719 {
720 Lisp_Object props;
721 ptrdiff_t last_to_end = -1;
722
723 for (argnum = 0; argnum < num_textprops; argnum++)
724 {
725 this = args[textprops[argnum].argnum];
726 props = text_property_list (this,
727 make_number (0),
728 make_number (SCHARS (this)),
729 Qnil);
730 /* If successive arguments have properties, be sure that the
731 value of `composition' property be the copy. */
732 if (last_to_end == textprops[argnum].to)
733 make_composition_value_copy (props);
734 add_text_properties_from_list (val, props,
735 make_number (textprops[argnum].to));
736 last_to_end = textprops[argnum].to + SCHARS (this);
737 }
738 }
739
740 SAFE_FREE ();
741 return val;
742 }
743 \f
744 static Lisp_Object string_char_byte_cache_string;
745 static ptrdiff_t string_char_byte_cache_charpos;
746 static ptrdiff_t string_char_byte_cache_bytepos;
747
748 void
749 clear_string_char_byte_cache (void)
750 {
751 string_char_byte_cache_string = Qnil;
752 }
753
754 /* Return the byte index corresponding to CHAR_INDEX in STRING. */
755
756 ptrdiff_t
757 string_char_to_byte (Lisp_Object string, ptrdiff_t char_index)
758 {
759 ptrdiff_t i_byte;
760 ptrdiff_t best_below, best_below_byte;
761 ptrdiff_t best_above, best_above_byte;
762
763 best_below = best_below_byte = 0;
764 best_above = SCHARS (string);
765 best_above_byte = SBYTES (string);
766 if (best_above == best_above_byte)
767 return char_index;
768
769 if (EQ (string, string_char_byte_cache_string))
770 {
771 if (string_char_byte_cache_charpos < char_index)
772 {
773 best_below = string_char_byte_cache_charpos;
774 best_below_byte = string_char_byte_cache_bytepos;
775 }
776 else
777 {
778 best_above = string_char_byte_cache_charpos;
779 best_above_byte = string_char_byte_cache_bytepos;
780 }
781 }
782
783 if (char_index - best_below < best_above - char_index)
784 {
785 unsigned char *p = SDATA (string) + best_below_byte;
786
787 while (best_below < char_index)
788 {
789 p += BYTES_BY_CHAR_HEAD (*p);
790 best_below++;
791 }
792 i_byte = p - SDATA (string);
793 }
794 else
795 {
796 unsigned char *p = SDATA (string) + best_above_byte;
797
798 while (best_above > char_index)
799 {
800 p--;
801 while (!CHAR_HEAD_P (*p)) p--;
802 best_above--;
803 }
804 i_byte = p - SDATA (string);
805 }
806
807 string_char_byte_cache_bytepos = i_byte;
808 string_char_byte_cache_charpos = char_index;
809 string_char_byte_cache_string = string;
810
811 return i_byte;
812 }
813 \f
814 /* Return the character index corresponding to BYTE_INDEX in STRING. */
815
816 ptrdiff_t
817 string_byte_to_char (Lisp_Object string, ptrdiff_t byte_index)
818 {
819 ptrdiff_t i, i_byte;
820 ptrdiff_t best_below, best_below_byte;
821 ptrdiff_t best_above, best_above_byte;
822
823 best_below = best_below_byte = 0;
824 best_above = SCHARS (string);
825 best_above_byte = SBYTES (string);
826 if (best_above == best_above_byte)
827 return byte_index;
828
829 if (EQ (string, string_char_byte_cache_string))
830 {
831 if (string_char_byte_cache_bytepos < byte_index)
832 {
833 best_below = string_char_byte_cache_charpos;
834 best_below_byte = string_char_byte_cache_bytepos;
835 }
836 else
837 {
838 best_above = string_char_byte_cache_charpos;
839 best_above_byte = string_char_byte_cache_bytepos;
840 }
841 }
842
843 if (byte_index - best_below_byte < best_above_byte - byte_index)
844 {
845 unsigned char *p = SDATA (string) + best_below_byte;
846 unsigned char *pend = SDATA (string) + byte_index;
847
848 while (p < pend)
849 {
850 p += BYTES_BY_CHAR_HEAD (*p);
851 best_below++;
852 }
853 i = best_below;
854 i_byte = p - SDATA (string);
855 }
856 else
857 {
858 unsigned char *p = SDATA (string) + best_above_byte;
859 unsigned char *pbeg = SDATA (string) + byte_index;
860
861 while (p > pbeg)
862 {
863 p--;
864 while (!CHAR_HEAD_P (*p)) p--;
865 best_above--;
866 }
867 i = best_above;
868 i_byte = p - SDATA (string);
869 }
870
871 string_char_byte_cache_bytepos = i_byte;
872 string_char_byte_cache_charpos = i;
873 string_char_byte_cache_string = string;
874
875 return i;
876 }
877 \f
878 /* Convert STRING to a multibyte string. */
879
880 static Lisp_Object
881 string_make_multibyte (Lisp_Object string)
882 {
883 unsigned char *buf;
884 ptrdiff_t nbytes;
885 Lisp_Object ret;
886 USE_SAFE_ALLOCA;
887
888 if (STRING_MULTIBYTE (string))
889 return string;
890
891 nbytes = count_size_as_multibyte (SDATA (string),
892 SCHARS (string));
893 /* If all the chars are ASCII, they won't need any more bytes
894 once converted. In that case, we can return STRING itself. */
895 if (nbytes == SBYTES (string))
896 return string;
897
898 buf = SAFE_ALLOCA (nbytes);
899 copy_text (SDATA (string), buf, SBYTES (string),
900 0, 1);
901
902 ret = make_multibyte_string ((char *) buf, SCHARS (string), nbytes);
903 SAFE_FREE ();
904
905 return ret;
906 }
907
908
909 /* Convert STRING (if unibyte) to a multibyte string without changing
910 the number of characters. Characters 0200 trough 0237 are
911 converted to eight-bit characters. */
912
913 Lisp_Object
914 string_to_multibyte (Lisp_Object string)
915 {
916 unsigned char *buf;
917 ptrdiff_t nbytes;
918 Lisp_Object ret;
919 USE_SAFE_ALLOCA;
920
921 if (STRING_MULTIBYTE (string))
922 return string;
923
924 nbytes = count_size_as_multibyte (SDATA (string), SBYTES (string));
925 /* If all the chars are ASCII, they won't need any more bytes once
926 converted. */
927 if (nbytes == SBYTES (string))
928 return make_multibyte_string (SSDATA (string), nbytes, nbytes);
929
930 buf = SAFE_ALLOCA (nbytes);
931 memcpy (buf, SDATA (string), SBYTES (string));
932 str_to_multibyte (buf, nbytes, SBYTES (string));
933
934 ret = make_multibyte_string ((char *) buf, SCHARS (string), nbytes);
935 SAFE_FREE ();
936
937 return ret;
938 }
939
940
941 /* Convert STRING to a single-byte string. */
942
943 Lisp_Object
944 string_make_unibyte (Lisp_Object string)
945 {
946 ptrdiff_t nchars;
947 unsigned char *buf;
948 Lisp_Object ret;
949 USE_SAFE_ALLOCA;
950
951 if (! STRING_MULTIBYTE (string))
952 return string;
953
954 nchars = SCHARS (string);
955
956 buf = SAFE_ALLOCA (nchars);
957 copy_text (SDATA (string), buf, SBYTES (string),
958 1, 0);
959
960 ret = make_unibyte_string ((char *) buf, nchars);
961 SAFE_FREE ();
962
963 return ret;
964 }
965
966 DEFUN ("string-make-multibyte", Fstring_make_multibyte, Sstring_make_multibyte,
967 1, 1, 0,
968 doc: /* Return the multibyte equivalent of STRING.
969 If STRING is unibyte and contains non-ASCII characters, the function
970 `unibyte-char-to-multibyte' is used to convert each unibyte character
971 to a multibyte character. In this case, the returned string is a
972 newly created string with no text properties. If STRING is multibyte
973 or entirely ASCII, it is returned unchanged. In particular, when
974 STRING is unibyte and entirely ASCII, the returned string is unibyte.
975 \(When the characters are all ASCII, Emacs primitives will treat the
976 string the same way whether it is unibyte or multibyte.) */)
977 (Lisp_Object string)
978 {
979 CHECK_STRING (string);
980
981 return string_make_multibyte (string);
982 }
983
984 DEFUN ("string-make-unibyte", Fstring_make_unibyte, Sstring_make_unibyte,
985 1, 1, 0,
986 doc: /* Return the unibyte equivalent of STRING.
987 Multibyte character codes are converted to unibyte according to
988 `nonascii-translation-table' or, if that is nil, `nonascii-insert-offset'.
989 If the lookup in the translation table fails, this function takes just
990 the low 8 bits of each character. */)
991 (Lisp_Object string)
992 {
993 CHECK_STRING (string);
994
995 return string_make_unibyte (string);
996 }
997
998 DEFUN ("string-as-unibyte", Fstring_as_unibyte, Sstring_as_unibyte,
999 1, 1, 0,
1000 doc: /* Return a unibyte string with the same individual bytes as STRING.
1001 If STRING is unibyte, the result is STRING itself.
1002 Otherwise it is a newly created string, with no text properties.
1003 If STRING is multibyte and contains a character of charset
1004 `eight-bit', it is converted to the corresponding single byte. */)
1005 (Lisp_Object string)
1006 {
1007 CHECK_STRING (string);
1008
1009 if (STRING_MULTIBYTE (string))
1010 {
1011 unsigned char *str = (unsigned char *) xlispstrdup (string);
1012 ptrdiff_t bytes = str_as_unibyte (str, SBYTES (string));
1013
1014 string = make_unibyte_string ((char *) str, bytes);
1015 xfree (str);
1016 }
1017 return string;
1018 }
1019
1020 DEFUN ("string-as-multibyte", Fstring_as_multibyte, Sstring_as_multibyte,
1021 1, 1, 0,
1022 doc: /* Return a multibyte string with the same individual bytes as STRING.
1023 If STRING is multibyte, the result is STRING itself.
1024 Otherwise it is a newly created string, with no text properties.
1025
1026 If STRING is unibyte and contains an individual 8-bit byte (i.e. not
1027 part of a correct utf-8 sequence), it is converted to the corresponding
1028 multibyte character of charset `eight-bit'.
1029 See also `string-to-multibyte'.
1030
1031 Beware, this often doesn't really do what you think it does.
1032 It is similar to (decode-coding-string STRING 'utf-8-emacs).
1033 If you're not sure, whether to use `string-as-multibyte' or
1034 `string-to-multibyte', use `string-to-multibyte'. */)
1035 (Lisp_Object string)
1036 {
1037 CHECK_STRING (string);
1038
1039 if (! STRING_MULTIBYTE (string))
1040 {
1041 Lisp_Object new_string;
1042 ptrdiff_t nchars, nbytes;
1043
1044 parse_str_as_multibyte (SDATA (string),
1045 SBYTES (string),
1046 &nchars, &nbytes);
1047 new_string = make_uninit_multibyte_string (nchars, nbytes);
1048 memcpy (SDATA (new_string), SDATA (string), SBYTES (string));
1049 if (nbytes != SBYTES (string))
1050 str_as_multibyte (SDATA (new_string), nbytes,
1051 SBYTES (string), NULL);
1052 string = new_string;
1053 set_string_intervals (string, NULL);
1054 }
1055 return string;
1056 }
1057
1058 DEFUN ("string-to-multibyte", Fstring_to_multibyte, Sstring_to_multibyte,
1059 1, 1, 0,
1060 doc: /* Return a multibyte string with the same individual chars as STRING.
1061 If STRING is multibyte, the result is STRING itself.
1062 Otherwise it is a newly created string, with no text properties.
1063
1064 If STRING is unibyte and contains an 8-bit byte, it is converted to
1065 the corresponding multibyte character of charset `eight-bit'.
1066
1067 This differs from `string-as-multibyte' by converting each byte of a correct
1068 utf-8 sequence to an eight-bit character, not just bytes that don't form a
1069 correct sequence. */)
1070 (Lisp_Object string)
1071 {
1072 CHECK_STRING (string);
1073
1074 return string_to_multibyte (string);
1075 }
1076
1077 DEFUN ("string-to-unibyte", Fstring_to_unibyte, Sstring_to_unibyte,
1078 1, 1, 0,
1079 doc: /* Return a unibyte string with the same individual chars as STRING.
1080 If STRING is unibyte, the result is STRING itself.
1081 Otherwise it is a newly created string, with no text properties,
1082 where each `eight-bit' character is converted to the corresponding byte.
1083 If STRING contains a non-ASCII, non-`eight-bit' character,
1084 an error is signaled. */)
1085 (Lisp_Object string)
1086 {
1087 CHECK_STRING (string);
1088
1089 if (STRING_MULTIBYTE (string))
1090 {
1091 ptrdiff_t chars = SCHARS (string);
1092 unsigned char *str = xmalloc (chars);
1093 ptrdiff_t converted = str_to_unibyte (SDATA (string), str, chars);
1094
1095 if (converted < chars)
1096 error ("Can't convert the %"pD"dth character to unibyte", converted);
1097 string = make_unibyte_string ((char *) str, chars);
1098 xfree (str);
1099 }
1100 return string;
1101 }
1102
1103 \f
1104 DEFUN ("copy-alist", Fcopy_alist, Scopy_alist, 1, 1, 0,
1105 doc: /* Return a copy of ALIST.
1106 This is an alist which represents the same mapping from objects to objects,
1107 but does not share the alist structure with ALIST.
1108 The objects mapped (cars and cdrs of elements of the alist)
1109 are shared, however.
1110 Elements of ALIST that are not conses are also shared. */)
1111 (Lisp_Object alist)
1112 {
1113 register Lisp_Object tem;
1114
1115 CHECK_LIST (alist);
1116 if (NILP (alist))
1117 return alist;
1118 alist = concat (1, &alist, Lisp_Cons, 0);
1119 for (tem = alist; CONSP (tem); tem = XCDR (tem))
1120 {
1121 register Lisp_Object car;
1122 car = XCAR (tem);
1123
1124 if (CONSP (car))
1125 XSETCAR (tem, Fcons (XCAR (car), XCDR (car)));
1126 }
1127 return alist;
1128 }
1129
1130 DEFUN ("substring", Fsubstring, Ssubstring, 2, 3, 0,
1131 doc: /* Return a new string whose contents are a substring of STRING.
1132 The returned string consists of the characters between index FROM
1133 \(inclusive) and index TO (exclusive) of STRING. FROM and TO are
1134 zero-indexed: 0 means the first character of STRING. Negative values
1135 are counted from the end of STRING. If TO is nil, the substring runs
1136 to the end of STRING.
1137
1138 The STRING argument may also be a vector. In that case, the return
1139 value is a new vector that contains the elements between index FROM
1140 \(inclusive) and index TO (exclusive) of that vector argument. */)
1141 (Lisp_Object string, register Lisp_Object from, Lisp_Object to)
1142 {
1143 Lisp_Object res;
1144 ptrdiff_t size;
1145 EMACS_INT from_char, to_char;
1146
1147 CHECK_VECTOR_OR_STRING (string);
1148 CHECK_NUMBER (from);
1149
1150 if (STRINGP (string))
1151 size = SCHARS (string);
1152 else
1153 size = ASIZE (string);
1154
1155 if (NILP (to))
1156 to_char = size;
1157 else
1158 {
1159 CHECK_NUMBER (to);
1160
1161 to_char = XINT (to);
1162 if (to_char < 0)
1163 to_char += size;
1164 }
1165
1166 from_char = XINT (from);
1167 if (from_char < 0)
1168 from_char += size;
1169 if (!(0 <= from_char && from_char <= to_char && to_char <= size))
1170 args_out_of_range_3 (string, make_number (from_char),
1171 make_number (to_char));
1172
1173 if (STRINGP (string))
1174 {
1175 ptrdiff_t to_byte =
1176 (NILP (to) ? SBYTES (string) : string_char_to_byte (string, to_char));
1177 ptrdiff_t from_byte = string_char_to_byte (string, from_char);
1178 res = make_specified_string (SSDATA (string) + from_byte,
1179 to_char - from_char, to_byte - from_byte,
1180 STRING_MULTIBYTE (string));
1181 copy_text_properties (make_number (from_char), make_number (to_char),
1182 string, make_number (0), res, Qnil);
1183 }
1184 else
1185 res = Fvector (to_char - from_char, aref_addr (string, from_char));
1186
1187 return res;
1188 }
1189
1190
1191 DEFUN ("substring-no-properties", Fsubstring_no_properties, Ssubstring_no_properties, 1, 3, 0,
1192 doc: /* Return a substring of STRING, without text properties.
1193 It starts at index FROM and ends before TO.
1194 TO may be nil or omitted; then the substring runs to the end of STRING.
1195 If FROM is nil or omitted, the substring starts at the beginning of STRING.
1196 If FROM or TO is negative, it counts from the end.
1197
1198 With one argument, just copy STRING without its properties. */)
1199 (Lisp_Object string, register Lisp_Object from, Lisp_Object to)
1200 {
1201 ptrdiff_t size;
1202 EMACS_INT from_char, to_char;
1203 ptrdiff_t from_byte, to_byte;
1204
1205 CHECK_STRING (string);
1206
1207 size = SCHARS (string);
1208
1209 if (NILP (from))
1210 from_char = 0;
1211 else
1212 {
1213 CHECK_NUMBER (from);
1214 from_char = XINT (from);
1215 if (from_char < 0)
1216 from_char += size;
1217 }
1218
1219 if (NILP (to))
1220 to_char = size;
1221 else
1222 {
1223 CHECK_NUMBER (to);
1224 to_char = XINT (to);
1225 if (to_char < 0)
1226 to_char += size;
1227 }
1228
1229 if (!(0 <= from_char && from_char <= to_char && to_char <= size))
1230 args_out_of_range_3 (string, make_number (from_char),
1231 make_number (to_char));
1232
1233 from_byte = NILP (from) ? 0 : string_char_to_byte (string, from_char);
1234 to_byte =
1235 NILP (to) ? SBYTES (string) : string_char_to_byte (string, to_char);
1236 return make_specified_string (SSDATA (string) + from_byte,
1237 to_char - from_char, to_byte - from_byte,
1238 STRING_MULTIBYTE (string));
1239 }
1240
1241 /* Extract a substring of STRING, giving start and end positions
1242 both in characters and in bytes. */
1243
1244 Lisp_Object
1245 substring_both (Lisp_Object string, ptrdiff_t from, ptrdiff_t from_byte,
1246 ptrdiff_t to, ptrdiff_t to_byte)
1247 {
1248 Lisp_Object res;
1249 ptrdiff_t size;
1250
1251 CHECK_VECTOR_OR_STRING (string);
1252
1253 size = STRINGP (string) ? SCHARS (string) : ASIZE (string);
1254
1255 if (!(0 <= from && from <= to && to <= size))
1256 args_out_of_range_3 (string, make_number (from), make_number (to));
1257
1258 if (STRINGP (string))
1259 {
1260 res = make_specified_string (SSDATA (string) + from_byte,
1261 to - from, to_byte - from_byte,
1262 STRING_MULTIBYTE (string));
1263 copy_text_properties (make_number (from), make_number (to),
1264 string, make_number (0), res, Qnil);
1265 }
1266 else
1267 res = Fvector (to - from, aref_addr (string, from));
1268
1269 return res;
1270 }
1271 \f
1272 DEFUN ("nthcdr", Fnthcdr, Snthcdr, 2, 2, 0,
1273 doc: /* Take cdr N times on LIST, return the result. */)
1274 (Lisp_Object n, Lisp_Object list)
1275 {
1276 EMACS_INT i, num;
1277 CHECK_NUMBER (n);
1278 num = XINT (n);
1279 for (i = 0; i < num && !NILP (list); i++)
1280 {
1281 QUIT;
1282 CHECK_LIST_CONS (list, list);
1283 list = XCDR (list);
1284 }
1285 return list;
1286 }
1287
1288 DEFUN ("nth", Fnth, Snth, 2, 2, 0,
1289 doc: /* Return the Nth element of LIST.
1290 N counts from zero. If LIST is not that long, nil is returned. */)
1291 (Lisp_Object n, Lisp_Object list)
1292 {
1293 return Fcar (Fnthcdr (n, list));
1294 }
1295
1296 DEFUN ("elt", Felt, Selt, 2, 2, 0,
1297 doc: /* Return element of SEQUENCE at index N. */)
1298 (register Lisp_Object sequence, Lisp_Object n)
1299 {
1300 CHECK_NUMBER (n);
1301 if (CONSP (sequence) || NILP (sequence))
1302 return Fcar (Fnthcdr (n, sequence));
1303
1304 /* Faref signals a "not array" error, so check here. */
1305 CHECK_ARRAY (sequence, Qsequencep);
1306 return Faref (sequence, n);
1307 }
1308
1309 DEFUN ("member", Fmember, Smember, 2, 2, 0,
1310 doc: /* Return non-nil if ELT is an element of LIST. Comparison done with `equal'.
1311 The value is actually the tail of LIST whose car is ELT. */)
1312 (register Lisp_Object elt, Lisp_Object list)
1313 {
1314 register Lisp_Object tail;
1315 for (tail = list; CONSP (tail); tail = XCDR (tail))
1316 {
1317 register Lisp_Object tem;
1318 CHECK_LIST_CONS (tail, list);
1319 tem = XCAR (tail);
1320 if (! NILP (Fequal (elt, tem)))
1321 return tail;
1322 QUIT;
1323 }
1324 return Qnil;
1325 }
1326
1327 DEFUN ("memq", Fmemq, Smemq, 2, 2, 0,
1328 doc: /* Return non-nil if ELT is an element of LIST. Comparison done with `eq'.
1329 The value is actually the tail of LIST whose car is ELT. */)
1330 (register Lisp_Object elt, Lisp_Object list)
1331 {
1332 while (1)
1333 {
1334 if (!CONSP (list) || EQ (XCAR (list), elt))
1335 break;
1336
1337 list = XCDR (list);
1338 if (!CONSP (list) || EQ (XCAR (list), elt))
1339 break;
1340
1341 list = XCDR (list);
1342 if (!CONSP (list) || EQ (XCAR (list), elt))
1343 break;
1344
1345 list = XCDR (list);
1346 QUIT;
1347 }
1348
1349 CHECK_LIST (list);
1350 return list;
1351 }
1352
1353 DEFUN ("memql", Fmemql, Smemql, 2, 2, 0,
1354 doc: /* Return non-nil if ELT is an element of LIST. Comparison done with `eql'.
1355 The value is actually the tail of LIST whose car is ELT. */)
1356 (register Lisp_Object elt, Lisp_Object list)
1357 {
1358 register Lisp_Object tail;
1359
1360 if (!FLOATP (elt))
1361 return Fmemq (elt, list);
1362
1363 for (tail = list; CONSP (tail); tail = XCDR (tail))
1364 {
1365 register Lisp_Object tem;
1366 CHECK_LIST_CONS (tail, list);
1367 tem = XCAR (tail);
1368 if (FLOATP (tem) && internal_equal (elt, tem, 0, 0, Qnil))
1369 return tail;
1370 QUIT;
1371 }
1372 return Qnil;
1373 }
1374
1375 DEFUN ("assq", Fassq, Sassq, 2, 2, 0,
1376 doc: /* Return non-nil if KEY is `eq' to the car of an element of LIST.
1377 The value is actually the first element of LIST whose car is KEY.
1378 Elements of LIST that are not conses are ignored. */)
1379 (Lisp_Object key, Lisp_Object list)
1380 {
1381 while (1)
1382 {
1383 if (!CONSP (list)
1384 || (CONSP (XCAR (list))
1385 && EQ (XCAR (XCAR (list)), key)))
1386 break;
1387
1388 list = XCDR (list);
1389 if (!CONSP (list)
1390 || (CONSP (XCAR (list))
1391 && EQ (XCAR (XCAR (list)), key)))
1392 break;
1393
1394 list = XCDR (list);
1395 if (!CONSP (list)
1396 || (CONSP (XCAR (list))
1397 && EQ (XCAR (XCAR (list)), key)))
1398 break;
1399
1400 list = XCDR (list);
1401 QUIT;
1402 }
1403
1404 return CAR (list);
1405 }
1406
1407 /* Like Fassq but never report an error and do not allow quits.
1408 Use only on lists known never to be circular. */
1409
1410 Lisp_Object
1411 assq_no_quit (Lisp_Object key, Lisp_Object list)
1412 {
1413 while (CONSP (list)
1414 && (!CONSP (XCAR (list))
1415 || !EQ (XCAR (XCAR (list)), key)))
1416 list = XCDR (list);
1417
1418 return CAR_SAFE (list);
1419 }
1420
1421 DEFUN ("assoc", Fassoc, Sassoc, 2, 2, 0,
1422 doc: /* Return non-nil if KEY is `equal' to the car of an element of LIST.
1423 The value is actually the first element of LIST whose car equals KEY. */)
1424 (Lisp_Object key, Lisp_Object list)
1425 {
1426 Lisp_Object car;
1427
1428 while (1)
1429 {
1430 if (!CONSP (list)
1431 || (CONSP (XCAR (list))
1432 && (car = XCAR (XCAR (list)),
1433 EQ (car, key) || !NILP (Fequal (car, key)))))
1434 break;
1435
1436 list = XCDR (list);
1437 if (!CONSP (list)
1438 || (CONSP (XCAR (list))
1439 && (car = XCAR (XCAR (list)),
1440 EQ (car, key) || !NILP (Fequal (car, key)))))
1441 break;
1442
1443 list = XCDR (list);
1444 if (!CONSP (list)
1445 || (CONSP (XCAR (list))
1446 && (car = XCAR (XCAR (list)),
1447 EQ (car, key) || !NILP (Fequal (car, key)))))
1448 break;
1449
1450 list = XCDR (list);
1451 QUIT;
1452 }
1453
1454 return CAR (list);
1455 }
1456
1457 /* Like Fassoc but never report an error and do not allow quits.
1458 Use only on lists known never to be circular. */
1459
1460 Lisp_Object
1461 assoc_no_quit (Lisp_Object key, Lisp_Object list)
1462 {
1463 while (CONSP (list)
1464 && (!CONSP (XCAR (list))
1465 || (!EQ (XCAR (XCAR (list)), key)
1466 && NILP (Fequal (XCAR (XCAR (list)), key)))))
1467 list = XCDR (list);
1468
1469 return CONSP (list) ? XCAR (list) : Qnil;
1470 }
1471
1472 DEFUN ("rassq", Frassq, Srassq, 2, 2, 0,
1473 doc: /* Return non-nil if KEY is `eq' to the cdr of an element of LIST.
1474 The value is actually the first element of LIST whose cdr is KEY. */)
1475 (register Lisp_Object key, Lisp_Object list)
1476 {
1477 while (1)
1478 {
1479 if (!CONSP (list)
1480 || (CONSP (XCAR (list))
1481 && EQ (XCDR (XCAR (list)), key)))
1482 break;
1483
1484 list = XCDR (list);
1485 if (!CONSP (list)
1486 || (CONSP (XCAR (list))
1487 && EQ (XCDR (XCAR (list)), key)))
1488 break;
1489
1490 list = XCDR (list);
1491 if (!CONSP (list)
1492 || (CONSP (XCAR (list))
1493 && EQ (XCDR (XCAR (list)), key)))
1494 break;
1495
1496 list = XCDR (list);
1497 QUIT;
1498 }
1499
1500 return CAR (list);
1501 }
1502
1503 DEFUN ("rassoc", Frassoc, Srassoc, 2, 2, 0,
1504 doc: /* Return non-nil if KEY is `equal' to the cdr of an element of LIST.
1505 The value is actually the first element of LIST whose cdr equals KEY. */)
1506 (Lisp_Object key, Lisp_Object list)
1507 {
1508 Lisp_Object cdr;
1509
1510 while (1)
1511 {
1512 if (!CONSP (list)
1513 || (CONSP (XCAR (list))
1514 && (cdr = XCDR (XCAR (list)),
1515 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1516 break;
1517
1518 list = XCDR (list);
1519 if (!CONSP (list)
1520 || (CONSP (XCAR (list))
1521 && (cdr = XCDR (XCAR (list)),
1522 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1523 break;
1524
1525 list = XCDR (list);
1526 if (!CONSP (list)
1527 || (CONSP (XCAR (list))
1528 && (cdr = XCDR (XCAR (list)),
1529 EQ (cdr, key) || !NILP (Fequal (cdr, key)))))
1530 break;
1531
1532 list = XCDR (list);
1533 QUIT;
1534 }
1535
1536 return CAR (list);
1537 }
1538 \f
1539 DEFUN ("delq", Fdelq, Sdelq, 2, 2, 0,
1540 doc: /* Delete members of LIST which are `eq' to ELT, and return the result.
1541 More precisely, this function skips any members `eq' to ELT at the
1542 front of LIST, then removes members `eq' to ELT from the remaining
1543 sublist by modifying its list structure, then returns the resulting
1544 list.
1545
1546 Write `(setq foo (delq element foo))' to be sure of correctly changing
1547 the value of a list `foo'. */)
1548 (register Lisp_Object elt, Lisp_Object list)
1549 {
1550 Lisp_Object tail, tortoise, prev = Qnil;
1551 bool skip;
1552
1553 FOR_EACH_TAIL (tail, list, tortoise, skip)
1554 {
1555 Lisp_Object tem = XCAR (tail);
1556 if (EQ (elt, tem))
1557 {
1558 if (NILP (prev))
1559 list = XCDR (tail);
1560 else
1561 Fsetcdr (prev, XCDR (tail));
1562 }
1563 else
1564 prev = tail;
1565 }
1566 return list;
1567 }
1568
1569 DEFUN ("delete", Fdelete, Sdelete, 2, 2, 0,
1570 doc: /* Delete members of SEQ which are `equal' to ELT, and return the result.
1571 SEQ must be a sequence (i.e. a list, a vector, or a string).
1572 The return value is a sequence of the same type.
1573
1574 If SEQ is a list, this behaves like `delq', except that it compares
1575 with `equal' instead of `eq'. In particular, it may remove elements
1576 by altering the list structure.
1577
1578 If SEQ is not a list, deletion is never performed destructively;
1579 instead this function creates and returns a new vector or string.
1580
1581 Write `(setq foo (delete element foo))' to be sure of correctly
1582 changing the value of a sequence `foo'. */)
1583 (Lisp_Object elt, Lisp_Object seq)
1584 {
1585 if (VECTORP (seq))
1586 {
1587 ptrdiff_t i, n;
1588
1589 for (i = n = 0; i < ASIZE (seq); ++i)
1590 if (NILP (Fequal (AREF (seq, i), elt)))
1591 ++n;
1592
1593 if (n != ASIZE (seq))
1594 {
1595 struct Lisp_Vector *p = allocate_vector (n);
1596
1597 for (i = n = 0; i < ASIZE (seq); ++i)
1598 if (NILP (Fequal (AREF (seq, i), elt)))
1599 p->contents[n++] = AREF (seq, i);
1600
1601 XSETVECTOR (seq, p);
1602 }
1603 }
1604 else if (STRINGP (seq))
1605 {
1606 ptrdiff_t i, ibyte, nchars, nbytes, cbytes;
1607 int c;
1608
1609 for (i = nchars = nbytes = ibyte = 0;
1610 i < SCHARS (seq);
1611 ++i, ibyte += cbytes)
1612 {
1613 if (STRING_MULTIBYTE (seq))
1614 {
1615 c = STRING_CHAR (SDATA (seq) + ibyte);
1616 cbytes = CHAR_BYTES (c);
1617 }
1618 else
1619 {
1620 c = SREF (seq, i);
1621 cbytes = 1;
1622 }
1623
1624 if (!INTEGERP (elt) || c != XINT (elt))
1625 {
1626 ++nchars;
1627 nbytes += cbytes;
1628 }
1629 }
1630
1631 if (nchars != SCHARS (seq))
1632 {
1633 Lisp_Object tem;
1634
1635 tem = make_uninit_multibyte_string (nchars, nbytes);
1636 if (!STRING_MULTIBYTE (seq))
1637 STRING_SET_UNIBYTE (tem);
1638
1639 for (i = nchars = nbytes = ibyte = 0;
1640 i < SCHARS (seq);
1641 ++i, ibyte += cbytes)
1642 {
1643 if (STRING_MULTIBYTE (seq))
1644 {
1645 c = STRING_CHAR (SDATA (seq) + ibyte);
1646 cbytes = CHAR_BYTES (c);
1647 }
1648 else
1649 {
1650 c = SREF (seq, i);
1651 cbytes = 1;
1652 }
1653
1654 if (!INTEGERP (elt) || c != XINT (elt))
1655 {
1656 unsigned char *from = SDATA (seq) + ibyte;
1657 unsigned char *to = SDATA (tem) + nbytes;
1658 ptrdiff_t n;
1659
1660 ++nchars;
1661 nbytes += cbytes;
1662
1663 for (n = cbytes; n--; )
1664 *to++ = *from++;
1665 }
1666 }
1667
1668 seq = tem;
1669 }
1670 }
1671 else
1672 {
1673 Lisp_Object tail, prev;
1674
1675 for (tail = seq, prev = Qnil; CONSP (tail); tail = XCDR (tail))
1676 {
1677 CHECK_LIST_CONS (tail, seq);
1678
1679 if (!NILP (Fequal (elt, XCAR (tail))))
1680 {
1681 if (NILP (prev))
1682 seq = XCDR (tail);
1683 else
1684 Fsetcdr (prev, XCDR (tail));
1685 }
1686 else
1687 prev = tail;
1688 QUIT;
1689 }
1690 }
1691
1692 return seq;
1693 }
1694
1695 DEFUN ("nreverse", Fnreverse, Snreverse, 1, 1, 0,
1696 doc: /* Reverse LIST by modifying cdr pointers.
1697 Return the reversed list. Expects a properly nil-terminated list. */)
1698 (Lisp_Object list)
1699 {
1700 register Lisp_Object prev, tail, next;
1701
1702 if (NILP (list)) return list;
1703 prev = Qnil;
1704 tail = list;
1705 while (!NILP (tail))
1706 {
1707 QUIT;
1708 CHECK_LIST_CONS (tail, tail);
1709 next = XCDR (tail);
1710 Fsetcdr (tail, prev);
1711 prev = tail;
1712 tail = next;
1713 }
1714 return prev;
1715 }
1716
1717 DEFUN ("reverse", Freverse, Sreverse, 1, 1, 0,
1718 doc: /* Reverse LIST, copying. Return the reversed list.
1719 See also the function `nreverse', which is used more often. */)
1720 (Lisp_Object list)
1721 {
1722 Lisp_Object new;
1723
1724 for (new = Qnil; CONSP (list); list = XCDR (list))
1725 {
1726 QUIT;
1727 new = Fcons (XCAR (list), new);
1728 }
1729 CHECK_LIST_END (list, list);
1730 return new;
1731 }
1732 \f
1733 DEFUN ("sort", Fsort, Ssort, 2, 2, 0,
1734 doc: /* Sort LIST, stably, comparing elements using PREDICATE.
1735 Returns the sorted list. LIST is modified by side effects.
1736 PREDICATE is called with two elements of LIST, and should return non-nil
1737 if the first element should sort before the second. */)
1738 (Lisp_Object list, Lisp_Object predicate)
1739 {
1740 Lisp_Object front, back;
1741 register Lisp_Object len, tem;
1742 struct gcpro gcpro1, gcpro2;
1743 EMACS_INT length;
1744
1745 front = list;
1746 len = Flength (list);
1747 length = XINT (len);
1748 if (length < 2)
1749 return list;
1750
1751 XSETINT (len, (length / 2) - 1);
1752 tem = Fnthcdr (len, list);
1753 back = Fcdr (tem);
1754 Fsetcdr (tem, Qnil);
1755
1756 GCPRO2 (front, back);
1757 front = Fsort (front, predicate);
1758 back = Fsort (back, predicate);
1759 UNGCPRO;
1760 return merge (front, back, predicate);
1761 }
1762
1763 Lisp_Object
1764 merge (Lisp_Object org_l1, Lisp_Object org_l2, Lisp_Object pred)
1765 {
1766 Lisp_Object value;
1767 register Lisp_Object tail;
1768 Lisp_Object tem;
1769 register Lisp_Object l1, l2;
1770 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
1771
1772 l1 = org_l1;
1773 l2 = org_l2;
1774 tail = Qnil;
1775 value = Qnil;
1776
1777 /* It is sufficient to protect org_l1 and org_l2.
1778 When l1 and l2 are updated, we copy the new values
1779 back into the org_ vars. */
1780 GCPRO4 (org_l1, org_l2, pred, value);
1781
1782 while (1)
1783 {
1784 if (NILP (l1))
1785 {
1786 UNGCPRO;
1787 if (NILP (tail))
1788 return l2;
1789 Fsetcdr (tail, l2);
1790 return value;
1791 }
1792 if (NILP (l2))
1793 {
1794 UNGCPRO;
1795 if (NILP (tail))
1796 return l1;
1797 Fsetcdr (tail, l1);
1798 return value;
1799 }
1800 tem = call2 (pred, Fcar (l2), Fcar (l1));
1801 if (NILP (tem))
1802 {
1803 tem = l1;
1804 l1 = Fcdr (l1);
1805 org_l1 = l1;
1806 }
1807 else
1808 {
1809 tem = l2;
1810 l2 = Fcdr (l2);
1811 org_l2 = l2;
1812 }
1813 if (NILP (tail))
1814 value = tem;
1815 else
1816 Fsetcdr (tail, tem);
1817 tail = tem;
1818 }
1819 }
1820
1821 \f
1822 /* This does not check for quits. That is safe since it must terminate. */
1823
1824 DEFUN ("plist-get", Fplist_get, Splist_get, 2, 2, 0,
1825 doc: /* Extract a value from a property list.
1826 PLIST is a property list, which is a list of the form
1827 \(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value
1828 corresponding to the given PROP, or nil if PROP is not one of the
1829 properties on the list. This function never signals an error. */)
1830 (Lisp_Object plist, Lisp_Object prop)
1831 {
1832 Lisp_Object tail, halftail;
1833
1834 /* halftail is used to detect circular lists. */
1835 tail = halftail = plist;
1836 while (CONSP (tail) && CONSP (XCDR (tail)))
1837 {
1838 if (EQ (prop, XCAR (tail)))
1839 return XCAR (XCDR (tail));
1840
1841 tail = XCDR (XCDR (tail));
1842 halftail = XCDR (halftail);
1843 if (EQ (tail, halftail))
1844 break;
1845 }
1846
1847 return Qnil;
1848 }
1849
1850 DEFUN ("get", Fget, Sget, 2, 2, 0,
1851 doc: /* Return the value of SYMBOL's PROPNAME property.
1852 This is the last value stored with `(put SYMBOL PROPNAME VALUE)'. */)
1853 (Lisp_Object symbol, Lisp_Object propname)
1854 {
1855 CHECK_SYMBOL (symbol);
1856 return Fplist_get (XSYMBOL (symbol)->plist, propname);
1857 }
1858
1859 DEFUN ("plist-put", Fplist_put, Splist_put, 3, 3, 0,
1860 doc: /* Change value in PLIST of PROP to VAL.
1861 PLIST is a property list, which is a list of the form
1862 \(PROP1 VALUE1 PROP2 VALUE2 ...). PROP is a symbol and VAL is any object.
1863 If PROP is already a property on the list, its value is set to VAL,
1864 otherwise the new PROP VAL pair is added. The new plist is returned;
1865 use `(setq x (plist-put x prop val))' to be sure to use the new value.
1866 The PLIST is modified by side effects. */)
1867 (Lisp_Object plist, register Lisp_Object prop, Lisp_Object val)
1868 {
1869 register Lisp_Object tail, prev;
1870 Lisp_Object newcell;
1871 prev = Qnil;
1872 for (tail = plist; CONSP (tail) && CONSP (XCDR (tail));
1873 tail = XCDR (XCDR (tail)))
1874 {
1875 if (EQ (prop, XCAR (tail)))
1876 {
1877 Fsetcar (XCDR (tail), val);
1878 return plist;
1879 }
1880
1881 prev = tail;
1882 QUIT;
1883 }
1884 newcell = Fcons (prop, Fcons (val, NILP (prev) ? plist : XCDR (XCDR (prev))));
1885 if (NILP (prev))
1886 return newcell;
1887 else
1888 Fsetcdr (XCDR (prev), newcell);
1889 return plist;
1890 }
1891
1892 DEFUN ("put", Fput, Sput, 3, 3, 0,
1893 doc: /* Store SYMBOL's PROPNAME property with value VALUE.
1894 It can be retrieved with `(get SYMBOL PROPNAME)'. */)
1895 (Lisp_Object symbol, Lisp_Object propname, Lisp_Object value)
1896 {
1897 CHECK_SYMBOL (symbol);
1898 set_symbol_plist
1899 (symbol, Fplist_put (XSYMBOL (symbol)->plist, propname, value));
1900 return value;
1901 }
1902 \f
1903 DEFUN ("lax-plist-get", Flax_plist_get, Slax_plist_get, 2, 2, 0,
1904 doc: /* Extract a value from a property list, comparing with `equal'.
1905 PLIST is a property list, which is a list of the form
1906 \(PROP1 VALUE1 PROP2 VALUE2...). This function returns the value
1907 corresponding to the given PROP, or nil if PROP is not
1908 one of the properties on the list. */)
1909 (Lisp_Object plist, Lisp_Object prop)
1910 {
1911 Lisp_Object tail;
1912
1913 for (tail = plist;
1914 CONSP (tail) && CONSP (XCDR (tail));
1915 tail = XCDR (XCDR (tail)))
1916 {
1917 if (! NILP (Fequal (prop, XCAR (tail))))
1918 return XCAR (XCDR (tail));
1919
1920 QUIT;
1921 }
1922
1923 CHECK_LIST_END (tail, prop);
1924
1925 return Qnil;
1926 }
1927
1928 DEFUN ("lax-plist-put", Flax_plist_put, Slax_plist_put, 3, 3, 0,
1929 doc: /* Change value in PLIST of PROP to VAL, comparing with `equal'.
1930 PLIST is a property list, which is a list of the form
1931 \(PROP1 VALUE1 PROP2 VALUE2 ...). PROP and VAL are any objects.
1932 If PROP is already a property on the list, its value is set to VAL,
1933 otherwise the new PROP VAL pair is added. The new plist is returned;
1934 use `(setq x (lax-plist-put x prop val))' to be sure to use the new value.
1935 The PLIST is modified by side effects. */)
1936 (Lisp_Object plist, register Lisp_Object prop, Lisp_Object val)
1937 {
1938 register Lisp_Object tail, prev;
1939 Lisp_Object newcell;
1940 prev = Qnil;
1941 for (tail = plist; CONSP (tail) && CONSP (XCDR (tail));
1942 tail = XCDR (XCDR (tail)))
1943 {
1944 if (! NILP (Fequal (prop, XCAR (tail))))
1945 {
1946 Fsetcar (XCDR (tail), val);
1947 return plist;
1948 }
1949
1950 prev = tail;
1951 QUIT;
1952 }
1953 newcell = list2 (prop, val);
1954 if (NILP (prev))
1955 return newcell;
1956 else
1957 Fsetcdr (XCDR (prev), newcell);
1958 return plist;
1959 }
1960 \f
1961 DEFUN ("eql", Feql, Seql, 2, 2, 0,
1962 doc: /* Return t if the two args are the same Lisp object.
1963 Floating-point numbers of equal value are `eql', but they may not be `eq'. */)
1964 (Lisp_Object obj1, Lisp_Object obj2)
1965 {
1966 if (FLOATP (obj1))
1967 return internal_equal (obj1, obj2, 0, 0, Qnil) ? Qt : Qnil;
1968 else
1969 return EQ (obj1, obj2) ? Qt : Qnil;
1970 }
1971
1972 DEFUN ("equal", Fequal, Sequal, 2, 2, 0,
1973 doc: /* Return t if two Lisp objects have similar structure and contents.
1974 They must have the same data type.
1975 Conses are compared by comparing the cars and the cdrs.
1976 Vectors and strings are compared element by element.
1977 Numbers are compared by value, but integers cannot equal floats.
1978 (Use `=' if you want integers and floats to be able to be equal.)
1979 Symbols must match exactly. */)
1980 (register Lisp_Object o1, Lisp_Object o2)
1981 {
1982 return internal_equal (o1, o2, 0, 0, Qnil) ? Qt : Qnil;
1983 }
1984
1985 DEFUN ("equal-including-properties", Fequal_including_properties, Sequal_including_properties, 2, 2, 0,
1986 doc: /* Return t if two Lisp objects have similar structure and contents.
1987 This is like `equal' except that it compares the text properties
1988 of strings. (`equal' ignores text properties.) */)
1989 (register Lisp_Object o1, Lisp_Object o2)
1990 {
1991 return internal_equal (o1, o2, 0, 1, Qnil) ? Qt : Qnil;
1992 }
1993
1994 /* DEPTH is current depth of recursion. Signal an error if it
1995 gets too deep.
1996 PROPS means compare string text properties too. */
1997
1998 static bool
1999 internal_equal (Lisp_Object o1, Lisp_Object o2, int depth, bool props,
2000 Lisp_Object ht)
2001 {
2002 if (depth > 10)
2003 {
2004 if (depth > 200)
2005 error ("Stack overflow in equal");
2006 if (NILP (ht))
2007 {
2008 Lisp_Object args[2];
2009 args[0] = QCtest;
2010 args[1] = Qeq;
2011 ht = Fmake_hash_table (2, args);
2012 }
2013 switch (XTYPE (o1))
2014 {
2015 case Lisp_Cons: case Lisp_Misc: case Lisp_Vectorlike:
2016 {
2017 struct Lisp_Hash_Table *h = XHASH_TABLE (ht);
2018 EMACS_UINT hash;
2019 ptrdiff_t i = hash_lookup (h, o1, &hash);
2020 if (i >= 0)
2021 { /* `o1' was seen already. */
2022 Lisp_Object o2s = HASH_VALUE (h, i);
2023 if (!NILP (Fmemq (o2, o2s)))
2024 return 1;
2025 else
2026 set_hash_value_slot (h, i, Fcons (o2, o2s));
2027 }
2028 else
2029 hash_put (h, o1, Fcons (o2, Qnil), hash);
2030 }
2031 default: ;
2032 }
2033 }
2034
2035 tail_recurse:
2036 QUIT;
2037 if (EQ (o1, o2))
2038 return 1;
2039 if (XTYPE (o1) != XTYPE (o2))
2040 return 0;
2041
2042 switch (XTYPE (o1))
2043 {
2044 case Lisp_Float:
2045 {
2046 double d1, d2;
2047
2048 d1 = extract_float (o1);
2049 d2 = extract_float (o2);
2050 /* If d is a NaN, then d != d. Two NaNs should be `equal' even
2051 though they are not =. */
2052 return d1 == d2 || (d1 != d1 && d2 != d2);
2053 }
2054
2055 case Lisp_Cons:
2056 if (!internal_equal (XCAR (o1), XCAR (o2), depth + 1, props, ht))
2057 return 0;
2058 o1 = XCDR (o1);
2059 o2 = XCDR (o2);
2060 /* FIXME: This inf-loops in a circular list! */
2061 goto tail_recurse;
2062
2063 case Lisp_Misc:
2064 if (XMISCTYPE (o1) != XMISCTYPE (o2))
2065 return 0;
2066 if (OVERLAYP (o1))
2067 {
2068 if (!internal_equal (OVERLAY_START (o1), OVERLAY_START (o2),
2069 depth + 1, props, ht)
2070 || !internal_equal (OVERLAY_END (o1), OVERLAY_END (o2),
2071 depth + 1, props, ht))
2072 return 0;
2073 o1 = XOVERLAY (o1)->plist;
2074 o2 = XOVERLAY (o2)->plist;
2075 goto tail_recurse;
2076 }
2077 if (MARKERP (o1))
2078 {
2079 return (XMARKER (o1)->buffer == XMARKER (o2)->buffer
2080 && (XMARKER (o1)->buffer == 0
2081 || XMARKER (o1)->bytepos == XMARKER (o2)->bytepos));
2082 }
2083 break;
2084
2085 case Lisp_Vectorlike:
2086 {
2087 register int i;
2088 ptrdiff_t size = ASIZE (o1);
2089 /* Pseudovectors have the type encoded in the size field, so this test
2090 actually checks that the objects have the same type as well as the
2091 same size. */
2092 if (ASIZE (o2) != size)
2093 return 0;
2094 /* Boolvectors are compared much like strings. */
2095 if (BOOL_VECTOR_P (o1))
2096 {
2097 EMACS_INT size = bool_vector_size (o1);
2098 if (size != bool_vector_size (o2))
2099 return 0;
2100 if (memcmp (bool_vector_data (o1), bool_vector_data (o2),
2101 bool_vector_bytes (size)))
2102 return 0;
2103 return 1;
2104 }
2105 if (WINDOW_CONFIGURATIONP (o1))
2106 return compare_window_configurations (o1, o2, 0);
2107
2108 /* Aside from them, only true vectors, char-tables, compiled
2109 functions, and fonts (font-spec, font-entity, font-object)
2110 are sensible to compare, so eliminate the others now. */
2111 if (size & PSEUDOVECTOR_FLAG)
2112 {
2113 if (((size & PVEC_TYPE_MASK) >> PSEUDOVECTOR_AREA_BITS)
2114 < PVEC_COMPILED)
2115 return 0;
2116 size &= PSEUDOVECTOR_SIZE_MASK;
2117 }
2118 for (i = 0; i < size; i++)
2119 {
2120 Lisp_Object v1, v2;
2121 v1 = AREF (o1, i);
2122 v2 = AREF (o2, i);
2123 if (!internal_equal (v1, v2, depth + 1, props, ht))
2124 return 0;
2125 }
2126 return 1;
2127 }
2128 break;
2129
2130 case Lisp_String:
2131 if (SCHARS (o1) != SCHARS (o2))
2132 return 0;
2133 if (SBYTES (o1) != SBYTES (o2))
2134 return 0;
2135 if (memcmp (SDATA (o1), SDATA (o2), SBYTES (o1)))
2136 return 0;
2137 if (props && !compare_string_intervals (o1, o2))
2138 return 0;
2139 return 1;
2140
2141 default:
2142 break;
2143 }
2144
2145 return 0;
2146 }
2147 \f
2148
2149 DEFUN ("fillarray", Ffillarray, Sfillarray, 2, 2, 0,
2150 doc: /* Store each element of ARRAY with ITEM.
2151 ARRAY is a vector, string, char-table, or bool-vector. */)
2152 (Lisp_Object array, Lisp_Object item)
2153 {
2154 register ptrdiff_t size, idx;
2155
2156 if (VECTORP (array))
2157 for (idx = 0, size = ASIZE (array); idx < size; idx++)
2158 ASET (array, idx, item);
2159 else if (CHAR_TABLE_P (array))
2160 {
2161 int i;
2162
2163 for (i = 0; i < (1 << CHARTAB_SIZE_BITS_0); i++)
2164 set_char_table_contents (array, i, item);
2165 set_char_table_defalt (array, item);
2166 }
2167 else if (STRINGP (array))
2168 {
2169 register unsigned char *p = SDATA (array);
2170 int charval;
2171 CHECK_CHARACTER (item);
2172 charval = XFASTINT (item);
2173 size = SCHARS (array);
2174 if (STRING_MULTIBYTE (array))
2175 {
2176 unsigned char str[MAX_MULTIBYTE_LENGTH];
2177 int len = CHAR_STRING (charval, str);
2178 ptrdiff_t size_byte = SBYTES (array);
2179
2180 if (INT_MULTIPLY_OVERFLOW (SCHARS (array), len)
2181 || SCHARS (array) * len != size_byte)
2182 error ("Attempt to change byte length of a string");
2183 for (idx = 0; idx < size_byte; idx++)
2184 *p++ = str[idx % len];
2185 }
2186 else
2187 for (idx = 0; idx < size; idx++)
2188 p[idx] = charval;
2189 }
2190 else if (BOOL_VECTOR_P (array))
2191 return bool_vector_fill (array, item);
2192 else
2193 wrong_type_argument (Qarrayp, array);
2194 return array;
2195 }
2196
2197 DEFUN ("clear-string", Fclear_string, Sclear_string,
2198 1, 1, 0,
2199 doc: /* Clear the contents of STRING.
2200 This makes STRING unibyte and may change its length. */)
2201 (Lisp_Object string)
2202 {
2203 ptrdiff_t len;
2204 CHECK_STRING (string);
2205 len = SBYTES (string);
2206 memset (SDATA (string), 0, len);
2207 STRING_SET_CHARS (string, len);
2208 STRING_SET_UNIBYTE (string);
2209 return Qnil;
2210 }
2211 \f
2212 /* ARGSUSED */
2213 Lisp_Object
2214 nconc2 (Lisp_Object s1, Lisp_Object s2)
2215 {
2216 Lisp_Object args[2];
2217 args[0] = s1;
2218 args[1] = s2;
2219 return Fnconc (2, args);
2220 }
2221
2222 DEFUN ("nconc", Fnconc, Snconc, 0, MANY, 0,
2223 doc: /* Concatenate any number of lists by altering them.
2224 Only the last argument is not altered, and need not be a list.
2225 usage: (nconc &rest LISTS) */)
2226 (ptrdiff_t nargs, Lisp_Object *args)
2227 {
2228 ptrdiff_t argnum;
2229 register Lisp_Object tail, tem, val;
2230
2231 val = tail = Qnil;
2232
2233 for (argnum = 0; argnum < nargs; argnum++)
2234 {
2235 tem = args[argnum];
2236 if (NILP (tem)) continue;
2237
2238 if (NILP (val))
2239 val = tem;
2240
2241 if (argnum + 1 == nargs) break;
2242
2243 CHECK_LIST_CONS (tem, tem);
2244
2245 while (CONSP (tem))
2246 {
2247 tail = tem;
2248 tem = XCDR (tail);
2249 QUIT;
2250 }
2251
2252 tem = args[argnum + 1];
2253 Fsetcdr (tail, tem);
2254 if (NILP (tem))
2255 args[argnum + 1] = tail;
2256 }
2257
2258 return val;
2259 }
2260 \f
2261 /* This is the guts of all mapping functions.
2262 Apply FN to each element of SEQ, one by one,
2263 storing the results into elements of VALS, a C vector of Lisp_Objects.
2264 LENI is the length of VALS, which should also be the length of SEQ. */
2265
2266 static void
2267 mapcar1 (EMACS_INT leni, Lisp_Object *vals, Lisp_Object fn, Lisp_Object seq)
2268 {
2269 register Lisp_Object tail;
2270 Lisp_Object dummy;
2271 register EMACS_INT i;
2272 struct gcpro gcpro1, gcpro2, gcpro3;
2273
2274 if (vals)
2275 {
2276 /* Don't let vals contain any garbage when GC happens. */
2277 for (i = 0; i < leni; i++)
2278 vals[i] = Qnil;
2279
2280 GCPRO3 (dummy, fn, seq);
2281 gcpro1.var = vals;
2282 gcpro1.nvars = leni;
2283 }
2284 else
2285 GCPRO2 (fn, seq);
2286 /* We need not explicitly protect `tail' because it is used only on lists, and
2287 1) lists are not relocated and 2) the list is marked via `seq' so will not
2288 be freed */
2289
2290 if (VECTORP (seq) || COMPILEDP (seq))
2291 {
2292 for (i = 0; i < leni; i++)
2293 {
2294 dummy = call1 (fn, AREF (seq, i));
2295 if (vals)
2296 vals[i] = dummy;
2297 }
2298 }
2299 else if (BOOL_VECTOR_P (seq))
2300 {
2301 for (i = 0; i < leni; i++)
2302 {
2303 dummy = call1 (fn, bool_vector_ref (seq, i));
2304 if (vals)
2305 vals[i] = dummy;
2306 }
2307 }
2308 else if (STRINGP (seq))
2309 {
2310 ptrdiff_t i_byte;
2311
2312 for (i = 0, i_byte = 0; i < leni;)
2313 {
2314 int c;
2315 ptrdiff_t i_before = i;
2316
2317 FETCH_STRING_CHAR_ADVANCE (c, seq, i, i_byte);
2318 XSETFASTINT (dummy, c);
2319 dummy = call1 (fn, dummy);
2320 if (vals)
2321 vals[i_before] = dummy;
2322 }
2323 }
2324 else /* Must be a list, since Flength did not get an error */
2325 {
2326 tail = seq;
2327 for (i = 0; i < leni && CONSP (tail); i++)
2328 {
2329 dummy = call1 (fn, XCAR (tail));
2330 if (vals)
2331 vals[i] = dummy;
2332 tail = XCDR (tail);
2333 }
2334 }
2335
2336 UNGCPRO;
2337 }
2338
2339 DEFUN ("mapconcat", Fmapconcat, Smapconcat, 3, 3, 0,
2340 doc: /* Apply FUNCTION to each element of SEQUENCE, and concat the results as strings.
2341 In between each pair of results, stick in SEPARATOR. Thus, " " as
2342 SEPARATOR results in spaces between the values returned by FUNCTION.
2343 SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
2344 (Lisp_Object function, Lisp_Object sequence, Lisp_Object separator)
2345 {
2346 Lisp_Object len;
2347 register EMACS_INT leni;
2348 EMACS_INT nargs;
2349 ptrdiff_t i;
2350 register Lisp_Object *args;
2351 struct gcpro gcpro1;
2352 Lisp_Object ret;
2353 USE_SAFE_ALLOCA;
2354
2355 len = Flength (sequence);
2356 if (CHAR_TABLE_P (sequence))
2357 wrong_type_argument (Qlistp, sequence);
2358 leni = XINT (len);
2359 nargs = leni + leni - 1;
2360 if (nargs < 0) return empty_unibyte_string;
2361
2362 SAFE_ALLOCA_LISP (args, nargs);
2363
2364 GCPRO1 (separator);
2365 mapcar1 (leni, args, function, sequence);
2366 UNGCPRO;
2367
2368 for (i = leni - 1; i > 0; i--)
2369 args[i + i] = args[i];
2370
2371 for (i = 1; i < nargs; i += 2)
2372 args[i] = separator;
2373
2374 ret = Fconcat (nargs, args);
2375 SAFE_FREE ();
2376
2377 return ret;
2378 }
2379
2380 DEFUN ("mapcar", Fmapcar, Smapcar, 2, 2, 0,
2381 doc: /* Apply FUNCTION to each element of SEQUENCE, and make a list of the results.
2382 The result is a list just as long as SEQUENCE.
2383 SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
2384 (Lisp_Object function, Lisp_Object sequence)
2385 {
2386 register Lisp_Object len;
2387 register EMACS_INT leni;
2388 register Lisp_Object *args;
2389 Lisp_Object ret;
2390 USE_SAFE_ALLOCA;
2391
2392 len = Flength (sequence);
2393 if (CHAR_TABLE_P (sequence))
2394 wrong_type_argument (Qlistp, sequence);
2395 leni = XFASTINT (len);
2396
2397 SAFE_ALLOCA_LISP (args, leni);
2398
2399 mapcar1 (leni, args, function, sequence);
2400
2401 ret = Flist (leni, args);
2402 SAFE_FREE ();
2403
2404 return ret;
2405 }
2406
2407 DEFUN ("mapc", Fmapc, Smapc, 2, 2, 0,
2408 doc: /* Apply FUNCTION to each element of SEQUENCE for side effects only.
2409 Unlike `mapcar', don't accumulate the results. Return SEQUENCE.
2410 SEQUENCE may be a list, a vector, a bool-vector, or a string. */)
2411 (Lisp_Object function, Lisp_Object sequence)
2412 {
2413 register EMACS_INT leni;
2414
2415 leni = XFASTINT (Flength (sequence));
2416 if (CHAR_TABLE_P (sequence))
2417 wrong_type_argument (Qlistp, sequence);
2418 mapcar1 (leni, 0, function, sequence);
2419
2420 return sequence;
2421 }
2422 \f
2423 /* This is how C code calls `yes-or-no-p' and allows the user
2424 to redefined it.
2425
2426 Anything that calls this function must protect from GC! */
2427
2428 Lisp_Object
2429 do_yes_or_no_p (Lisp_Object prompt)
2430 {
2431 return call1 (intern ("yes-or-no-p"), prompt);
2432 }
2433
2434 /* Anything that calls this function must protect from GC! */
2435
2436 DEFUN ("yes-or-no-p", Fyes_or_no_p, Syes_or_no_p, 1, 1, 0,
2437 doc: /* Ask user a yes-or-no question.
2438 Return t if answer is yes, and nil if the answer is no.
2439 PROMPT is the string to display to ask the question. It should end in
2440 a space; `yes-or-no-p' adds \"(yes or no) \" to it.
2441
2442 The user must confirm the answer with RET, and can edit it until it
2443 has been confirmed.
2444
2445 If dialog boxes are supported, a dialog box will be used
2446 if `last-nonmenu-event' is nil, and `use-dialog-box' is non-nil. */)
2447 (Lisp_Object prompt)
2448 {
2449 register Lisp_Object ans;
2450 Lisp_Object args[2];
2451 struct gcpro gcpro1;
2452
2453 CHECK_STRING (prompt);
2454
2455 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
2456 && use_dialog_box)
2457 {
2458 Lisp_Object pane, menu, obj;
2459 redisplay_preserve_echo_area (4);
2460 pane = list2 (Fcons (build_string ("Yes"), Qt),
2461 Fcons (build_string ("No"), Qnil));
2462 GCPRO1 (pane);
2463 menu = Fcons (prompt, pane);
2464 obj = Fx_popup_dialog (Qt, menu, Qnil);
2465 UNGCPRO;
2466 return obj;
2467 }
2468
2469 args[0] = prompt;
2470 args[1] = build_string ("(yes or no) ");
2471 prompt = Fconcat (2, args);
2472
2473 GCPRO1 (prompt);
2474
2475 while (1)
2476 {
2477 ans = Fdowncase (Fread_from_minibuffer (prompt, Qnil, Qnil, Qnil,
2478 Qyes_or_no_p_history, Qnil,
2479 Qnil));
2480 if (SCHARS (ans) == 3 && !strcmp (SSDATA (ans), "yes"))
2481 {
2482 UNGCPRO;
2483 return Qt;
2484 }
2485 if (SCHARS (ans) == 2 && !strcmp (SSDATA (ans), "no"))
2486 {
2487 UNGCPRO;
2488 return Qnil;
2489 }
2490
2491 Fding (Qnil);
2492 Fdiscard_input ();
2493 message1 ("Please answer yes or no.");
2494 Fsleep_for (make_number (2), Qnil);
2495 }
2496 }
2497 \f
2498 DEFUN ("load-average", Fload_average, Sload_average, 0, 1, 0,
2499 doc: /* Return list of 1 minute, 5 minute and 15 minute load averages.
2500
2501 Each of the three load averages is multiplied by 100, then converted
2502 to integer.
2503
2504 When USE-FLOATS is non-nil, floats will be used instead of integers.
2505 These floats are not multiplied by 100.
2506
2507 If the 5-minute or 15-minute load averages are not available, return a
2508 shortened list, containing only those averages which are available.
2509
2510 An error is thrown if the load average can't be obtained. In some
2511 cases making it work would require Emacs being installed setuid or
2512 setgid so that it can read kernel information, and that usually isn't
2513 advisable. */)
2514 (Lisp_Object use_floats)
2515 {
2516 double load_ave[3];
2517 int loads = getloadavg (load_ave, 3);
2518 Lisp_Object ret = Qnil;
2519
2520 if (loads < 0)
2521 error ("load-average not implemented for this operating system");
2522
2523 while (loads-- > 0)
2524 {
2525 Lisp_Object load = (NILP (use_floats)
2526 ? make_number (100.0 * load_ave[loads])
2527 : make_float (load_ave[loads]));
2528 ret = Fcons (load, ret);
2529 }
2530
2531 return ret;
2532 }
2533 \f
2534 static Lisp_Object Qsubfeatures;
2535
2536 DEFUN ("featurep", Ffeaturep, Sfeaturep, 1, 2, 0,
2537 doc: /* Return t if FEATURE is present in this Emacs.
2538
2539 Use this to conditionalize execution of lisp code based on the
2540 presence or absence of Emacs or environment extensions.
2541 Use `provide' to declare that a feature is available. This function
2542 looks at the value of the variable `features'. The optional argument
2543 SUBFEATURE can be used to check a specific subfeature of FEATURE. */)
2544 (Lisp_Object feature, Lisp_Object subfeature)
2545 {
2546 register Lisp_Object tem;
2547 CHECK_SYMBOL (feature);
2548 tem = Fmemq (feature, Vfeatures);
2549 if (!NILP (tem) && !NILP (subfeature))
2550 tem = Fmember (subfeature, Fget (feature, Qsubfeatures));
2551 return (NILP (tem)) ? Qnil : Qt;
2552 }
2553
2554 static Lisp_Object Qfuncall;
2555
2556 DEFUN ("provide", Fprovide, Sprovide, 1, 2, 0,
2557 doc: /* Announce that FEATURE is a feature of the current Emacs.
2558 The optional argument SUBFEATURES should be a list of symbols listing
2559 particular subfeatures supported in this version of FEATURE. */)
2560 (Lisp_Object feature, Lisp_Object subfeatures)
2561 {
2562 register Lisp_Object tem;
2563 CHECK_SYMBOL (feature);
2564 CHECK_LIST (subfeatures);
2565 if (!NILP (Vautoload_queue))
2566 Vautoload_queue = Fcons (Fcons (make_number (0), Vfeatures),
2567 Vautoload_queue);
2568 tem = Fmemq (feature, Vfeatures);
2569 if (NILP (tem))
2570 Vfeatures = Fcons (feature, Vfeatures);
2571 if (!NILP (subfeatures))
2572 Fput (feature, Qsubfeatures, subfeatures);
2573 LOADHIST_ATTACH (Fcons (Qprovide, feature));
2574
2575 /* Run any load-hooks for this file. */
2576 tem = Fassq (feature, Vafter_load_alist);
2577 if (CONSP (tem))
2578 Fmapc (Qfuncall, XCDR (tem));
2579
2580 return feature;
2581 }
2582 \f
2583 /* `require' and its subroutines. */
2584
2585 /* List of features currently being require'd, innermost first. */
2586
2587 static Lisp_Object require_nesting_list;
2588
2589 static void
2590 require_unwind (Lisp_Object old_value)
2591 {
2592 require_nesting_list = old_value;
2593 }
2594
2595 DEFUN ("require", Frequire, Srequire, 1, 3, 0,
2596 doc: /* If feature FEATURE is not loaded, load it from FILENAME.
2597 If FEATURE is not a member of the list `features', then the feature
2598 is not loaded; so load the file FILENAME.
2599 If FILENAME is omitted, the printname of FEATURE is used as the file name,
2600 and `load' will try to load this name appended with the suffix `.elc' or
2601 `.el', in that order. The name without appended suffix will not be used.
2602 See `get-load-suffixes' for the complete list of suffixes.
2603 If the optional third argument NOERROR is non-nil,
2604 then return nil if the file is not found instead of signaling an error.
2605 Normally the return value is FEATURE.
2606 The normal messages at start and end of loading FILENAME are suppressed. */)
2607 (Lisp_Object feature, Lisp_Object filename, Lisp_Object noerror)
2608 {
2609 Lisp_Object tem;
2610 struct gcpro gcpro1, gcpro2;
2611 bool from_file = load_in_progress;
2612
2613 CHECK_SYMBOL (feature);
2614
2615 /* Record the presence of `require' in this file
2616 even if the feature specified is already loaded.
2617 But not more than once in any file,
2618 and not when we aren't loading or reading from a file. */
2619 if (!from_file)
2620 for (tem = Vcurrent_load_list; CONSP (tem); tem = XCDR (tem))
2621 if (NILP (XCDR (tem)) && STRINGP (XCAR (tem)))
2622 from_file = 1;
2623
2624 if (from_file)
2625 {
2626 tem = Fcons (Qrequire, feature);
2627 if (NILP (Fmember (tem, Vcurrent_load_list)))
2628 LOADHIST_ATTACH (tem);
2629 }
2630 tem = Fmemq (feature, Vfeatures);
2631
2632 if (NILP (tem))
2633 {
2634 ptrdiff_t count = SPECPDL_INDEX ();
2635 int nesting = 0;
2636
2637 /* This is to make sure that loadup.el gives a clear picture
2638 of what files are preloaded and when. */
2639 if (! NILP (Vpurify_flag))
2640 error ("(require %s) while preparing to dump",
2641 SDATA (SYMBOL_NAME (feature)));
2642
2643 /* A certain amount of recursive `require' is legitimate,
2644 but if we require the same feature recursively 3 times,
2645 signal an error. */
2646 tem = require_nesting_list;
2647 while (! NILP (tem))
2648 {
2649 if (! NILP (Fequal (feature, XCAR (tem))))
2650 nesting++;
2651 tem = XCDR (tem);
2652 }
2653 if (nesting > 3)
2654 error ("Recursive `require' for feature `%s'",
2655 SDATA (SYMBOL_NAME (feature)));
2656
2657 /* Update the list for any nested `require's that occur. */
2658 record_unwind_protect (require_unwind, require_nesting_list);
2659 require_nesting_list = Fcons (feature, require_nesting_list);
2660
2661 /* Value saved here is to be restored into Vautoload_queue */
2662 record_unwind_protect (un_autoload, Vautoload_queue);
2663 Vautoload_queue = Qt;
2664
2665 /* Load the file. */
2666 GCPRO2 (feature, filename);
2667 tem = Fload (NILP (filename) ? Fsymbol_name (feature) : filename,
2668 noerror, Qt, Qnil, (NILP (filename) ? Qt : Qnil));
2669 UNGCPRO;
2670
2671 /* If load failed entirely, return nil. */
2672 if (NILP (tem))
2673 return unbind_to (count, Qnil);
2674
2675 tem = Fmemq (feature, Vfeatures);
2676 if (NILP (tem))
2677 error ("Required feature `%s' was not provided",
2678 SDATA (SYMBOL_NAME (feature)));
2679
2680 /* Once loading finishes, don't undo it. */
2681 Vautoload_queue = Qt;
2682 feature = unbind_to (count, feature);
2683 }
2684
2685 return feature;
2686 }
2687 \f
2688 /* Primitives for work of the "widget" library.
2689 In an ideal world, this section would not have been necessary.
2690 However, lisp function calls being as slow as they are, it turns
2691 out that some functions in the widget library (wid-edit.el) are the
2692 bottleneck of Widget operation. Here is their translation to C,
2693 for the sole reason of efficiency. */
2694
2695 DEFUN ("plist-member", Fplist_member, Splist_member, 2, 2, 0,
2696 doc: /* Return non-nil if PLIST has the property PROP.
2697 PLIST is a property list, which is a list of the form
2698 \(PROP1 VALUE1 PROP2 VALUE2 ...\). PROP is a symbol.
2699 Unlike `plist-get', this allows you to distinguish between a missing
2700 property and a property with the value nil.
2701 The value is actually the tail of PLIST whose car is PROP. */)
2702 (Lisp_Object plist, Lisp_Object prop)
2703 {
2704 while (CONSP (plist) && !EQ (XCAR (plist), prop))
2705 {
2706 QUIT;
2707 plist = XCDR (plist);
2708 plist = CDR (plist);
2709 }
2710 return plist;
2711 }
2712
2713 DEFUN ("widget-put", Fwidget_put, Swidget_put, 3, 3, 0,
2714 doc: /* In WIDGET, set PROPERTY to VALUE.
2715 The value can later be retrieved with `widget-get'. */)
2716 (Lisp_Object widget, Lisp_Object property, Lisp_Object value)
2717 {
2718 CHECK_CONS (widget);
2719 XSETCDR (widget, Fplist_put (XCDR (widget), property, value));
2720 return value;
2721 }
2722
2723 DEFUN ("widget-get", Fwidget_get, Swidget_get, 2, 2, 0,
2724 doc: /* In WIDGET, get the value of PROPERTY.
2725 The value could either be specified when the widget was created, or
2726 later with `widget-put'. */)
2727 (Lisp_Object widget, Lisp_Object property)
2728 {
2729 Lisp_Object tmp;
2730
2731 while (1)
2732 {
2733 if (NILP (widget))
2734 return Qnil;
2735 CHECK_CONS (widget);
2736 tmp = Fplist_member (XCDR (widget), property);
2737 if (CONSP (tmp))
2738 {
2739 tmp = XCDR (tmp);
2740 return CAR (tmp);
2741 }
2742 tmp = XCAR (widget);
2743 if (NILP (tmp))
2744 return Qnil;
2745 widget = Fget (tmp, Qwidget_type);
2746 }
2747 }
2748
2749 DEFUN ("widget-apply", Fwidget_apply, Swidget_apply, 2, MANY, 0,
2750 doc: /* Apply the value of WIDGET's PROPERTY to the widget itself.
2751 ARGS are passed as extra arguments to the function.
2752 usage: (widget-apply WIDGET PROPERTY &rest ARGS) */)
2753 (ptrdiff_t nargs, Lisp_Object *args)
2754 {
2755 /* This function can GC. */
2756 Lisp_Object newargs[3];
2757 struct gcpro gcpro1, gcpro2;
2758 Lisp_Object result;
2759
2760 newargs[0] = Fwidget_get (args[0], args[1]);
2761 newargs[1] = args[0];
2762 newargs[2] = Flist (nargs - 2, args + 2);
2763 GCPRO2 (newargs[0], newargs[2]);
2764 result = Fapply (3, newargs);
2765 UNGCPRO;
2766 return result;
2767 }
2768
2769 #ifdef HAVE_LANGINFO_CODESET
2770 #include <langinfo.h>
2771 #endif
2772
2773 DEFUN ("locale-info", Flocale_info, Slocale_info, 1, 1, 0,
2774 doc: /* Access locale data ITEM for the current C locale, if available.
2775 ITEM should be one of the following:
2776
2777 `codeset', returning the character set as a string (locale item CODESET);
2778
2779 `days', returning a 7-element vector of day names (locale items DAY_n);
2780
2781 `months', returning a 12-element vector of month names (locale items MON_n);
2782
2783 `paper', returning a list (WIDTH HEIGHT) for the default paper size,
2784 both measured in millimeters (locale items PAPER_WIDTH, PAPER_HEIGHT).
2785
2786 If the system can't provide such information through a call to
2787 `nl_langinfo', or if ITEM isn't from the list above, return nil.
2788
2789 See also Info node `(libc)Locales'.
2790
2791 The data read from the system are decoded using `locale-coding-system'. */)
2792 (Lisp_Object item)
2793 {
2794 char *str = NULL;
2795 #ifdef HAVE_LANGINFO_CODESET
2796 Lisp_Object val;
2797 if (EQ (item, Qcodeset))
2798 {
2799 str = nl_langinfo (CODESET);
2800 return build_string (str);
2801 }
2802 #ifdef DAY_1
2803 else if (EQ (item, Qdays)) /* e.g. for calendar-day-name-array */
2804 {
2805 Lisp_Object v = Fmake_vector (make_number (7), Qnil);
2806 const int days[7] = {DAY_1, DAY_2, DAY_3, DAY_4, DAY_5, DAY_6, DAY_7};
2807 int i;
2808 struct gcpro gcpro1;
2809 GCPRO1 (v);
2810 synchronize_system_time_locale ();
2811 for (i = 0; i < 7; i++)
2812 {
2813 str = nl_langinfo (days[i]);
2814 val = build_unibyte_string (str);
2815 /* Fixme: Is this coding system necessarily right, even if
2816 it is consistent with CODESET? If not, what to do? */
2817 ASET (v, i, code_convert_string_norecord (val, Vlocale_coding_system,
2818 0));
2819 }
2820 UNGCPRO;
2821 return v;
2822 }
2823 #endif /* DAY_1 */
2824 #ifdef MON_1
2825 else if (EQ (item, Qmonths)) /* e.g. for calendar-month-name-array */
2826 {
2827 Lisp_Object v = Fmake_vector (make_number (12), Qnil);
2828 const int months[12] = {MON_1, MON_2, MON_3, MON_4, MON_5, MON_6, MON_7,
2829 MON_8, MON_9, MON_10, MON_11, MON_12};
2830 int i;
2831 struct gcpro gcpro1;
2832 GCPRO1 (v);
2833 synchronize_system_time_locale ();
2834 for (i = 0; i < 12; i++)
2835 {
2836 str = nl_langinfo (months[i]);
2837 val = build_unibyte_string (str);
2838 ASET (v, i, code_convert_string_norecord (val, Vlocale_coding_system,
2839 0));
2840 }
2841 UNGCPRO;
2842 return v;
2843 }
2844 #endif /* MON_1 */
2845 /* LC_PAPER stuff isn't defined as accessible in glibc as of 2.3.1,
2846 but is in the locale files. This could be used by ps-print. */
2847 #ifdef PAPER_WIDTH
2848 else if (EQ (item, Qpaper))
2849 return list2i (nl_langinfo (PAPER_WIDTH), nl_langinfo (PAPER_HEIGHT));
2850 #endif /* PAPER_WIDTH */
2851 #endif /* HAVE_LANGINFO_CODESET*/
2852 return Qnil;
2853 }
2854 \f
2855 /* base64 encode/decode functions (RFC 2045).
2856 Based on code from GNU recode. */
2857
2858 #define MIME_LINE_LENGTH 76
2859
2860 #define IS_ASCII(Character) \
2861 ((Character) < 128)
2862 #define IS_BASE64(Character) \
2863 (IS_ASCII (Character) && base64_char_to_value[Character] >= 0)
2864 #define IS_BASE64_IGNORABLE(Character) \
2865 ((Character) == ' ' || (Character) == '\t' || (Character) == '\n' \
2866 || (Character) == '\f' || (Character) == '\r')
2867
2868 /* Used by base64_decode_1 to retrieve a non-base64-ignorable
2869 character or return retval if there are no characters left to
2870 process. */
2871 #define READ_QUADRUPLET_BYTE(retval) \
2872 do \
2873 { \
2874 if (i == length) \
2875 { \
2876 if (nchars_return) \
2877 *nchars_return = nchars; \
2878 return (retval); \
2879 } \
2880 c = from[i++]; \
2881 } \
2882 while (IS_BASE64_IGNORABLE (c))
2883
2884 /* Table of characters coding the 64 values. */
2885 static const char base64_value_to_char[64] =
2886 {
2887 'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', /* 0- 9 */
2888 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', /* 10-19 */
2889 'U', 'V', 'W', 'X', 'Y', 'Z', 'a', 'b', 'c', 'd', /* 20-29 */
2890 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', /* 30-39 */
2891 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', /* 40-49 */
2892 'y', 'z', '0', '1', '2', '3', '4', '5', '6', '7', /* 50-59 */
2893 '8', '9', '+', '/' /* 60-63 */
2894 };
2895
2896 /* Table of base64 values for first 128 characters. */
2897 static const short base64_char_to_value[128] =
2898 {
2899 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 0- 9 */
2900 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 10- 19 */
2901 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 20- 29 */
2902 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, /* 30- 39 */
2903 -1, -1, -1, 62, -1, -1, -1, 63, 52, 53, /* 40- 49 */
2904 54, 55, 56, 57, 58, 59, 60, 61, -1, -1, /* 50- 59 */
2905 -1, -1, -1, -1, -1, 0, 1, 2, 3, 4, /* 60- 69 */
2906 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, /* 70- 79 */
2907 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, /* 80- 89 */
2908 25, -1, -1, -1, -1, -1, -1, 26, 27, 28, /* 90- 99 */
2909 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, /* 100-109 */
2910 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, /* 110-119 */
2911 49, 50, 51, -1, -1, -1, -1, -1 /* 120-127 */
2912 };
2913
2914 /* The following diagram shows the logical steps by which three octets
2915 get transformed into four base64 characters.
2916
2917 .--------. .--------. .--------.
2918 |aaaaaabb| |bbbbcccc| |ccdddddd|
2919 `--------' `--------' `--------'
2920 6 2 4 4 2 6
2921 .--------+--------+--------+--------.
2922 |00aaaaaa|00bbbbbb|00cccccc|00dddddd|
2923 `--------+--------+--------+--------'
2924
2925 .--------+--------+--------+--------.
2926 |AAAAAAAA|BBBBBBBB|CCCCCCCC|DDDDDDDD|
2927 `--------+--------+--------+--------'
2928
2929 The octets are divided into 6 bit chunks, which are then encoded into
2930 base64 characters. */
2931
2932
2933 static ptrdiff_t base64_encode_1 (const char *, char *, ptrdiff_t, bool, bool);
2934 static ptrdiff_t base64_decode_1 (const char *, char *, ptrdiff_t, bool,
2935 ptrdiff_t *);
2936
2937 DEFUN ("base64-encode-region", Fbase64_encode_region, Sbase64_encode_region,
2938 2, 3, "r",
2939 doc: /* Base64-encode the region between BEG and END.
2940 Return the length of the encoded text.
2941 Optional third argument NO-LINE-BREAK means do not break long lines
2942 into shorter lines. */)
2943 (Lisp_Object beg, Lisp_Object end, Lisp_Object no_line_break)
2944 {
2945 char *encoded;
2946 ptrdiff_t allength, length;
2947 ptrdiff_t ibeg, iend, encoded_length;
2948 ptrdiff_t old_pos = PT;
2949 USE_SAFE_ALLOCA;
2950
2951 validate_region (&beg, &end);
2952
2953 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
2954 iend = CHAR_TO_BYTE (XFASTINT (end));
2955 move_gap_both (XFASTINT (beg), ibeg);
2956
2957 /* We need to allocate enough room for encoding the text.
2958 We need 33 1/3% more space, plus a newline every 76
2959 characters, and then we round up. */
2960 length = iend - ibeg;
2961 allength = length + length/3 + 1;
2962 allength += allength / MIME_LINE_LENGTH + 1 + 6;
2963
2964 encoded = SAFE_ALLOCA (allength);
2965 encoded_length = base64_encode_1 ((char *) BYTE_POS_ADDR (ibeg),
2966 encoded, length, NILP (no_line_break),
2967 !NILP (BVAR (current_buffer, enable_multibyte_characters)));
2968 if (encoded_length > allength)
2969 emacs_abort ();
2970
2971 if (encoded_length < 0)
2972 {
2973 /* The encoding wasn't possible. */
2974 SAFE_FREE ();
2975 error ("Multibyte character in data for base64 encoding");
2976 }
2977
2978 /* Now we have encoded the region, so we insert the new contents
2979 and delete the old. (Insert first in order to preserve markers.) */
2980 SET_PT_BOTH (XFASTINT (beg), ibeg);
2981 insert (encoded, encoded_length);
2982 SAFE_FREE ();
2983 del_range_byte (ibeg + encoded_length, iend + encoded_length, 1);
2984
2985 /* If point was outside of the region, restore it exactly; else just
2986 move to the beginning of the region. */
2987 if (old_pos >= XFASTINT (end))
2988 old_pos += encoded_length - (XFASTINT (end) - XFASTINT (beg));
2989 else if (old_pos > XFASTINT (beg))
2990 old_pos = XFASTINT (beg);
2991 SET_PT (old_pos);
2992
2993 /* We return the length of the encoded text. */
2994 return make_number (encoded_length);
2995 }
2996
2997 DEFUN ("base64-encode-string", Fbase64_encode_string, Sbase64_encode_string,
2998 1, 2, 0,
2999 doc: /* Base64-encode STRING and return the result.
3000 Optional second argument NO-LINE-BREAK means do not break long lines
3001 into shorter lines. */)
3002 (Lisp_Object string, Lisp_Object no_line_break)
3003 {
3004 ptrdiff_t allength, length, encoded_length;
3005 char *encoded;
3006 Lisp_Object encoded_string;
3007 USE_SAFE_ALLOCA;
3008
3009 CHECK_STRING (string);
3010
3011 /* We need to allocate enough room for encoding the text.
3012 We need 33 1/3% more space, plus a newline every 76
3013 characters, and then we round up. */
3014 length = SBYTES (string);
3015 allength = length + length/3 + 1;
3016 allength += allength / MIME_LINE_LENGTH + 1 + 6;
3017
3018 /* We need to allocate enough room for decoding the text. */
3019 encoded = SAFE_ALLOCA (allength);
3020
3021 encoded_length = base64_encode_1 (SSDATA (string),
3022 encoded, length, NILP (no_line_break),
3023 STRING_MULTIBYTE (string));
3024 if (encoded_length > allength)
3025 emacs_abort ();
3026
3027 if (encoded_length < 0)
3028 {
3029 /* The encoding wasn't possible. */
3030 SAFE_FREE ();
3031 error ("Multibyte character in data for base64 encoding");
3032 }
3033
3034 encoded_string = make_unibyte_string (encoded, encoded_length);
3035 SAFE_FREE ();
3036
3037 return encoded_string;
3038 }
3039
3040 static ptrdiff_t
3041 base64_encode_1 (const char *from, char *to, ptrdiff_t length,
3042 bool line_break, bool multibyte)
3043 {
3044 int counter = 0;
3045 ptrdiff_t i = 0;
3046 char *e = to;
3047 int c;
3048 unsigned int value;
3049 int bytes;
3050
3051 while (i < length)
3052 {
3053 if (multibyte)
3054 {
3055 c = STRING_CHAR_AND_LENGTH ((unsigned char *) from + i, bytes);
3056 if (CHAR_BYTE8_P (c))
3057 c = CHAR_TO_BYTE8 (c);
3058 else if (c >= 256)
3059 return -1;
3060 i += bytes;
3061 }
3062 else
3063 c = from[i++];
3064
3065 /* Wrap line every 76 characters. */
3066
3067 if (line_break)
3068 {
3069 if (counter < MIME_LINE_LENGTH / 4)
3070 counter++;
3071 else
3072 {
3073 *e++ = '\n';
3074 counter = 1;
3075 }
3076 }
3077
3078 /* Process first byte of a triplet. */
3079
3080 *e++ = base64_value_to_char[0x3f & c >> 2];
3081 value = (0x03 & c) << 4;
3082
3083 /* Process second byte of a triplet. */
3084
3085 if (i == length)
3086 {
3087 *e++ = base64_value_to_char[value];
3088 *e++ = '=';
3089 *e++ = '=';
3090 break;
3091 }
3092
3093 if (multibyte)
3094 {
3095 c = STRING_CHAR_AND_LENGTH ((unsigned char *) from + i, bytes);
3096 if (CHAR_BYTE8_P (c))
3097 c = CHAR_TO_BYTE8 (c);
3098 else if (c >= 256)
3099 return -1;
3100 i += bytes;
3101 }
3102 else
3103 c = from[i++];
3104
3105 *e++ = base64_value_to_char[value | (0x0f & c >> 4)];
3106 value = (0x0f & c) << 2;
3107
3108 /* Process third byte of a triplet. */
3109
3110 if (i == length)
3111 {
3112 *e++ = base64_value_to_char[value];
3113 *e++ = '=';
3114 break;
3115 }
3116
3117 if (multibyte)
3118 {
3119 c = STRING_CHAR_AND_LENGTH ((unsigned char *) from + i, bytes);
3120 if (CHAR_BYTE8_P (c))
3121 c = CHAR_TO_BYTE8 (c);
3122 else if (c >= 256)
3123 return -1;
3124 i += bytes;
3125 }
3126 else
3127 c = from[i++];
3128
3129 *e++ = base64_value_to_char[value | (0x03 & c >> 6)];
3130 *e++ = base64_value_to_char[0x3f & c];
3131 }
3132
3133 return e - to;
3134 }
3135
3136
3137 DEFUN ("base64-decode-region", Fbase64_decode_region, Sbase64_decode_region,
3138 2, 2, "r",
3139 doc: /* Base64-decode the region between BEG and END.
3140 Return the length of the decoded text.
3141 If the region can't be decoded, signal an error and don't modify the buffer. */)
3142 (Lisp_Object beg, Lisp_Object end)
3143 {
3144 ptrdiff_t ibeg, iend, length, allength;
3145 char *decoded;
3146 ptrdiff_t old_pos = PT;
3147 ptrdiff_t decoded_length;
3148 ptrdiff_t inserted_chars;
3149 bool multibyte = !NILP (BVAR (current_buffer, enable_multibyte_characters));
3150 USE_SAFE_ALLOCA;
3151
3152 validate_region (&beg, &end);
3153
3154 ibeg = CHAR_TO_BYTE (XFASTINT (beg));
3155 iend = CHAR_TO_BYTE (XFASTINT (end));
3156
3157 length = iend - ibeg;
3158
3159 /* We need to allocate enough room for decoding the text. If we are
3160 working on a multibyte buffer, each decoded code may occupy at
3161 most two bytes. */
3162 allength = multibyte ? length * 2 : length;
3163 decoded = SAFE_ALLOCA (allength);
3164
3165 move_gap_both (XFASTINT (beg), ibeg);
3166 decoded_length = base64_decode_1 ((char *) BYTE_POS_ADDR (ibeg),
3167 decoded, length,
3168 multibyte, &inserted_chars);
3169 if (decoded_length > allength)
3170 emacs_abort ();
3171
3172 if (decoded_length < 0)
3173 {
3174 /* The decoding wasn't possible. */
3175 SAFE_FREE ();
3176 error ("Invalid base64 data");
3177 }
3178
3179 /* Now we have decoded the region, so we insert the new contents
3180 and delete the old. (Insert first in order to preserve markers.) */
3181 TEMP_SET_PT_BOTH (XFASTINT (beg), ibeg);
3182 insert_1_both (decoded, inserted_chars, decoded_length, 0, 1, 0);
3183 SAFE_FREE ();
3184
3185 /* Delete the original text. */
3186 del_range_both (PT, PT_BYTE, XFASTINT (end) + inserted_chars,
3187 iend + decoded_length, 1);
3188
3189 /* If point was outside of the region, restore it exactly; else just
3190 move to the beginning of the region. */
3191 if (old_pos >= XFASTINT (end))
3192 old_pos += inserted_chars - (XFASTINT (end) - XFASTINT (beg));
3193 else if (old_pos > XFASTINT (beg))
3194 old_pos = XFASTINT (beg);
3195 SET_PT (old_pos > ZV ? ZV : old_pos);
3196
3197 return make_number (inserted_chars);
3198 }
3199
3200 DEFUN ("base64-decode-string", Fbase64_decode_string, Sbase64_decode_string,
3201 1, 1, 0,
3202 doc: /* Base64-decode STRING and return the result. */)
3203 (Lisp_Object string)
3204 {
3205 char *decoded;
3206 ptrdiff_t length, decoded_length;
3207 Lisp_Object decoded_string;
3208 USE_SAFE_ALLOCA;
3209
3210 CHECK_STRING (string);
3211
3212 length = SBYTES (string);
3213 /* We need to allocate enough room for decoding the text. */
3214 decoded = SAFE_ALLOCA (length);
3215
3216 /* The decoded result should be unibyte. */
3217 decoded_length = base64_decode_1 (SSDATA (string), decoded, length,
3218 0, NULL);
3219 if (decoded_length > length)
3220 emacs_abort ();
3221 else if (decoded_length >= 0)
3222 decoded_string = make_unibyte_string (decoded, decoded_length);
3223 else
3224 decoded_string = Qnil;
3225
3226 SAFE_FREE ();
3227 if (!STRINGP (decoded_string))
3228 error ("Invalid base64 data");
3229
3230 return decoded_string;
3231 }
3232
3233 /* Base64-decode the data at FROM of LENGTH bytes into TO. If
3234 MULTIBYTE, the decoded result should be in multibyte
3235 form. If NCHARS_RETURN is not NULL, store the number of produced
3236 characters in *NCHARS_RETURN. */
3237
3238 static ptrdiff_t
3239 base64_decode_1 (const char *from, char *to, ptrdiff_t length,
3240 bool multibyte, ptrdiff_t *nchars_return)
3241 {
3242 ptrdiff_t i = 0; /* Used inside READ_QUADRUPLET_BYTE */
3243 char *e = to;
3244 unsigned char c;
3245 unsigned long value;
3246 ptrdiff_t nchars = 0;
3247
3248 while (1)
3249 {
3250 /* Process first byte of a quadruplet. */
3251
3252 READ_QUADRUPLET_BYTE (e-to);
3253
3254 if (!IS_BASE64 (c))
3255 return -1;
3256 value = base64_char_to_value[c] << 18;
3257
3258 /* Process second byte of a quadruplet. */
3259
3260 READ_QUADRUPLET_BYTE (-1);
3261
3262 if (!IS_BASE64 (c))
3263 return -1;
3264 value |= base64_char_to_value[c] << 12;
3265
3266 c = (unsigned char) (value >> 16);
3267 if (multibyte && c >= 128)
3268 e += BYTE8_STRING (c, e);
3269 else
3270 *e++ = c;
3271 nchars++;
3272
3273 /* Process third byte of a quadruplet. */
3274
3275 READ_QUADRUPLET_BYTE (-1);
3276
3277 if (c == '=')
3278 {
3279 READ_QUADRUPLET_BYTE (-1);
3280
3281 if (c != '=')
3282 return -1;
3283 continue;
3284 }
3285
3286 if (!IS_BASE64 (c))
3287 return -1;
3288 value |= base64_char_to_value[c] << 6;
3289
3290 c = (unsigned char) (0xff & value >> 8);
3291 if (multibyte && c >= 128)
3292 e += BYTE8_STRING (c, e);
3293 else
3294 *e++ = c;
3295 nchars++;
3296
3297 /* Process fourth byte of a quadruplet. */
3298
3299 READ_QUADRUPLET_BYTE (-1);
3300
3301 if (c == '=')
3302 continue;
3303
3304 if (!IS_BASE64 (c))
3305 return -1;
3306 value |= base64_char_to_value[c];
3307
3308 c = (unsigned char) (0xff & value);
3309 if (multibyte && c >= 128)
3310 e += BYTE8_STRING (c, e);
3311 else
3312 *e++ = c;
3313 nchars++;
3314 }
3315 }
3316
3317
3318 \f
3319 /***********************************************************************
3320 ***** *****
3321 ***** Hash Tables *****
3322 ***** *****
3323 ***********************************************************************/
3324
3325 /* Implemented by gerd@gnu.org. This hash table implementation was
3326 inspired by CMUCL hash tables. */
3327
3328 /* Ideas:
3329
3330 1. For small tables, association lists are probably faster than
3331 hash tables because they have lower overhead.
3332
3333 For uses of hash tables where the O(1) behavior of table
3334 operations is not a requirement, it might therefore be a good idea
3335 not to hash. Instead, we could just do a linear search in the
3336 key_and_value vector of the hash table. This could be done
3337 if a `:linear-search t' argument is given to make-hash-table. */
3338
3339
3340 /* The list of all weak hash tables. Don't staticpro this one. */
3341
3342 static struct Lisp_Hash_Table *weak_hash_tables;
3343
3344 /* Various symbols. */
3345
3346 static Lisp_Object Qhash_table_p;
3347 static Lisp_Object Qkey, Qvalue, Qeql;
3348 Lisp_Object Qeq, Qequal;
3349 Lisp_Object QCtest, QCsize, QCrehash_size, QCrehash_threshold, QCweakness;
3350 static Lisp_Object Qhash_table_test, Qkey_or_value, Qkey_and_value;
3351
3352 \f
3353 /***********************************************************************
3354 Utilities
3355 ***********************************************************************/
3356
3357 static void
3358 CHECK_HASH_TABLE (Lisp_Object x)
3359 {
3360 CHECK_TYPE (HASH_TABLE_P (x), Qhash_table_p, x);
3361 }
3362
3363 static void
3364 set_hash_key_and_value (struct Lisp_Hash_Table *h, Lisp_Object key_and_value)
3365 {
3366 h->key_and_value = key_and_value;
3367 }
3368 static void
3369 set_hash_next (struct Lisp_Hash_Table *h, Lisp_Object next)
3370 {
3371 h->next = next;
3372 }
3373 static void
3374 set_hash_next_slot (struct Lisp_Hash_Table *h, ptrdiff_t idx, Lisp_Object val)
3375 {
3376 gc_aset (h->next, idx, val);
3377 }
3378 static void
3379 set_hash_hash (struct Lisp_Hash_Table *h, Lisp_Object hash)
3380 {
3381 h->hash = hash;
3382 }
3383 static void
3384 set_hash_hash_slot (struct Lisp_Hash_Table *h, ptrdiff_t idx, Lisp_Object val)
3385 {
3386 gc_aset (h->hash, idx, val);
3387 }
3388 static void
3389 set_hash_index (struct Lisp_Hash_Table *h, Lisp_Object index)
3390 {
3391 h->index = index;
3392 }
3393 static void
3394 set_hash_index_slot (struct Lisp_Hash_Table *h, ptrdiff_t idx, Lisp_Object val)
3395 {
3396 gc_aset (h->index, idx, val);
3397 }
3398
3399 /* If OBJ is a Lisp hash table, return a pointer to its struct
3400 Lisp_Hash_Table. Otherwise, signal an error. */
3401
3402 static struct Lisp_Hash_Table *
3403 check_hash_table (Lisp_Object obj)
3404 {
3405 CHECK_HASH_TABLE (obj);
3406 return XHASH_TABLE (obj);
3407 }
3408
3409
3410 /* Value is the next integer I >= N, N >= 0 which is "almost" a prime
3411 number. A number is "almost" a prime number if it is not divisible
3412 by any integer in the range 2 .. (NEXT_ALMOST_PRIME_LIMIT - 1). */
3413
3414 EMACS_INT
3415 next_almost_prime (EMACS_INT n)
3416 {
3417 verify (NEXT_ALMOST_PRIME_LIMIT == 11);
3418 for (n |= 1; ; n += 2)
3419 if (n % 3 != 0 && n % 5 != 0 && n % 7 != 0)
3420 return n;
3421 }
3422
3423
3424 /* Find KEY in ARGS which has size NARGS. Don't consider indices for
3425 which USED[I] is non-zero. If found at index I in ARGS, set
3426 USED[I] and USED[I + 1] to 1, and return I + 1. Otherwise return
3427 0. This function is used to extract a keyword/argument pair from
3428 a DEFUN parameter list. */
3429
3430 static ptrdiff_t
3431 get_key_arg (Lisp_Object key, ptrdiff_t nargs, Lisp_Object *args, char *used)
3432 {
3433 ptrdiff_t i;
3434
3435 for (i = 1; i < nargs; i++)
3436 if (!used[i - 1] && EQ (args[i - 1], key))
3437 {
3438 used[i - 1] = 1;
3439 used[i] = 1;
3440 return i;
3441 }
3442
3443 return 0;
3444 }
3445
3446
3447 /* Return a Lisp vector which has the same contents as VEC but has
3448 at least INCR_MIN more entries, where INCR_MIN is positive.
3449 If NITEMS_MAX is not -1, do not grow the vector to be any larger
3450 than NITEMS_MAX. Entries in the resulting
3451 vector that are not copied from VEC are set to nil. */
3452
3453 Lisp_Object
3454 larger_vector (Lisp_Object vec, ptrdiff_t incr_min, ptrdiff_t nitems_max)
3455 {
3456 struct Lisp_Vector *v;
3457 ptrdiff_t i, incr, incr_max, old_size, new_size;
3458 ptrdiff_t C_language_max = min (PTRDIFF_MAX, SIZE_MAX) / sizeof *v->contents;
3459 ptrdiff_t n_max = (0 <= nitems_max && nitems_max < C_language_max
3460 ? nitems_max : C_language_max);
3461 eassert (VECTORP (vec));
3462 eassert (0 < incr_min && -1 <= nitems_max);
3463 old_size = ASIZE (vec);
3464 incr_max = n_max - old_size;
3465 incr = max (incr_min, min (old_size >> 1, incr_max));
3466 if (incr_max < incr)
3467 memory_full (SIZE_MAX);
3468 new_size = old_size + incr;
3469 v = allocate_vector (new_size);
3470 memcpy (v->contents, XVECTOR (vec)->contents, old_size * sizeof *v->contents);
3471 for (i = old_size; i < new_size; ++i)
3472 v->contents[i] = Qnil;
3473 XSETVECTOR (vec, v);
3474 return vec;
3475 }
3476
3477
3478 /***********************************************************************
3479 Low-level Functions
3480 ***********************************************************************/
3481
3482 static struct hash_table_test hashtest_eq;
3483 struct hash_table_test hashtest_eql, hashtest_equal;
3484
3485 /* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
3486 HASH2 in hash table H using `eql'. Value is true if KEY1 and
3487 KEY2 are the same. */
3488
3489 static bool
3490 cmpfn_eql (struct hash_table_test *ht,
3491 Lisp_Object key1,
3492 Lisp_Object key2)
3493 {
3494 return (FLOATP (key1)
3495 && FLOATP (key2)
3496 && XFLOAT_DATA (key1) == XFLOAT_DATA (key2));
3497 }
3498
3499
3500 /* Compare KEY1 which has hash code HASH1 and KEY2 with hash code
3501 HASH2 in hash table H using `equal'. Value is true if KEY1 and
3502 KEY2 are the same. */
3503
3504 static bool
3505 cmpfn_equal (struct hash_table_test *ht,
3506 Lisp_Object key1,
3507 Lisp_Object key2)
3508 {
3509 return !NILP (Fequal (key1, key2));
3510 }
3511
3512
3513 /* Compare KEY1 which has hash code HASH1, and KEY2 with hash code
3514 HASH2 in hash table H using H->user_cmp_function. Value is true
3515 if KEY1 and KEY2 are the same. */
3516
3517 static bool
3518 cmpfn_user_defined (struct hash_table_test *ht,
3519 Lisp_Object key1,
3520 Lisp_Object key2)
3521 {
3522 Lisp_Object args[3];
3523
3524 args[0] = ht->user_cmp_function;
3525 args[1] = key1;
3526 args[2] = key2;
3527 return !NILP (Ffuncall (3, args));
3528 }
3529
3530
3531 /* Value is a hash code for KEY for use in hash table H which uses
3532 `eq' to compare keys. The hash code returned is guaranteed to fit
3533 in a Lisp integer. */
3534
3535 static EMACS_UINT
3536 hashfn_eq (struct hash_table_test *ht, Lisp_Object key)
3537 {
3538 EMACS_UINT hash = XHASH (key) ^ XTYPE (key);
3539 return hash;
3540 }
3541
3542 /* Value is a hash code for KEY for use in hash table H which uses
3543 `eql' to compare keys. The hash code returned is guaranteed to fit
3544 in a Lisp integer. */
3545
3546 static EMACS_UINT
3547 hashfn_eql (struct hash_table_test *ht, Lisp_Object key)
3548 {
3549 EMACS_UINT hash;
3550 if (FLOATP (key))
3551 hash = sxhash (key, 0);
3552 else
3553 hash = XHASH (key) ^ XTYPE (key);
3554 return hash;
3555 }
3556
3557 /* Value is a hash code for KEY for use in hash table H which uses
3558 `equal' to compare keys. The hash code returned is guaranteed to fit
3559 in a Lisp integer. */
3560
3561 static EMACS_UINT
3562 hashfn_equal (struct hash_table_test *ht, Lisp_Object key)
3563 {
3564 EMACS_UINT hash = sxhash (key, 0);
3565 return hash;
3566 }
3567
3568 /* Value is a hash code for KEY for use in hash table H which uses as
3569 user-defined function to compare keys. The hash code returned is
3570 guaranteed to fit in a Lisp integer. */
3571
3572 static EMACS_UINT
3573 hashfn_user_defined (struct hash_table_test *ht, Lisp_Object key)
3574 {
3575 Lisp_Object args[2], hash;
3576
3577 args[0] = ht->user_hash_function;
3578 args[1] = key;
3579 hash = Ffuncall (2, args);
3580 return hashfn_eq (ht, hash);
3581 }
3582
3583 /* An upper bound on the size of a hash table index. It must fit in
3584 ptrdiff_t and be a valid Emacs fixnum. */
3585 #define INDEX_SIZE_BOUND \
3586 ((ptrdiff_t) min (MOST_POSITIVE_FIXNUM, PTRDIFF_MAX / word_size))
3587
3588 /* Create and initialize a new hash table.
3589
3590 TEST specifies the test the hash table will use to compare keys.
3591 It must be either one of the predefined tests `eq', `eql' or
3592 `equal' or a symbol denoting a user-defined test named TEST with
3593 test and hash functions USER_TEST and USER_HASH.
3594
3595 Give the table initial capacity SIZE, SIZE >= 0, an integer.
3596
3597 If REHASH_SIZE is an integer, it must be > 0, and this hash table's
3598 new size when it becomes full is computed by adding REHASH_SIZE to
3599 its old size. If REHASH_SIZE is a float, it must be > 1.0, and the
3600 table's new size is computed by multiplying its old size with
3601 REHASH_SIZE.
3602
3603 REHASH_THRESHOLD must be a float <= 1.0, and > 0. The table will
3604 be resized when the ratio of (number of entries in the table) /
3605 (table size) is >= REHASH_THRESHOLD.
3606
3607 WEAK specifies the weakness of the table. If non-nil, it must be
3608 one of the symbols `key', `value', `key-or-value', or `key-and-value'. */
3609
3610 Lisp_Object
3611 make_hash_table (struct hash_table_test test,
3612 Lisp_Object size, Lisp_Object rehash_size,
3613 Lisp_Object rehash_threshold, Lisp_Object weak)
3614 {
3615 struct Lisp_Hash_Table *h;
3616 Lisp_Object table;
3617 EMACS_INT index_size, sz;
3618 ptrdiff_t i;
3619 double index_float;
3620
3621 /* Preconditions. */
3622 eassert (SYMBOLP (test.name));
3623 eassert (INTEGERP (size) && XINT (size) >= 0);
3624 eassert ((INTEGERP (rehash_size) && XINT (rehash_size) > 0)
3625 || (FLOATP (rehash_size) && 1 < XFLOAT_DATA (rehash_size)));
3626 eassert (FLOATP (rehash_threshold)
3627 && 0 < XFLOAT_DATA (rehash_threshold)
3628 && XFLOAT_DATA (rehash_threshold) <= 1.0);
3629
3630 if (XFASTINT (size) == 0)
3631 size = make_number (1);
3632
3633 sz = XFASTINT (size);
3634 index_float = sz / XFLOAT_DATA (rehash_threshold);
3635 index_size = (index_float < INDEX_SIZE_BOUND + 1
3636 ? next_almost_prime (index_float)
3637 : INDEX_SIZE_BOUND + 1);
3638 if (INDEX_SIZE_BOUND < max (index_size, 2 * sz))
3639 error ("Hash table too large");
3640
3641 /* Allocate a table and initialize it. */
3642 h = allocate_hash_table ();
3643
3644 /* Initialize hash table slots. */
3645 h->test = test;
3646 h->weak = weak;
3647 h->rehash_threshold = rehash_threshold;
3648 h->rehash_size = rehash_size;
3649 h->count = 0;
3650 h->key_and_value = Fmake_vector (make_number (2 * sz), Qnil);
3651 h->hash = Fmake_vector (size, Qnil);
3652 h->next = Fmake_vector (size, Qnil);
3653 h->index = Fmake_vector (make_number (index_size), Qnil);
3654
3655 /* Set up the free list. */
3656 for (i = 0; i < sz - 1; ++i)
3657 set_hash_next_slot (h, i, make_number (i + 1));
3658 h->next_free = make_number (0);
3659
3660 XSET_HASH_TABLE (table, h);
3661 eassert (HASH_TABLE_P (table));
3662 eassert (XHASH_TABLE (table) == h);
3663
3664 /* Maybe add this hash table to the list of all weak hash tables. */
3665 if (NILP (h->weak))
3666 h->next_weak = NULL;
3667 else
3668 {
3669 h->next_weak = weak_hash_tables;
3670 weak_hash_tables = h;
3671 }
3672
3673 return table;
3674 }
3675
3676
3677 /* Return a copy of hash table H1. Keys and values are not copied,
3678 only the table itself is. */
3679
3680 static Lisp_Object
3681 copy_hash_table (struct Lisp_Hash_Table *h1)
3682 {
3683 Lisp_Object table;
3684 struct Lisp_Hash_Table *h2;
3685
3686 h2 = allocate_hash_table ();
3687 *h2 = *h1;
3688 h2->key_and_value = Fcopy_sequence (h1->key_and_value);
3689 h2->hash = Fcopy_sequence (h1->hash);
3690 h2->next = Fcopy_sequence (h1->next);
3691 h2->index = Fcopy_sequence (h1->index);
3692 XSET_HASH_TABLE (table, h2);
3693
3694 /* Maybe add this hash table to the list of all weak hash tables. */
3695 if (!NILP (h2->weak))
3696 {
3697 h2->next_weak = weak_hash_tables;
3698 weak_hash_tables = h2;
3699 }
3700
3701 return table;
3702 }
3703
3704
3705 /* Resize hash table H if it's too full. If H cannot be resized
3706 because it's already too large, throw an error. */
3707
3708 static void
3709 maybe_resize_hash_table (struct Lisp_Hash_Table *h)
3710 {
3711 if (NILP (h->next_free))
3712 {
3713 ptrdiff_t old_size = HASH_TABLE_SIZE (h);
3714 EMACS_INT new_size, index_size, nsize;
3715 ptrdiff_t i;
3716 double index_float;
3717
3718 if (INTEGERP (h->rehash_size))
3719 new_size = old_size + XFASTINT (h->rehash_size);
3720 else
3721 {
3722 double float_new_size = old_size * XFLOAT_DATA (h->rehash_size);
3723 if (float_new_size < INDEX_SIZE_BOUND + 1)
3724 {
3725 new_size = float_new_size;
3726 if (new_size <= old_size)
3727 new_size = old_size + 1;
3728 }
3729 else
3730 new_size = INDEX_SIZE_BOUND + 1;
3731 }
3732 index_float = new_size / XFLOAT_DATA (h->rehash_threshold);
3733 index_size = (index_float < INDEX_SIZE_BOUND + 1
3734 ? next_almost_prime (index_float)
3735 : INDEX_SIZE_BOUND + 1);
3736 nsize = max (index_size, 2 * new_size);
3737 if (INDEX_SIZE_BOUND < nsize)
3738 error ("Hash table too large to resize");
3739
3740 #ifdef ENABLE_CHECKING
3741 if (HASH_TABLE_P (Vpurify_flag)
3742 && XHASH_TABLE (Vpurify_flag) == h)
3743 {
3744 Lisp_Object args[2];
3745 args[0] = build_string ("Growing hash table to: %d");
3746 args[1] = make_number (new_size);
3747 Fmessage (2, args);
3748 }
3749 #endif
3750
3751 set_hash_key_and_value (h, larger_vector (h->key_and_value,
3752 2 * (new_size - old_size), -1));
3753 set_hash_next (h, larger_vector (h->next, new_size - old_size, -1));
3754 set_hash_hash (h, larger_vector (h->hash, new_size - old_size, -1));
3755 set_hash_index (h, Fmake_vector (make_number (index_size), Qnil));
3756
3757 /* Update the free list. Do it so that new entries are added at
3758 the end of the free list. This makes some operations like
3759 maphash faster. */
3760 for (i = old_size; i < new_size - 1; ++i)
3761 set_hash_next_slot (h, i, make_number (i + 1));
3762
3763 if (!NILP (h->next_free))
3764 {
3765 Lisp_Object last, next;
3766
3767 last = h->next_free;
3768 while (next = HASH_NEXT (h, XFASTINT (last)),
3769 !NILP (next))
3770 last = next;
3771
3772 set_hash_next_slot (h, XFASTINT (last), make_number (old_size));
3773 }
3774 else
3775 XSETFASTINT (h->next_free, old_size);
3776
3777 /* Rehash. */
3778 for (i = 0; i < old_size; ++i)
3779 if (!NILP (HASH_HASH (h, i)))
3780 {
3781 EMACS_UINT hash_code = XUINT (HASH_HASH (h, i));
3782 ptrdiff_t start_of_bucket = hash_code % ASIZE (h->index);
3783 set_hash_next_slot (h, i, HASH_INDEX (h, start_of_bucket));
3784 set_hash_index_slot (h, start_of_bucket, make_number (i));
3785 }
3786 }
3787 }
3788
3789
3790 /* Lookup KEY in hash table H. If HASH is non-null, return in *HASH
3791 the hash code of KEY. Value is the index of the entry in H
3792 matching KEY, or -1 if not found. */
3793
3794 ptrdiff_t
3795 hash_lookup (struct Lisp_Hash_Table *h, Lisp_Object key, EMACS_UINT *hash)
3796 {
3797 EMACS_UINT hash_code;
3798 ptrdiff_t start_of_bucket;
3799 Lisp_Object idx;
3800
3801 hash_code = h->test.hashfn (&h->test, key);
3802 eassert ((hash_code & ~INTMASK) == 0);
3803 if (hash)
3804 *hash = hash_code;
3805
3806 start_of_bucket = hash_code % ASIZE (h->index);
3807 idx = HASH_INDEX (h, start_of_bucket);
3808
3809 /* We need not gcpro idx since it's either an integer or nil. */
3810 while (!NILP (idx))
3811 {
3812 ptrdiff_t i = XFASTINT (idx);
3813 if (EQ (key, HASH_KEY (h, i))
3814 || (h->test.cmpfn
3815 && hash_code == XUINT (HASH_HASH (h, i))
3816 && h->test.cmpfn (&h->test, key, HASH_KEY (h, i))))
3817 break;
3818 idx = HASH_NEXT (h, i);
3819 }
3820
3821 return NILP (idx) ? -1 : XFASTINT (idx);
3822 }
3823
3824
3825 /* Put an entry into hash table H that associates KEY with VALUE.
3826 HASH is a previously computed hash code of KEY.
3827 Value is the index of the entry in H matching KEY. */
3828
3829 ptrdiff_t
3830 hash_put (struct Lisp_Hash_Table *h, Lisp_Object key, Lisp_Object value,
3831 EMACS_UINT hash)
3832 {
3833 ptrdiff_t start_of_bucket, i;
3834
3835 eassert ((hash & ~INTMASK) == 0);
3836
3837 /* Increment count after resizing because resizing may fail. */
3838 maybe_resize_hash_table (h);
3839 h->count++;
3840
3841 /* Store key/value in the key_and_value vector. */
3842 i = XFASTINT (h->next_free);
3843 h->next_free = HASH_NEXT (h, i);
3844 set_hash_key_slot (h, i, key);
3845 set_hash_value_slot (h, i, value);
3846
3847 /* Remember its hash code. */
3848 set_hash_hash_slot (h, i, make_number (hash));
3849
3850 /* Add new entry to its collision chain. */
3851 start_of_bucket = hash % ASIZE (h->index);
3852 set_hash_next_slot (h, i, HASH_INDEX (h, start_of_bucket));
3853 set_hash_index_slot (h, start_of_bucket, make_number (i));
3854 return i;
3855 }
3856
3857
3858 /* Remove the entry matching KEY from hash table H, if there is one. */
3859
3860 static void
3861 hash_remove_from_table (struct Lisp_Hash_Table *h, Lisp_Object key)
3862 {
3863 EMACS_UINT hash_code;
3864 ptrdiff_t start_of_bucket;
3865 Lisp_Object idx, prev;
3866
3867 hash_code = h->test.hashfn (&h->test, key);
3868 eassert ((hash_code & ~INTMASK) == 0);
3869 start_of_bucket = hash_code % ASIZE (h->index);
3870 idx = HASH_INDEX (h, start_of_bucket);
3871 prev = Qnil;
3872
3873 /* We need not gcpro idx, prev since they're either integers or nil. */
3874 while (!NILP (idx))
3875 {
3876 ptrdiff_t i = XFASTINT (idx);
3877
3878 if (EQ (key, HASH_KEY (h, i))
3879 || (h->test.cmpfn
3880 && hash_code == XUINT (HASH_HASH (h, i))
3881 && h->test.cmpfn (&h->test, key, HASH_KEY (h, i))))
3882 {
3883 /* Take entry out of collision chain. */
3884 if (NILP (prev))
3885 set_hash_index_slot (h, start_of_bucket, HASH_NEXT (h, i));
3886 else
3887 set_hash_next_slot (h, XFASTINT (prev), HASH_NEXT (h, i));
3888
3889 /* Clear slots in key_and_value and add the slots to
3890 the free list. */
3891 set_hash_key_slot (h, i, Qnil);
3892 set_hash_value_slot (h, i, Qnil);
3893 set_hash_hash_slot (h, i, Qnil);
3894 set_hash_next_slot (h, i, h->next_free);
3895 h->next_free = make_number (i);
3896 h->count--;
3897 eassert (h->count >= 0);
3898 break;
3899 }
3900 else
3901 {
3902 prev = idx;
3903 idx = HASH_NEXT (h, i);
3904 }
3905 }
3906 }
3907
3908
3909 /* Clear hash table H. */
3910
3911 static void
3912 hash_clear (struct Lisp_Hash_Table *h)
3913 {
3914 if (h->count > 0)
3915 {
3916 ptrdiff_t i, size = HASH_TABLE_SIZE (h);
3917
3918 for (i = 0; i < size; ++i)
3919 {
3920 set_hash_next_slot (h, i, i < size - 1 ? make_number (i + 1) : Qnil);
3921 set_hash_key_slot (h, i, Qnil);
3922 set_hash_value_slot (h, i, Qnil);
3923 set_hash_hash_slot (h, i, Qnil);
3924 }
3925
3926 for (i = 0; i < ASIZE (h->index); ++i)
3927 ASET (h->index, i, Qnil);
3928
3929 h->next_free = make_number (0);
3930 h->count = 0;
3931 }
3932 }
3933
3934
3935 \f
3936 /************************************************************************
3937 Weak Hash Tables
3938 ************************************************************************/
3939
3940 /* Sweep weak hash table H. REMOVE_ENTRIES_P means remove
3941 entries from the table that don't survive the current GC.
3942 !REMOVE_ENTRIES_P means mark entries that are in use. Value is
3943 true if anything was marked. */
3944
3945 static bool
3946 sweep_weak_table (struct Lisp_Hash_Table *h, bool remove_entries_p)
3947 {
3948 ptrdiff_t bucket, n;
3949 bool marked;
3950
3951 n = ASIZE (h->index) & ~ARRAY_MARK_FLAG;
3952 marked = 0;
3953
3954 for (bucket = 0; bucket < n; ++bucket)
3955 {
3956 Lisp_Object idx, next, prev;
3957
3958 /* Follow collision chain, removing entries that
3959 don't survive this garbage collection. */
3960 prev = Qnil;
3961 for (idx = HASH_INDEX (h, bucket); !NILP (idx); idx = next)
3962 {
3963 ptrdiff_t i = XFASTINT (idx);
3964 bool key_known_to_survive_p = survives_gc_p (HASH_KEY (h, i));
3965 bool value_known_to_survive_p = survives_gc_p (HASH_VALUE (h, i));
3966 bool remove_p;
3967
3968 if (EQ (h->weak, Qkey))
3969 remove_p = !key_known_to_survive_p;
3970 else if (EQ (h->weak, Qvalue))
3971 remove_p = !value_known_to_survive_p;
3972 else if (EQ (h->weak, Qkey_or_value))
3973 remove_p = !(key_known_to_survive_p || value_known_to_survive_p);
3974 else if (EQ (h->weak, Qkey_and_value))
3975 remove_p = !(key_known_to_survive_p && value_known_to_survive_p);
3976 else
3977 emacs_abort ();
3978
3979 next = HASH_NEXT (h, i);
3980
3981 if (remove_entries_p)
3982 {
3983 if (remove_p)
3984 {
3985 /* Take out of collision chain. */
3986 if (NILP (prev))
3987 set_hash_index_slot (h, bucket, next);
3988 else
3989 set_hash_next_slot (h, XFASTINT (prev), next);
3990
3991 /* Add to free list. */
3992 set_hash_next_slot (h, i, h->next_free);
3993 h->next_free = idx;
3994
3995 /* Clear key, value, and hash. */
3996 set_hash_key_slot (h, i, Qnil);
3997 set_hash_value_slot (h, i, Qnil);
3998 set_hash_hash_slot (h, i, Qnil);
3999
4000 h->count--;
4001 }
4002 else
4003 {
4004 prev = idx;
4005 }
4006 }
4007 else
4008 {
4009 if (!remove_p)
4010 {
4011 /* Make sure key and value survive. */
4012 if (!key_known_to_survive_p)
4013 {
4014 mark_object (HASH_KEY (h, i));
4015 marked = 1;
4016 }
4017
4018 if (!value_known_to_survive_p)
4019 {
4020 mark_object (HASH_VALUE (h, i));
4021 marked = 1;
4022 }
4023 }
4024 }
4025 }
4026 }
4027
4028 return marked;
4029 }
4030
4031 /* Remove elements from weak hash tables that don't survive the
4032 current garbage collection. Remove weak tables that don't survive
4033 from Vweak_hash_tables. Called from gc_sweep. */
4034
4035 NO_INLINE /* For better stack traces */
4036 void
4037 sweep_weak_hash_tables (void)
4038 {
4039 struct Lisp_Hash_Table *h, *used, *next;
4040 bool marked;
4041
4042 /* Mark all keys and values that are in use. Keep on marking until
4043 there is no more change. This is necessary for cases like
4044 value-weak table A containing an entry X -> Y, where Y is used in a
4045 key-weak table B, Z -> Y. If B comes after A in the list of weak
4046 tables, X -> Y might be removed from A, although when looking at B
4047 one finds that it shouldn't. */
4048 do
4049 {
4050 marked = 0;
4051 for (h = weak_hash_tables; h; h = h->next_weak)
4052 {
4053 if (h->header.size & ARRAY_MARK_FLAG)
4054 marked |= sweep_weak_table (h, 0);
4055 }
4056 }
4057 while (marked);
4058
4059 /* Remove tables and entries that aren't used. */
4060 for (h = weak_hash_tables, used = NULL; h; h = next)
4061 {
4062 next = h->next_weak;
4063
4064 if (h->header.size & ARRAY_MARK_FLAG)
4065 {
4066 /* TABLE is marked as used. Sweep its contents. */
4067 if (h->count > 0)
4068 sweep_weak_table (h, 1);
4069
4070 /* Add table to the list of used weak hash tables. */
4071 h->next_weak = used;
4072 used = h;
4073 }
4074 }
4075
4076 weak_hash_tables = used;
4077 }
4078
4079
4080 \f
4081 /***********************************************************************
4082 Hash Code Computation
4083 ***********************************************************************/
4084
4085 /* Maximum depth up to which to dive into Lisp structures. */
4086
4087 #define SXHASH_MAX_DEPTH 3
4088
4089 /* Maximum length up to which to take list and vector elements into
4090 account. */
4091
4092 #define SXHASH_MAX_LEN 7
4093
4094 /* Return a hash for string PTR which has length LEN. The hash value
4095 can be any EMACS_UINT value. */
4096
4097 EMACS_UINT
4098 hash_string (char const *ptr, ptrdiff_t len)
4099 {
4100 char const *p = ptr;
4101 char const *end = p + len;
4102 unsigned char c;
4103 EMACS_UINT hash = 0;
4104
4105 while (p != end)
4106 {
4107 c = *p++;
4108 hash = sxhash_combine (hash, c);
4109 }
4110
4111 return hash;
4112 }
4113
4114 /* Return a hash for string PTR which has length LEN. The hash
4115 code returned is guaranteed to fit in a Lisp integer. */
4116
4117 static EMACS_UINT
4118 sxhash_string (char const *ptr, ptrdiff_t len)
4119 {
4120 EMACS_UINT hash = hash_string (ptr, len);
4121 return SXHASH_REDUCE (hash);
4122 }
4123
4124 /* Return a hash for the floating point value VAL. */
4125
4126 static EMACS_UINT
4127 sxhash_float (double val)
4128 {
4129 EMACS_UINT hash = 0;
4130 enum {
4131 WORDS_PER_DOUBLE = (sizeof val / sizeof hash
4132 + (sizeof val % sizeof hash != 0))
4133 };
4134 union {
4135 double val;
4136 EMACS_UINT word[WORDS_PER_DOUBLE];
4137 } u;
4138 int i;
4139 u.val = val;
4140 memset (&u.val + 1, 0, sizeof u - sizeof u.val);
4141 for (i = 0; i < WORDS_PER_DOUBLE; i++)
4142 hash = sxhash_combine (hash, u.word[i]);
4143 return SXHASH_REDUCE (hash);
4144 }
4145
4146 /* Return a hash for list LIST. DEPTH is the current depth in the
4147 list. We don't recurse deeper than SXHASH_MAX_DEPTH in it. */
4148
4149 static EMACS_UINT
4150 sxhash_list (Lisp_Object list, int depth)
4151 {
4152 EMACS_UINT hash = 0;
4153 int i;
4154
4155 if (depth < SXHASH_MAX_DEPTH)
4156 for (i = 0;
4157 CONSP (list) && i < SXHASH_MAX_LEN;
4158 list = XCDR (list), ++i)
4159 {
4160 EMACS_UINT hash2 = sxhash (XCAR (list), depth + 1);
4161 hash = sxhash_combine (hash, hash2);
4162 }
4163
4164 if (!NILP (list))
4165 {
4166 EMACS_UINT hash2 = sxhash (list, depth + 1);
4167 hash = sxhash_combine (hash, hash2);
4168 }
4169
4170 return SXHASH_REDUCE (hash);
4171 }
4172
4173
4174 /* Return a hash for vector VECTOR. DEPTH is the current depth in
4175 the Lisp structure. */
4176
4177 static EMACS_UINT
4178 sxhash_vector (Lisp_Object vec, int depth)
4179 {
4180 EMACS_UINT hash = ASIZE (vec);
4181 int i, n;
4182
4183 n = min (SXHASH_MAX_LEN, ASIZE (vec));
4184 for (i = 0; i < n; ++i)
4185 {
4186 EMACS_UINT hash2 = sxhash (AREF (vec, i), depth + 1);
4187 hash = sxhash_combine (hash, hash2);
4188 }
4189
4190 return SXHASH_REDUCE (hash);
4191 }
4192
4193 /* Return a hash for bool-vector VECTOR. */
4194
4195 static EMACS_UINT
4196 sxhash_bool_vector (Lisp_Object vec)
4197 {
4198 EMACS_INT size = bool_vector_size (vec);
4199 EMACS_UINT hash = size;
4200 int i, n;
4201
4202 n = min (SXHASH_MAX_LEN, bool_vector_words (size));
4203 for (i = 0; i < n; ++i)
4204 hash = sxhash_combine (hash, bool_vector_data (vec)[i]);
4205
4206 return SXHASH_REDUCE (hash);
4207 }
4208
4209
4210 /* Return a hash code for OBJ. DEPTH is the current depth in the Lisp
4211 structure. Value is an unsigned integer clipped to INTMASK. */
4212
4213 EMACS_UINT
4214 sxhash (Lisp_Object obj, int depth)
4215 {
4216 EMACS_UINT hash;
4217
4218 if (depth > SXHASH_MAX_DEPTH)
4219 return 0;
4220
4221 switch (XTYPE (obj))
4222 {
4223 case_Lisp_Int:
4224 hash = XUINT (obj);
4225 break;
4226
4227 case Lisp_Misc:
4228 hash = XHASH (obj);
4229 break;
4230
4231 case Lisp_Symbol:
4232 obj = SYMBOL_NAME (obj);
4233 /* Fall through. */
4234
4235 case Lisp_String:
4236 hash = sxhash_string (SSDATA (obj), SBYTES (obj));
4237 break;
4238
4239 /* This can be everything from a vector to an overlay. */
4240 case Lisp_Vectorlike:
4241 if (VECTORP (obj))
4242 /* According to the CL HyperSpec, two arrays are equal only if
4243 they are `eq', except for strings and bit-vectors. In
4244 Emacs, this works differently. We have to compare element
4245 by element. */
4246 hash = sxhash_vector (obj, depth);
4247 else if (BOOL_VECTOR_P (obj))
4248 hash = sxhash_bool_vector (obj);
4249 else
4250 /* Others are `equal' if they are `eq', so let's take their
4251 address as hash. */
4252 hash = XHASH (obj);
4253 break;
4254
4255 case Lisp_Cons:
4256 hash = sxhash_list (obj, depth);
4257 break;
4258
4259 case Lisp_Float:
4260 hash = sxhash_float (XFLOAT_DATA (obj));
4261 break;
4262
4263 default:
4264 emacs_abort ();
4265 }
4266
4267 return hash;
4268 }
4269
4270
4271 \f
4272 /***********************************************************************
4273 Lisp Interface
4274 ***********************************************************************/
4275
4276
4277 DEFUN ("sxhash", Fsxhash, Ssxhash, 1, 1, 0,
4278 doc: /* Compute a hash code for OBJ and return it as integer. */)
4279 (Lisp_Object obj)
4280 {
4281 EMACS_UINT hash = sxhash (obj, 0);
4282 return make_number (hash);
4283 }
4284
4285
4286 DEFUN ("make-hash-table", Fmake_hash_table, Smake_hash_table, 0, MANY, 0,
4287 doc: /* Create and return a new hash table.
4288
4289 Arguments are specified as keyword/argument pairs. The following
4290 arguments are defined:
4291
4292 :test TEST -- TEST must be a symbol that specifies how to compare
4293 keys. Default is `eql'. Predefined are the tests `eq', `eql', and
4294 `equal'. User-supplied test and hash functions can be specified via
4295 `define-hash-table-test'.
4296
4297 :size SIZE -- A hint as to how many elements will be put in the table.
4298 Default is 65.
4299
4300 :rehash-size REHASH-SIZE - Indicates how to expand the table when it
4301 fills up. If REHASH-SIZE is an integer, increase the size by that
4302 amount. If it is a float, it must be > 1.0, and the new size is the
4303 old size multiplied by that factor. Default is 1.5.
4304
4305 :rehash-threshold THRESHOLD -- THRESHOLD must a float > 0, and <= 1.0.
4306 Resize the hash table when the ratio (number of entries / table size)
4307 is greater than or equal to THRESHOLD. Default is 0.8.
4308
4309 :weakness WEAK -- WEAK must be one of nil, t, `key', `value',
4310 `key-or-value', or `key-and-value'. If WEAK is not nil, the table
4311 returned is a weak table. Key/value pairs are removed from a weak
4312 hash table when there are no non-weak references pointing to their
4313 key, value, one of key or value, or both key and value, depending on
4314 WEAK. WEAK t is equivalent to `key-and-value'. Default value of WEAK
4315 is nil.
4316
4317 usage: (make-hash-table &rest KEYWORD-ARGS) */)
4318 (ptrdiff_t nargs, Lisp_Object *args)
4319 {
4320 Lisp_Object test, size, rehash_size, rehash_threshold, weak;
4321 struct hash_table_test testdesc;
4322 char *used;
4323 ptrdiff_t i;
4324
4325 /* The vector `used' is used to keep track of arguments that
4326 have been consumed. */
4327 used = alloca (nargs * sizeof *used);
4328 memset (used, 0, nargs * sizeof *used);
4329
4330 /* See if there's a `:test TEST' among the arguments. */
4331 i = get_key_arg (QCtest, nargs, args, used);
4332 test = i ? args[i] : Qeql;
4333 if (EQ (test, Qeq))
4334 testdesc = hashtest_eq;
4335 else if (EQ (test, Qeql))
4336 testdesc = hashtest_eql;
4337 else if (EQ (test, Qequal))
4338 testdesc = hashtest_equal;
4339 else
4340 {
4341 /* See if it is a user-defined test. */
4342 Lisp_Object prop;
4343
4344 prop = Fget (test, Qhash_table_test);
4345 if (!CONSP (prop) || !CONSP (XCDR (prop)))
4346 signal_error ("Invalid hash table test", test);
4347 testdesc.name = test;
4348 testdesc.user_cmp_function = XCAR (prop);
4349 testdesc.user_hash_function = XCAR (XCDR (prop));
4350 testdesc.hashfn = hashfn_user_defined;
4351 testdesc.cmpfn = cmpfn_user_defined;
4352 }
4353
4354 /* See if there's a `:size SIZE' argument. */
4355 i = get_key_arg (QCsize, nargs, args, used);
4356 size = i ? args[i] : Qnil;
4357 if (NILP (size))
4358 size = make_number (DEFAULT_HASH_SIZE);
4359 else if (!INTEGERP (size) || XINT (size) < 0)
4360 signal_error ("Invalid hash table size", size);
4361
4362 /* Look for `:rehash-size SIZE'. */
4363 i = get_key_arg (QCrehash_size, nargs, args, used);
4364 rehash_size = i ? args[i] : make_float (DEFAULT_REHASH_SIZE);
4365 if (! ((INTEGERP (rehash_size) && 0 < XINT (rehash_size))
4366 || (FLOATP (rehash_size) && 1 < XFLOAT_DATA (rehash_size))))
4367 signal_error ("Invalid hash table rehash size", rehash_size);
4368
4369 /* Look for `:rehash-threshold THRESHOLD'. */
4370 i = get_key_arg (QCrehash_threshold, nargs, args, used);
4371 rehash_threshold = i ? args[i] : make_float (DEFAULT_REHASH_THRESHOLD);
4372 if (! (FLOATP (rehash_threshold)
4373 && 0 < XFLOAT_DATA (rehash_threshold)
4374 && XFLOAT_DATA (rehash_threshold) <= 1))
4375 signal_error ("Invalid hash table rehash threshold", rehash_threshold);
4376
4377 /* Look for `:weakness WEAK'. */
4378 i = get_key_arg (QCweakness, nargs, args, used);
4379 weak = i ? args[i] : Qnil;
4380 if (EQ (weak, Qt))
4381 weak = Qkey_and_value;
4382 if (!NILP (weak)
4383 && !EQ (weak, Qkey)
4384 && !EQ (weak, Qvalue)
4385 && !EQ (weak, Qkey_or_value)
4386 && !EQ (weak, Qkey_and_value))
4387 signal_error ("Invalid hash table weakness", weak);
4388
4389 /* Now, all args should have been used up, or there's a problem. */
4390 for (i = 0; i < nargs; ++i)
4391 if (!used[i])
4392 signal_error ("Invalid argument list", args[i]);
4393
4394 return make_hash_table (testdesc, size, rehash_size, rehash_threshold, weak);
4395 }
4396
4397
4398 DEFUN ("copy-hash-table", Fcopy_hash_table, Scopy_hash_table, 1, 1, 0,
4399 doc: /* Return a copy of hash table TABLE. */)
4400 (Lisp_Object table)
4401 {
4402 return copy_hash_table (check_hash_table (table));
4403 }
4404
4405
4406 DEFUN ("hash-table-count", Fhash_table_count, Shash_table_count, 1, 1, 0,
4407 doc: /* Return the number of elements in TABLE. */)
4408 (Lisp_Object table)
4409 {
4410 return make_number (check_hash_table (table)->count);
4411 }
4412
4413
4414 DEFUN ("hash-table-rehash-size", Fhash_table_rehash_size,
4415 Shash_table_rehash_size, 1, 1, 0,
4416 doc: /* Return the current rehash size of TABLE. */)
4417 (Lisp_Object table)
4418 {
4419 return check_hash_table (table)->rehash_size;
4420 }
4421
4422
4423 DEFUN ("hash-table-rehash-threshold", Fhash_table_rehash_threshold,
4424 Shash_table_rehash_threshold, 1, 1, 0,
4425 doc: /* Return the current rehash threshold of TABLE. */)
4426 (Lisp_Object table)
4427 {
4428 return check_hash_table (table)->rehash_threshold;
4429 }
4430
4431
4432 DEFUN ("hash-table-size", Fhash_table_size, Shash_table_size, 1, 1, 0,
4433 doc: /* Return the size of TABLE.
4434 The size can be used as an argument to `make-hash-table' to create
4435 a hash table than can hold as many elements as TABLE holds
4436 without need for resizing. */)
4437 (Lisp_Object table)
4438 {
4439 struct Lisp_Hash_Table *h = check_hash_table (table);
4440 return make_number (HASH_TABLE_SIZE (h));
4441 }
4442
4443
4444 DEFUN ("hash-table-test", Fhash_table_test, Shash_table_test, 1, 1, 0,
4445 doc: /* Return the test TABLE uses. */)
4446 (Lisp_Object table)
4447 {
4448 return check_hash_table (table)->test.name;
4449 }
4450
4451
4452 DEFUN ("hash-table-weakness", Fhash_table_weakness, Shash_table_weakness,
4453 1, 1, 0,
4454 doc: /* Return the weakness of TABLE. */)
4455 (Lisp_Object table)
4456 {
4457 return check_hash_table (table)->weak;
4458 }
4459
4460
4461 DEFUN ("hash-table-p", Fhash_table_p, Shash_table_p, 1, 1, 0,
4462 doc: /* Return t if OBJ is a Lisp hash table object. */)
4463 (Lisp_Object obj)
4464 {
4465 return HASH_TABLE_P (obj) ? Qt : Qnil;
4466 }
4467
4468
4469 DEFUN ("clrhash", Fclrhash, Sclrhash, 1, 1, 0,
4470 doc: /* Clear hash table TABLE and return it. */)
4471 (Lisp_Object table)
4472 {
4473 hash_clear (check_hash_table (table));
4474 /* Be compatible with XEmacs. */
4475 return table;
4476 }
4477
4478
4479 DEFUN ("gethash", Fgethash, Sgethash, 2, 3, 0,
4480 doc: /* Look up KEY in TABLE and return its associated value.
4481 If KEY is not found, return DFLT which defaults to nil. */)
4482 (Lisp_Object key, Lisp_Object table, Lisp_Object dflt)
4483 {
4484 struct Lisp_Hash_Table *h = check_hash_table (table);
4485 ptrdiff_t i = hash_lookup (h, key, NULL);
4486 return i >= 0 ? HASH_VALUE (h, i) : dflt;
4487 }
4488
4489
4490 DEFUN ("puthash", Fputhash, Sputhash, 3, 3, 0,
4491 doc: /* Associate KEY with VALUE in hash table TABLE.
4492 If KEY is already present in table, replace its current value with
4493 VALUE. In any case, return VALUE. */)
4494 (Lisp_Object key, Lisp_Object value, Lisp_Object table)
4495 {
4496 struct Lisp_Hash_Table *h = check_hash_table (table);
4497 ptrdiff_t i;
4498 EMACS_UINT hash;
4499
4500 i = hash_lookup (h, key, &hash);
4501 if (i >= 0)
4502 set_hash_value_slot (h, i, value);
4503 else
4504 hash_put (h, key, value, hash);
4505
4506 return value;
4507 }
4508
4509
4510 DEFUN ("remhash", Fremhash, Sremhash, 2, 2, 0,
4511 doc: /* Remove KEY from TABLE. */)
4512 (Lisp_Object key, Lisp_Object table)
4513 {
4514 struct Lisp_Hash_Table *h = check_hash_table (table);
4515 hash_remove_from_table (h, key);
4516 return Qnil;
4517 }
4518
4519
4520 DEFUN ("maphash", Fmaphash, Smaphash, 2, 2, 0,
4521 doc: /* Call FUNCTION for all entries in hash table TABLE.
4522 FUNCTION is called with two arguments, KEY and VALUE.
4523 `maphash' always returns nil. */)
4524 (Lisp_Object function, Lisp_Object table)
4525 {
4526 struct Lisp_Hash_Table *h = check_hash_table (table);
4527 Lisp_Object args[3];
4528 ptrdiff_t i;
4529
4530 for (i = 0; i < HASH_TABLE_SIZE (h); ++i)
4531 if (!NILP (HASH_HASH (h, i)))
4532 {
4533 args[0] = function;
4534 args[1] = HASH_KEY (h, i);
4535 args[2] = HASH_VALUE (h, i);
4536 Ffuncall (3, args);
4537 }
4538
4539 return Qnil;
4540 }
4541
4542
4543 DEFUN ("define-hash-table-test", Fdefine_hash_table_test,
4544 Sdefine_hash_table_test, 3, 3, 0,
4545 doc: /* Define a new hash table test with name NAME, a symbol.
4546
4547 In hash tables created with NAME specified as test, use TEST to
4548 compare keys, and HASH for computing hash codes of keys.
4549
4550 TEST must be a function taking two arguments and returning non-nil if
4551 both arguments are the same. HASH must be a function taking one
4552 argument and returning an object that is the hash code of the argument.
4553 It should be the case that if (eq (funcall HASH x1) (funcall HASH x2))
4554 returns nil, then (funcall TEST x1 x2) also returns nil. */)
4555 (Lisp_Object name, Lisp_Object test, Lisp_Object hash)
4556 {
4557 return Fput (name, Qhash_table_test, list2 (test, hash));
4558 }
4559
4560
4561 \f
4562 /************************************************************************
4563 MD5, SHA-1, and SHA-2
4564 ************************************************************************/
4565
4566 #include "md5.h"
4567 #include "sha1.h"
4568 #include "sha256.h"
4569 #include "sha512.h"
4570
4571 /* ALGORITHM is a symbol: md5, sha1, sha224 and so on. */
4572
4573 static Lisp_Object
4574 secure_hash (Lisp_Object algorithm, Lisp_Object object, Lisp_Object start, Lisp_Object end, Lisp_Object coding_system, Lisp_Object noerror, Lisp_Object binary)
4575 {
4576 int i;
4577 ptrdiff_t size;
4578 EMACS_INT start_char = 0, end_char = 0;
4579 ptrdiff_t start_byte, end_byte;
4580 register EMACS_INT b, e;
4581 register struct buffer *bp;
4582 EMACS_INT temp;
4583 int digest_size;
4584 void *(*hash_func) (const char *, size_t, void *);
4585 Lisp_Object digest;
4586
4587 CHECK_SYMBOL (algorithm);
4588
4589 if (STRINGP (object))
4590 {
4591 if (NILP (coding_system))
4592 {
4593 /* Decide the coding-system to encode the data with. */
4594
4595 if (STRING_MULTIBYTE (object))
4596 /* use default, we can't guess correct value */
4597 coding_system = preferred_coding_system ();
4598 else
4599 coding_system = Qraw_text;
4600 }
4601
4602 if (NILP (Fcoding_system_p (coding_system)))
4603 {
4604 /* Invalid coding system. */
4605
4606 if (!NILP (noerror))
4607 coding_system = Qraw_text;
4608 else
4609 xsignal1 (Qcoding_system_error, coding_system);
4610 }
4611
4612 if (STRING_MULTIBYTE (object))
4613 object = code_convert_string (object, coding_system, Qnil, 1, 0, 1);
4614
4615 size = SCHARS (object);
4616
4617 if (!NILP (start))
4618 {
4619 CHECK_NUMBER (start);
4620
4621 start_char = XINT (start);
4622
4623 if (start_char < 0)
4624 start_char += size;
4625 }
4626
4627 if (NILP (end))
4628 end_char = size;
4629 else
4630 {
4631 CHECK_NUMBER (end);
4632
4633 end_char = XINT (end);
4634
4635 if (end_char < 0)
4636 end_char += size;
4637 }
4638
4639 if (!(0 <= start_char && start_char <= end_char && end_char <= size))
4640 args_out_of_range_3 (object, make_number (start_char),
4641 make_number (end_char));
4642
4643 start_byte = NILP (start) ? 0 : string_char_to_byte (object, start_char);
4644 end_byte =
4645 NILP (end) ? SBYTES (object) : string_char_to_byte (object, end_char);
4646 }
4647 else
4648 {
4649 struct buffer *prev = current_buffer;
4650
4651 record_unwind_current_buffer ();
4652
4653 CHECK_BUFFER (object);
4654
4655 bp = XBUFFER (object);
4656 set_buffer_internal (bp);
4657
4658 if (NILP (start))
4659 b = BEGV;
4660 else
4661 {
4662 CHECK_NUMBER_COERCE_MARKER (start);
4663 b = XINT (start);
4664 }
4665
4666 if (NILP (end))
4667 e = ZV;
4668 else
4669 {
4670 CHECK_NUMBER_COERCE_MARKER (end);
4671 e = XINT (end);
4672 }
4673
4674 if (b > e)
4675 temp = b, b = e, e = temp;
4676
4677 if (!(BEGV <= b && e <= ZV))
4678 args_out_of_range (start, end);
4679
4680 if (NILP (coding_system))
4681 {
4682 /* Decide the coding-system to encode the data with.
4683 See fileio.c:Fwrite-region */
4684
4685 if (!NILP (Vcoding_system_for_write))
4686 coding_system = Vcoding_system_for_write;
4687 else
4688 {
4689 bool force_raw_text = 0;
4690
4691 coding_system = BVAR (XBUFFER (object), buffer_file_coding_system);
4692 if (NILP (coding_system)
4693 || NILP (Flocal_variable_p (Qbuffer_file_coding_system, Qnil)))
4694 {
4695 coding_system = Qnil;
4696 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
4697 force_raw_text = 1;
4698 }
4699
4700 if (NILP (coding_system) && !NILP (Fbuffer_file_name (object)))
4701 {
4702 /* Check file-coding-system-alist. */
4703 Lisp_Object args[4], val;
4704
4705 args[0] = Qwrite_region; args[1] = start; args[2] = end;
4706 args[3] = Fbuffer_file_name (object);
4707 val = Ffind_operation_coding_system (4, args);
4708 if (CONSP (val) && !NILP (XCDR (val)))
4709 coding_system = XCDR (val);
4710 }
4711
4712 if (NILP (coding_system)
4713 && !NILP (BVAR (XBUFFER (object), buffer_file_coding_system)))
4714 {
4715 /* If we still have not decided a coding system, use the
4716 default value of buffer-file-coding-system. */
4717 coding_system = BVAR (XBUFFER (object), buffer_file_coding_system);
4718 }
4719
4720 if (!force_raw_text
4721 && !NILP (Ffboundp (Vselect_safe_coding_system_function)))
4722 /* Confirm that VAL can surely encode the current region. */
4723 coding_system = call4 (Vselect_safe_coding_system_function,
4724 make_number (b), make_number (e),
4725 coding_system, Qnil);
4726
4727 if (force_raw_text)
4728 coding_system = Qraw_text;
4729 }
4730
4731 if (NILP (Fcoding_system_p (coding_system)))
4732 {
4733 /* Invalid coding system. */
4734
4735 if (!NILP (noerror))
4736 coding_system = Qraw_text;
4737 else
4738 xsignal1 (Qcoding_system_error, coding_system);
4739 }
4740 }
4741
4742 object = make_buffer_string (b, e, 0);
4743 set_buffer_internal (prev);
4744 /* Discard the unwind protect for recovering the current
4745 buffer. */
4746 specpdl_ptr--;
4747
4748 if (STRING_MULTIBYTE (object))
4749 object = code_convert_string (object, coding_system, Qnil, 1, 0, 0);
4750 start_byte = 0;
4751 end_byte = SBYTES (object);
4752 }
4753
4754 if (EQ (algorithm, Qmd5))
4755 {
4756 digest_size = MD5_DIGEST_SIZE;
4757 hash_func = md5_buffer;
4758 }
4759 else if (EQ (algorithm, Qsha1))
4760 {
4761 digest_size = SHA1_DIGEST_SIZE;
4762 hash_func = sha1_buffer;
4763 }
4764 else if (EQ (algorithm, Qsha224))
4765 {
4766 digest_size = SHA224_DIGEST_SIZE;
4767 hash_func = sha224_buffer;
4768 }
4769 else if (EQ (algorithm, Qsha256))
4770 {
4771 digest_size = SHA256_DIGEST_SIZE;
4772 hash_func = sha256_buffer;
4773 }
4774 else if (EQ (algorithm, Qsha384))
4775 {
4776 digest_size = SHA384_DIGEST_SIZE;
4777 hash_func = sha384_buffer;
4778 }
4779 else if (EQ (algorithm, Qsha512))
4780 {
4781 digest_size = SHA512_DIGEST_SIZE;
4782 hash_func = sha512_buffer;
4783 }
4784 else
4785 error ("Invalid algorithm arg: %s", SDATA (Fsymbol_name (algorithm)));
4786
4787 /* allocate 2 x digest_size so that it can be re-used to hold the
4788 hexified value */
4789 digest = make_uninit_string (digest_size * 2);
4790
4791 hash_func (SSDATA (object) + start_byte,
4792 end_byte - start_byte,
4793 SSDATA (digest));
4794
4795 if (NILP (binary))
4796 {
4797 unsigned char *p = SDATA (digest);
4798 for (i = digest_size - 1; i >= 0; i--)
4799 {
4800 static char const hexdigit[16] = "0123456789abcdef";
4801 int p_i = p[i];
4802 p[2 * i] = hexdigit[p_i >> 4];
4803 p[2 * i + 1] = hexdigit[p_i & 0xf];
4804 }
4805 return digest;
4806 }
4807 else
4808 return make_unibyte_string (SSDATA (digest), digest_size);
4809 }
4810
4811 DEFUN ("md5", Fmd5, Smd5, 1, 5, 0,
4812 doc: /* Return MD5 message digest of OBJECT, a buffer or string.
4813
4814 A message digest is a cryptographic checksum of a document, and the
4815 algorithm to calculate it is defined in RFC 1321.
4816
4817 The two optional arguments START and END are character positions
4818 specifying for which part of OBJECT the message digest should be
4819 computed. If nil or omitted, the digest is computed for the whole
4820 OBJECT.
4821
4822 The MD5 message digest is computed from the result of encoding the
4823 text in a coding system, not directly from the internal Emacs form of
4824 the text. The optional fourth argument CODING-SYSTEM specifies which
4825 coding system to encode the text with. It should be the same coding
4826 system that you used or will use when actually writing the text into a
4827 file.
4828
4829 If CODING-SYSTEM is nil or omitted, the default depends on OBJECT. If
4830 OBJECT is a buffer, the default for CODING-SYSTEM is whatever coding
4831 system would be chosen by default for writing this text into a file.
4832
4833 If OBJECT is a string, the most preferred coding system (see the
4834 command `prefer-coding-system') is used.
4835
4836 If NOERROR is non-nil, silently assume the `raw-text' coding if the
4837 guesswork fails. Normally, an error is signaled in such case. */)
4838 (Lisp_Object object, Lisp_Object start, Lisp_Object end, Lisp_Object coding_system, Lisp_Object noerror)
4839 {
4840 return secure_hash (Qmd5, object, start, end, coding_system, noerror, Qnil);
4841 }
4842
4843 DEFUN ("secure-hash", Fsecure_hash, Ssecure_hash, 2, 5, 0,
4844 doc: /* Return the secure hash of OBJECT, a buffer or string.
4845 ALGORITHM is a symbol specifying the hash to use:
4846 md5, sha1, sha224, sha256, sha384 or sha512.
4847
4848 The two optional arguments START and END are positions specifying for
4849 which part of OBJECT to compute the hash. If nil or omitted, uses the
4850 whole OBJECT.
4851
4852 If BINARY is non-nil, returns a string in binary form. */)
4853 (Lisp_Object algorithm, Lisp_Object object, Lisp_Object start, Lisp_Object end, Lisp_Object binary)
4854 {
4855 return secure_hash (algorithm, object, start, end, Qnil, Qnil, binary);
4856 }
4857 \f
4858 void
4859 syms_of_fns (void)
4860 {
4861 DEFSYM (Qmd5, "md5");
4862 DEFSYM (Qsha1, "sha1");
4863 DEFSYM (Qsha224, "sha224");
4864 DEFSYM (Qsha256, "sha256");
4865 DEFSYM (Qsha384, "sha384");
4866 DEFSYM (Qsha512, "sha512");
4867
4868 /* Hash table stuff. */
4869 DEFSYM (Qhash_table_p, "hash-table-p");
4870 DEFSYM (Qeq, "eq");
4871 DEFSYM (Qeql, "eql");
4872 DEFSYM (Qequal, "equal");
4873 DEFSYM (QCtest, ":test");
4874 DEFSYM (QCsize, ":size");
4875 DEFSYM (QCrehash_size, ":rehash-size");
4876 DEFSYM (QCrehash_threshold, ":rehash-threshold");
4877 DEFSYM (QCweakness, ":weakness");
4878 DEFSYM (Qkey, "key");
4879 DEFSYM (Qvalue, "value");
4880 DEFSYM (Qhash_table_test, "hash-table-test");
4881 DEFSYM (Qkey_or_value, "key-or-value");
4882 DEFSYM (Qkey_and_value, "key-and-value");
4883
4884 defsubr (&Ssxhash);
4885 defsubr (&Smake_hash_table);
4886 defsubr (&Scopy_hash_table);
4887 defsubr (&Shash_table_count);
4888 defsubr (&Shash_table_rehash_size);
4889 defsubr (&Shash_table_rehash_threshold);
4890 defsubr (&Shash_table_size);
4891 defsubr (&Shash_table_test);
4892 defsubr (&Shash_table_weakness);
4893 defsubr (&Shash_table_p);
4894 defsubr (&Sclrhash);
4895 defsubr (&Sgethash);
4896 defsubr (&Sputhash);
4897 defsubr (&Sremhash);
4898 defsubr (&Smaphash);
4899 defsubr (&Sdefine_hash_table_test);
4900
4901 DEFSYM (Qstring_lessp, "string-lessp");
4902 DEFSYM (Qprovide, "provide");
4903 DEFSYM (Qrequire, "require");
4904 DEFSYM (Qyes_or_no_p_history, "yes-or-no-p-history");
4905 DEFSYM (Qcursor_in_echo_area, "cursor-in-echo-area");
4906 DEFSYM (Qwidget_type, "widget-type");
4907
4908 staticpro (&string_char_byte_cache_string);
4909 string_char_byte_cache_string = Qnil;
4910
4911 require_nesting_list = Qnil;
4912 staticpro (&require_nesting_list);
4913
4914 Fset (Qyes_or_no_p_history, Qnil);
4915
4916 DEFVAR_LISP ("features", Vfeatures,
4917 doc: /* A list of symbols which are the features of the executing Emacs.
4918 Used by `featurep' and `require', and altered by `provide'. */);
4919 Vfeatures = list1 (intern_c_string ("emacs"));
4920 DEFSYM (Qsubfeatures, "subfeatures");
4921 DEFSYM (Qfuncall, "funcall");
4922
4923 #ifdef HAVE_LANGINFO_CODESET
4924 DEFSYM (Qcodeset, "codeset");
4925 DEFSYM (Qdays, "days");
4926 DEFSYM (Qmonths, "months");
4927 DEFSYM (Qpaper, "paper");
4928 #endif /* HAVE_LANGINFO_CODESET */
4929
4930 DEFVAR_BOOL ("use-dialog-box", use_dialog_box,
4931 doc: /* Non-nil means mouse commands use dialog boxes to ask questions.
4932 This applies to `y-or-n-p' and `yes-or-no-p' questions asked by commands
4933 invoked by mouse clicks and mouse menu items.
4934
4935 On some platforms, file selection dialogs are also enabled if this is
4936 non-nil. */);
4937 use_dialog_box = 1;
4938
4939 DEFVAR_BOOL ("use-file-dialog", use_file_dialog,
4940 doc: /* Non-nil means mouse commands use a file dialog to ask for files.
4941 This applies to commands from menus and tool bar buttons even when
4942 they are initiated from the keyboard. If `use-dialog-box' is nil,
4943 that disables the use of a file dialog, regardless of the value of
4944 this variable. */);
4945 use_file_dialog = 1;
4946
4947 defsubr (&Sidentity);
4948 defsubr (&Srandom);
4949 defsubr (&Slength);
4950 defsubr (&Ssafe_length);
4951 defsubr (&Sstring_bytes);
4952 defsubr (&Sstring_equal);
4953 defsubr (&Scompare_strings);
4954 defsubr (&Sstring_lessp);
4955 defsubr (&Sappend);
4956 defsubr (&Sconcat);
4957 defsubr (&Svconcat);
4958 defsubr (&Scopy_sequence);
4959 defsubr (&Sstring_make_multibyte);
4960 defsubr (&Sstring_make_unibyte);
4961 defsubr (&Sstring_as_multibyte);
4962 defsubr (&Sstring_as_unibyte);
4963 defsubr (&Sstring_to_multibyte);
4964 defsubr (&Sstring_to_unibyte);
4965 defsubr (&Scopy_alist);
4966 defsubr (&Ssubstring);
4967 defsubr (&Ssubstring_no_properties);
4968 defsubr (&Snthcdr);
4969 defsubr (&Snth);
4970 defsubr (&Selt);
4971 defsubr (&Smember);
4972 defsubr (&Smemq);
4973 defsubr (&Smemql);
4974 defsubr (&Sassq);
4975 defsubr (&Sassoc);
4976 defsubr (&Srassq);
4977 defsubr (&Srassoc);
4978 defsubr (&Sdelq);
4979 defsubr (&Sdelete);
4980 defsubr (&Snreverse);
4981 defsubr (&Sreverse);
4982 defsubr (&Ssort);
4983 defsubr (&Splist_get);
4984 defsubr (&Sget);
4985 defsubr (&Splist_put);
4986 defsubr (&Sput);
4987 defsubr (&Slax_plist_get);
4988 defsubr (&Slax_plist_put);
4989 defsubr (&Seql);
4990 defsubr (&Sequal);
4991 defsubr (&Sequal_including_properties);
4992 defsubr (&Sfillarray);
4993 defsubr (&Sclear_string);
4994 defsubr (&Snconc);
4995 defsubr (&Smapcar);
4996 defsubr (&Smapc);
4997 defsubr (&Smapconcat);
4998 defsubr (&Syes_or_no_p);
4999 defsubr (&Sload_average);
5000 defsubr (&Sfeaturep);
5001 defsubr (&Srequire);
5002 defsubr (&Sprovide);
5003 defsubr (&Splist_member);
5004 defsubr (&Swidget_put);
5005 defsubr (&Swidget_get);
5006 defsubr (&Swidget_apply);
5007 defsubr (&Sbase64_encode_region);
5008 defsubr (&Sbase64_decode_region);
5009 defsubr (&Sbase64_encode_string);
5010 defsubr (&Sbase64_decode_string);
5011 defsubr (&Smd5);
5012 defsubr (&Ssecure_hash);
5013 defsubr (&Slocale_info);
5014
5015 hashtest_eq.name = Qeq;
5016 hashtest_eq.user_hash_function = Qnil;
5017 hashtest_eq.user_cmp_function = Qnil;
5018 hashtest_eq.cmpfn = 0;
5019 hashtest_eq.hashfn = hashfn_eq;
5020
5021 hashtest_eql.name = Qeql;
5022 hashtest_eql.user_hash_function = Qnil;
5023 hashtest_eql.user_cmp_function = Qnil;
5024 hashtest_eql.cmpfn = cmpfn_eql;
5025 hashtest_eql.hashfn = hashfn_eql;
5026
5027 hashtest_equal.name = Qequal;
5028 hashtest_equal.user_hash_function = Qnil;
5029 hashtest_equal.user_cmp_function = Qnil;
5030 hashtest_equal.cmpfn = cmpfn_equal;
5031 hashtest_equal.hashfn = hashfn_equal;
5032 }