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