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