* lisp.h (list2i, list3i): New functions.
[bpt/emacs.git] / src / editfns.c
CommitLineData
35692fe0 1/* Lisp functions pertaining to editing.
64c60c2f 2
ab422c4d 3Copyright (C) 1985-1987, 1989, 1993-2013 Free Software Foundation, Inc.
35692fe0
JB
4
5This file is part of GNU Emacs.
6
9ec0b715 7GNU Emacs is free software: you can redistribute it and/or modify
35692fe0 8it under the terms of the GNU General Public License as published by
9ec0b715
GM
9the Free Software Foundation, either version 3 of the License, or
10(at your option) any later version.
35692fe0
JB
11
12GNU Emacs is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
9ec0b715 18along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
35692fe0
JB
19
20
18160b98 21#include <config.h>
68c45bf0 22#include <sys/types.h>
3c14598c 23#include <stdio.h>
bfb61299 24
5b9c0a1d 25#ifdef HAVE_PWD_H
35692fe0 26#include <pwd.h>
7e90af26 27#include <grp.h>
bfb61299
JB
28#endif
29
dfcf069d 30#include <unistd.h>
dfcf069d 31
3bb9abc8
ST
32#ifdef HAVE_SYS_UTSNAME_H
33#include <sys/utsname.h>
34#endif
35
b17f9379
DN
36#include "lisp.h"
37
3c14598c
EZ
38/* systime.h includes <sys/time.h> which, on some systems, is required
39 for <sys/resource.h>; thus systime.h must be included before
40 <sys/resource.h> */
41#include "systime.h"
21acf124
ST
42
43#if defined HAVE_SYS_RESOURCE_H
4211ee7d 44#include <sys/resource.h>
e0f712ba
AC
45#endif
46
37910ab2 47#include <float.h>
b8d9bd41
PE
48#include <limits.h>
49#include <intprops.h>
16c3e636 50#include <strftime.h>
37910ab2 51#include <verify.h>
409847a1 52
74d6d8c5 53#include "intervals.h"
40fbd254 54#include "character.h"
e5560ff7 55#include "buffer.h"
68c45bf0 56#include "coding.h"
0ae83348 57#include "frame.h"
35692fe0 58#include "window.h"
b91834c3 59#include "blockinput.h"
35692fe0 60
aac18aa4
PE
61#define TM_YEAR_BASE 1900
62
c433c134 63#ifdef WINDOWSNT
361358ea 64extern Lisp_Object w32_get_internal_run_time (void);
c433c134
JR
65#endif
66
d35af63c 67static Lisp_Object format_time_string (char const *, ptrdiff_t, EMACS_TIME,
a08d4ba7 68 bool, struct tm *);
f57e2426 69static int tm_diff (struct tm *, struct tm *);
d311d28c 70static void update_buffer_properties (ptrdiff_t, ptrdiff_t);
260e2e2a 71
955cbe7b 72static Lisp_Object Qbuffer_access_fontify_functions;
e3ed8469 73
acb7cc89
GM
74/* Symbol for the text property used to mark fields. */
75
76Lisp_Object Qfield;
77
78/* A special value for Qfield properties. */
79
955cbe7b 80static Lisp_Object Qboundary;
acb7cc89 81
5745a7df
PE
82/* The startup value of the TZ environment variable so it can be
83 restored if the user calls set-time-zone-rule with a nil
84 argument. If null, the TZ environment variable was unset. */
85static char const *initial_tz;
86
87/* True if the static variable tzvalbuf (defined in
88 set_time_zone_rule) is part of 'environ'. */
89static bool tzvalbuf_in_environ;
90
acb7cc89 91
35692fe0 92void
971de7fb 93init_editfns (void)
35692fe0 94{
63c5d10b 95 const char *user_name;
e7f8264d 96 register char *p;
35692fe0 97 struct passwd *pw; /* password entry for the current user */
35692fe0
JB
98 Lisp_Object tem;
99
100 /* Set up system_name even when dumping. */
ac988277 101 init_system_name ();
35692fe0
JB
102
103#ifndef CANNOT_DUMP
104 /* Don't bother with this on initial start when just dumping out */
105 if (!initialized)
106 return;
107#endif /* not CANNOT_DUMP */
108
5745a7df
PE
109 initial_tz = getenv ("TZ");
110 tzvalbuf_in_environ = 0;
111
63c5d10b 112 pw = getpwuid (getuid ());
87485d6f
MW
113#ifdef MSDOS
114 /* We let the real user name default to "root" because that's quite
115 accurate on MSDOG and because it lets Emacs find the init file.
116 (The DVX libraries override the Djgpp libraries here.) */
35b34f72 117 Vuser_real_login_name = build_string (pw ? pw->pw_name : "root");
87485d6f 118#else
35b34f72 119 Vuser_real_login_name = build_string (pw ? pw->pw_name : "unknown");
87485d6f 120#endif
35692fe0 121
52b14ac0
JB
122 /* Get the effective user name, by consulting environment variables,
123 or the effective uid if those are unset. */
63c5d10b 124 user_name = getenv ("LOGNAME");
35692fe0 125 if (!user_name)
4691c06d 126#ifdef WINDOWSNT
63c5d10b 127 user_name = getenv ("USERNAME"); /* it's USERNAME on NT */
4691c06d 128#else /* WINDOWSNT */
63c5d10b 129 user_name = getenv ("USER");
4691c06d 130#endif /* WINDOWSNT */
52b14ac0
JB
131 if (!user_name)
132 {
63c5d10b
PE
133 pw = getpwuid (geteuid ());
134 user_name = pw ? pw->pw_name : "unknown";
52b14ac0 135 }
35b34f72 136 Vuser_login_name = build_string (user_name);
35692fe0 137
52b14ac0
JB
138 /* If the user name claimed in the environment vars differs from
139 the real uid, use the claimed name to find the full name. */
35b34f72 140 tem = Fstring_equal (Vuser_login_name, Vuser_real_login_name);
d311d28c
PE
141 if (! NILP (tem))
142 tem = Vuser_login_name;
143 else
144 {
145 uid_t euid = geteuid ();
146 tem = make_fixnum_or_float (euid);
147 }
148 Vuser_full_name = Fuser_full_name (tem);
34a7a267 149
e7f8264d 150 p = getenv ("NAME");
9d36d071
RS
151 if (p)
152 Vuser_full_name = build_string (p);
3347526c
RS
153 else if (NILP (Vuser_full_name))
154 Vuser_full_name = build_string ("unknown");
3bb9abc8
ST
155
156#ifdef HAVE_SYS_UTSNAME_H
157 {
158 struct utsname uts;
159 uname (&uts);
160 Voperating_system_release = build_string (uts.release);
161 }
162#else
163 Voperating_system_release = Qnil;
164#endif
35692fe0
JB
165}
166\f
a7ca3326 167DEFUN ("char-to-string", Fchar_to_string, Schar_to_string, 1, 1, 0,
06283081
PJ
168 doc: /* Convert arg CHAR to a string containing that character.
169usage: (char-to-string CHAR) */)
5842a27b 170 (Lisp_Object character)
35692fe0 171{
13bdea59 172 int c, len;
d5c2c403 173 unsigned char str[MAX_MULTIBYTE_LENGTH];
fb8106e8 174
1b9c91ed 175 CHECK_CHARACTER (character);
13bdea59 176 c = XFASTINT (character);
35692fe0 177
13bdea59 178 len = CHAR_STRING (c, str);
e7f8264d 179 return make_string_from_bytes ((char *) str, 1, len);
35692fe0
JB
180}
181
c3bb441d 182DEFUN ("byte-to-string", Fbyte_to_string, Sbyte_to_string, 1, 1, 0,
35f1de62 183 doc: /* Convert arg BYTE to a unibyte string containing that byte. */)
5842a27b 184 (Lisp_Object byte)
c3bb441d 185{
64c60c2f 186 unsigned char b;
c3bb441d 187 CHECK_NUMBER (byte);
35f1de62
CY
188 if (XINT (byte) < 0 || XINT (byte) > 255)
189 error ("Invalid byte");
64c60c2f 190 b = XINT (byte);
e7f8264d 191 return make_string_from_bytes ((char *) &b, 1, 1);
c3bb441d
SM
192}
193
35692fe0 194DEFUN ("string-to-char", Fstring_to_char, Sstring_to_char, 1, 1, 0,
da4adb04 195 doc: /* Return the first character in STRING. */)
5842a27b 196 (register Lisp_Object string)
35692fe0
JB
197{
198 register Lisp_Object val;
b7826503 199 CHECK_STRING (string);
4e491f8d 200 if (SCHARS (string))
d9d851ea
KH
201 {
202 if (STRING_MULTIBYTE (string))
62a6e103 203 XSETFASTINT (val, STRING_CHAR (SDATA (string)));
d9d851ea 204 else
4e491f8d 205 XSETFASTINT (val, SREF (string, 0));
d9d851ea 206 }
35692fe0 207 else
55561c63 208 XSETFASTINT (val, 0);
35692fe0
JB
209 return val;
210}
35692fe0 211
a7ca3326 212DEFUN ("point", Fpoint, Spoint, 0, 0, 0,
7ee72033
MB
213 doc: /* Return value of point, as an integer.
214Beginning of buffer is position (point-min). */)
5842a27b 215 (void)
35692fe0
JB
216{
217 Lisp_Object temp;
6ec8bbd2 218 XSETFASTINT (temp, PT);
35692fe0
JB
219 return temp;
220}
221
a7ca3326 222DEFUN ("point-marker", Fpoint_marker, Spoint_marker, 0, 0, 0,
7ee72033 223 doc: /* Return value of point, as a marker object. */)
5842a27b 224 (void)
35692fe0 225{
657924ff 226 return build_marker (current_buffer, PT, PT_BYTE);
35692fe0
JB
227}
228
a7ca3326 229DEFUN ("goto-char", Fgoto_char, Sgoto_char, 1, 1, "NGoto char: ",
7ee72033 230 doc: /* Set point to POSITION, a number or marker.
8696b557
EZ
231Beginning of buffer is position (point-min), end is (point-max).
232
233The return value is POSITION. */)
5842a27b 234 (register Lisp_Object position)
35692fe0 235{
d311d28c 236 ptrdiff_t pos;
fb8106e8 237
72ef82ec
RS
238 if (MARKERP (position)
239 && current_buffer == XMARKER (position)->buffer)
ec1c14f6
RS
240 {
241 pos = marker_position (position);
242 if (pos < BEGV)
243 SET_PT_BOTH (BEGV, BEGV_BYTE);
244 else if (pos > ZV)
245 SET_PT_BOTH (ZV, ZV_BYTE);
246 else
247 SET_PT_BOTH (pos, marker_byte_position (position));
248
249 return position;
250 }
251
b7826503 252 CHECK_NUMBER_COERCE_MARKER (position);
35692fe0 253
fb8106e8 254 pos = clip_to_bounds (BEGV, XINT (position), ZV);
fb8106e8 255 SET_PT (pos);
2591ec64 256 return position;
35692fe0
JB
257}
258
acb7cc89
GM
259
260/* Return the start or end position of the region.
a08d4ba7 261 BEGINNINGP means return the start.
acb7cc89
GM
262 If there is no region active, signal an error. */
263
35692fe0 264static Lisp_Object
a08d4ba7 265region_limit (bool beginningp)
35692fe0 266{
acb7cc89 267 Lisp_Object m;
177c0ea7 268
acb7cc89
GM
269 if (!NILP (Vtransient_mark_mode)
270 && NILP (Vmark_even_if_inactive)
4b4deea2 271 && NILP (BVAR (current_buffer, mark_active)))
8a0ff744 272 xsignal0 (Qmark_inactive);
177c0ea7 273
4b4deea2 274 m = Fmarker_position (BVAR (current_buffer, mark));
acb7cc89 275 if (NILP (m))
7b5ad687 276 error ("The mark is not set now, so there is no region");
177c0ea7 277
f520ef9b 278 /* Clip to the current narrowing (bug#11770). */
a08d4ba7 279 return make_number ((PT < XFASTINT (m)) == beginningp
f520ef9b
PE
280 ? PT
281 : clip_to_bounds (BEGV, XFASTINT (m), ZV));
35692fe0
JB
282}
283
284DEFUN ("region-beginning", Fregion_beginning, Sregion_beginning, 0, 0, 0,
7b0815ba 285 doc: /* Return the integer value of point or mark, whichever is smaller. */)
5842a27b 286 (void)
35692fe0 287{
acb7cc89 288 return region_limit (1);
35692fe0
JB
289}
290
291DEFUN ("region-end", Fregion_end, Sregion_end, 0, 0, 0,
7b0815ba 292 doc: /* Return the integer value of point or mark, whichever is larger. */)
5842a27b 293 (void)
35692fe0 294{
acb7cc89 295 return region_limit (0);
35692fe0
JB
296}
297
35692fe0 298DEFUN ("mark-marker", Fmark_marker, Smark_marker, 0, 0, 0,
7ee72033 299 doc: /* Return this buffer's mark, as a marker object.
a1f17501 300Watch out! Moving this marker changes the mark position.
7ee72033 301If you set the marker not to point anywhere, the buffer will have no mark. */)
5842a27b 302 (void)
35692fe0 303{
4b4deea2 304 return BVAR (current_buffer, mark);
35692fe0 305}
acb7cc89 306
c9ed721d 307\f
58401a34
SM
308/* Find all the overlays in the current buffer that touch position POS.
309 Return the number found, and store them in a vector in VEC
310 of length LEN. */
311
b081724f
PE
312static ptrdiff_t
313overlays_around (EMACS_INT pos, Lisp_Object *vec, ptrdiff_t len)
58401a34 314{
88006f77
SM
315 Lisp_Object overlay, start, end;
316 struct Lisp_Overlay *tail;
d311d28c 317 ptrdiff_t startpos, endpos;
b081724f 318 ptrdiff_t idx = 0;
58401a34 319
fd318b54 320 for (tail = current_buffer->overlays_before; tail; tail = tail->next)
58401a34 321 {
88006f77 322 XSETMISC (overlay, tail);
58401a34
SM
323
324 end = OVERLAY_END (overlay);
325 endpos = OVERLAY_POSITION (end);
326 if (endpos < pos)
327 break;
328 start = OVERLAY_START (overlay);
329 startpos = OVERLAY_POSITION (start);
330 if (startpos <= pos)
331 {
332 if (idx < len)
333 vec[idx] = overlay;
334 /* Keep counting overlays even if we can't return them all. */
335 idx++;
336 }
337 }
338
fd318b54 339 for (tail = current_buffer->overlays_after; tail; tail = tail->next)
58401a34 340 {
88006f77 341 XSETMISC (overlay, tail);
58401a34
SM
342
343 start = OVERLAY_START (overlay);
344 startpos = OVERLAY_POSITION (start);
345 if (pos < startpos)
346 break;
347 end = OVERLAY_END (overlay);
348 endpos = OVERLAY_POSITION (end);
349 if (pos <= endpos)
350 {
351 if (idx < len)
352 vec[idx] = overlay;
353 idx++;
354 }
355 }
356
357 return idx;
358}
359
360/* Return the value of property PROP, in OBJECT at POSITION.
361 It's the value of PROP that a char inserted at POSITION would get.
362 OBJECT is optional and defaults to the current buffer.
363 If OBJECT is a buffer, then overlay properties are considered as well as
364 text properties.
365 If OBJECT is a window, then that window's buffer is used, but
366 window-specific overlays are considered only if they are associated
367 with OBJECT. */
538f9462 368Lisp_Object
971de7fb 369get_pos_property (Lisp_Object position, register Lisp_Object prop, Lisp_Object object)
58401a34 370{
58401a34
SM
371 CHECK_NUMBER_COERCE_MARKER (position);
372
373 if (NILP (object))
374 XSETBUFFER (object, current_buffer);
dfe6cbf8 375 else if (WINDOWP (object))
d3d50620 376 object = XWINDOW (object)->buffer;
dfe6cbf8
SM
377
378 if (!BUFFERP (object))
379 /* pos-property only makes sense in buffers right now, since strings
380 have no overlays and no notion of insertion for which stickiness
381 could be obeyed. */
382 return Fget_text_property (position, prop, object);
383 else
58401a34 384 {
29cdc13e 385 EMACS_INT posn = XINT (position);
b081724f 386 ptrdiff_t noverlays;
58401a34
SM
387 Lisp_Object *overlay_vec, tem;
388 struct buffer *obuf = current_buffer;
59ac2d13 389 USE_SAFE_ALLOCA;
58401a34
SM
390
391 set_buffer_temp (XBUFFER (object));
392
393 /* First try with room for 40 overlays. */
394 noverlays = 40;
38182d90 395 overlay_vec = alloca (noverlays * sizeof *overlay_vec);
58401a34
SM
396 noverlays = overlays_around (posn, overlay_vec, noverlays);
397
398 /* If there are more than 40,
399 make enough space for all, and try again. */
400 if (noverlays > 40)
401 {
59ac2d13 402 SAFE_ALLOCA_LISP (overlay_vec, noverlays);
58401a34
SM
403 noverlays = overlays_around (posn, overlay_vec, noverlays);
404 }
405 noverlays = sort_overlays (overlay_vec, noverlays, NULL);
406
407 set_buffer_temp (obuf);
408
409 /* Now check the overlays in order of decreasing priority. */
410 while (--noverlays >= 0)
411 {
412 Lisp_Object ol = overlay_vec[noverlays];
413 tem = Foverlay_get (ol, prop);
414 if (!NILP (tem))
415 {
416 /* Check the overlay is indeed active at point. */
417 Lisp_Object start = OVERLAY_START (ol), finish = OVERLAY_END (ol);
418 if ((OVERLAY_POSITION (start) == posn
419 && XMARKER (start)->insertion_type == 1)
420 || (OVERLAY_POSITION (finish) == posn
421 && XMARKER (finish)->insertion_type == 0))
422 ; /* The overlay will not cover a char inserted at point. */
423 else
424 {
59ac2d13 425 SAFE_FREE ();
58401a34
SM
426 return tem;
427 }
428 }
429 }
59ac2d13 430 SAFE_FREE ();
177c0ea7 431
7a6a86ad 432 { /* Now check the text properties. */
dfe6cbf8
SM
433 int stickiness = text_property_stickiness (prop, position, object);
434 if (stickiness > 0)
435 return Fget_text_property (position, prop, object);
436 else if (stickiness < 0
437 && XINT (position) > BUF_BEGV (XBUFFER (object)))
438 return Fget_text_property (make_number (XINT (position) - 1),
439 prop, object);
440 else
441 return Qnil;
442 }
58401a34 443 }
58401a34
SM
444}
445
a3caef99 446/* Find the field surrounding POS in *BEG and *END. If POS is nil,
59062dce 447 the value of point is used instead. If BEG or END is null,
acb7cc89 448 means don't store the beginning or end of the field.
a3caef99 449
9ac741c5
MB
450 BEG_LIMIT and END_LIMIT serve to limit the ranged of the returned
451 results; they do not effect boundary behavior.
452
a08d4ba7 453 If MERGE_AT_BOUNDARY is non-nil, then if POS is at the very first
ee547125
MB
454 position of a field, then the beginning of the previous field is
455 returned instead of the beginning of POS's field (since the end of a
456 field is actually also the beginning of the next input field, this
457 behavior is sometimes useful). Additionally in the MERGE_AT_BOUNDARY
a08d4ba7 458 non-nil case, if two fields are separated by a field with the special
ee547125
MB
459 value `boundary', and POS lies within it, then the two separated
460 fields are considered to be adjacent, and POS between them, when
461 finding the beginning and ending of the "merged" field.
a3caef99
RS
462
463 Either BEG or END may be 0, in which case the corresponding value
464 is not stored. */
465
acb7cc89 466static void
413d18e7
EZ
467find_field (Lisp_Object pos, Lisp_Object merge_at_boundary,
468 Lisp_Object beg_limit,
d311d28c 469 ptrdiff_t *beg, Lisp_Object end_limit, ptrdiff_t *end)
0daf6e8d 470{
ee547125
MB
471 /* Fields right before and after the point. */
472 Lisp_Object before_field, after_field;
a08d4ba7
PE
473 /* True if POS counts as the start of a field. */
474 bool at_field_start = 0;
475 /* True if POS counts as the end of a field. */
476 bool at_field_end = 0;
ee547125 477
0daf6e8d
GM
478 if (NILP (pos))
479 XSETFASTINT (pos, PT);
480 else
b7826503 481 CHECK_NUMBER_COERCE_MARKER (pos);
0daf6e8d 482
acb7cc89 483 after_field
58401a34 484 = get_char_property_and_overlay (pos, Qfield, Qnil, NULL);
acb7cc89
GM
485 before_field
486 = (XFASTINT (pos) > BEGV
7ae1c032 487 ? get_char_property_and_overlay (make_number (XINT (pos) - 1),
58401a34 488 Qfield, Qnil, NULL)
e477bb04
KL
489 /* Using nil here would be a more obvious choice, but it would
490 fail when the buffer starts with a non-sticky field. */
491 : after_field);
ee547125
MB
492
493 /* See if we need to handle the case where MERGE_AT_BOUNDARY is nil
494 and POS is at beginning of a field, which can also be interpreted
495 as the end of the previous field. Note that the case where if
496 MERGE_AT_BOUNDARY is non-nil (see function comment) is actually the
497 more natural one; then we avoid treating the beginning of a field
498 specially. */
58401a34 499 if (NILP (merge_at_boundary))
ee547125 500 {
58401a34
SM
501 Lisp_Object field = get_pos_property (pos, Qfield, Qnil);
502 if (!EQ (field, after_field))
ee547125 503 at_field_end = 1;
58401a34
SM
504 if (!EQ (field, before_field))
505 at_field_start = 1;
2db1186a
SM
506 if (NILP (field) && at_field_start && at_field_end)
507 /* If an inserted char would have a nil field while the surrounding
508 text is non-nil, we're probably not looking at a
509 zero-length field, but instead at a non-nil field that's
510 not intended for editing (such as comint's prompts). */
511 at_field_end = at_field_start = 0;
0daf6e8d
GM
512 }
513
ee547125
MB
514 /* Note about special `boundary' fields:
515
516 Consider the case where the point (`.') is between the fields `x' and `y':
517
518 xxxx.yyyy
519
a08d4ba7 520 In this situation, if merge_at_boundary is non-nil, consider the
ee547125
MB
521 `x' and `y' fields as forming one big merged field, and so the end
522 of the field is the end of `y'.
523
524 However, if `x' and `y' are separated by a special `boundary' field
a08d4ba7 525 (a field with a `field' char-property of 'boundary), then ignore
ee547125
MB
526 this special field when merging adjacent fields. Here's the same
527 situation, but with a `boundary' field between the `x' and `y' fields:
528
529 xxx.BBBByyyy
530
531 Here, if point is at the end of `x', the beginning of `y', or
a08d4ba7 532 anywhere in-between (within the `boundary' field), merge all
ee547125
MB
533 three fields and consider the beginning as being the beginning of
534 the `x' field, and the end as being the end of the `y' field. */
535
0daf6e8d 536 if (beg)
acb7cc89
GM
537 {
538 if (at_field_start)
539 /* POS is at the edge of a field, and we should consider it as
540 the beginning of the following field. */
541 *beg = XFASTINT (pos);
542 else
543 /* Find the previous field boundary. */
544 {
58401a34 545 Lisp_Object p = pos;
acb7cc89
GM
546 if (!NILP (merge_at_boundary) && EQ (before_field, Qboundary))
547 /* Skip a `boundary' field. */
58401a34 548 p = Fprevious_single_char_property_change (p, Qfield, Qnil,
9ac741c5 549 beg_limit);
58401a34
SM
550
551 p = Fprevious_single_char_property_change (p, Qfield, Qnil,
552 beg_limit);
553 *beg = NILP (p) ? BEGV : XFASTINT (p);
acb7cc89
GM
554 }
555 }
0daf6e8d
GM
556
557 if (end)
acb7cc89
GM
558 {
559 if (at_field_end)
560 /* POS is at the edge of a field, and we should consider it as
561 the end of the previous field. */
562 *end = XFASTINT (pos);
563 else
564 /* Find the next field boundary. */
565 {
566 if (!NILP (merge_at_boundary) && EQ (after_field, Qboundary))
567 /* Skip a `boundary' field. */
9ac741c5
MB
568 pos = Fnext_single_char_property_change (pos, Qfield, Qnil,
569 end_limit);
ee547125 570
9ac741c5
MB
571 pos = Fnext_single_char_property_change (pos, Qfield, Qnil,
572 end_limit);
acb7cc89
GM
573 *end = NILP (pos) ? ZV : XFASTINT (pos);
574 }
575 }
0daf6e8d 576}
acb7cc89 577
0daf6e8d 578\f
d01f3570 579DEFUN ("delete-field", Fdelete_field, Sdelete_field, 0, 1, 0,
7ee72033 580 doc: /* Delete the field surrounding POS.
a1f17501 581A field is a region of text with the same `field' property.
f554db0f 582If POS is nil, the value of point is used for POS. */)
5842a27b 583 (Lisp_Object pos)
0daf6e8d 584{
d311d28c 585 ptrdiff_t beg, end;
9ac741c5 586 find_field (pos, Qnil, Qnil, &beg, Qnil, &end);
0daf6e8d
GM
587 if (beg != end)
588 del_range (beg, end);
d01f3570 589 return Qnil;
0daf6e8d
GM
590}
591
592DEFUN ("field-string", Ffield_string, Sfield_string, 0, 1, 0,
7ee72033 593 doc: /* Return the contents of the field surrounding POS as a string.
a1f17501 594A field is a region of text with the same `field' property.
f554db0f 595If POS is nil, the value of point is used for POS. */)
5842a27b 596 (Lisp_Object pos)
0daf6e8d 597{
d311d28c 598 ptrdiff_t beg, end;
9ac741c5 599 find_field (pos, Qnil, Qnil, &beg, Qnil, &end);
0daf6e8d
GM
600 return make_buffer_string (beg, end, 1);
601}
602
603DEFUN ("field-string-no-properties", Ffield_string_no_properties, Sfield_string_no_properties, 0, 1, 0,
7a6a86ad 604 doc: /* Return the contents of the field around POS, without text properties.
a1f17501 605A field is a region of text with the same `field' property.
f554db0f 606If POS is nil, the value of point is used for POS. */)
5842a27b 607 (Lisp_Object pos)
0daf6e8d 608{
d311d28c 609 ptrdiff_t beg, end;
9ac741c5 610 find_field (pos, Qnil, Qnil, &beg, Qnil, &end);
0daf6e8d
GM
611 return make_buffer_string (beg, end, 0);
612}
613
9ac741c5 614DEFUN ("field-beginning", Ffield_beginning, Sfield_beginning, 0, 3, 0,
7ee72033 615 doc: /* Return the beginning of the field surrounding POS.
a1f17501
PJ
616A field is a region of text with the same `field' property.
617If POS is nil, the value of point is used for POS.
618If ESCAPE-FROM-EDGE is non-nil and POS is at the beginning of its
9ac741c5
MB
619field, then the beginning of the *previous* field is returned.
620If LIMIT is non-nil, it is a buffer position; if the beginning of the field
f554db0f 621is before LIMIT, then LIMIT will be returned instead. */)
5842a27b 622 (Lisp_Object pos, Lisp_Object escape_from_edge, Lisp_Object limit)
0daf6e8d 623{
d311d28c 624 ptrdiff_t beg;
9ac741c5 625 find_field (pos, escape_from_edge, limit, &beg, Qnil, 0);
0daf6e8d
GM
626 return make_number (beg);
627}
628
a7ca3326 629DEFUN ("field-end", Ffield_end, Sfield_end, 0, 3, 0,
7ee72033 630 doc: /* Return the end of the field surrounding POS.
a1f17501
PJ
631A field is a region of text with the same `field' property.
632If POS is nil, the value of point is used for POS.
633If ESCAPE-FROM-EDGE is non-nil and POS is at the end of its field,
9ac741c5
MB
634then the end of the *following* field is returned.
635If LIMIT is non-nil, it is a buffer position; if the end of the field
f554db0f 636is after LIMIT, then LIMIT will be returned instead. */)
5842a27b 637 (Lisp_Object pos, Lisp_Object escape_from_edge, Lisp_Object limit)
0daf6e8d 638{
d311d28c 639 ptrdiff_t end;
9ac741c5 640 find_field (pos, escape_from_edge, Qnil, 0, limit, &end);
0daf6e8d
GM
641 return make_number (end);
642}
643
a7ca3326 644DEFUN ("constrain-to-field", Fconstrain_to_field, Sconstrain_to_field, 2, 5, 0,
7ee72033 645 doc: /* Return the position closest to NEW-POS that is in the same field as OLD-POS.
a1f17501 646A field is a region of text with the same `field' property.
66c5eebd
CY
647
648If NEW-POS is nil, then use the current point instead, and move point
649to the resulting constrained position, in addition to returning that
650position.
a1f17501
PJ
651
652If OLD-POS is at the boundary of two fields, then the allowable
653positions for NEW-POS depends on the value of the optional argument
654ESCAPE-FROM-EDGE: If ESCAPE-FROM-EDGE is nil, then NEW-POS is
655constrained to the field that has the same `field' char-property
656as any new characters inserted at OLD-POS, whereas if ESCAPE-FROM-EDGE
657is non-nil, NEW-POS is constrained to the union of the two adjacent
658fields. Additionally, if two fields are separated by another field with
659the special value `boundary', then any point within this special field is
660also considered to be `on the boundary'.
661
662If the optional argument ONLY-IN-LINE is non-nil and constraining
663NEW-POS would move it to a different line, NEW-POS is returned
664unconstrained. This useful for commands that move by line, like
665\\[next-line] or \\[beginning-of-line], which should generally respect field boundaries
666only in the case where they can still move to the right line.
667
668If the optional argument INHIBIT-CAPTURE-PROPERTY is non-nil, and OLD-POS has
669a non-nil property of that name, then any field boundaries are ignored.
670
7ee72033 671Field boundaries are not noticed if `inhibit-field-text-motion' is non-nil. */)
5842a27b 672 (Lisp_Object new_pos, Lisp_Object old_pos, Lisp_Object escape_from_edge, Lisp_Object only_in_line, Lisp_Object inhibit_capture_property)
0daf6e8d
GM
673{
674 /* If non-zero, then the original point, before re-positioning. */
d311d28c 675 ptrdiff_t orig_point = 0;
a08d4ba7 676 bool fwd;
d63b4018 677 Lisp_Object prev_old, prev_new;
aac18aa4 678
0daf6e8d
GM
679 if (NILP (new_pos))
680 /* Use the current point, and afterwards, set it. */
681 {
682 orig_point = PT;
683 XSETFASTINT (new_pos, PT);
684 }
685
e477bb04
KL
686 CHECK_NUMBER_COERCE_MARKER (new_pos);
687 CHECK_NUMBER_COERCE_MARKER (old_pos);
688
d311d28c 689 fwd = (XINT (new_pos) > XINT (old_pos));
e477bb04 690
d311d28c
PE
691 prev_old = make_number (XINT (old_pos) - 1);
692 prev_new = make_number (XINT (new_pos) - 1);
aac18aa4 693
ee5cd4db
GM
694 if (NILP (Vinhibit_field_text_motion)
695 && !EQ (new_pos, old_pos)
42ab8e36
MB
696 && (!NILP (Fget_char_property (new_pos, Qfield, Qnil))
697 || !NILP (Fget_char_property (old_pos, Qfield, Qnil))
e477bb04
KL
698 /* To recognize field boundaries, we must also look at the
699 previous positions; we could use `get_pos_property'
700 instead, but in itself that would fail inside non-sticky
701 fields (like comint prompts). */
702 || (XFASTINT (new_pos) > BEGV
42ab8e36 703 && !NILP (Fget_char_property (prev_new, Qfield, Qnil)))
e477bb04 704 || (XFASTINT (old_pos) > BEGV
42ab8e36 705 && !NILP (Fget_char_property (prev_old, Qfield, Qnil))))
ee547125 706 && (NILP (inhibit_capture_property)
e477bb04
KL
707 /* Field boundaries are again a problem; but now we must
708 decide the case exactly, so we need to call
709 `get_pos_property' as well. */
710 || (NILP (get_pos_property (old_pos, inhibit_capture_property, Qnil))
711 && (XFASTINT (old_pos) <= BEGV
42ab8e36
MB
712 || NILP (Fget_char_property (old_pos, inhibit_capture_property, Qnil))
713 || NILP (Fget_char_property (prev_old, inhibit_capture_property, Qnil))))))
2cb3aec4
KL
714 /* It is possible that NEW_POS is not within the same field as
715 OLD_POS; try to move NEW_POS so that it is. */
0daf6e8d 716 {
d311d28c 717 ptrdiff_t shortage;
0daf6e8d
GM
718 Lisp_Object field_bound;
719
0daf6e8d 720 if (fwd)
9ac741c5 721 field_bound = Ffield_end (old_pos, escape_from_edge, new_pos);
0daf6e8d 722 else
9ac741c5 723 field_bound = Ffield_beginning (old_pos, escape_from_edge, new_pos);
0daf6e8d 724
10b0f752
MB
725 if (/* See if ESCAPE_FROM_EDGE caused FIELD_BOUND to jump to the
726 other side of NEW_POS, which would mean that NEW_POS is
727 already acceptable, and it's not necessary to constrain it
728 to FIELD_BOUND. */
729 ((XFASTINT (field_bound) < XFASTINT (new_pos)) ? fwd : !fwd)
730 /* NEW_POS should be constrained, but only if either
731 ONLY_IN_LINE is nil (in which case any constraint is OK),
732 or NEW_POS and FIELD_BOUND are on the same line (in which
733 case the constraint is OK even if ONLY_IN_LINE is non-nil). */
734 && (NILP (only_in_line)
735 /* This is the ONLY_IN_LINE case, check that NEW_POS and
736 FIELD_BOUND are on the same line by seeing whether
737 there's an intervening newline or not. */
a84b7c53 738 || (find_newline (XFASTINT (new_pos), XFASTINT (field_bound),
2a14a4f1 739 fwd ? -1 : 1, &shortage, NULL, 1),
10b0f752 740 shortage != 0)))
0daf6e8d
GM
741 /* Constrain NEW_POS to FIELD_BOUND. */
742 new_pos = field_bound;
743
744 if (orig_point && XFASTINT (new_pos) != orig_point)
745 /* The NEW_POS argument was originally nil, so automatically set PT. */
746 SET_PT (XFASTINT (new_pos));
747 }
748
749 return new_pos;
750}
acb7cc89 751
0daf6e8d 752\f
a7ca3326 753DEFUN ("line-beginning-position",
6d57c318 754 Fline_beginning_position, Sline_beginning_position, 0, 1, 0,
7ee72033 755 doc: /* Return the character position of the first character on the current line.
c88b867f
CY
756With optional argument N, scan forward N - 1 lines first.
757If the scan reaches the end of the buffer, return that position.
6d57c318 758
c88b867f
CY
759This function ignores text display directionality; it returns the
760position of the first character in logical order, i.e. the smallest
761character position on the line.
cd21226d 762
2cb3aec4 763This function constrains the returned position to the current field
c88b867f 764unless that position would be on a different line than the original,
2cb3aec4
KL
765unconstrained result. If N is nil or 1, and a front-sticky field
766starts at point, the scan stops as soon as it starts. To ignore field
c88b867f 767boundaries, bind `inhibit-field-text-motion' to t.
a1f17501 768
7ee72033 769This function does not move point. */)
5842a27b 770 (Lisp_Object n)
c9ed721d 771{
d311d28c
PE
772 ptrdiff_t orig, orig_byte, end;
773 ptrdiff_t count = SPECPDL_INDEX ();
4e8f005c 774 specbind (Qinhibit_point_motion_hooks, Qt);
c9ed721d
RS
775
776 if (NILP (n))
777 XSETFASTINT (n, 1);
778 else
b7826503 779 CHECK_NUMBER (n);
c9ed721d
RS
780
781 orig = PT;
ec1c14f6 782 orig_byte = PT_BYTE;
c9ed721d
RS
783 Fforward_line (make_number (XINT (n) - 1));
784 end = PT;
e2dae3f2 785
ec1c14f6 786 SET_PT_BOTH (orig, orig_byte);
35692fe0 787
4e8f005c
CY
788 unbind_to (count, Qnil);
789
0daf6e8d 790 /* Return END constrained to the current input field. */
ee5cd4db
GM
791 return Fconstrain_to_field (make_number (end), make_number (orig),
792 XINT (n) != 1 ? Qt : Qnil,
ee547125 793 Qt, Qnil);
c9ed721d
RS
794}
795
a7ca3326 796DEFUN ("line-end-position", Fline_end_position, Sline_end_position, 0, 1, 0,
7ee72033 797 doc: /* Return the character position of the last character on the current line.
a1f17501
PJ
798With argument N not nil or 1, move forward N - 1 lines first.
799If scan reaches end of buffer, return that position.
6d57c318 800
c88b867f
CY
801This function ignores text display directionality; it returns the
802position of the last character in logical order, i.e. the largest
803character position on the line.
cd21226d 804
2cb3aec4
KL
805This function constrains the returned position to the current field
806unless that would be on a different line than the original,
807unconstrained result. If N is nil or 1, and a rear-sticky field ends
808at point, the scan stops as soon as it starts. To ignore field
6d57c318
MB
809boundaries bind `inhibit-field-text-motion' to t.
810
7ee72033 811This function does not move point. */)
5842a27b 812 (Lisp_Object n)
c9ed721d 813{
d311d28c
PE
814 ptrdiff_t clipped_n;
815 ptrdiff_t end_pos;
816 ptrdiff_t orig = PT;
0daf6e8d 817
c9ed721d
RS
818 if (NILP (n))
819 XSETFASTINT (n, 1);
820 else
b7826503 821 CHECK_NUMBER (n);
c9ed721d 822
d311d28c 823 clipped_n = clip_to_bounds (PTRDIFF_MIN + 1, XINT (n), PTRDIFF_MAX);
2a14a4f1
DA
824 end_pos = find_before_next_newline (orig, 0, clipped_n - (clipped_n <= 0),
825 NULL);
0daf6e8d
GM
826
827 /* Return END_POS constrained to the current input field. */
ee5cd4db 828 return Fconstrain_to_field (make_number (end_pos), make_number (orig),
ee547125 829 Qnil, Qt, Qnil);
c9ed721d 830}
6d57c318 831
62c2e5ed
DA
832/* Save current buffer state for `save-excursion' special form.
833 We (ab)use Lisp_Misc_Save_Value to allow explicit free and so
834 offload some work from GC. */
835
35692fe0 836Lisp_Object
971de7fb 837save_excursion_save (void)
35692fe0 838{
468afbac 839 return make_save_value
1b971ac1
DA
840 ("oooo",
841 Fpoint_marker (),
842 /* Do not copy the mark if it points to nowhere. */
843 (XMARKER (BVAR (current_buffer, mark))->buffer
844 ? Fcopy_marker (BVAR (current_buffer, mark), Qnil)
845 : Qnil),
846 /* Selected window if current buffer is shown in it, nil otherwise. */
847 ((XBUFFER (XWINDOW (selected_window)->buffer) == current_buffer)
848 ? selected_window : Qnil),
849 BVAR (current_buffer, mark_active));
35692fe0
JB
850}
851
62c2e5ed
DA
852/* Restore saved buffer before leaving `save-excursion' special form. */
853
35692fe0 854Lisp_Object
eeaea515 855save_excursion_restore (Lisp_Object info)
35692fe0 856{
73ebd38f 857 Lisp_Object tem, tem1, omark, nmark;
eeaea515 858 struct gcpro gcpro1, gcpro2, gcpro3;
eeaea515 859
1b971ac1 860 tem = Fmarker_buffer (XSAVE_OBJECT (info, 0));
62c2e5ed
DA
861 /* If we're unwinding to top level, saved buffer may be deleted. This
862 means that all of its markers are unchained and so tem is nil. */
eeaea515 863 if (NILP (tem))
62c2e5ed 864 goto out;
eeaea515
DA
865
866 omark = nmark = Qnil;
867 GCPRO3 (info, omark, nmark);
868
869 Fset_buffer (tem);
870
871 /* Point marker. */
1b971ac1 872 tem = XSAVE_OBJECT (info, 0);
eeaea515
DA
873 Fgoto_char (tem);
874 unchain_marker (XMARKER (tem));
875
876 /* Mark marker. */
1b971ac1 877 tem = XSAVE_OBJECT (info, 1);
eeaea515 878 omark = Fmarker_position (BVAR (current_buffer, mark));
549c3414
DA
879 if (NILP (tem))
880 unchain_marker (XMARKER (BVAR (current_buffer, mark)));
881 else
882 {
883 Fset_marker (BVAR (current_buffer, mark), tem, Fcurrent_buffer ());
884 nmark = Fmarker_position (tem);
885 unchain_marker (XMARKER (tem));
886 }
eeaea515 887
62c2e5ed 888 /* Mark active. */
1b971ac1 889 tem = XSAVE_OBJECT (info, 3);
eeaea515 890 tem1 = BVAR (current_buffer, mark_active);
39eb03f1 891 bset_mark_active (current_buffer, tem);
eeaea515
DA
892
893 /* If mark is active now, and either was not active
894 or was at a different place, run the activate hook. */
895 if (! NILP (tem))
dee091a3 896 {
eeaea515
DA
897 if (! EQ (omark, nmark))
898 {
899 tem = intern ("activate-mark-hook");
900 Frun_hooks (1, &tem);
901 }
902 }
903 /* If mark has ceased to be active, run deactivate hook. */
904 else if (! NILP (tem1))
905 {
906 tem = intern ("deactivate-mark-hook");
907 Frun_hooks (1, &tem);
9fed2b18 908 }
2483cf58 909
eeaea515
DA
910 /* If buffer was visible in a window, and a different window was
911 selected, and the old selected window is still showing this
912 buffer, restore point in that window. */
1b971ac1 913 tem = XSAVE_OBJECT (info, 2);
62c2e5ed 914 if (WINDOWP (tem)
eeaea515 915 && !EQ (tem, selected_window)
d3d50620 916 && (tem1 = XWINDOW (tem)->buffer,
eeaea515
DA
917 (/* Window is live... */
918 BUFFERP (tem1)
919 /* ...and it shows the current buffer. */
920 && XBUFFER (tem1) == current_buffer)))
921 Fset_window_point (tem, make_number (PT));
922
923 UNGCPRO;
62c2e5ed
DA
924
925 out:
926
73ebd38f 927 free_misc (info);
35692fe0
JB
928 return Qnil;
929}
930
931DEFUN ("save-excursion", Fsave_excursion, Ssave_excursion, 0, UNEVALLED, 0,
7ee72033 932 doc: /* Save point, mark, and current buffer; execute BODY; restore those things.
a1f17501
PJ
933Executes BODY just like `progn'.
934The values of point, mark and the current buffer are restored
935even in case of abnormal exit (throw or error).
936The state of activation of the mark is also restored.
937
938This construct does not save `deactivate-mark', and therefore
939functions that change the buffer will still cause deactivation
940of the mark at the end of the command. To prevent that, bind
33c2d29f
MB
941`deactivate-mark' with `let'.
942
7450fd36
SM
943If you only want to save the current buffer but not point nor mark,
944then just use `save-current-buffer', or even `with-current-buffer'.
945
33c2d29f 946usage: (save-excursion &rest BODY) */)
5842a27b 947 (Lisp_Object args)
35692fe0
JB
948{
949 register Lisp_Object val;
d311d28c 950 ptrdiff_t count = SPECPDL_INDEX ();
35692fe0
JB
951
952 record_unwind_protect (save_excursion_restore, save_excursion_save ());
4bc8c7d2
RS
953
954 val = Fprogn (args);
955 return unbind_to (count, val);
956}
957
958DEFUN ("save-current-buffer", Fsave_current_buffer, Ssave_current_buffer, 0, UNEVALLED, 0,
4abcdac8
CY
959 doc: /* Record which buffer is current; execute BODY; make that buffer current.
960BODY is executed just like `progn'.
33c2d29f 961usage: (save-current-buffer &rest BODY) */)
5842a27b 962 (Lisp_Object args)
4bc8c7d2 963{
d311d28c 964 ptrdiff_t count = SPECPDL_INDEX ();
4bc8c7d2 965
66322887
DA
966 record_unwind_current_buffer ();
967 return unbind_to (count, Fprogn (args));
35692fe0
JB
968}
969\f
eefd7278 970DEFUN ("buffer-size", Fbuffer_size, Sbuffer_size, 0, 1, 0,
7ee72033
MB
971 doc: /* Return the number of characters in the current buffer.
972If BUFFER, return the number of characters in that buffer instead. */)
5842a27b 973 (Lisp_Object buffer)
35692fe0 974{
95dccf75
RS
975 if (NILP (buffer))
976 return make_number (Z - BEG);
02050596
RS
977 else
978 {
b7826503 979 CHECK_BUFFER (buffer);
02050596
RS
980 return make_number (BUF_Z (XBUFFER (buffer))
981 - BUF_BEG (XBUFFER (buffer)));
982 }
35692fe0
JB
983}
984
985DEFUN ("point-min", Fpoint_min, Spoint_min, 0, 0, 0,
7ee72033
MB
986 doc: /* Return the minimum permissible value of point in the current buffer.
987This is 1, unless narrowing (a buffer restriction) is in effect. */)
5842a27b 988 (void)
35692fe0
JB
989{
990 Lisp_Object temp;
55561c63 991 XSETFASTINT (temp, BEGV);
35692fe0
JB
992 return temp;
993}
994
995DEFUN ("point-min-marker", Fpoint_min_marker, Spoint_min_marker, 0, 0, 0,
7ee72033
MB
996 doc: /* Return a marker to the minimum permissible value of point in this buffer.
997This is the beginning, unless narrowing (a buffer restriction) is in effect. */)
5842a27b 998 (void)
35692fe0 999{
657924ff 1000 return build_marker (current_buffer, BEGV, BEGV_BYTE);
35692fe0
JB
1001}
1002
1003DEFUN ("point-max", Fpoint_max, Spoint_max, 0, 0, 0,
7ee72033 1004 doc: /* Return the maximum permissible value of point in the current buffer.
a1f17501 1005This is (1+ (buffer-size)), unless narrowing (a buffer restriction)
7ee72033 1006is in effect, in which case it is less. */)
5842a27b 1007 (void)
35692fe0
JB
1008{
1009 Lisp_Object temp;
55561c63 1010 XSETFASTINT (temp, ZV);
35692fe0
JB
1011 return temp;
1012}
1013
a7ca3326 1014DEFUN ("point-max-marker", Fpoint_max_marker, Spoint_max_marker, 0, 0, 0,
7ee72033 1015 doc: /* Return a marker to the maximum permissible value of point in this buffer.
a1f17501 1016This is (1+ (buffer-size)), unless narrowing (a buffer restriction)
7ee72033 1017is in effect, in which case it is less. */)
5842a27b 1018 (void)
35692fe0 1019{
657924ff 1020 return build_marker (current_buffer, ZV, ZV_BYTE);
35692fe0
JB
1021}
1022
c86212b9 1023DEFUN ("gap-position", Fgap_position, Sgap_position, 0, 0, 0,
7ee72033
MB
1024 doc: /* Return the position of the gap, in the current buffer.
1025See also `gap-size'. */)
5842a27b 1026 (void)
c86212b9
RS
1027{
1028 Lisp_Object temp;
1029 XSETFASTINT (temp, GPT);
1030 return temp;
1031}
1032
1033DEFUN ("gap-size", Fgap_size, Sgap_size, 0, 0, 0,
7ee72033
MB
1034 doc: /* Return the size of the current buffer's gap.
1035See also `gap-position'. */)
5842a27b 1036 (void)
c86212b9
RS
1037{
1038 Lisp_Object temp;
1039 XSETFASTINT (temp, GAP_SIZE);
1040 return temp;
1041}
1042
7df74da6 1043DEFUN ("position-bytes", Fposition_bytes, Sposition_bytes, 1, 1, 0,
7ee72033
MB
1044 doc: /* Return the byte position for character position POSITION.
1045If POSITION is out of range, the value is nil. */)
5842a27b 1046 (Lisp_Object position)
7df74da6 1047{
b7826503 1048 CHECK_NUMBER_COERCE_MARKER (position);
fcf9683e
KH
1049 if (XINT (position) < BEG || XINT (position) > Z)
1050 return Qnil;
fa8a5a15 1051 return make_number (CHAR_TO_BYTE (XINT (position)));
7df74da6 1052}
3ab0732d
RS
1053
1054DEFUN ("byte-to-position", Fbyte_to_position, Sbyte_to_position, 1, 1, 0,
7ee72033
MB
1055 doc: /* Return the character position for byte position BYTEPOS.
1056If BYTEPOS is out of range, the value is nil. */)
5842a27b 1057 (Lisp_Object bytepos)
3ab0732d 1058{
b7826503 1059 CHECK_NUMBER (bytepos);
fcf9683e
KH
1060 if (XINT (bytepos) < BEG_BYTE || XINT (bytepos) > Z_BYTE)
1061 return Qnil;
3ab0732d
RS
1062 return make_number (BYTE_TO_CHAR (XINT (bytepos)));
1063}
7df74da6 1064\f
a7ca3326 1065DEFUN ("following-char", Ffollowing_char, Sfollowing_char, 0, 0, 0,
7ee72033
MB
1066 doc: /* Return the character following point, as a number.
1067At the end of the buffer or accessible region, return 0. */)
5842a27b 1068 (void)
35692fe0
JB
1069{
1070 Lisp_Object temp;
6ec8bbd2 1071 if (PT >= ZV)
55561c63 1072 XSETFASTINT (temp, 0);
850a8179 1073 else
ec1c14f6 1074 XSETFASTINT (temp, FETCH_CHAR (PT_BYTE));
35692fe0
JB
1075 return temp;
1076}
1077
a7ca3326 1078DEFUN ("preceding-char", Fprevious_char, Sprevious_char, 0, 0, 0,
7ee72033
MB
1079 doc: /* Return the character preceding point, as a number.
1080At the beginning of the buffer or accessible region, return 0. */)
5842a27b 1081 (void)
35692fe0
JB
1082{
1083 Lisp_Object temp;
6ec8bbd2 1084 if (PT <= BEGV)
55561c63 1085 XSETFASTINT (temp, 0);
4b4deea2 1086 else if (!NILP (BVAR (current_buffer, enable_multibyte_characters)))
fb8106e8 1087 {
d311d28c 1088 ptrdiff_t pos = PT_BYTE;
fb8106e8
KH
1089 DEC_POS (pos);
1090 XSETFASTINT (temp, FETCH_CHAR (pos));
1091 }
35692fe0 1092 else
ec1c14f6 1093 XSETFASTINT (temp, FETCH_BYTE (PT_BYTE - 1));
35692fe0
JB
1094 return temp;
1095}
1096
a7ca3326 1097DEFUN ("bobp", Fbobp, Sbobp, 0, 0, 0,
7ee72033
MB
1098 doc: /* Return t if point is at the beginning of the buffer.
1099If the buffer is narrowed, this means the beginning of the narrowed part. */)
5842a27b 1100 (void)
35692fe0 1101{
6ec8bbd2 1102 if (PT == BEGV)
35692fe0
JB
1103 return Qt;
1104 return Qnil;
1105}
1106
a7ca3326 1107DEFUN ("eobp", Feobp, Seobp, 0, 0, 0,
7ee72033
MB
1108 doc: /* Return t if point is at the end of the buffer.
1109If the buffer is narrowed, this means the end of the narrowed part. */)
5842a27b 1110 (void)
35692fe0 1111{
6ec8bbd2 1112 if (PT == ZV)
35692fe0
JB
1113 return Qt;
1114 return Qnil;
1115}
1116
a7ca3326 1117DEFUN ("bolp", Fbolp, Sbolp, 0, 0, 0,
7ee72033 1118 doc: /* Return t if point is at the beginning of a line. */)
5842a27b 1119 (void)
35692fe0 1120{
ec1c14f6 1121 if (PT == BEGV || FETCH_BYTE (PT_BYTE - 1) == '\n')
35692fe0
JB
1122 return Qt;
1123 return Qnil;
1124}
1125
a7ca3326 1126DEFUN ("eolp", Feolp, Seolp, 0, 0, 0,
7ee72033
MB
1127 doc: /* Return t if point is at the end of a line.
1128`End of a line' includes point being at the end of the buffer. */)
5842a27b 1129 (void)
35692fe0 1130{
ec1c14f6 1131 if (PT == ZV || FETCH_BYTE (PT_BYTE) == '\n')
35692fe0
JB
1132 return Qt;
1133 return Qnil;
1134}
1135
a7ca3326 1136DEFUN ("char-after", Fchar_after, Schar_after, 0, 1, 0,
7ee72033 1137 doc: /* Return character in current buffer at position POS.
f555f8cf 1138POS is an integer or a marker and defaults to point.
7ee72033 1139If POS is out of range, the value is nil. */)
5842a27b 1140 (Lisp_Object pos)
35692fe0 1141{
d311d28c 1142 register ptrdiff_t pos_byte;
35692fe0 1143
fa1d3816 1144 if (NILP (pos))
39a4c932
RS
1145 {
1146 pos_byte = PT_BYTE;
3c52e568 1147 XSETFASTINT (pos, PT);
39a4c932
RS
1148 }
1149
1150 if (MARKERP (pos))
85cac557
RS
1151 {
1152 pos_byte = marker_byte_position (pos);
1153 if (pos_byte < BEGV_BYTE || pos_byte >= ZV_BYTE)
1154 return Qnil;
1155 }
fa1d3816
RS
1156 else
1157 {
b7826503 1158 CHECK_NUMBER_COERCE_MARKER (pos);
b98ef0dc 1159 if (XINT (pos) < BEGV || XINT (pos) >= ZV)
85cac557 1160 return Qnil;
34a7a267 1161
ec1c14f6 1162 pos_byte = CHAR_TO_BYTE (XINT (pos));
fa1d3816 1163 }
35692fe0 1164
ec1c14f6 1165 return make_number (FETCH_CHAR (pos_byte));
35692fe0 1166}
fb8106e8 1167
fa1d3816 1168DEFUN ("char-before", Fchar_before, Schar_before, 0, 1, 0,
7ee72033 1169 doc: /* Return character in current buffer preceding position POS.
f555f8cf 1170POS is an integer or a marker and defaults to point.
7ee72033 1171If POS is out of range, the value is nil. */)
5842a27b 1172 (Lisp_Object pos)
fb8106e8
KH
1173{
1174 register Lisp_Object val;
d311d28c 1175 register ptrdiff_t pos_byte;
fb8106e8 1176
fa1d3816 1177 if (NILP (pos))
39a4c932
RS
1178 {
1179 pos_byte = PT_BYTE;
3c52e568 1180 XSETFASTINT (pos, PT);
39a4c932
RS
1181 }
1182
1183 if (MARKERP (pos))
85cac557
RS
1184 {
1185 pos_byte = marker_byte_position (pos);
1186
1187 if (pos_byte <= BEGV_BYTE || pos_byte > ZV_BYTE)
1188 return Qnil;
1189 }
fa1d3816
RS
1190 else
1191 {
b7826503 1192 CHECK_NUMBER_COERCE_MARKER (pos);
fb8106e8 1193
b98ef0dc 1194 if (XINT (pos) <= BEGV || XINT (pos) > ZV)
85cac557
RS
1195 return Qnil;
1196
ec1c14f6 1197 pos_byte = CHAR_TO_BYTE (XINT (pos));
fa1d3816 1198 }
fb8106e8 1199
4b4deea2 1200 if (!NILP (BVAR (current_buffer, enable_multibyte_characters)))
fb8106e8 1201 {
ec1c14f6
RS
1202 DEC_POS (pos_byte);
1203 XSETFASTINT (val, FETCH_CHAR (pos_byte));
fb8106e8
KH
1204 }
1205 else
1206 {
ec1c14f6
RS
1207 pos_byte--;
1208 XSETFASTINT (val, FETCH_BYTE (pos_byte));
fb8106e8
KH
1209 }
1210 return val;
1211}
35692fe0 1212\f
a7ca3326 1213DEFUN ("user-login-name", Fuser_login_name, Suser_login_name, 0, 1, 0,
7ee72033 1214 doc: /* Return the name under which the user logged in, as a string.
a1f17501 1215This is based on the effective uid, not the real uid.
412f1fab 1216Also, if the environment variables LOGNAME or USER are set,
a1f17501
PJ
1217that determines the value of this function.
1218
7b1c38a4
EZ
1219If optional argument UID is an integer or a float, return the login name
1220of the user with that uid, or nil if there is no such user. */)
5842a27b 1221 (Lisp_Object uid)
35692fe0 1222{
87485d6f 1223 struct passwd *pw;
7b1c38a4 1224 uid_t id;
87485d6f 1225
f8a0e364
RS
1226 /* Set up the user name info if we didn't do it before.
1227 (That can happen if Emacs is dumpable
1228 but you decide to run `temacs -l loadup' and not dump. */
35b34f72 1229 if (INTEGERP (Vuser_login_name))
f8a0e364 1230 init_editfns ();
87485d6f
MW
1231
1232 if (NILP (uid))
35b34f72 1233 return Vuser_login_name;
87485d6f 1234
3f4eabd1 1235 CONS_TO_INTEGER (uid, uid_t, id);
4d7e6e51 1236 block_input ();
63c5d10b 1237 pw = getpwuid (id);
4d7e6e51 1238 unblock_input ();
87485d6f 1239 return (pw ? build_string (pw->pw_name) : Qnil);
35692fe0
JB
1240}
1241
1242DEFUN ("user-real-login-name", Fuser_real_login_name, Suser_real_login_name,
deb8e082 1243 0, 0, 0,
7ee72033 1244 doc: /* Return the name of the user's real uid, as a string.
a1f17501 1245This ignores the environment variables LOGNAME and USER, so it differs from
7ee72033 1246`user-login-name' when running under `su'. */)
5842a27b 1247 (void)
35692fe0 1248{
f8a0e364
RS
1249 /* Set up the user name info if we didn't do it before.
1250 (That can happen if Emacs is dumpable
1251 but you decide to run `temacs -l loadup' and not dump. */
35b34f72 1252 if (INTEGERP (Vuser_login_name))
f8a0e364 1253 init_editfns ();
35b34f72 1254 return Vuser_real_login_name;
35692fe0
JB
1255}
1256
1257DEFUN ("user-uid", Fuser_uid, Suser_uid, 0, 0, 0,
7ee72033 1258 doc: /* Return the effective uid of Emacs.
e00553bf 1259Value is an integer or a float, depending on the value. */)
5842a27b 1260 (void)
35692fe0 1261{
d311d28c 1262 uid_t euid = geteuid ();
3aef3c0a 1263 return make_fixnum_or_float (euid);
35692fe0
JB
1264}
1265
1266DEFUN ("user-real-uid", Fuser_real_uid, Suser_real_uid, 0, 0, 0,
7ee72033 1267 doc: /* Return the real uid of Emacs.
e00553bf 1268Value is an integer or a float, depending on the value. */)
5842a27b 1269 (void)
35692fe0 1270{
d311d28c 1271 uid_t uid = getuid ();
3aef3c0a 1272 return make_fixnum_or_float (uid);
35692fe0
JB
1273}
1274
97976f9f
PE
1275DEFUN ("group-gid", Fgroup_gid, Sgroup_gid, 0, 0, 0,
1276 doc: /* Return the effective gid of Emacs.
1277Value is an integer or a float, depending on the value. */)
1278 (void)
1279{
1280 gid_t egid = getegid ();
1281 return make_fixnum_or_float (egid);
1282}
1283
1284DEFUN ("group-real-gid", Fgroup_real_gid, Sgroup_real_gid, 0, 0, 0,
1285 doc: /* Return the real gid of Emacs.
1286Value is an integer or a float, depending on the value. */)
1287 (void)
1288{
1289 gid_t gid = getgid ();
1290 return make_fixnum_or_float (gid);
1291}
1292
c9ed721d 1293DEFUN ("user-full-name", Fuser_full_name, Suser_full_name, 0, 1, 0,
7ee72033 1294 doc: /* Return the full name of the user logged in, as a string.
a1f17501
PJ
1295If the full name corresponding to Emacs's userid is not known,
1296return "unknown".
1297
1298If optional argument UID is an integer or float, return the full name
1299of the user with that uid, or nil if there is no such user.
1300If UID is a string, return the full name of the user with that login
7ee72033 1301name, or nil if there is no such user. */)
5842a27b 1302 (Lisp_Object uid)
35692fe0 1303{
c9ed721d 1304 struct passwd *pw;
e7f8264d 1305 register char *p, *q;
3415b0e9 1306 Lisp_Object full;
c9ed721d
RS
1307
1308 if (NILP (uid))
34a7a267 1309 return Vuser_full_name;
3415b0e9 1310 else if (NUMBERP (uid))
b91834c3 1311 {
3f4eabd1
PE
1312 uid_t u;
1313 CONS_TO_INTEGER (uid, uid_t, u);
4d7e6e51 1314 block_input ();
63c5d10b 1315 pw = getpwuid (u);
4d7e6e51 1316 unblock_input ();
b91834c3 1317 }
34a7a267 1318 else if (STRINGP (uid))
b91834c3 1319 {
4d7e6e51 1320 block_input ();
63c5d10b 1321 pw = getpwnam (SSDATA (uid));
4d7e6e51 1322 unblock_input ();
b91834c3 1323 }
3415b0e9
RS
1324 else
1325 error ("Invalid UID specification");
c9ed721d 1326
3415b0e9 1327 if (!pw)
3347526c 1328 return Qnil;
34a7a267 1329
e7f8264d 1330 p = USER_FULL_NAME;
3415b0e9 1331 /* Chop off everything after the first comma. */
e7f8264d 1332 q = strchr (p, ',');
3415b0e9 1333 full = make_string (p, q ? q - p : strlen (p));
34a7a267 1334
3415b0e9 1335#ifdef AMPERSAND_FULL_NAME
e7f8264d
PE
1336 p = SSDATA (full);
1337 q = strchr (p, '&');
3415b0e9
RS
1338 /* Substitute the login name for the &, upcasing the first character. */
1339 if (q)
1340 {
e7f8264d 1341 register char *r;
3415b0e9
RS
1342 Lisp_Object login;
1343
1344 login = Fuser_login_name (make_number (pw->pw_uid));
38182d90 1345 r = alloca (strlen (p) + SCHARS (login) + 1);
72af86bd 1346 memcpy (r, p, q - p);
3415b0e9 1347 r[q - p] = 0;
42a5b22f 1348 strcat (r, SSDATA (login));
5da9919f 1349 r[q - p] = upcase ((unsigned char) r[q - p]);
3415b0e9
RS
1350 strcat (r, q + 1);
1351 full = build_string (r);
1352 }
1353#endif /* AMPERSAND_FULL_NAME */
1354
1355 return full;
35692fe0
JB
1356}
1357
a7ca3326 1358DEFUN ("system-name", Fsystem_name, Ssystem_name, 0, 0, 0,
1a7e0117 1359 doc: /* Return the host name of the machine you are running on, as a string. */)
5842a27b 1360 (void)
35692fe0
JB
1361{
1362 return Vsystem_name;
1363}
1364
7fd233b3 1365DEFUN ("emacs-pid", Femacs_pid, Semacs_pid, 0, 0, 0,
d311d28c 1366 doc: /* Return the process ID of Emacs, as a number. */)
5842a27b 1367 (void)
7fd233b3 1368{
d311d28c
PE
1369 pid_t pid = getpid ();
1370 return make_fixnum_or_float (pid);
7fd233b3
RS
1371}
1372
b8d9bd41
PE
1373\f
1374
1375#ifndef TIME_T_MIN
1376# define TIME_T_MIN TYPE_MINIMUM (time_t)
1377#endif
1378#ifndef TIME_T_MAX
1379# define TIME_T_MAX TYPE_MAXIMUM (time_t)
1380#endif
1381
1382/* Report that a time value is out of range for Emacs. */
d35af63c 1383void
b8d9bd41
PE
1384time_overflow (void)
1385{
1386 error ("Specified time is not representable");
1387}
1388
d35af63c 1389/* Return the upper part of the time T (everything but the bottom 16 bits). */
b8d9bd41
PE
1390static EMACS_INT
1391hi_time (time_t t)
1392{
1393 time_t hi = t >> 16;
313c1e54
PE
1394
1395 /* Check for overflow, helping the compiler for common cases where
1396 no runtime check is needed, and taking care not to convert
1397 negative numbers to unsigned before comparing them. */
1398 if (! ((! TYPE_SIGNED (time_t)
1399 || MOST_NEGATIVE_FIXNUM <= TIME_T_MIN >> 16
1400 || MOST_NEGATIVE_FIXNUM <= hi)
1401 && (TIME_T_MAX >> 16 <= MOST_POSITIVE_FIXNUM
1402 || hi <= MOST_POSITIVE_FIXNUM)))
b8d9bd41 1403 time_overflow ();
313c1e54 1404
b8d9bd41
PE
1405 return hi;
1406}
1407
1408/* Return the bottom 16 bits of the time T. */
d311d28c 1409static int
b8d9bd41
PE
1410lo_time (time_t t)
1411{
1412 return t & ((1 << 16) - 1);
1413}
1414
a7ca3326 1415DEFUN ("current-time", Fcurrent_time, Scurrent_time, 0, 0, 0,
7ee72033 1416 doc: /* Return the current time, as the number of seconds since 1970-01-01 00:00:00.
d35af63c
PE
1417The time is returned as a list of integers (HIGH LOW USEC PSEC).
1418HIGH has the most significant bits of the seconds, while LOW has the
1419least significant 16 bits. USEC and PSEC are the microsecond and
1420picosecond counts. */)
5842a27b 1421 (void)
d940e0e4 1422{
e9a9ae03 1423 return make_lisp_time (current_emacs_time ());
d940e0e4 1424}
4211ee7d 1425
a7ca3326 1426DEFUN ("get-internal-run-time", Fget_internal_run_time, Sget_internal_run_time,
4211ee7d
EZ
1427 0, 0, 0,
1428 doc: /* Return the current run time used by Emacs.
d35af63c
PE
1429The time is returned as a list (HIGH LOW USEC PSEC), using the same
1430style as (current-time).
4211ee7d 1431
9671c13a 1432On systems that can't determine the run time, `get-internal-run-time'
d35af63c 1433does the same thing as `current-time'. */)
5842a27b 1434 (void)
4211ee7d
EZ
1435{
1436#ifdef HAVE_GETRUSAGE
1437 struct rusage usage;
b8d9bd41
PE
1438 time_t secs;
1439 int usecs;
4211ee7d
EZ
1440
1441 if (getrusage (RUSAGE_SELF, &usage) < 0)
1442 /* This shouldn't happen. What action is appropriate? */
8a0ff744 1443 xsignal0 (Qerror);
4211ee7d
EZ
1444
1445 /* Sum up user time and system time. */
1446 secs = usage.ru_utime.tv_sec + usage.ru_stime.tv_sec;
1447 usecs = usage.ru_utime.tv_usec + usage.ru_stime.tv_usec;
1448 if (usecs >= 1000000)
1449 {
1450 usecs -= 1000000;
1451 secs++;
1452 }
e9a9ae03 1453 return make_lisp_time (make_emacs_time (secs, usecs * 1000));
c433c134 1454#else /* ! HAVE_GETRUSAGE */
43db14bb 1455#ifdef WINDOWSNT
c433c134
JR
1456 return w32_get_internal_run_time ();
1457#else /* ! WINDOWSNT */
4211ee7d 1458 return Fcurrent_time ();
c433c134
JR
1459#endif /* WINDOWSNT */
1460#endif /* HAVE_GETRUSAGE */
4211ee7d 1461}
d940e0e4
JB
1462\f
1463
d35af63c
PE
1464/* Make a Lisp list that represents the time T with fraction TAIL. */
1465static Lisp_Object
1466make_time_tail (time_t t, Lisp_Object tail)
1467{
1468 return Fcons (make_number (hi_time (t)),
1469 Fcons (make_number (lo_time (t)), tail));
1470}
1471
1472/* Make a Lisp list that represents the system time T. */
1473static Lisp_Object
8be6f318
PE
1474make_time (time_t t)
1475{
d35af63c
PE
1476 return make_time_tail (t, Qnil);
1477}
1478
1479/* Make a Lisp list that represents the Emacs time T. T may be an
1480 invalid time, with a slightly negative tv_nsec value such as
1481 UNKNOWN_MODTIME_NSECS; in that case, the Lisp list contains a
1482 correspondingly negative picosecond count. */
1483Lisp_Object
1484make_lisp_time (EMACS_TIME t)
1485{
1486 int ns = EMACS_NSECS (t);
3de717bd 1487 return make_time_tail (EMACS_SECS (t), list2i (ns / 1000, ns % 1000 * 1000));
8be6f318
PE
1488}
1489
1490/* Decode a Lisp list SPECIFIED_TIME that represents a time.
d35af63c 1491 Set *PHIGH, *PLOW, *PUSEC, *PPSEC to its parts; do not check their values.
a08d4ba7
PE
1492 Return true if successful. */
1493static bool
d35af63c
PE
1494disassemble_lisp_time (Lisp_Object specified_time, Lisp_Object *phigh,
1495 Lisp_Object *plow, Lisp_Object *pusec,
1496 Lisp_Object *ppsec)
1497{
1498 if (CONSP (specified_time))
1499 {
1500 Lisp_Object low = XCDR (specified_time);
1501 Lisp_Object usec = make_number (0);
1502 Lisp_Object psec = make_number (0);
1503 if (CONSP (low))
1504 {
1505 Lisp_Object low_tail = XCDR (low);
1506 low = XCAR (low);
1507 if (CONSP (low_tail))
1508 {
1509 usec = XCAR (low_tail);
1510 low_tail = XCDR (low_tail);
1511 if (CONSP (low_tail))
1512 psec = XCAR (low_tail);
1513 }
1514 else if (!NILP (low_tail))
1515 usec = low_tail;
1516 }
1517
1518 *phigh = XCAR (specified_time);
1519 *plow = low;
1520 *pusec = usec;
1521 *ppsec = psec;
1522 return 1;
1523 }
1524
1525 return 0;
1526}
1527
1528/* From the time components HIGH, LOW, USEC and PSEC taken from a Lisp
31571fd7
PE
1529 list, generate the corresponding time value.
1530
1531 If RESULT is not null, store into *RESULT the converted time;
1532 this can fail if the converted time does not fit into EMACS_TIME.
1533 If *DRESULT is not null, store into *DRESULT the number of
1534 seconds since the start of the POSIX Epoch.
1535
a08d4ba7
PE
1536 Return true if successful. */
1537bool
d35af63c 1538decode_time_components (Lisp_Object high, Lisp_Object low, Lisp_Object usec,
31571fd7
PE
1539 Lisp_Object psec,
1540 EMACS_TIME *result, double *dresult)
e3120ab5 1541{
d35af63c 1542 EMACS_INT hi, lo, us, ps;
d35af63c
PE
1543 if (! (INTEGERP (high) && INTEGERP (low)
1544 && INTEGERP (usec) && INTEGERP (psec)))
1545 return 0;
1546 hi = XINT (high);
1547 lo = XINT (low);
1548 us = XINT (usec);
1549 ps = XINT (psec);
1550
1551 /* Normalize out-of-range lower-order components by carrying
1552 each overflow into the next higher-order component. */
1553 us += ps / 1000000 - (ps % 1000000 < 0);
1554 lo += us / 1000000 - (us % 1000000 < 0);
1555 hi += lo >> 16;
1556 ps = ps % 1000000 + 1000000 * (ps % 1000000 < 0);
1557 us = us % 1000000 + 1000000 * (us % 1000000 < 0);
1558 lo &= (1 << 16) - 1;
1559
31571fd7
PE
1560 if (result)
1561 {
1562 if ((TYPE_SIGNED (time_t) ? TIME_T_MIN >> 16 <= hi : 0 <= hi)
1563 && hi <= TIME_T_MAX >> 16)
1564 {
1565 /* Return the greatest representable time that is not greater
1566 than the requested time. */
1567 time_t sec = hi;
e9a9ae03 1568 *result = make_emacs_time ((sec << 16) + lo, us * 1000 + ps / 1000);
31571fd7
PE
1569 }
1570 else
1571 {
1572 /* Overflow in the highest-order component. */
1573 return 0;
1574 }
1575 }
1576
1577 if (dresult)
1578 *dresult = (us * 1e6 + ps) / 1e12 + lo + hi * 65536.0;
d35af63c 1579
d35af63c
PE
1580 return 1;
1581}
1582
1583/* Decode a Lisp list SPECIFIED_TIME that represents a time.
1584 If SPECIFIED_TIME is nil, use the current time.
31571fd7
PE
1585
1586 Round the time down to the nearest EMACS_TIME value.
d35af63c
PE
1587 Return seconds since the Epoch.
1588 Signal an error if unsuccessful. */
1589EMACS_TIME
31571fd7 1590lisp_time_argument (Lisp_Object specified_time)
d35af63c
PE
1591{
1592 EMACS_TIME t;
e3120ab5 1593 if (NILP (specified_time))
e9a9ae03 1594 t = current_emacs_time ();
d35af63c 1595 else
34a7a267 1596 {
d35af63c
PE
1597 Lisp_Object high, low, usec, psec;
1598 if (! (disassemble_lisp_time (specified_time, &high, &low, &usec, &psec)
31571fd7 1599 && decode_time_components (high, low, usec, psec, &t, 0)))
d35af63c 1600 error ("Invalid time specification");
34a7a267 1601 }
d35af63c
PE
1602 return t;
1603}
1604
1605/* Like lisp_time_argument, except decode only the seconds part,
31571fd7
PE
1606 do not allow out-of-range time stamps, do not check the subseconds part,
1607 and always round down. */
d35af63c
PE
1608static time_t
1609lisp_seconds_argument (Lisp_Object specified_time)
1610{
1611 if (NILP (specified_time))
1612 return time (NULL);
e3120ab5
JB
1613 else
1614 {
d35af63c
PE
1615 Lisp_Object high, low, usec, psec;
1616 EMACS_TIME t;
1617 if (! (disassemble_lisp_time (specified_time, &high, &low, &usec, &psec)
1618 && decode_time_components (high, low, make_number (0),
1619 make_number (0), &t, 0)))
1620 error ("Invalid time specification");
1621 return EMACS_SECS (t);
e3120ab5
JB
1622 }
1623}
1624
34a7a267 1625DEFUN ("float-time", Ffloat_time, Sfloat_time, 0, 1, 0,
7ee72033 1626 doc: /* Return the current time, as a float number of seconds since the epoch.
412f1fab 1627If SPECIFIED-TIME is given, it is the time to convert to float
5668fbb8 1628instead of the current time. The argument should have the form
d35af63c
PE
1629(HIGH LOW) or (HIGH LOW USEC) or (HIGH LOW USEC PSEC). Thus,
1630you can use times from `current-time' and from `file-attributes'.
1631SPECIFIED-TIME can also have the form (HIGH . LOW), but this is
1632considered obsolete.
a1f17501
PJ
1633
1634WARNING: Since the result is floating point, it may not be exact.
d427a9fa
EZ
1635If precise time stamps are required, use either `current-time',
1636or (if you need time as a string) `format-time-string'. */)
5842a27b 1637 (Lisp_Object specified_time)
34a7a267 1638{
31571fd7
PE
1639 double t;
1640 if (NILP (specified_time))
1641 {
e9a9ae03 1642 EMACS_TIME now = current_emacs_time ();
31571fd7
PE
1643 t = EMACS_SECS (now) + EMACS_NSECS (now) / 1e9;
1644 }
1645 else
1646 {
1647 Lisp_Object high, low, usec, psec;
1648 if (! (disassemble_lisp_time (specified_time, &high, &low, &usec, &psec)
1649 && decode_time_components (high, low, usec, psec, 0, &t)))
1650 error ("Invalid time specification");
1651 }
1652 return make_float (t);
34a7a267
SS
1653}
1654
70ebbe5f
PE
1655/* Write information into buffer S of size MAXSIZE, according to the
1656 FORMAT of length FORMAT_LEN, using time information taken from *TP.
a08d4ba7 1657 Default to Universal Time if UT, local time otherwise.
a4180391 1658 Use NS as the number of nanoseconds in the %N directive.
70ebbe5f
PE
1659 Return the number of bytes written, not including the terminating
1660 '\0'. If S is NULL, nothing will be written anywhere; so to
1661 determine how many bytes would be written, use NULL for S and
1662 ((size_t) -1) for MAXSIZE.
1663
16c3e636
PE
1664 This function behaves like nstrftime, except it allows null
1665 bytes in FORMAT and it does not support nanoseconds. */
70ebbe5f 1666static size_t
a4180391 1667emacs_nmemftime (char *s, size_t maxsize, const char *format,
a08d4ba7 1668 size_t format_len, const struct tm *tp, bool ut, int ns)
70ebbe5f
PE
1669{
1670 size_t total = 0;
1671
be09e6e6
PE
1672 /* Loop through all the null-terminated strings in the format
1673 argument. Normally there's just one null-terminated string, but
1674 there can be arbitrarily many, concatenated together, if the
16c3e636 1675 format contains '\0' bytes. nstrftime stops at the first
be09e6e6 1676 '\0' byte so we must invoke it separately for each such string. */
70ebbe5f
PE
1677 for (;;)
1678 {
1679 size_t len;
1680 size_t result;
1681
1682 if (s)
1683 s[0] = '\1';
1684
a4180391 1685 result = nstrftime (s, maxsize, format, tp, ut, ns);
70ebbe5f
PE
1686
1687 if (s)
1688 {
1689 if (result == 0 && s[0] != '\0')
1690 return 0;
1691 s += result + 1;
1692 }
1693
1694 maxsize -= result + 1;
1695 total += result;
1696 len = strlen (format);
1697 if (len == format_len)
1698 return total;
1699 total++;
1700 format += len + 1;
1701 format_len -= len + 1;
1702 }
1703}
1704
3efcc98a 1705DEFUN ("format-time-string", Fformat_time_string, Sformat_time_string, 1, 3, 0,
7ee72033 1706 doc: /* Use FORMAT-STRING to format the time TIME, or now if omitted.
d35af63c 1707TIME is specified as (HIGH LOW USEC PSEC), as returned by
5668fbb8
LT
1708`current-time' or `file-attributes'. The obsolete form (HIGH . LOW)
1709is also still accepted.
a1f17501
PJ
1710The third, optional, argument UNIVERSAL, if non-nil, means describe TIME
1711as Universal Time; nil means describe TIME in the local time zone.
1712The value is a copy of FORMAT-STRING, but with certain constructs replaced
1713by text that describes the specified date and time in TIME:
1714
1715%Y is the year, %y within the century, %C the century.
1716%G is the year corresponding to the ISO week, %g within the century.
1717%m is the numeric month.
1718%b and %h are the locale's abbreviated month name, %B the full name.
1719%d is the day of the month, zero-padded, %e is blank-padded.
1720%u is the numeric day of week from 1 (Monday) to 7, %w from 0 (Sunday) to 6.
1721%a is the locale's abbreviated name of the day of week, %A the full name.
1722%U is the week number starting on Sunday, %W starting on Monday,
1723 %V according to ISO 8601.
1724%j is the day of the year.
1725
1726%H is the hour on a 24-hour clock, %I is on a 12-hour clock, %k is like %H
1727 only blank-padded, %l is like %I blank-padded.
1728%p is the locale's equivalent of either AM or PM.
1729%M is the minute.
1730%S is the second.
a4180391 1731%N is the nanosecond, %6N the microsecond, %3N the millisecond, etc.
a1f17501
PJ
1732%Z is the time zone name, %z is the numeric form.
1733%s is the number of seconds since 1970-01-01 00:00:00 +0000.
1734
1735%c is the locale's date and time format.
1736%x is the locale's "preferred" date format.
1737%D is like "%m/%d/%y".
1738
1739%R is like "%H:%M", %T is like "%H:%M:%S", %r is like "%I:%M:%S %p".
1740%X is the locale's "preferred" time format.
1741
1742Finally, %n is a newline, %t is a tab, %% is a literal %.
1743
1744Certain flags and modifiers are available with some format controls.
1745The flags are `_', `-', `^' and `#'. For certain characters X,
1746%_X is like %X, but padded with blanks; %-X is like %X,
a67a233b
MR
1747but without padding. %^X is like %X, but with all textual
1748characters up-cased; %#X is like %X, but with letter-case of
a1f17501
PJ
1749all textual characters reversed.
1750%NX (where N stands for an integer) is like %X,
1751but takes up at least N (a number) positions.
1752The modifiers are `E' and `O'. For certain characters X,
1753%EX is a locale's alternative version of %X;
1754%OX is like %X, but uses the locale's number symbols.
1755
75bfc667
JL
1756For example, to produce full ISO 8601 format, use "%Y-%m-%dT%T%z".
1757
1758usage: (format-time-string FORMAT-STRING &optional TIME UNIVERSAL) */)
545b49b4 1759 (Lisp_Object format_string, Lisp_Object timeval, Lisp_Object universal)
a82d387c 1760{
31571fd7 1761 EMACS_TIME t = lisp_time_argument (timeval);
7ed806a7 1762 struct tm tm;
7da0b018
PE
1763
1764 CHECK_STRING (format_string);
1765 format_string = code_convert_string_norecord (format_string,
1766 Vlocale_coding_system, 1);
1767 return format_time_string (SSDATA (format_string), SBYTES (format_string),
d35af63c 1768 t, ! NILP (universal), &tm);
7da0b018
PE
1769}
1770
1771static Lisp_Object
1772format_time_string (char const *format, ptrdiff_t formatlen,
a08d4ba7 1773 EMACS_TIME t, bool ut, struct tm *tmp)
7da0b018 1774{
7ed806a7
PE
1775 char buffer[4000];
1776 char *buf = buffer;
243e0530 1777 ptrdiff_t size = sizeof buffer;
7ed806a7
PE
1778 size_t len;
1779 Lisp_Object bufstring;
d35af63c 1780 int ns = EMACS_NSECS (t);
177ea5f1 1781 struct tm *tm;
7ed806a7 1782 USE_SAFE_ALLOCA;
a82d387c 1783
a82d387c
RS
1784 while (1)
1785 {
e9a9ae03 1786 time_t *taddr = emacs_secs_addr (&t);
4d7e6e51 1787 block_input ();
7ed806a7
PE
1788
1789 synchronize_system_time_locale ();
1790
e9a9ae03 1791 tm = ut ? gmtime (taddr) : localtime (taddr);
7ed806a7
PE
1792 if (! tm)
1793 {
4d7e6e51 1794 unblock_input ();
7ed806a7
PE
1795 time_overflow ();
1796 }
1797 *tmp = *tm;
b48382a0 1798
bfbcc5ee 1799 buf[0] = '\1';
7ed806a7
PE
1800 len = emacs_nmemftime (buf, size, format, formatlen, tm, ut, ns);
1801 if ((0 < len && len < size) || (len == 0 && buf[0] == '\0'))
1802 break;
b48382a0 1803
7ed806a7
PE
1804 /* Buffer was too small, so make it bigger and try again. */
1805 len = emacs_nmemftime (NULL, SIZE_MAX, format, formatlen, tm, ut, ns);
4d7e6e51 1806 unblock_input ();
7ed806a7 1807 if (STRING_BYTES_BOUND <= len)
da64016e 1808 string_overflow ();
7ed806a7 1809 size = len + 1;
98c6f1e3 1810 buf = SAFE_ALLOCA (size);
a82d387c 1811 }
7ed806a7 1812
4d7e6e51 1813 unblock_input ();
7ed806a7
PE
1814 bufstring = make_unibyte_string (buf, len);
1815 SAFE_FREE ();
1816 return code_convert_string_norecord (bufstring, Vlocale_coding_system, 0);
a82d387c
RS
1817}
1818
4691c06d 1819DEFUN ("decode-time", Fdecode_time, Sdecode_time, 0, 1, 0,
7ee72033 1820 doc: /* Decode a time value as (SEC MINUTE HOUR DAY MONTH YEAR DOW DST ZONE).
5668fbb8 1821The optional SPECIFIED-TIME should be a list of (HIGH LOW . IGNORED),
9671c13a 1822as from `current-time' and `file-attributes', or nil to use the
5668fbb8
LT
1823current time. The obsolete form (HIGH . LOW) is also still accepted.
1824The list has the following nine members: SEC is an integer between 0
1825and 60; SEC is 60 for a leap second, which only some operating systems
1826support. MINUTE is an integer between 0 and 59. HOUR is an integer
1827between 0 and 23. DAY is an integer between 1 and 31. MONTH is an
1828integer between 1 and 12. YEAR is an integer indicating the
1829four-digit year. DOW is the day of week, an integer between 0 and 6,
f1767e2b 1830where 0 is Sunday. DST is t if daylight saving time is in effect,
5668fbb8
LT
1831otherwise nil. ZONE is an integer indicating the number of seconds
1832east of Greenwich. (Note that Common Lisp has different meanings for
1833DOW and ZONE.) */)
5842a27b 1834 (Lisp_Object specified_time)
4691c06d 1835{
d35af63c 1836 time_t time_spec = lisp_seconds_argument (specified_time);
3c887943 1837 struct tm save_tm;
4691c06d
RS
1838 struct tm *decoded_time;
1839 Lisp_Object list_args[9];
34a7a267 1840
4d7e6e51 1841 block_input ();
4691c06d 1842 decoded_time = localtime (&time_spec);
7ed806a7
PE
1843 if (decoded_time)
1844 save_tm = *decoded_time;
4d7e6e51 1845 unblock_input ();
b8d9bd41 1846 if (! (decoded_time
7ed806a7
PE
1847 && MOST_NEGATIVE_FIXNUM - TM_YEAR_BASE <= save_tm.tm_year
1848 && save_tm.tm_year <= MOST_POSITIVE_FIXNUM - TM_YEAR_BASE))
fe31d94c 1849 time_overflow ();
7ed806a7
PE
1850 XSETFASTINT (list_args[0], save_tm.tm_sec);
1851 XSETFASTINT (list_args[1], save_tm.tm_min);
1852 XSETFASTINT (list_args[2], save_tm.tm_hour);
1853 XSETFASTINT (list_args[3], save_tm.tm_mday);
1854 XSETFASTINT (list_args[4], save_tm.tm_mon + 1);
71c3f28f
EZ
1855 /* On 64-bit machines an int is narrower than EMACS_INT, thus the
1856 cast below avoids overflow in int arithmetics. */
7ed806a7
PE
1857 XSETINT (list_args[5], TM_YEAR_BASE + (EMACS_INT) save_tm.tm_year);
1858 XSETFASTINT (list_args[6], save_tm.tm_wday);
1859 list_args[7] = save_tm.tm_isdst ? Qt : Qnil;
3c887943 1860
4d7e6e51 1861 block_input ();
3c887943
KH
1862 decoded_time = gmtime (&time_spec);
1863 if (decoded_time == 0)
1864 list_args[8] = Qnil;
1865 else
94751666 1866 XSETINT (list_args[8], tm_diff (&save_tm, decoded_time));
4d7e6e51 1867 unblock_input ();
4691c06d
RS
1868 return Flist (9, list_args);
1869}
1870
b8d9bd41
PE
1871/* Return OBJ - OFFSET, checking that OBJ is a valid fixnum and that
1872 the result is representable as an int. Assume OFFSET is small and
1873 nonnegative. */
1874static int
1875check_tm_member (Lisp_Object obj, int offset)
1876{
1877 EMACS_INT n;
1878 CHECK_NUMBER (obj);
1879 n = XINT (obj);
1880 if (! (INT_MIN + offset <= n && n - offset <= INT_MAX))
1881 time_overflow ();
1882 return n - offset;
1883}
1884
6ee9061c 1885DEFUN ("encode-time", Fencode_time, Sencode_time, 6, MANY, 0,
7ee72033 1886 doc: /* Convert SECOND, MINUTE, HOUR, DAY, MONTH, YEAR and ZONE to internal time.
a1f17501
PJ
1887This is the reverse operation of `decode-time', which see.
1888ZONE defaults to the current time zone rule. This can
1889be a string or t (as from `set-time-zone-rule'), or it can be a list
b57c2708 1890\(as from `current-time-zone') or an integer (as from `decode-time')
9c279ddf 1891applied without consideration for daylight saving time.
a1f17501
PJ
1892
1893You can pass more than 7 arguments; then the first six arguments
1894are used as SECOND through YEAR, and the *last* argument is used as ZONE.
1895The intervening arguments are ignored.
1896This feature lets (apply 'encode-time (decode-time ...)) work.
1897
412f1fab 1898Out-of-range values for SECOND, MINUTE, HOUR, DAY, or MONTH are allowed;
a1f17501
PJ
1899for example, a DAY of 0 means the day preceding the given month.
1900Year numbers less than 100 are treated just like other year numbers.
4bfbe194
MB
1901If you want them to stand for years in this century, you must do that yourself.
1902
f555f8cf
KH
1903Years before 1970 are not guaranteed to work. On some systems,
1904year values as low as 1901 do work.
1905
4bfbe194 1906usage: (encode-time SECOND MINUTE HOUR DAY MONTH YEAR &optional ZONE) */)
f66c7cf8 1907 (ptrdiff_t nargs, Lisp_Object *args)
cce7b8a0 1908{
545b49b4 1909 time_t value;
c59b5089 1910 struct tm tm;
60653898 1911 Lisp_Object zone = (nargs > 6 ? args[nargs - 1] : Qnil);
6ee9061c 1912
b8d9bd41
PE
1913 tm.tm_sec = check_tm_member (args[0], 0);
1914 tm.tm_min = check_tm_member (args[1], 0);
1915 tm.tm_hour = check_tm_member (args[2], 0);
1916 tm.tm_mday = check_tm_member (args[3], 0);
1917 tm.tm_mon = check_tm_member (args[4], 1);
1918 tm.tm_year = check_tm_member (args[5], TM_YEAR_BASE);
c59b5089
PE
1919 tm.tm_isdst = -1;
1920
1921 if (CONSP (zone))
7d7bbefd 1922 zone = XCAR (zone);
1b8fa736 1923 if (NILP (zone))
bcda42c8 1924 {
4d7e6e51 1925 block_input ();
545b49b4 1926 value = mktime (&tm);
4d7e6e51 1927 unblock_input ();
bcda42c8 1928 }
c59b5089 1929 else
1b8fa736 1930 {
5745a7df
PE
1931 static char const tzbuf_format[] = "XXX%s%"pI"d:%02d:%02d";
1932 char tzbuf[sizeof tzbuf_format + INT_STRLEN_BOUND (EMACS_INT)];
1933 char *old_tzstring;
8ea90aa3 1934 const char *tzstring;
5745a7df 1935 USE_SAFE_ALLOCA;
34a7a267 1936
2e34157c 1937 if (EQ (zone, Qt))
085e9fcb
EN
1938 tzstring = "UTC0";
1939 else if (STRINGP (zone))
51b59d79 1940 tzstring = SSDATA (zone);
c59b5089 1941 else if (INTEGERP (zone))
1b8fa736 1942 {
d311d28c
PE
1943 EMACS_INT abszone = eabs (XINT (zone));
1944 EMACS_INT zone_hr = abszone / (60*60);
1945 int zone_min = (abszone/60) % 60;
1946 int zone_sec = abszone % 60;
5745a7df 1947 sprintf (tzbuf, tzbuf_format, "-" + (XINT (zone) < 0),
d311d28c 1948 zone_hr, zone_min, zone_sec);
c59b5089 1949 tzstring = tzbuf;
1b8fa736 1950 }
c59b5089
PE
1951 else
1952 error ("Invalid time zone specification");
1953
5745a7df
PE
1954 old_tzstring = getenv ("TZ");
1955 if (old_tzstring)
1956 {
1957 char *buf = SAFE_ALLOCA (strlen (old_tzstring) + 1);
1958 old_tzstring = strcpy (buf, old_tzstring);
1959 }
1960
4d7e6e51 1961 block_input ();
7ed806a7 1962
34a7a267 1963 /* Set TZ before calling mktime; merely adjusting mktime's returned
c59b5089
PE
1964 value doesn't suffice, since that would mishandle leap seconds. */
1965 set_time_zone_rule (tzstring);
1966
545b49b4 1967 value = mktime (&tm);
c59b5089 1968
5745a7df 1969 set_time_zone_rule (old_tzstring);
c59b5089
PE
1970#ifdef LOCALTIME_CACHE
1971 tzset ();
1972#endif
4d7e6e51 1973 unblock_input ();
5745a7df 1974 SAFE_FREE ();
1b8fa736 1975 }
1b8fa736 1976
545b49b4 1977 if (value == (time_t) -1)
fe31d94c 1978 time_overflow ();
c59b5089 1979
545b49b4 1980 return make_time (value);
cce7b8a0
RS
1981}
1982
2148f2b4 1983DEFUN ("current-time-string", Fcurrent_time_string, Scurrent_time_string, 0, 1, 0,
244b023e 1984 doc: /* Return the current local time, as a human-readable string.
a1f17501 1985Programs can use this function to decode a time,
d65b4235
PE
1986since the number of columns in each field is fixed
1987if the year is in the range 1000-9999.
a1f17501
PJ
1988The format is `Sun Sep 16 01:03:52 1973'.
1989However, see also the functions `decode-time' and `format-time-string'
1990which provide a much more powerful and general facility.
1991
5668fbb8
LT
1992If SPECIFIED-TIME is given, it is a time to format instead of the
1993current time. The argument should have the form (HIGH LOW . IGNORED).
1994Thus, you can use times obtained from `current-time' and from
1995`file-attributes'. SPECIFIED-TIME can also have the form (HIGH . LOW),
1996but this is considered obsolete. */)
5842a27b 1997 (Lisp_Object specified_time)
2148f2b4 1998{
d35af63c 1999 time_t value = lisp_seconds_argument (specified_time);
aac18aa4 2000 struct tm *tm;
ab0fa4e4
PE
2001 char buf[sizeof "Mon Apr 30 12:49:17 " + INT_STRLEN_BOUND (int) + 1];
2002 int len IF_LINT (= 0);
2148f2b4 2003
ab0fa4e4
PE
2004 /* Convert to a string in ctime format, except without the trailing
2005 newline, and without the 4-digit year limit. Don't use asctime
2006 or ctime, as they might dump core if the year is outside the
2007 range -999 .. 9999. */
4d7e6e51 2008 block_input ();
aac18aa4 2009 tm = localtime (&value);
ab0fa4e4 2010 if (tm)
7ed806a7 2011 {
ab0fa4e4
PE
2012 static char const wday_name[][4] =
2013 { "Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat" };
2014 static char const mon_name[][4] =
2015 { "Jan", "Feb", "Mar", "Apr", "May", "Jun",
2016 "Jul", "Aug", "Sep", "Oct", "Nov", "Dec" };
2017 printmax_t year_base = TM_YEAR_BASE;
2018
2019 len = sprintf (buf, "%s %s%3d %02d:%02d:%02d %"pMd,
2020 wday_name[tm->tm_wday], mon_name[tm->tm_mon], tm->tm_mday,
2021 tm->tm_hour, tm->tm_min, tm->tm_sec,
2022 tm->tm_year + year_base);
7ed806a7 2023 }
4d7e6e51 2024 unblock_input ();
ab0fa4e4 2025 if (! tm)
fe31d94c 2026 time_overflow ();
35692fe0 2027
ab0fa4e4 2028 return make_unibyte_string (buf, len);
35692fe0 2029}
c2662aea 2030
94751666
PE
2031/* Yield A - B, measured in seconds.
2032 This function is copied from the GNU C Library. */
2033static int
971de7fb 2034tm_diff (struct tm *a, struct tm *b)
e3120ab5 2035{
94751666
PE
2036 /* Compute intervening leap days correctly even if year is negative.
2037 Take care to avoid int overflow in leap day calculations,
2038 but it's OK to assume that A and B are close to each other. */
2039 int a4 = (a->tm_year >> 2) + (TM_YEAR_BASE >> 2) - ! (a->tm_year & 3);
2040 int b4 = (b->tm_year >> 2) + (TM_YEAR_BASE >> 2) - ! (b->tm_year & 3);
2041 int a100 = a4 / 25 - (a4 % 25 < 0);
2042 int b100 = b4 / 25 - (b4 % 25 < 0);
2043 int a400 = a100 >> 2;
2044 int b400 = b100 >> 2;
2045 int intervening_leap_days = (a4 - b4) - (a100 - b100) + (a400 - b400);
2046 int years = a->tm_year - b->tm_year;
2047 int days = (365 * years + intervening_leap_days
2048 + (a->tm_yday - b->tm_yday));
2049 return (60 * (60 * (24 * days + (a->tm_hour - b->tm_hour))
2050 + (a->tm_min - b->tm_min))
8e718b4e 2051 + (a->tm_sec - b->tm_sec));
e3120ab5
JB
2052}
2053
2054DEFUN ("current-time-zone", Fcurrent_time_zone, Scurrent_time_zone, 0, 1, 0,
7ee72033 2055 doc: /* Return the offset and name for the local time zone.
a1f17501
PJ
2056This returns a list of the form (OFFSET NAME).
2057OFFSET is an integer number of seconds ahead of UTC (east of Greenwich).
2058 A negative value means west of Greenwich.
2059NAME is a string giving the name of the time zone.
412f1fab 2060If SPECIFIED-TIME is given, the time zone offset is determined from it
5668fbb8
LT
2061instead of using the current time. The argument should have the form
2062(HIGH LOW . IGNORED). Thus, you can use times obtained from
2063`current-time' and from `file-attributes'. SPECIFIED-TIME can also
2064have the form (HIGH . LOW), but this is considered obsolete.
a1f17501
PJ
2065
2066Some operating systems cannot provide all this information to Emacs;
2067in this case, `current-time-zone' returns a list containing nil for
7ee72033 2068the data it can't find. */)
5842a27b 2069 (Lisp_Object specified_time)
c2662aea 2070{
d35af63c 2071 EMACS_TIME value;
7ed806a7 2072 int offset;
e3120ab5 2073 struct tm *t;
7da0b018 2074 struct tm localtm;
7da0b018
PE
2075 Lisp_Object zone_offset, zone_name;
2076
2077 zone_offset = Qnil;
e9a9ae03 2078 value = make_emacs_time (lisp_seconds_argument (specified_time), 0);
d35af63c 2079 zone_name = format_time_string ("%Z", sizeof "%Z" - 1, value, 0, &localtm);
4d7e6e51 2080 block_input ();
e9a9ae03 2081 t = gmtime (emacs_secs_addr (&value));
7ed806a7
PE
2082 if (t)
2083 offset = tm_diff (&localtm, t);
4d7e6e51 2084 unblock_input ();
bcda42c8
YM
2085
2086 if (t)
e3120ab5 2087 {
7da0b018
PE
2088 zone_offset = make_number (offset);
2089 if (SCHARS (zone_name) == 0)
e3120ab5
JB
2090 {
2091 /* No local time zone name is available; use "+-NNNN" instead. */
33ef5c64
PE
2092 int m = offset / 60;
2093 int am = offset < 0 ? - m : m;
7da0b018 2094 char buf[sizeof "+00" + INT_STRLEN_BOUND (int)];
98c6f1e3 2095 zone_name = make_formatted_string (buf, "%c%02d%02d",
a8290ec3
DA
2096 (offset < 0 ? '-' : '+'),
2097 am / 60, am % 60);
e3120ab5 2098 }
e3120ab5 2099 }
7da0b018
PE
2100
2101 return list2 (zone_offset, zone_name);
c2662aea
JB
2102}
2103
143cb9a9 2104DEFUN ("set-time-zone-rule", Fset_time_zone_rule, Sset_time_zone_rule, 1, 1, 0,
7ee72033 2105 doc: /* Set the local time zone using TZ, a string specifying a time zone rule.
a1f17501 2106If TZ is nil, use implementation-defined default time zone information.
37e11a63
CY
2107If TZ is t, use Universal Time.
2108
2109Instead of calling this function, you typically want (setenv "TZ" TZ).
2110That changes both the environment of the Emacs process and the
2111variable `process-environment', whereas `set-time-zone-rule' affects
2112only the former. */)
5842a27b 2113 (Lisp_Object tz)
143cb9a9 2114{
8ea90aa3 2115 const char *tzstring;
7ed806a7
PE
2116
2117 if (! (NILP (tz) || EQ (tz, Qt)))
2118 CHECK_STRING (tz);
2119
143cb9a9 2120 if (NILP (tz))
a03fc5a6 2121 tzstring = initial_tz;
2e34157c 2122 else if (EQ (tz, Qt))
085e9fcb 2123 tzstring = "UTC0";
143cb9a9 2124 else
7ed806a7 2125 tzstring = SSDATA (tz);
143cb9a9 2126
5745a7df 2127 block_input ();
c59b5089 2128 set_time_zone_rule (tzstring);
4d7e6e51 2129 unblock_input ();
7ed806a7 2130
c59b5089
PE
2131 return Qnil;
2132}
2133
2134/* Set the local time zone rule to TZSTRING.
5745a7df
PE
2135
2136 This function is not thread-safe, partly because putenv, unsetenv
2137 and tzset are not, and partly because of the static storage it
2138 updates. Other threads that invoke localtime etc. may be adversely
2139 affected while this function is executing. */
acb7cc89 2140
a92ae0ce 2141void
a8fe7202 2142set_time_zone_rule (const char *tzstring)
c59b5089 2143{
5745a7df
PE
2144 /* A buffer holding a string of the form "TZ=value", intended
2145 to be part of the environment. */
2146 static char *tzvalbuf;
2147 static ptrdiff_t tzvalbufsize;
c59b5089 2148
5745a7df
PE
2149 int tzeqlen = sizeof "TZ=" - 1;
2150
2151#ifdef LOCALTIME_CACHE
2152 /* These two values are known to load tz files in buggy implementations,
2153 i.e., Solaris 1 executables running under either Solaris 1 or Solaris 2.
2154 Their values shouldn't matter in non-buggy implementations.
2155 We don't use string literals for these strings,
2156 since if a string in the environment is in readonly
2157 storage, it runs afoul of bugs in SVR4 and Solaris 2.3.
2158 See Sun bugs 1113095 and 1114114, ``Timezone routines
2159 improperly modify environment''. */
2160
2161 static char set_time_zone_rule_tz[][sizeof "TZ=GMT+0"]
2162 = { "TZ=GMT+0", "TZ=GMT+1" };
2163
2164 /* In SunOS 4.1.3_U1 and 4.1.4, if TZ has a value like
2165 "US/Pacific" that loads a tz file, then changes to a value like
2166 "XXX0" that does not load a tz file, and then changes back to
2167 its original value, the last change is (incorrectly) ignored.
2168 Also, if TZ changes twice in succession to values that do
2169 not load a tz file, tzset can dump core (see Sun bug#1225179).
2170 The following code works around these bugs. */
aafe5147 2171
143cb9a9
RS
2172 if (tzstring)
2173 {
5745a7df
PE
2174 /* Temporarily set TZ to a value that loads a tz file
2175 and that differs from tzstring. */
2176 bool eq0 = strcmp (tzstring, set_time_zone_rule_tz[0] + tzeqlen) == 0;
2177 xputenv (set_time_zone_rule_tz[eq0]);
143cb9a9 2178 }
5745a7df
PE
2179 else
2180 {
2181 /* The implied tzstring is unknown, so temporarily set TZ to
2182 two different values that each load a tz file. */
2183 xputenv (set_time_zone_rule_tz[0]);
2184 tzset ();
2185 xputenv (set_time_zone_rule_tz[1]);
2186 }
2187 tzset ();
ee56a6dc 2188 tzvalbuf_in_environ = 0;
5745a7df 2189#endif
143cb9a9 2190
5745a7df
PE
2191 if (!tzstring)
2192 {
2193 unsetenv ("TZ");
2194 tzvalbuf_in_environ = 0;
2195 }
2196 else
2197 {
2198 ptrdiff_t tzstringlen = strlen (tzstring);
143cb9a9 2199
5745a7df
PE
2200 if (tzvalbufsize <= tzeqlen + tzstringlen)
2201 {
2202 unsetenv ("TZ");
2203 tzvalbuf_in_environ = 0;
2204 tzvalbuf = xpalloc (tzvalbuf, &tzvalbufsize,
2205 tzeqlen + tzstringlen - tzvalbufsize + 1, -1, 1);
2206 memcpy (tzvalbuf, "TZ=", tzeqlen);
2207 }
aafe5147 2208
5745a7df 2209 strcpy (tzvalbuf + tzeqlen, tzstring);
aafe5147 2210
5745a7df
PE
2211 if (!tzvalbuf_in_environ)
2212 {
2213 xputenv (tzvalbuf);
2214 tzvalbuf_in_environ = 1;
2215 }
2216 }
aafe5147 2217
5745a7df 2218#ifdef LOCALTIME_CACHE
143cb9a9
RS
2219 tzset ();
2220#endif
143cb9a9 2221}
35692fe0 2222\f
fb8106e8
KH
2223/* Insert NARGS Lisp objects in the array ARGS by calling INSERT_FUNC
2224 (if a type of object is Lisp_Int) or INSERT_FROM_STRING_FUNC (if a
2225 type of object is Lisp_String). INHERIT is passed to
2226 INSERT_FROM_STRING_FUNC as the last argument. */
2227
acb7cc89 2228static void
9628fed7 2229general_insert_function (void (*insert_func)
d311d28c 2230 (const char *, ptrdiff_t),
9628fed7 2231 void (*insert_from_string_func)
d311d28c 2232 (Lisp_Object, ptrdiff_t, ptrdiff_t,
a08d4ba7
PE
2233 ptrdiff_t, ptrdiff_t, bool),
2234 bool inherit, ptrdiff_t nargs, Lisp_Object *args)
fb8106e8 2235{
f66c7cf8 2236 ptrdiff_t argnum;
a08d4ba7 2237 Lisp_Object val;
fb8106e8
KH
2238
2239 for (argnum = 0; argnum < nargs; argnum++)
2240 {
2241 val = args[argnum];
1b9c91ed 2242 if (CHARACTERP (val))
fb8106e8 2243 {
13bdea59 2244 int c = XFASTINT (val);
d5c2c403 2245 unsigned char str[MAX_MULTIBYTE_LENGTH];
fb8106e8
KH
2246 int len;
2247
4b4deea2 2248 if (!NILP (BVAR (current_buffer, enable_multibyte_characters)))
13bdea59 2249 len = CHAR_STRING (c, str);
fb8106e8 2250 else
13c148b8 2251 {
abbd3d23 2252 str[0] = ASCII_CHAR_P (c) ? c : multibyte_char_to_unibyte (c);
13c148b8
KH
2253 len = 1;
2254 }
b68864e5 2255 (*insert_func) ((char *) str, len);
fb8106e8
KH
2256 }
2257 else if (STRINGP (val))
2258 {
1f24f4fd 2259 (*insert_from_string_func) (val, 0, 0,
d5db4077
KR
2260 SCHARS (val),
2261 SBYTES (val),
1f24f4fd 2262 inherit);
fb8106e8
KH
2263 }
2264 else
b7f34213 2265 wrong_type_argument (Qchar_or_string_p, val);
fb8106e8
KH
2266 }
2267}
2268
35692fe0 2269void
971de7fb 2270insert1 (Lisp_Object arg)
35692fe0
JB
2271{
2272 Finsert (1, &arg);
2273}
2274
52b14ac0
JB
2275
2276/* Callers passing one argument to Finsert need not gcpro the
2277 argument "array", since the only element of the array will
2278 not be used after calling insert or insert_from_string, so
2279 we don't care if it gets trashed. */
2280
a7ca3326 2281DEFUN ("insert", Finsert, Sinsert, 0, MANY, 0,
7ee72033 2282 doc: /* Insert the arguments, either strings or characters, at point.
a1f17501
PJ
2283Point and before-insertion markers move forward to end up
2284 after the inserted text.
2285Any other markers at the point of insertion remain before the text.
2286
2287If the current buffer is multibyte, unibyte strings are converted
72bb55c6 2288to multibyte for insertion (see `string-make-multibyte').
a1f17501 2289If the current buffer is unibyte, multibyte strings are converted
72bb55c6
KS
2290to unibyte for insertion (see `string-make-unibyte').
2291
2292When operating on binary data, it may be necessary to preserve the
2293original bytes of a unibyte string when inserting it into a multibyte
2294buffer; to accomplish this, apply `string-as-multibyte' to the string
2295and insert the result.
4bfbe194
MB
2296
2297usage: (insert &rest ARGS) */)
f66c7cf8 2298 (ptrdiff_t nargs, Lisp_Object *args)
35692fe0 2299{
fb8106e8 2300 general_insert_function (insert, insert_from_string, 0, nargs, args);
be91036a
RS
2301 return Qnil;
2302}
2303
2304DEFUN ("insert-and-inherit", Finsert_and_inherit, Sinsert_and_inherit,
2305 0, MANY, 0,
7ee72033 2306 doc: /* Insert the arguments at point, inheriting properties from adjoining text.
a1f17501
PJ
2307Point and before-insertion markers move forward to end up
2308 after the inserted text.
2309Any other markers at the point of insertion remain before the text.
2310
2311If the current buffer is multibyte, unibyte strings are converted
2312to multibyte for insertion (see `unibyte-char-to-multibyte').
2313If the current buffer is unibyte, multibyte strings are converted
4bfbe194
MB
2314to unibyte for insertion.
2315
2316usage: (insert-and-inherit &rest ARGS) */)
f66c7cf8 2317 (ptrdiff_t nargs, Lisp_Object *args)
be91036a 2318{
fb8106e8
KH
2319 general_insert_function (insert_and_inherit, insert_from_string, 1,
2320 nargs, args);
35692fe0
JB
2321 return Qnil;
2322}
2323
2324DEFUN ("insert-before-markers", Finsert_before_markers, Sinsert_before_markers, 0, MANY, 0,
7ee72033 2325 doc: /* Insert strings or characters at point, relocating markers after the text.
a1f17501
PJ
2326Point and markers move forward to end up after the inserted text.
2327
2328If the current buffer is multibyte, unibyte strings are converted
2329to multibyte for insertion (see `unibyte-char-to-multibyte').
2330If the current buffer is unibyte, multibyte strings are converted
4bfbe194
MB
2331to unibyte for insertion.
2332
2333usage: (insert-before-markers &rest ARGS) */)
f66c7cf8 2334 (ptrdiff_t nargs, Lisp_Object *args)
35692fe0 2335{
fb8106e8
KH
2336 general_insert_function (insert_before_markers,
2337 insert_from_string_before_markers, 0,
2338 nargs, args);
be91036a
RS
2339 return Qnil;
2340}
2341
a0d76c27
EN
2342DEFUN ("insert-before-markers-and-inherit", Finsert_and_inherit_before_markers,
2343 Sinsert_and_inherit_before_markers, 0, MANY, 0,
7ee72033 2344 doc: /* Insert text at point, relocating markers and inheriting properties.
a1f17501
PJ
2345Point and markers move forward to end up after the inserted text.
2346
2347If the current buffer is multibyte, unibyte strings are converted
2348to multibyte for insertion (see `unibyte-char-to-multibyte').
2349If the current buffer is unibyte, multibyte strings are converted
4bfbe194
MB
2350to unibyte for insertion.
2351
2352usage: (insert-before-markers-and-inherit &rest ARGS) */)
f66c7cf8 2353 (ptrdiff_t nargs, Lisp_Object *args)
be91036a 2354{
fb8106e8
KH
2355 general_insert_function (insert_before_markers_and_inherit,
2356 insert_from_string_before_markers, 1,
2357 nargs, args);
35692fe0
JB
2358 return Qnil;
2359}
2360\f
ddfc8813 2361DEFUN ("insert-char", Finsert_char, Sinsert_char, 1, 3,
34b4b7eb
CY
2362 "(list (read-char-by-name \"Insert character (Unicode name or hex): \")\
2363 (prefix-numeric-value current-prefix-arg)\
2364 t))",
9671c13a 2365 doc: /* Insert COUNT copies of CHARACTER.
9ea10cc3
CY
2366Interactively, prompt for CHARACTER. You can specify CHARACTER in one
2367of these ways:
2368
2369 - As its Unicode character name, e.g. \"LATIN SMALL LETTER A\".
2370 Completion is available; if you type a substring of the name
2371 preceded by an asterisk `*', Emacs shows all names which include
2372 that substring, not necessarily at the beginning of the name.
2373
2374 - As a hexadecimal code point, e.g. 263A. Note that code points in
2375 Emacs are equivalent to Unicode up to 10FFFF (which is the limit of
2376 the Unicode code space).
2377
2378 - As a code point with a radix specified with #, e.g. #o21430
2379 (octal), #x2318 (hex), or #10r8984 (decimal).
2380
2381If called interactively, COUNT is given by the prefix argument. If
2382omitted or nil, it defaults to 1.
2383
2384Inserting the character(s) relocates point and before-insertion
2385markers in the same ways as the function `insert'.
2386
2387The optional third argument INHERIT, if non-nil, says to inherit text
2388properties from adjoining text, if those properties are sticky. If
2389called interactively, INHERIT is t. */)
5842a27b 2390 (Lisp_Object character, Lisp_Object count, Lisp_Object inherit)
35692fe0 2391{
21d890a4 2392 int i, stringlen;
d311d28c 2393 register ptrdiff_t n;
13bdea59 2394 int c, len;
d5c2c403 2395 unsigned char str[MAX_MULTIBYTE_LENGTH];
21d890a4 2396 char string[4000];
35692fe0 2397
13bdea59 2398 CHECK_CHARACTER (character);
ddfc8813
RK
2399 if (NILP (count))
2400 XSETFASTINT (count, 1);
b7826503 2401 CHECK_NUMBER (count);
13bdea59 2402 c = XFASTINT (character);
35692fe0 2403
4b4deea2 2404 if (!NILP (BVAR (current_buffer, enable_multibyte_characters)))
13bdea59 2405 len = CHAR_STRING (c, str);
fb8106e8 2406 else
13bdea59 2407 str[0] = c, len = 1;
2e6813b0
PE
2408 if (XINT (count) <= 0)
2409 return Qnil;
d1f3d2af 2410 if (BUF_BYTES_MAX / len < XINT (count))
99561444 2411 buffer_overflow ();
fb8106e8 2412 n = XINT (count) * len;
21d890a4 2413 stringlen = min (n, sizeof string - sizeof string % len);
545b49b4 2414 for (i = 0; i < stringlen; i++)
fb8106e8 2415 string[i] = str[i % len];
21d890a4 2416 while (n > stringlen)
35692fe0 2417 {
54e42e2d 2418 QUIT;
e2eeabbb 2419 if (!NILP (inherit))
545b49b4 2420 insert_and_inherit (string, stringlen);
e2eeabbb 2421 else
545b49b4
PE
2422 insert (string, stringlen);
2423 n -= stringlen;
35692fe0 2424 }
21d890a4
PE
2425 if (!NILP (inherit))
2426 insert_and_inherit (string, n);
2427 else
2428 insert (string, n);
35692fe0
JB
2429 return Qnil;
2430}
2431
48ef988f
KH
2432DEFUN ("insert-byte", Finsert_byte, Sinsert_byte, 2, 3, 0,
2433 doc: /* Insert COUNT (second arg) copies of BYTE (first arg).
2434Both arguments are required.
2435BYTE is a number of the range 0..255.
2436
2437If BYTE is 128..255 and the current buffer is multibyte, the
2438corresponding eight-bit character is inserted.
2439
2440Point, and before-insertion markers, are relocated as in the function `insert'.
2441The optional third arg INHERIT, if non-nil, says to inherit text properties
2442from adjoining text, if those properties are sticky. */)
5842a27b 2443 (Lisp_Object byte, Lisp_Object count, Lisp_Object inherit)
48ef988f
KH
2444{
2445 CHECK_NUMBER (byte);
2446 if (XINT (byte) < 0 || XINT (byte) > 255)
2447 args_out_of_range_3 (byte, make_number (0), make_number (255));
2448 if (XINT (byte) >= 128
4b4deea2 2449 && ! NILP (BVAR (current_buffer, enable_multibyte_characters)))
48ef988f 2450 XSETFASTINT (byte, BYTE8_TO_CHAR (XINT (byte)));
ed398b0a 2451 return Finsert_char (byte, count, inherit);
48ef988f
KH
2452}
2453
35692fe0 2454\f
ffd56f97
JB
2455/* Making strings from buffer contents. */
2456
2457/* Return a Lisp_String containing the text of the current buffer from
74d6d8c5 2458 START to END. If text properties are in use and the current buffer
eb8c3be9 2459 has properties in the range specified, the resulting string will also
a08d4ba7 2460 have them, if PROPS is true.
ffd56f97
JB
2461
2462 We don't want to use plain old make_string here, because it calls
2463 make_uninit_string, which can cause the buffer arena to be
2464 compacted. make_string has no way of knowing that the data has
2465 been moved, and thus copies the wrong data into the string. This
2466 doesn't effect most of the other users of make_string, so it should
2467 be left as is. But we should use this function when conjuring
2468 buffer substrings. */
74d6d8c5 2469
ffd56f97 2470Lisp_Object
a08d4ba7 2471make_buffer_string (ptrdiff_t start, ptrdiff_t end, bool props)
ffd56f97 2472{
d311d28c
PE
2473 ptrdiff_t start_byte = CHAR_TO_BYTE (start);
2474 ptrdiff_t end_byte = CHAR_TO_BYTE (end);
ffd56f97 2475
88441c8e
RS
2476 return make_buffer_string_both (start, start_byte, end, end_byte, props);
2477}
2478
2479/* Return a Lisp_String containing the text of the current buffer from
2480 START / START_BYTE to END / END_BYTE.
2481
2482 If text properties are in use and the current buffer
2483 has properties in the range specified, the resulting string will also
a08d4ba7 2484 have them, if PROPS is true.
88441c8e
RS
2485
2486 We don't want to use plain old make_string here, because it calls
2487 make_uninit_string, which can cause the buffer arena to be
2488 compacted. make_string has no way of knowing that the data has
2489 been moved, and thus copies the wrong data into the string. This
2490 doesn't effect most of the other users of make_string, so it should
2491 be left as is. But we should use this function when conjuring
2492 buffer substrings. */
2493
2494Lisp_Object
d311d28c 2495make_buffer_string_both (ptrdiff_t start, ptrdiff_t start_byte,
a08d4ba7 2496 ptrdiff_t end, ptrdiff_t end_byte, bool props)
88441c8e
RS
2497{
2498 Lisp_Object result, tem, tem1;
2499
ffd56f97 2500 if (start < GPT && GPT < end)
13002885 2501 move_gap_both (start, start_byte);
ffd56f97 2502
4b4deea2 2503 if (! NILP (BVAR (current_buffer, enable_multibyte_characters)))
5f75e666
RS
2504 result = make_uninit_multibyte_string (end - start, end_byte - start_byte);
2505 else
2506 result = make_uninit_string (end - start);
72af86bd 2507 memcpy (SDATA (result), BYTE_POS_ADDR (start_byte), end_byte - start_byte);
ffd56f97 2508
260e2e2a 2509 /* If desired, update and copy the text properties. */
260e2e2a
KH
2510 if (props)
2511 {
2512 update_buffer_properties (start, end);
2513
2514 tem = Fnext_property_change (make_number (start), Qnil, make_number (end));
2515 tem1 = Ftext_properties_at (make_number (start), Qnil);
2516
2517 if (XINT (tem) != end || !NILP (tem1))
ec1c14f6
RS
2518 copy_intervals_to_string (result, current_buffer, start,
2519 end - start);
260e2e2a 2520 }
74d6d8c5 2521
ffd56f97
JB
2522 return result;
2523}
35692fe0 2524
260e2e2a
KH
2525/* Call Vbuffer_access_fontify_functions for the range START ... END
2526 in the current buffer, if necessary. */
2527
2528static void
d311d28c 2529update_buffer_properties (ptrdiff_t start, ptrdiff_t end)
260e2e2a 2530{
260e2e2a
KH
2531 /* If this buffer has some access functions,
2532 call them, specifying the range of the buffer being accessed. */
2533 if (!NILP (Vbuffer_access_fontify_functions))
2534 {
2535 Lisp_Object args[3];
2536 Lisp_Object tem;
2537
2538 args[0] = Qbuffer_access_fontify_functions;
2539 XSETINT (args[1], start);
2540 XSETINT (args[2], end);
2541
2542 /* But don't call them if we can tell that the work
2543 has already been done. */
2544 if (!NILP (Vbuffer_access_fontified_property))
2545 {
2546 tem = Ftext_property_any (args[1], args[2],
2547 Vbuffer_access_fontified_property,
2548 Qnil, Qnil);
2549 if (! NILP (tem))
ced1d19a 2550 Frun_hook_with_args (3, args);
260e2e2a
KH
2551 }
2552 else
ced1d19a 2553 Frun_hook_with_args (3, args);
260e2e2a 2554 }
260e2e2a
KH
2555}
2556
a7ca3326 2557DEFUN ("buffer-substring", Fbuffer_substring, Sbuffer_substring, 2, 2, 0,
7ee72033 2558 doc: /* Return the contents of part of the current buffer as a string.
a1f17501
PJ
2559The two arguments START and END are character positions;
2560they can be in either order.
2561The string returned is multibyte if the buffer is multibyte.
2562
2563This function copies the text properties of that part of the buffer
2564into the result string; if you don't want the text properties,
7ee72033 2565use `buffer-substring-no-properties' instead. */)
5842a27b 2566 (Lisp_Object start, Lisp_Object end)
35692fe0 2567{
d311d28c 2568 register ptrdiff_t b, e;
35692fe0 2569
2591ec64
EN
2570 validate_region (&start, &end);
2571 b = XINT (start);
2572 e = XINT (end);
35692fe0 2573
2591ec64 2574 return make_buffer_string (b, e, 1);
260e2e2a
KH
2575}
2576
2577DEFUN ("buffer-substring-no-properties", Fbuffer_substring_no_properties,
2578 Sbuffer_substring_no_properties, 2, 2, 0,
7ee72033 2579 doc: /* Return the characters of part of the buffer, without the text properties.
a1f17501 2580The two arguments START and END are character positions;
7ee72033 2581they can be in either order. */)
5842a27b 2582 (Lisp_Object start, Lisp_Object end)
260e2e2a 2583{
d311d28c 2584 register ptrdiff_t b, e;
260e2e2a 2585
2591ec64
EN
2586 validate_region (&start, &end);
2587 b = XINT (start);
2588 e = XINT (end);
260e2e2a 2589
2591ec64 2590 return make_buffer_string (b, e, 0);
35692fe0
JB
2591}
2592
a7ca3326 2593DEFUN ("buffer-string", Fbuffer_string, Sbuffer_string, 0, 0, 0,
7ee72033 2594 doc: /* Return the contents of the current buffer as a string.
a1f17501 2595If narrowing is in effect, this function returns only the visible part
7ee72033 2596of the buffer. */)
5842a27b 2597 (void)
35692fe0 2598{
13002885 2599 return make_buffer_string_both (BEGV, BEGV_BYTE, ZV, ZV_BYTE, 1);
35692fe0
JB
2600}
2601
2602DEFUN ("insert-buffer-substring", Finsert_buffer_substring, Sinsert_buffer_substring,
deb8e082 2603 1, 3, 0,
658ec670 2604 doc: /* Insert before point a substring of the contents of BUFFER.
a1f17501 2605BUFFER may be a buffer or a buffer name.
412f1fab
JB
2606Arguments START and END are character positions specifying the substring.
2607They default to the values of (point-min) and (point-max) in BUFFER. */)
5842a27b 2608 (Lisp_Object buffer, Lisp_Object start, Lisp_Object end)
35692fe0 2609{
29cdc13e 2610 register EMACS_INT b, e, temp;
260e2e2a 2611 register struct buffer *bp, *obuf;
658ec670 2612 Lisp_Object buf;
35692fe0 2613
658ec670
JB
2614 buf = Fget_buffer (buffer);
2615 if (NILP (buf))
2616 nsberror (buffer);
2617 bp = XBUFFER (buf);
e578f381 2618 if (!BUFFER_LIVE_P (bp))
93b62e82 2619 error ("Selecting deleted buffer");
35692fe0 2620
2591ec64
EN
2621 if (NILP (start))
2622 b = BUF_BEGV (bp);
35692fe0
JB
2623 else
2624 {
b7826503 2625 CHECK_NUMBER_COERCE_MARKER (start);
2591ec64 2626 b = XINT (start);
35692fe0 2627 }
2591ec64
EN
2628 if (NILP (end))
2629 e = BUF_ZV (bp);
35692fe0
JB
2630 else
2631 {
b7826503 2632 CHECK_NUMBER_COERCE_MARKER (end);
2591ec64 2633 e = XINT (end);
35692fe0
JB
2634 }
2635
2591ec64
EN
2636 if (b > e)
2637 temp = b, b = e, e = temp;
35692fe0 2638
2591ec64
EN
2639 if (!(BUF_BEGV (bp) <= b && e <= BUF_ZV (bp)))
2640 args_out_of_range (start, end);
35692fe0 2641
260e2e2a
KH
2642 obuf = current_buffer;
2643 set_buffer_internal_1 (bp);
2591ec64 2644 update_buffer_properties (b, e);
260e2e2a
KH
2645 set_buffer_internal_1 (obuf);
2646
2591ec64 2647 insert_from_buffer (bp, b, e - b, 0);
35692fe0
JB
2648 return Qnil;
2649}
e9cf2084
RS
2650
2651DEFUN ("compare-buffer-substrings", Fcompare_buffer_substrings, Scompare_buffer_substrings,
deb8e082 2652 6, 6, 0,
7ee72033 2653 doc: /* Compare two substrings of two buffers; return result as number.
2cec368c
MR
2654Return -N if first string is less after N-1 chars, +N if first string is
2655greater after N-1 chars, or 0 if strings match. Each substring is
2656represented as three arguments: BUFFER, START and END. That makes six
2657args in all, three for each substring.
a1f17501
PJ
2658
2659The value of `case-fold-search' in the current buffer
7ee72033 2660determines whether case is significant or ignored. */)
5842a27b 2661 (Lisp_Object buffer1, Lisp_Object start1, Lisp_Object end1, Lisp_Object buffer2, Lisp_Object start2, Lisp_Object end2)
e9cf2084 2662{
29cdc13e 2663 register EMACS_INT begp1, endp1, begp2, endp2, temp;
e9cf2084 2664 register struct buffer *bp1, *bp2;
1149fd6f 2665 register Lisp_Object trt
4b4deea2
TT
2666 = (!NILP (BVAR (current_buffer, case_fold_search))
2667 ? BVAR (current_buffer, case_canon_table) : Qnil);
d311d28c
PE
2668 ptrdiff_t chars = 0;
2669 ptrdiff_t i1, i2, i1_byte, i2_byte;
e9cf2084
RS
2670
2671 /* Find the first buffer and its substring. */
2672
2673 if (NILP (buffer1))
2674 bp1 = current_buffer;
2675 else
2676 {
3fff2dfa
RS
2677 Lisp_Object buf1;
2678 buf1 = Fget_buffer (buffer1);
2679 if (NILP (buf1))
2680 nsberror (buffer1);
2681 bp1 = XBUFFER (buf1);
e578f381 2682 if (!BUFFER_LIVE_P (bp1))
93b62e82 2683 error ("Selecting deleted buffer");
e9cf2084
RS
2684 }
2685
2686 if (NILP (start1))
2687 begp1 = BUF_BEGV (bp1);
2688 else
2689 {
b7826503 2690 CHECK_NUMBER_COERCE_MARKER (start1);
e9cf2084
RS
2691 begp1 = XINT (start1);
2692 }
2693 if (NILP (end1))
2694 endp1 = BUF_ZV (bp1);
2695 else
2696 {
b7826503 2697 CHECK_NUMBER_COERCE_MARKER (end1);
e9cf2084
RS
2698 endp1 = XINT (end1);
2699 }
2700
2701 if (begp1 > endp1)
2702 temp = begp1, begp1 = endp1, endp1 = temp;
2703
2704 if (!(BUF_BEGV (bp1) <= begp1
2705 && begp1 <= endp1
2706 && endp1 <= BUF_ZV (bp1)))
2707 args_out_of_range (start1, end1);
2708
2709 /* Likewise for second substring. */
2710
2711 if (NILP (buffer2))
2712 bp2 = current_buffer;
2713 else
2714 {
3fff2dfa
RS
2715 Lisp_Object buf2;
2716 buf2 = Fget_buffer (buffer2);
2717 if (NILP (buf2))
2718 nsberror (buffer2);
3b1fdd85 2719 bp2 = XBUFFER (buf2);
e578f381 2720 if (!BUFFER_LIVE_P (bp2))
93b62e82 2721 error ("Selecting deleted buffer");
e9cf2084
RS
2722 }
2723
2724 if (NILP (start2))
2725 begp2 = BUF_BEGV (bp2);
2726 else
2727 {
b7826503 2728 CHECK_NUMBER_COERCE_MARKER (start2);
e9cf2084
RS
2729 begp2 = XINT (start2);
2730 }
2731 if (NILP (end2))
2732 endp2 = BUF_ZV (bp2);
2733 else
2734 {
b7826503 2735 CHECK_NUMBER_COERCE_MARKER (end2);
e9cf2084
RS
2736 endp2 = XINT (end2);
2737 }
2738
2739 if (begp2 > endp2)
2740 temp = begp2, begp2 = endp2, endp2 = temp;
2741
2742 if (!(BUF_BEGV (bp2) <= begp2
2743 && begp2 <= endp2
2744 && endp2 <= BUF_ZV (bp2)))
2745 args_out_of_range (start2, end2);
2746
07422a12
RS
2747 i1 = begp1;
2748 i2 = begp2;
2749 i1_byte = buf_charpos_to_bytepos (bp1, i1);
2750 i2_byte = buf_charpos_to_bytepos (bp2, i2);
e9cf2084 2751
07422a12 2752 while (i1 < endp1 && i2 < endp2)
e9cf2084 2753 {
07422a12
RS
2754 /* When we find a mismatch, we must compare the
2755 characters, not just the bytes. */
2756 int c1, c2;
ec1c14f6 2757
2221451f
RS
2758 QUIT;
2759
4b4deea2 2760 if (! NILP (BVAR (bp1, enable_multibyte_characters)))
07422a12
RS
2761 {
2762 c1 = BUF_FETCH_MULTIBYTE_CHAR (bp1, i1_byte);
2763 BUF_INC_POS (bp1, i1_byte);
2764 i1++;
2765 }
2766 else
2767 {
2768 c1 = BUF_FETCH_BYTE (bp1, i1);
4c0354d7 2769 MAKE_CHAR_MULTIBYTE (c1);
07422a12
RS
2770 i1++;
2771 }
2772
4b4deea2 2773 if (! NILP (BVAR (bp2, enable_multibyte_characters)))
07422a12
RS
2774 {
2775 c2 = BUF_FETCH_MULTIBYTE_CHAR (bp2, i2_byte);
2776 BUF_INC_POS (bp2, i2_byte);
2777 i2++;
2778 }
2779 else
2780 {
2781 c2 = BUF_FETCH_BYTE (bp2, i2);
4c0354d7 2782 MAKE_CHAR_MULTIBYTE (c2);
07422a12
RS
2783 i2++;
2784 }
ec1c14f6 2785
1149fd6f 2786 if (!NILP (trt))
e9cf2084 2787 {
e3ccf108
DA
2788 c1 = char_table_translate (trt, c1);
2789 c2 = char_table_translate (trt, c2);
e9cf2084
RS
2790 }
2791 if (c1 < c2)
ec1c14f6 2792 return make_number (- 1 - chars);
e9cf2084 2793 if (c1 > c2)
ec1c14f6 2794 return make_number (chars + 1);
07422a12
RS
2795
2796 chars++;
e9cf2084
RS
2797 }
2798
2799 /* The strings match as far as they go.
2800 If one is shorter, that one is less. */
07422a12 2801 if (chars < endp1 - begp1)
ec1c14f6 2802 return make_number (chars + 1);
07422a12 2803 else if (chars < endp2 - begp2)
ec1c14f6 2804 return make_number (- chars - 1);
e9cf2084
RS
2805
2806 /* Same length too => they are equal. */
2807 return make_number (0);
2808}
35692fe0 2809\f
d5a539cd 2810static Lisp_Object
971de7fb 2811subst_char_in_region_unwind (Lisp_Object arg)
d5a539cd 2812{
39eb03f1
PE
2813 bset_undo_list (current_buffer, arg);
2814 return arg;
d5a539cd
RS
2815}
2816
c8e76b47 2817static Lisp_Object
971de7fb 2818subst_char_in_region_unwind_1 (Lisp_Object arg)
c8e76b47 2819{
39eb03f1
PE
2820 bset_filename (current_buffer, arg);
2821 return arg;
c8e76b47
RS
2822}
2823
35692fe0 2824DEFUN ("subst-char-in-region", Fsubst_char_in_region,
deb8e082 2825 Ssubst_char_in_region, 4, 5, 0,
7ee72033 2826 doc: /* From START to END, replace FROMCHAR with TOCHAR each time it occurs.
a1f17501
PJ
2827If optional arg NOUNDO is non-nil, don't record this change for undo
2828and don't mark the buffer as really changed.
7ee72033 2829Both characters must have the same length of multi-byte form. */)
5842a27b 2830 (Lisp_Object start, Lisp_Object end, Lisp_Object fromchar, Lisp_Object tochar, Lisp_Object noundo)
35692fe0 2831{
d311d28c 2832 register ptrdiff_t pos, pos_byte, stop, i, len, end_byte;
0f2e2a3b
SM
2833 /* Keep track of the first change in the buffer:
2834 if 0 we haven't found it yet.
2835 if < 0 we've found it and we've run the before-change-function.
2836 if > 0 we've actually performed it and the value is its position. */
d311d28c 2837 ptrdiff_t changed = 0;
d5c2c403
KH
2838 unsigned char fromstr[MAX_MULTIBYTE_LENGTH], tostr[MAX_MULTIBYTE_LENGTH];
2839 unsigned char *p;
d311d28c 2840 ptrdiff_t count = SPECPDL_INDEX ();
aa801467
KH
2841#define COMBINING_NO 0
2842#define COMBINING_BEFORE 1
2843#define COMBINING_AFTER 2
2844#define COMBINING_BOTH (COMBINING_BEFORE | COMBINING_AFTER)
2845 int maybe_byte_combining = COMBINING_NO;
d311d28c 2846 ptrdiff_t last_changed = 0;
a08d4ba7
PE
2847 bool multibyte_p
2848 = !NILP (BVAR (current_buffer, enable_multibyte_characters));
13bdea59 2849 int fromc, toc;
35692fe0 2850
0f2e2a3b
SM
2851 restart:
2852
35692fe0 2853 validate_region (&start, &end);
13bdea59
PE
2854 CHECK_CHARACTER (fromchar);
2855 CHECK_CHARACTER (tochar);
2856 fromc = XFASTINT (fromchar);
2857 toc = XFASTINT (tochar);
35692fe0 2858
7439e5b9 2859 if (multibyte_p)
fb8106e8 2860 {
13bdea59
PE
2861 len = CHAR_STRING (fromc, fromstr);
2862 if (CHAR_STRING (toc, tostr) != len)
fdd6025e 2863 error ("Characters in `subst-char-in-region' have different byte-lengths");
aa801467
KH
2864 if (!ASCII_BYTE_P (*tostr))
2865 {
2866 /* If *TOSTR is in the range 0x80..0x9F and TOCHAR is not a
2867 complete multibyte character, it may be combined with the
2868 after bytes. If it is in the range 0xA0..0xFF, it may be
2869 combined with the before and after bytes. */
2870 if (!CHAR_HEAD_P (*tostr))
2871 maybe_byte_combining = COMBINING_BOTH;
2872 else if (BYTES_BY_CHAR_HEAD (*tostr) > len)
2873 maybe_byte_combining = COMBINING_AFTER;
2874 }
fb8106e8
KH
2875 }
2876 else
2877 {
2878 len = 1;
13bdea59
PE
2879 fromstr[0] = fromc;
2880 tostr[0] = toc;
fb8106e8
KH
2881 }
2882
84246b95
KH
2883 pos = XINT (start);
2884 pos_byte = CHAR_TO_BYTE (pos);
ec1c14f6
RS
2885 stop = CHAR_TO_BYTE (XINT (end));
2886 end_byte = stop;
35692fe0 2887
d5a539cd
RS
2888 /* If we don't want undo, turn off putting stuff on the list.
2889 That's faster than getting rid of things,
c8e76b47
RS
2890 and it prevents even the entry for a first change.
2891 Also inhibit locking the file. */
0f2e2a3b 2892 if (!changed && !NILP (noundo))
d5a539cd
RS
2893 {
2894 record_unwind_protect (subst_char_in_region_unwind,
4b4deea2 2895 BVAR (current_buffer, undo_list));
39eb03f1 2896 bset_undo_list (current_buffer, Qt);
c8e76b47
RS
2897 /* Don't do file-locking. */
2898 record_unwind_protect (subst_char_in_region_unwind_1,
4b4deea2 2899 BVAR (current_buffer, filename));
39eb03f1 2900 bset_filename (current_buffer, Qnil);
d5a539cd
RS
2901 }
2902
84246b95 2903 if (pos_byte < GPT_BYTE)
ec1c14f6 2904 stop = min (stop, GPT_BYTE);
fb8106e8 2905 while (1)
35692fe0 2906 {
d311d28c 2907 ptrdiff_t pos_byte_next = pos_byte;
a3360ff9 2908
84246b95 2909 if (pos_byte >= stop)
fb8106e8 2910 {
84246b95 2911 if (pos_byte >= end_byte) break;
ec1c14f6 2912 stop = end_byte;
fb8106e8 2913 }
84246b95 2914 p = BYTE_POS_ADDR (pos_byte);
7439e5b9
GM
2915 if (multibyte_p)
2916 INC_POS (pos_byte_next);
2917 else
2918 ++pos_byte_next;
a3360ff9
KH
2919 if (pos_byte_next - pos_byte == len
2920 && p[0] == fromstr[0]
fb8106e8
KH
2921 && (len == 1
2922 || (p[1] == fromstr[1]
2923 && (len == 2 || (p[2] == fromstr[2]
2924 && (len == 3 || p[3] == fromstr[3]))))))
35692fe0 2925 {
0f2e2a3b
SM
2926 if (changed < 0)
2927 /* We've already seen this and run the before-change-function;
2928 this time we only need to record the actual position. */
2929 changed = pos;
2930 else if (!changed)
60b96ee7 2931 {
0f2e2a3b 2932 changed = -1;
20edc1c9 2933 modify_region_1 (pos, XINT (end), false);
7653d030
RS
2934
2935 if (! NILP (noundo))
2936 {
1e158d25
RS
2937 if (MODIFF - 1 == SAVE_MODIFF)
2938 SAVE_MODIFF++;
0b5397c2
SM
2939 if (MODIFF - 1 == BUF_AUTOSAVE_MODIFF (current_buffer))
2940 BUF_AUTOSAVE_MODIFF (current_buffer)++;
7653d030 2941 }
0f2e2a3b
SM
2942
2943 /* The before-change-function may have moved the gap
2944 or even modified the buffer so we should start over. */
2945 goto restart;
60b96ee7
RS
2946 }
2947
0c1e3b85 2948 /* Take care of the case where the new character
34a7a267 2949 combines with neighboring bytes. */
a3360ff9 2950 if (maybe_byte_combining
aa801467
KH
2951 && (maybe_byte_combining == COMBINING_AFTER
2952 ? (pos_byte_next < Z_BYTE
2953 && ! CHAR_HEAD_P (FETCH_BYTE (pos_byte_next)))
2954 : ((pos_byte_next < Z_BYTE
2955 && ! CHAR_HEAD_P (FETCH_BYTE (pos_byte_next)))
2956 || (pos_byte > BEG_BYTE
2957 && ! ASCII_BYTE_P (FETCH_BYTE (pos_byte - 1))))))
0c1e3b85
RS
2958 {
2959 Lisp_Object tem, string;
2960
2961 struct gcpro gcpro1;
2962
4b4deea2 2963 tem = BVAR (current_buffer, undo_list);
0c1e3b85
RS
2964 GCPRO1 (tem);
2965
aa801467 2966 /* Make a multibyte string containing this single character. */
e7f8264d 2967 string = make_multibyte_string ((char *) tostr, 1, len);
0c1e3b85
RS
2968 /* replace_range is less efficient, because it moves the gap,
2969 but it handles combining correctly. */
2970 replace_range (pos, pos + 1, string,
9869520f 2971 0, 0, 1);
a3360ff9
KH
2972 pos_byte_next = CHAR_TO_BYTE (pos);
2973 if (pos_byte_next > pos_byte)
2974 /* Before combining happened. We should not increment
3f5409d3
KH
2975 POS. So, to cancel the later increment of POS,
2976 decrease it now. */
2977 pos--;
a3360ff9 2978 else
3f5409d3 2979 INC_POS (pos_byte_next);
34a7a267 2980
0c1e3b85 2981 if (! NILP (noundo))
39eb03f1 2982 bset_undo_list (current_buffer, tem);
0c1e3b85
RS
2983
2984 UNGCPRO;
2985 }
2986 else
2987 {
2988 if (NILP (noundo))
2989 record_change (pos, 1);
2990 for (i = 0; i < len; i++) *p++ = tostr[i];
2991 }
d5c2c403 2992 last_changed = pos + 1;
35692fe0 2993 }
3f5409d3
KH
2994 pos_byte = pos_byte_next;
2995 pos++;
35692fe0
JB
2996 }
2997
0f2e2a3b 2998 if (changed > 0)
d5c2c403
KH
2999 {
3000 signal_after_change (changed,
3001 last_changed - changed, last_changed - changed);
3002 update_compositions (changed, last_changed, CHECK_ALL);
3003 }
60b96ee7 3004
d5a539cd 3005 unbind_to (count, Qnil);
35692fe0
JB
3006 return Qnil;
3007}
3008
f555f8cf 3009
d311d28c 3010static Lisp_Object check_translation (ptrdiff_t, ptrdiff_t, ptrdiff_t,
c8a66ab8 3011 Lisp_Object);
f555f8cf
KH
3012
3013/* Helper function for Ftranslate_region_internal.
3014
3015 Check if a character sequence at POS (POS_BYTE) matches an element
3016 of VAL. VAL is a list (([FROM-CHAR ...] . TO) ...). If a matching
3017 element is found, return it. Otherwise return Qnil. */
3018
3019static Lisp_Object
d311d28c 3020check_translation (ptrdiff_t pos, ptrdiff_t pos_byte, ptrdiff_t end,
c8a66ab8 3021 Lisp_Object val)
f555f8cf
KH
3022{
3023 int buf_size = 16, buf_used = 0;
3024 int *buf = alloca (sizeof (int) * buf_size);
3025
3026 for (; CONSP (val); val = XCDR (val))
3027 {
3028 Lisp_Object elt;
d311d28c 3029 ptrdiff_t len, i;
f555f8cf
KH
3030
3031 elt = XCAR (val);
3032 if (! CONSP (elt))
3033 continue;
3034 elt = XCAR (elt);
3035 if (! VECTORP (elt))
3036 continue;
3037 len = ASIZE (elt);
3038 if (len <= end - pos)
3039 {
3040 for (i = 0; i < len; i++)
3041 {
3042 if (buf_used <= i)
3043 {
3044 unsigned char *p = BYTE_POS_ADDR (pos_byte);
c8a66ab8 3045 int len1;
f555f8cf
KH
3046
3047 if (buf_used == buf_size)
3048 {
3049 int *newbuf;
3050
3051 buf_size += 16;
3052 newbuf = alloca (sizeof (int) * buf_size);
3053 memcpy (newbuf, buf, sizeof (int) * buf_used);
3054 buf = newbuf;
3055 }
c8a66ab8
EZ
3056 buf[buf_used++] = STRING_CHAR_AND_LENGTH (p, len1);
3057 pos_byte += len1;
f555f8cf
KH
3058 }
3059 if (XINT (AREF (elt, i)) != buf[i])
3060 break;
3061 }
3062 if (i == len)
3063 return XCAR (val);
3064 }
3065 }
3066 return Qnil;
3067}
3068
3069
8583605b
KH
3070DEFUN ("translate-region-internal", Ftranslate_region_internal,
3071 Stranslate_region_internal, 3, 3, 0,
3072 doc: /* Internal use only.
3073From START to END, translate characters according to TABLE.
f555f8cf
KH
3074TABLE is a string or a char-table; the Nth character in it is the
3075mapping for the character with code N.
7ee72033 3076It returns the number of characters changed. */)
5842a27b 3077 (Lisp_Object start, Lisp_Object end, register Lisp_Object table)
35692fe0 3078{
35692fe0 3079 register unsigned char *tt; /* Trans table. */
35692fe0
JB
3080 register int nc; /* New character. */
3081 int cnt; /* Number of changes made. */
d311d28c
PE
3082 ptrdiff_t size; /* Size of translate table. */
3083 ptrdiff_t pos, pos_byte, end_pos;
a08d4ba7
PE
3084 bool multibyte = !NILP (BVAR (current_buffer, enable_multibyte_characters));
3085 bool string_multibyte IF_LINT (= 0);
35692fe0
JB
3086
3087 validate_region (&start, &end);
8583605b 3088 if (CHAR_TABLE_P (table))
f555f8cf
KH
3089 {
3090 if (! EQ (XCHAR_TABLE (table)->purpose, Qtranslation_table))
3091 error ("Not a translation table");
eb3d9ec7 3092 size = MAX_CHAR;
f555f8cf
KH
3093 tt = NULL;
3094 }
8583605b
KH
3095 else
3096 {
3097 CHECK_STRING (table);
3098
eb3d9ec7
KH
3099 if (! multibyte && (SCHARS (table) < SBYTES (table)))
3100 table = string_make_unibyte (table);
8583605b
KH
3101 string_multibyte = SCHARS (table) < SBYTES (table);
3102 size = SBYTES (table);
3103 tt = SDATA (table);
3104 }
35692fe0 3105
1f24f4fd 3106 pos = XINT (start);
8583605b 3107 pos_byte = CHAR_TO_BYTE (pos);
e65837df 3108 end_pos = XINT (end);
20edc1c9 3109 modify_region_1 (pos, end_pos, false);
35692fe0
JB
3110
3111 cnt = 0;
f555f8cf 3112 for (; pos < end_pos; )
35692fe0 3113 {
ec1c14f6 3114 register unsigned char *p = BYTE_POS_ADDR (pos_byte);
8583605b
KH
3115 unsigned char *str, buf[MAX_MULTIBYTE_LENGTH];
3116 int len, str_len;
1f24f4fd 3117 int oc;
f555f8cf 3118 Lisp_Object val;
ec1c14f6 3119
e8cce5af 3120 if (multibyte)
62a6e103 3121 oc = STRING_CHAR_AND_LENGTH (p, len);
e8cce5af 3122 else
eb3d9ec7
KH
3123 oc = *p, len = 1;
3124 if (oc < size)
35692fe0 3125 {
eb3d9ec7 3126 if (tt)
35692fe0 3127 {
fa056b08
KS
3128 /* Reload as signal_after_change in last iteration may GC. */
3129 tt = SDATA (table);
8583605b 3130 if (string_multibyte)
0c1e3b85 3131 {
8583605b 3132 str = tt + string_char_to_byte (table, oc);
62a6e103 3133 nc = STRING_CHAR_AND_LENGTH (str, str_len);
0c1e3b85
RS
3134 }
3135 else
3136 {
eb3d9ec7
KH
3137 nc = tt[oc];
3138 if (! ASCII_BYTE_P (nc) && multibyte)
3139 {
3140 str_len = BYTE8_STRING (nc, buf);
3141 str = buf;
3142 }
3143 else
3144 {
3145 str_len = 1;
3146 str = tt + oc;
3147 }
0c1e3b85 3148 }
35692fe0 3149 }
eb3d9ec7 3150 else
f555f8cf 3151 {
eb3d9ec7
KH
3152 nc = oc;
3153 val = CHAR_TABLE_REF (table, oc);
045eb8d9 3154 if (CHARACTERP (val))
eb3d9ec7 3155 {
045eb8d9 3156 nc = XFASTINT (val);
eb3d9ec7
KH
3157 str_len = CHAR_STRING (nc, buf);
3158 str = buf;
3159 }
3160 else if (VECTORP (val) || (CONSP (val)))
3161 {
3162 /* VAL is [TO_CHAR ...] or (([FROM-CHAR ...] . TO) ...)
3163 where TO is TO-CHAR or [TO-CHAR ...]. */
3164 nc = -1;
3165 }
f555f8cf 3166 }
8583605b 3167
eb3d9ec7 3168 if (nc != oc && nc >= 0)
8583605b 3169 {
f555f8cf
KH
3170 /* Simple one char to one char translation. */
3171 if (len != str_len)
3172 {
3173 Lisp_Object string;
8583605b 3174
f555f8cf
KH
3175 /* This is less efficient, because it moves the gap,
3176 but it should handle multibyte characters correctly. */
e7f8264d 3177 string = make_multibyte_string ((char *) str, 1, str_len);
f555f8cf
KH
3178 replace_range (pos, pos + 1, string, 1, 0, 1);
3179 len = str_len;
3180 }
3181 else
3182 {
3183 record_change (pos, 1);
3184 while (str_len-- > 0)
3185 *p++ = *str++;
3186 signal_after_change (pos, 1, 1);
3187 update_compositions (pos, pos + 1, CHECK_BORDER);
3188 }
3189 ++cnt;
8583605b 3190 }
eb3d9ec7 3191 else if (nc < 0)
8583605b 3192 {
f555f8cf
KH
3193 Lisp_Object string;
3194
3195 if (CONSP (val))
3196 {
3197 val = check_translation (pos, pos_byte, end_pos, val);
3198 if (NILP (val))
3199 {
3200 pos_byte += len;
3201 pos++;
3202 continue;
3203 }
3204 /* VAL is ([FROM-CHAR ...] . TO). */
3205 len = ASIZE (XCAR (val));
3206 val = XCDR (val);
3207 }
3208 else
3209 len = 1;
3210
3211 if (VECTORP (val))
3212 {
bde25748 3213 string = Fconcat (1, &val);
f555f8cf
KH
3214 }
3215 else
3216 {
3217 string = Fmake_string (make_number (1), val);
3218 }
3219 replace_range (pos, pos + len, string, 1, 0, 1);
3220 pos_byte += SBYTES (string);
3221 pos += SCHARS (string);
3222 cnt += SCHARS (string);
3223 end_pos += SCHARS (string) - len;
3224 continue;
8583605b 3225 }
8583605b
KH
3226 }
3227 pos_byte += len;
3f5409d3 3228 pos++;
35692fe0
JB
3229 }
3230
ec1c14f6 3231 return make_number (cnt);
35692fe0
JB
3232}
3233
a7ca3326 3234DEFUN ("delete-region", Fdelete_region, Sdelete_region, 2, 2, "r",
3bbd2265 3235 doc: /* Delete the text between START and END.
f0fcdf4b
LMI
3236If called interactively, delete the region between point and mark.
3237This command deletes buffer text without modifying the kill ring. */)
5842a27b 3238 (Lisp_Object start, Lisp_Object end)
35692fe0 3239{
2591ec64
EN
3240 validate_region (&start, &end);
3241 del_range (XINT (start), XINT (end));
35692fe0
JB
3242 return Qnil;
3243}
7dae4502
SM
3244
3245DEFUN ("delete-and-extract-region", Fdelete_and_extract_region,
3246 Sdelete_and_extract_region, 2, 2, 0,
7ee72033 3247 doc: /* Delete the text between START and END and return it. */)
5842a27b 3248 (Lisp_Object start, Lisp_Object end)
7dae4502
SM
3249{
3250 validate_region (&start, &end);
8550b998 3251 if (XINT (start) == XINT (end))
977f6cfb 3252 return empty_unibyte_string;
7dae4502
SM
3253 return del_range_1 (XINT (start), XINT (end), 1, 1);
3254}
35692fe0 3255\f
a7ca3326 3256DEFUN ("widen", Fwiden, Swiden, 0, 0, "",
7ee72033
MB
3257 doc: /* Remove restrictions (narrowing) from current buffer.
3258This allows the buffer's full text to be seen and edited. */)
5842a27b 3259 (void)
35692fe0 3260{
2cad2e34
RS
3261 if (BEG != BEGV || Z != ZV)
3262 current_buffer->clip_changed = 1;
35692fe0 3263 BEGV = BEG;
ec1c14f6
RS
3264 BEGV_BYTE = BEG_BYTE;
3265 SET_BUF_ZV_BOTH (current_buffer, Z, Z_BYTE);
52b14ac0
JB
3266 /* Changing the buffer bounds invalidates any recorded current column. */
3267 invalidate_current_column ();
35692fe0
JB
3268 return Qnil;
3269}
3270
a7ca3326 3271DEFUN ("narrow-to-region", Fnarrow_to_region, Snarrow_to_region, 2, 2, "r",
7ee72033 3272 doc: /* Restrict editing in this buffer to the current region.
a1f17501
PJ
3273The rest of the text becomes temporarily invisible and untouchable
3274but is not deleted; if you save the buffer in a file, the invisible
3275text is included in the file. \\[widen] makes all visible again.
3276See also `save-restriction'.
3277
3278When calling from a program, pass two arguments; positions (integers
7ee72033 3279or markers) bounding the text that should remain visible. */)
5842a27b 3280 (register Lisp_Object start, Lisp_Object end)
35692fe0 3281{
b7826503
PJ
3282 CHECK_NUMBER_COERCE_MARKER (start);
3283 CHECK_NUMBER_COERCE_MARKER (end);
35692fe0 3284
2591ec64 3285 if (XINT (start) > XINT (end))
35692fe0 3286 {
b5a6948e 3287 Lisp_Object tem;
2591ec64 3288 tem = start; start = end; end = tem;
35692fe0
JB
3289 }
3290
2591ec64
EN
3291 if (!(BEG <= XINT (start) && XINT (start) <= XINT (end) && XINT (end) <= Z))
3292 args_out_of_range (start, end);
35692fe0 3293
2cad2e34
RS
3294 if (BEGV != XFASTINT (start) || ZV != XFASTINT (end))
3295 current_buffer->clip_changed = 1;
3296
ec1c14f6 3297 SET_BUF_BEGV (current_buffer, XFASTINT (start));
2591ec64 3298 SET_BUF_ZV (current_buffer, XFASTINT (end));
6ec8bbd2 3299 if (PT < XFASTINT (start))
2591ec64 3300 SET_PT (XFASTINT (start));
6ec8bbd2 3301 if (PT > XFASTINT (end))
2591ec64 3302 SET_PT (XFASTINT (end));
52b14ac0
JB
3303 /* Changing the buffer bounds invalidates any recorded current column. */
3304 invalidate_current_column ();
35692fe0
JB
3305 return Qnil;
3306}
3307
3308Lisp_Object
971de7fb 3309save_restriction_save (void)
35692fe0 3310{
d6abb4c7
MB
3311 if (BEGV == BEG && ZV == Z)
3312 /* The common case that the buffer isn't narrowed.
3313 We return just the buffer object, which save_restriction_restore
3314 recognizes as meaning `no restriction'. */
3315 return Fcurrent_buffer ();
3316 else
3317 /* We have to save a restriction, so return a pair of markers, one
3318 for the beginning and one for the end. */
3319 {
3320 Lisp_Object beg, end;
3321
657924ff
DA
3322 beg = build_marker (current_buffer, BEGV, BEGV_BYTE);
3323 end = build_marker (current_buffer, ZV, ZV_BYTE);
35692fe0 3324
d6abb4c7 3325 /* END must move forward if text is inserted at its exact location. */
5e617bc2 3326 XMARKER (end)->insertion_type = 1;
d6abb4c7
MB
3327
3328 return Fcons (beg, end);
3329 }
35692fe0
JB
3330}
3331
3332Lisp_Object
971de7fb 3333save_restriction_restore (Lisp_Object data)
35692fe0 3334{
d528b1ce
SM
3335 struct buffer *cur = NULL;
3336 struct buffer *buf = (CONSP (data)
3337 ? XMARKER (XCAR (data))->buffer
3338 : XBUFFER (data));
3339
4b4deea2 3340 if (buf && buf != current_buffer && !NILP (BVAR (buf, pt_marker)))
d528b1ce
SM
3341 { /* If `buf' uses markers to keep track of PT, BEGV, and ZV (as
3342 is the case if it is or has an indirect buffer), then make
3343 sure it is current before we update BEGV, so
3344 set_buffer_internal takes care of managing those markers. */
3345 cur = current_buffer;
3346 set_buffer_internal (buf);
3347 }
3348
d6abb4c7
MB
3349 if (CONSP (data))
3350 /* A pair of marks bounding a saved restriction. */
35692fe0 3351 {
d6abb4c7
MB
3352 struct Lisp_Marker *beg = XMARKER (XCAR (data));
3353 struct Lisp_Marker *end = XMARKER (XCDR (data));
d528b1ce 3354 eassert (buf == end->buffer);
2cad2e34 3355
63884563
RS
3356 if (buf /* Verify marker still points to a buffer. */
3357 && (beg->charpos != BUF_BEGV (buf) || end->charpos != BUF_ZV (buf)))
d6abb4c7
MB
3358 /* The restriction has changed from the saved one, so restore
3359 the saved restriction. */
3360 {
d311d28c 3361 ptrdiff_t pt = BUF_PT (buf);
d6abb4c7
MB
3362
3363 SET_BUF_BEGV_BOTH (buf, beg->charpos, beg->bytepos);
3364 SET_BUF_ZV_BOTH (buf, end->charpos, end->bytepos);
3365
3366 if (pt < beg->charpos || pt > end->charpos)
3367 /* The point is outside the new visible range, move it inside. */
3368 SET_BUF_PT_BOTH (buf,
3369 clip_to_bounds (beg->charpos, pt, end->charpos),
63884563 3370 clip_to_bounds (beg->bytepos, BUF_PT_BYTE (buf),
d6abb4c7 3371 end->bytepos));
177c0ea7 3372
d6abb4c7
MB
3373 buf->clip_changed = 1; /* Remember that the narrowing changed. */
3374 }
3628596a
DA
3375 /* These aren't needed anymore, so don't wait for GC. */
3376 free_marker (XCAR (data));
3377 free_marker (XCDR (data));
3378 free_cons (XCONS (data));
d6abb4c7
MB
3379 }
3380 else
3381 /* A buffer, which means that there was no old restriction. */
3382 {
63884563
RS
3383 if (buf /* Verify marker still points to a buffer. */
3384 && (BUF_BEGV (buf) != BUF_BEG (buf) || BUF_ZV (buf) != BUF_Z (buf)))
d6abb4c7
MB
3385 /* The buffer has been narrowed, get rid of the narrowing. */
3386 {
63884563
RS
3387 SET_BUF_BEGV_BOTH (buf, BUF_BEG (buf), BUF_BEG_BYTE (buf));
3388 SET_BUF_ZV_BOTH (buf, BUF_Z (buf), BUF_Z_BYTE (buf));
35692fe0 3389
d6abb4c7
MB
3390 buf->clip_changed = 1; /* Remember that the narrowing changed. */
3391 }
3392 }
35692fe0 3393
aca092ac
SM
3394 /* Changing the buffer bounds invalidates any recorded current column. */
3395 invalidate_current_column ();
3396
d528b1ce
SM
3397 if (cur)
3398 set_buffer_internal (cur);
3399
35692fe0
JB
3400 return Qnil;
3401}
3402
3403DEFUN ("save-restriction", Fsave_restriction, Ssave_restriction, 0, UNEVALLED, 0,
7ee72033 3404 doc: /* Execute BODY, saving and restoring current buffer's restrictions.
a1f17501 3405The buffer's restrictions make parts of the beginning and end invisible.
9671c13a 3406\(They are set up with `narrow-to-region' and eliminated with `widen'.)
a1f17501
PJ
3407This special form, `save-restriction', saves the current buffer's restrictions
3408when it is entered, and restores them when it is exited.
3409So any `narrow-to-region' within BODY lasts only until the end of the form.
3410The old restrictions settings are restored
3411even in case of abnormal exit (throw or error).
3412
3413The value returned is the value of the last form in BODY.
3414
3415Note: if you are using both `save-excursion' and `save-restriction',
3416use `save-excursion' outermost:
33c2d29f
MB
3417 (save-excursion (save-restriction ...))
3418
3419usage: (save-restriction &rest BODY) */)
5842a27b 3420 (Lisp_Object body)
35692fe0
JB
3421{
3422 register Lisp_Object val;
d311d28c 3423 ptrdiff_t count = SPECPDL_INDEX ();
35692fe0
JB
3424
3425 record_unwind_protect (save_restriction_restore, save_restriction_save ());
3426 val = Fprogn (body);
3427 return unbind_to (count, val);
3428}
3429\f
a7ca3326 3430DEFUN ("message", Fmessage, Smessage, 1, MANY, 0,
db18da59 3431 doc: /* Display a message at the bottom of the screen.
d56f2e49
GM
3432The message also goes into the `*Messages*' buffer, if `message-log-max'
3433is non-nil. (In keyboard macros, that's all it does.)
db18da59 3434Return the message.
281c1721 3435
a1f17501
PJ
3436The first argument is a format control string, and the rest are data
3437to be formatted under control of the string. See `format' for details.
3438
7bd5bcfb
KS
3439Note: Use (message "%s" VALUE) to print the value of expressions and
3440variables to avoid accidentally interpreting `%' as format specifiers.
3441
fa056b08
KS
3442If the first argument is nil or the empty string, the function clears
3443any existing message; this lets the minibuffer contents show. See
3444also `current-message'.
4bfbe194 3445
867b9600 3446usage: (message FORMAT-STRING &rest ARGS) */)
f66c7cf8 3447 (ptrdiff_t nargs, Lisp_Object *args)
35692fe0 3448{
6076e561
RS
3449 if (NILP (args[0])
3450 || (STRINGP (args[0])
3451 && SBYTES (args[0]) == 0))
f0250249 3452 {
2f73da9c 3453 message1 (0);
674a954a 3454 return args[0];
f0250249 3455 }
ccdac5be
JB
3456 else
3457 {
3458 register Lisp_Object val;
304f1f12 3459 val = Fformat (nargs, args);
b09cca6a 3460 message3 (val);
ccdac5be
JB
3461 return val;
3462 }
35692fe0
JB
3463}
3464
cacc3e2c 3465DEFUN ("message-box", Fmessage_box, Smessage_box, 1, MANY, 0,
7ee72033 3466 doc: /* Display a message, in a dialog box if possible.
a1f17501
PJ
3467If a dialog box is not available, use the echo area.
3468The first argument is a format control string, and the rest are data
3469to be formatted under control of the string. See `format' for details.
3470
fa056b08
KS
3471If the first argument is nil or the empty string, clear any existing
3472message; let the minibuffer contents show.
4bfbe194 3473
867b9600 3474usage: (message-box FORMAT-STRING &rest ARGS) */)
f66c7cf8 3475 (ptrdiff_t nargs, Lisp_Object *args)
cacc3e2c
RS
3476{
3477 if (NILP (args[0]))
3478 {
2f73da9c 3479 message1 (0);
cacc3e2c
RS
3480 return Qnil;
3481 }
3482 else
3483 {
b09cca6a 3484 Lisp_Object val = Fformat (nargs, args);
f8250f01 3485#ifdef HAVE_MENUS
0ae83348
EZ
3486 /* The MS-DOS frames support popup menus even though they are
3487 not FRAME_WINDOW_P. */
3488 if (FRAME_WINDOW_P (XFRAME (selected_frame))
3489 || FRAME_MSDOS_P (XFRAME (selected_frame)))
cacc3e2c 3490 {
f838ed7b 3491 Lisp_Object pane, menu;
cacc3e2c
RS
3492 struct gcpro gcpro1;
3493 pane = Fcons (Fcons (build_string ("OK"), Qt), Qnil);
3494 GCPRO1 (pane);
3495 menu = Fcons (val, pane);
f838ed7b 3496 Fx_popup_dialog (Qt, menu, Qt);
cacc3e2c
RS
3497 UNGCPRO;
3498 return val;
3499 }
0ae83348 3500#endif /* HAVE_MENUS */
b09cca6a 3501 message3 (val);
cacc3e2c 3502 return val;
cacc3e2c
RS
3503 }
3504}
f8250f01 3505
cacc3e2c 3506DEFUN ("message-or-box", Fmessage_or_box, Smessage_or_box, 1, MANY, 0,
7ee72033 3507 doc: /* Display a message in a dialog box or in the echo area.
a1f17501
PJ
3508If this command was invoked with the mouse, use a dialog box if
3509`use-dialog-box' is non-nil.
3510Otherwise, use the echo area.
3511The first argument is a format control string, and the rest are data
3512to be formatted under control of the string. See `format' for details.
3513
fa056b08
KS
3514If the first argument is nil or the empty string, clear any existing
3515message; let the minibuffer contents show.
4bfbe194 3516
867b9600 3517usage: (message-or-box FORMAT-STRING &rest ARGS) */)
f66c7cf8 3518 (ptrdiff_t nargs, Lisp_Object *args)
cacc3e2c 3519{
f8250f01 3520#ifdef HAVE_MENUS
5920df33 3521 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
c01fbf95 3522 && use_dialog_box)
0a56ee6b 3523 return Fmessage_box (nargs, args);
cacc3e2c
RS
3524#endif
3525 return Fmessage (nargs, args);
3526}
3527
a7ca3326 3528DEFUN ("current-message", Fcurrent_message, Scurrent_message, 0, 0, 0,
7ee72033 3529 doc: /* Return the string currently displayed in the echo area, or nil if none. */)
5842a27b 3530 (void)
b14dda8a 3531{
0634a78e 3532 return current_message ();
b14dda8a
RS
3533}
3534
2d9811c4 3535
d2936d21 3536DEFUN ("propertize", Fpropertize, Spropertize, 1, MANY, 0,
7ee72033 3537 doc: /* Return a copy of STRING with text properties added.
a1f17501
PJ
3538First argument is the string to copy.
3539Remaining arguments form a sequence of PROPERTY VALUE pairs for text
4bfbe194
MB
3540properties to add to the result.
3541usage: (propertize STRING &rest PROPERTIES) */)
f66c7cf8 3542 (ptrdiff_t nargs, Lisp_Object *args)
2d9811c4
GM
3543{
3544 Lisp_Object properties, string;
3545 struct gcpro gcpro1, gcpro2;
f66c7cf8 3546 ptrdiff_t i;
2d9811c4
GM
3547
3548 /* Number of args must be odd. */
c5101a77 3549 if ((nargs & 1) == 0)
2d9811c4
GM
3550 error ("Wrong number of arguments");
3551
3552 properties = string = Qnil;
3553 GCPRO2 (properties, string);
34a7a267 3554
2d9811c4 3555 /* First argument must be a string. */
b7826503 3556 CHECK_STRING (args[0]);
2d9811c4
GM
3557 string = Fcopy_sequence (args[0]);
3558
3559 for (i = 1; i < nargs; i += 2)
9b7a2369 3560 properties = Fcons (args[i], Fcons (args[i + 1], properties));
2d9811c4
GM
3561
3562 Fadd_text_properties (make_number (0),
d5db4077 3563 make_number (SCHARS (string)),
2d9811c4
GM
3564 properties, string);
3565 RETURN_UNGCPRO (string);
3566}
3567
a7ca3326 3568DEFUN ("format", Fformat, Sformat, 1, MANY, 0,
867b9600
JL
3569 doc: /* Format a string out of a format-string and arguments.
3570The first argument is a format control string.
a1f17501 3571The other arguments are substituted into it to make the result, a string.
575b782f
CY
3572
3573The format control string may contain %-sequences meaning to substitute
3574the next available argument:
3575
a1f17501
PJ
3576%s means print a string argument. Actually, prints any object, with `princ'.
3577%d means print as number in decimal (%o octal, %x hex).
3578%X is like %x, but uses upper case.
3579%e means print a number in exponential notation.
3580%f means print a number in decimal-point notation.
3581%g means print a number in exponential notation
3582 or decimal-point notation, whichever uses fewer characters.
3583%c means print a number as a single character.
3584%S means print any object as an s-expression (using `prin1').
575b782f
CY
3585
3586The argument used for %d, %o, %x, %e, %f, %g or %c must be a number.
4bfbe194
MB
3587Use %% to put a single % into the output.
3588
575b782f
CY
3589A %-sequence may contain optional flag, width, and precision
3590specifiers, as follows:
3591
3592 %<flags><width><precision>character
3593
3594where flags is [+ #-0]+, width is [0-9]+, and precision is .[0-9]+
3595
3596The + flag character inserts a + before any positive number, while a
3597space inserts a space before any positive number; these flags only
3598affect %d, %e, %f, and %g sequences, and the + flag takes precedence.
55802e4a
CY
3599The - and 0 flags affect the width specifier, as described below.
3600
575b782f 3601The # flag means to use an alternate display form for %o, %x, %X, %e,
55802e4a
CY
3602%f, and %g sequences: for %o, it ensures that the result begins with
3603\"0\"; for %x and %X, it prefixes the result with \"0x\" or \"0X\";
3604for %e, %f, and %g, it causes a decimal point to be included even if
3605the precision is zero.
575b782f
CY
3606
3607The width specifier supplies a lower limit for the length of the
3608printed representation. The padding, if any, normally goes on the
3609left, but it goes on the right if the - flag is present. The padding
3610character is normally a space, but it is 0 if the 0 flag is present.
a9ab721e
LMI
3611The 0 flag is ignored if the - flag is present, or the format sequence
3612is something other than %d, %e, %f, and %g.
575b782f
CY
3613
3614For %e, %f, and %g sequences, the number after the "." in the
3615precision specifier says how many decimal places to show; if zero, the
3616decimal point itself is omitted. For %s and %S, the precision
3617specifier truncates the string to the given width.
f555f8cf 3618
4bfbe194 3619usage: (format STRING &rest OBJECTS) */)
f66c7cf8 3620 (ptrdiff_t nargs, Lisp_Object *args)
35692fe0 3621{
f66c7cf8 3622 ptrdiff_t n; /* The number of the next arg to substitute */
37910ab2
PE
3623 char initial_buffer[4000];
3624 char *buf = initial_buffer;
d311d28c
PE
3625 ptrdiff_t bufsize = sizeof initial_buffer;
3626 ptrdiff_t max_bufsize = STRING_BYTES_BOUND + 1;
37910ab2
PE
3627 char *p;
3628 Lisp_Object buf_save_value IF_LINT (= {0});
fce31d69 3629 char *format, *end, *format_start;
d311d28c 3630 ptrdiff_t formatlen, nchars;
fce31d69
PE
3631 /* True if the format is multibyte. */
3632 bool multibyte_format = 0;
3633 /* True if the output should be a multibyte string,
1f24f4fd 3634 which is true if any of the inputs is one. */
fce31d69 3635 bool multibyte = 0;
8f2917e4
KH
3636 /* When we make a multibyte string, we must pay attention to the
3637 byte combining problem, i.e., a byte may be combined with a
3b59c351 3638 multibyte character of the previous string. This flag tells if we
8f2917e4 3639 must consider such a situation or not. */
a08d4ba7 3640 bool maybe_combine_byte;
8d6179dc 3641 Lisp_Object val;
a08d4ba7 3642 bool arg_intervals = 0;
7e2c051b 3643 USE_SAFE_ALLOCA;
d147ee84
RS
3644
3645 /* discarded[I] is 1 if byte I of the format
3646 string was not copied into the output.
3647 It is 2 if byte I was not the first byte of its character. */
37910ab2 3648 char *discarded;
d147ee84
RS
3649
3650 /* Each element records, for one argument,
3651 the start and end bytepos in the output string,
37910ab2 3652 whether the argument has been converted to string (e.g., due to "%S"),
d147ee84
RS
3653 and whether the argument is a string with intervals.
3654 info[0] is unused. Unused elements have -1 for start. */
5e6d5493
GM
3655 struct info
3656 {
d311d28c 3657 ptrdiff_t start, end;
a08d4ba7
PE
3658 unsigned converted_to_string : 1;
3659 unsigned intervals : 1;
5e6d5493 3660 } *info = 0;
1f24f4fd 3661
35692fe0
JB
3662 /* It should not be necessary to GCPRO ARGS, because
3663 the caller in the interpreter should take care of that. */
3664
37910ab2
PE
3665 CHECK_STRING (args[0]);
3666 format_start = SSDATA (args[0]);
3667 formatlen = SBYTES (args[0]);
3668
3669 /* Allocate the info and discarded tables. */
3670 {
f66c7cf8 3671 ptrdiff_t i;
37910ab2 3672 if ((SIZE_MAX - formatlen) / sizeof (struct info) <= nargs)
531b0165 3673 memory_full (SIZE_MAX);
98c6f1e3 3674 info = SAFE_ALLOCA ((nargs + 1) * sizeof *info + formatlen);
37910ab2
PE
3675 discarded = (char *) &info[nargs + 1];
3676 for (i = 0; i < nargs + 1; i++)
3677 {
3678 info[i].start = -1;
3679 info[i].intervals = info[i].converted_to_string = 0;
3680 }
3681 memset (discarded, 0, formatlen);
3682 }
3683
e781c49e
RS
3684 /* Try to determine whether the result should be multibyte.
3685 This is not always right; sometimes the result needs to be multibyte
3686 because of an object that we will pass through prin1,
3687 and in that case, we won't know it here. */
37910ab2
PE
3688 multibyte_format = STRING_MULTIBYTE (args[0]);
3689 multibyte = multibyte_format;
3690 for (n = 1; !multibyte && n < nargs; n++)
3691 if (STRINGP (args[n]) && STRING_MULTIBYTE (args[n]))
3692 multibyte = 1;
67965a98 3693
e781c49e 3694 /* If we start out planning a unibyte result,
37910ab2 3695 then discover it has to be multibyte, we jump back to retry. */
e781c49e
RS
3696 retry:
3697
37910ab2
PE
3698 p = buf;
3699 nchars = 0;
3700 n = 0;
d147ee84 3701
37910ab2
PE
3702 /* Scan the format and store result in BUF. */
3703 format = format_start;
3704 end = format + formatlen;
3705 maybe_combine_byte = 0;
35692fe0 3706
35692fe0 3707 while (format != end)
37910ab2
PE
3708 {
3709 /* The values of N and FORMAT when the loop body is entered. */
f66c7cf8 3710 ptrdiff_t n0 = n;
37910ab2 3711 char *format0 = format;
35692fe0 3712
37910ab2 3713 /* Bytes needed to represent the output of this conversion. */
d311d28c 3714 ptrdiff_t convbytes;
537dfb13 3715
37910ab2
PE
3716 if (*format == '%')
3717 {
3718 /* General format specifications look like
a432bfe5 3719
37910ab2 3720 '%' [flags] [field-width] [precision] format
a432bfe5 3721
37910ab2 3722 where
a432bfe5 3723
37910ab2
PE
3724 flags ::= [-+0# ]+
3725 field-width ::= [0-9]+
3726 precision ::= '.' [0-9]*
a432bfe5 3727
37910ab2
PE
3728 If a field-width is specified, it specifies to which width
3729 the output should be padded with blanks, if the output
3730 string is shorter than field-width.
a432bfe5 3731
37910ab2
PE
3732 If precision is specified, it specifies the number of
3733 digits to print after the '.' for floats, or the max.
3734 number of chars to print from a string. */
a432bfe5 3735
a08d4ba7
PE
3736 bool minus_flag = 0;
3737 bool plus_flag = 0;
3738 bool space_flag = 0;
3739 bool sharp_flag = 0;
3740 bool zero_flag = 0;
d311d28c 3741 ptrdiff_t field_width;
a08d4ba7 3742 bool precision_given;
37910ab2
PE
3743 uintmax_t precision = UINTMAX_MAX;
3744 char *num_end;
3745 char conversion;
a432bfe5 3746
37910ab2
PE
3747 while (1)
3748 {
3749 switch (*++format)
3750 {
3751 case '-': minus_flag = 1; continue;
3752 case '+': plus_flag = 1; continue;
3753 case ' ': space_flag = 1; continue;
3754 case '#': sharp_flag = 1; continue;
3755 case '0': zero_flag = 1; continue;
3756 }
3757 break;
3758 }
35692fe0 3759
37910ab2
PE
3760 /* Ignore flags when sprintf ignores them. */
3761 space_flag &= ~ plus_flag;
3762 zero_flag &= ~ minus_flag;
1f24f4fd 3763
35692fe0 3764 {
37910ab2
PE
3765 uintmax_t w = strtoumax (format, &num_end, 10);
3766 if (max_bufsize <= w)
3767 string_overflow ();
3768 field_width = w;
35692fe0 3769 }
37910ab2
PE
3770 precision_given = *num_end == '.';
3771 if (precision_given)
3772 precision = strtoumax (num_end + 1, &num_end, 10);
3773 format = num_end;
3774
3775 if (format == end)
3776 error ("Format string ends in middle of format specifier");
3777
3778 memset (&discarded[format0 - format_start], 1, format - format0);
3779 conversion = *format;
3780 if (conversion == '%')
7812ba2d 3781 goto copy_char;
d147ee84 3782 discarded[format - format_start] = 1;
1f24f4fd 3783 format++;
fb893977 3784
37910ab2
PE
3785 ++n;
3786 if (! (n < nargs))
3787 error ("Not enough arguments for format string");
3788
3789 /* For 'S', prin1 the argument, and then treat like 's'.
3790 For 's', princ any argument that is not a string or
3791 symbol. But don't do this conversion twice, which might
3792 happen after retrying. */
3793 if ((conversion == 'S'
3794 || (conversion == 's'
3795 && ! STRINGP (args[n]) && ! SYMBOLP (args[n]))))
f555f8cf 3796 {
37910ab2 3797 if (! info[n].converted_to_string)
f555f8cf 3798 {
37910ab2
PE
3799 Lisp_Object noescape = conversion == 'S' ? Qnil : Qt;
3800 args[n] = Fprin1_to_string (args[n], noescape);
3801 info[n].converted_to_string = 1;
3802 if (STRING_MULTIBYTE (args[n]) && ! multibyte)
3803 {
3804 multibyte = 1;
3805 goto retry;
3806 }
f555f8cf 3807 }
37910ab2 3808 conversion = 's';
f555f8cf 3809 }
37910ab2
PE
3810 else if (conversion == 'c')
3811 {
3812 if (FLOATP (args[n]))
3813 {
3814 double d = XFLOAT_DATA (args[n]);
3815 args[n] = make_number (FIXNUM_OVERFLOW_P (d) ? -1 : d);
3816 }
f555f8cf 3817
37910ab2
PE
3818 if (INTEGERP (args[n]) && ! ASCII_CHAR_P (XINT (args[n])))
3819 {
3820 if (!multibyte)
3821 {
3822 multibyte = 1;
3823 goto retry;
3824 }
3825 args[n] = Fchar_to_string (args[n]);
3826 info[n].converted_to_string = 1;
3827 }
f555f8cf 3828
37910ab2
PE
3829 if (info[n].converted_to_string)
3830 conversion = 's';
3831 zero_flag = 0;
d147ee84 3832 }
35692fe0 3833
37910ab2 3834 if (SYMBOLP (args[n]))
1f24f4fd 3835 {
37910ab2
PE
3836 args[n] = SYMBOL_NAME (args[n]);
3837 if (STRING_MULTIBYTE (args[n]) && ! multibyte)
3838 {
3839 multibyte = 1;
3840 goto retry;
3841 }
1f24f4fd
RS
3842 }
3843
37910ab2 3844 if (conversion == 's')
1f24f4fd 3845 {
ac42d7b9
KG
3846 /* handle case (precision[n] >= 0) */
3847
d311d28c
PE
3848 ptrdiff_t width, padding, nbytes;
3849 ptrdiff_t nchars_string;
ac42d7b9 3850
d311d28c
PE
3851 ptrdiff_t prec = -1;
3852 if (precision_given && precision <= TYPE_MAXIMUM (ptrdiff_t))
37910ab2
PE
3853 prec = precision;
3854
ac42d7b9
KG
3855 /* lisp_string_width ignores a precision of 0, but GNU
3856 libc functions print 0 characters when the precision
3857 is 0. Imitate libc behavior here. Changing
3858 lisp_string_width is the right thing, and will be
3859 done, but meanwhile we work with it. */
3860
37910ab2 3861 if (prec == 0)
ac42d7b9 3862 width = nchars_string = nbytes = 0;
ac42d7b9 3863 else
37910ab2 3864 {
d311d28c 3865 ptrdiff_t nch, nby;
37910ab2
PE
3866 width = lisp_string_width (args[n], prec, &nch, &nby);
3867 if (prec < 0)
3868 {
3869 nchars_string = SCHARS (args[n]);
3870 nbytes = SBYTES (args[n]);
3871 }
3872 else
3873 {
3874 nchars_string = nch;
3875 nbytes = nby;
3876 }
ac42d7b9 3877 }
25c9e7fb 3878
37910ab2
PE
3879 convbytes = nbytes;
3880 if (convbytes && multibyte && ! STRING_MULTIBYTE (args[n]))
3881 convbytes = count_size_as_multibyte (SDATA (args[n]), nbytes);
1f24f4fd 3882
37910ab2 3883 padding = width < field_width ? field_width - width : 0;
ac42d7b9 3884
37910ab2
PE
3885 if (max_bufsize - padding <= convbytes)
3886 string_overflow ();
3887 convbytes += padding;
3888 if (convbytes <= buf + bufsize - p)
3889 {
3890 if (! minus_flag)
3891 {
3892 memset (p, ' ', padding);
3893 p += padding;
3894 nchars += padding;
3895 }
ac42d7b9 3896
37910ab2
PE
3897 if (p > buf
3898 && multibyte
3899 && !ASCII_BYTE_P (*((unsigned char *) p - 1))
3900 && STRING_MULTIBYTE (args[n])
3901 && !CHAR_HEAD_P (SREF (args[n], 0)))
3902 maybe_combine_byte = 1;
1f24f4fd 3903
37910ab2
PE
3904 p += copy_text (SDATA (args[n]), (unsigned char *) p,
3905 nbytes,
3906 STRING_MULTIBYTE (args[n]), multibyte);
8f2c9ed8 3907
37910ab2
PE
3908 info[n].start = nchars;
3909 nchars += nchars_string;
3910 info[n].end = nchars;
3911
3912 if (minus_flag)
3913 {
3914 memset (p, ' ', padding);
3915 p += padding;
3916 nchars += padding;
3917 }
5e6d5493 3918
37910ab2
PE
3919 /* If this argument has text properties, record where
3920 in the result string it appears. */
0c94c8d6 3921 if (string_intervals (args[n]))
37910ab2
PE
3922 info[n].intervals = arg_intervals = 1;
3923
3924 continue;
3925 }
1f24f4fd 3926 }
37910ab2
PE
3927 else if (! (conversion == 'c' || conversion == 'd'
3928 || conversion == 'e' || conversion == 'f'
3929 || conversion == 'g' || conversion == 'i'
3930 || conversion == 'o' || conversion == 'x'
3931 || conversion == 'X'))
3932 error ("Invalid format operation %%%c",
3933 STRING_CHAR ((unsigned char *) format - 1));
3934 else if (! (INTEGERP (args[n]) || FLOATP (args[n])))
3935 error ("Format specifier doesn't match argument type");
3936 else
1f24f4fd 3937 {
37910ab2
PE
3938 enum
3939 {
3940 /* Maximum precision for a %f conversion such that the
333f9019 3941 trailing output digit might be nonzero. Any precision
37910ab2
PE
3942 larger than this will not yield useful information. */
3943 USEFUL_PRECISION_MAX =
3944 ((1 - DBL_MIN_EXP)
3945 * (FLT_RADIX == 2 || FLT_RADIX == 10 ? 1
3946 : FLT_RADIX == 16 ? 4
3947 : -1)),
3948
3949 /* Maximum number of bytes generated by any format, if
81f7c12e 3950 precision is no more than USEFUL_PRECISION_MAX.
37910ab2
PE
3951 On all practical hosts, %f is the worst case. */
3952 SPRINTF_BUFSIZE =
a81d11a3
PE
3953 sizeof "-." + (DBL_MAX_10_EXP + 1) + USEFUL_PRECISION_MAX,
3954
3955 /* Length of pM (that is, of pMd without the
3956 trailing "d"). */
3957 pMlen = sizeof pMd - 2
37910ab2
PE
3958 };
3959 verify (0 < USEFUL_PRECISION_MAX);
3960
3961 int prec;
d311d28c 3962 ptrdiff_t padding, sprintf_bytes;
37910ab2
PE
3963 uintmax_t excess_precision, numwidth;
3964 uintmax_t leading_zeros = 0, trailing_zeros = 0;
3965
3966 char sprintf_buf[SPRINTF_BUFSIZE];
3967
3968 /* Copy of conversion specification, modified somewhat.
3969 At most three flags F can be specified at once. */
a81d11a3 3970 char convspec[sizeof "%FFF.*d" + pMlen];
37910ab2
PE
3971
3972 /* Avoid undefined behavior in underlying sprintf. */
3973 if (conversion == 'd' || conversion == 'i')
3974 sharp_flag = 0;
3975
3976 /* Create the copy of the conversion specification, with
3977 any width and precision removed, with ".*" inserted,
a81d11a3 3978 and with pM inserted for integer formats. */
37910ab2
PE
3979 {
3980 char *f = convspec;
3981 *f++ = '%';
3982 *f = '-'; f += minus_flag;
3983 *f = '+'; f += plus_flag;
3984 *f = ' '; f += space_flag;
3985 *f = '#'; f += sharp_flag;
3986 *f = '0'; f += zero_flag;
3987 *f++ = '.';
3988 *f++ = '*';
3989 if (conversion == 'd' || conversion == 'i'
3990 || conversion == 'o' || conversion == 'x'
3991 || conversion == 'X')
3992 {
a81d11a3
PE
3993 memcpy (f, pMd, pMlen);
3994 f += pMlen;
37910ab2
PE
3995 zero_flag &= ~ precision_given;
3996 }
3997 *f++ = conversion;
3998 *f = '\0';
3999 }
1f24f4fd 4000
37910ab2
PE
4001 prec = -1;
4002 if (precision_given)
4003 prec = min (precision, USEFUL_PRECISION_MAX);
4004
4005 /* Use sprintf to format this number into sprintf_buf. Omit
4006 padding and excess precision, though, because sprintf limits
4007 output length to INT_MAX.
4008
4009 There are four types of conversion: double, unsigned
4010 char (passed as int), wide signed int, and wide
4011 unsigned int. Treat them separately because the
4012 sprintf ABI is sensitive to which type is passed. Be
4013 careful about integer overflow, NaNs, infinities, and
4014 conversions; for example, the min and max macros are
4015 not suitable here. */
4016 if (conversion == 'e' || conversion == 'f' || conversion == 'g')
4017 {
4018 double x = (INTEGERP (args[n])
4019 ? XINT (args[n])
4020 : XFLOAT_DATA (args[n]));
4021 sprintf_bytes = sprintf (sprintf_buf, convspec, prec, x);
4022 }
4023 else if (conversion == 'c')
4024 {
4025 /* Don't use sprintf here, as it might mishandle prec. */
4026 sprintf_buf[0] = XINT (args[n]);
4027 sprintf_bytes = prec != 0;
4028 }
4029 else if (conversion == 'd')
4030 {
4031 /* For float, maybe we should use "%1.0f"
4032 instead so it also works for values outside
4033 the integer range. */
a81d11a3 4034 printmax_t x;
37910ab2
PE
4035 if (INTEGERP (args[n]))
4036 x = XINT (args[n]);
4037 else
4038 {
4039 double d = XFLOAT_DATA (args[n]);
4040 if (d < 0)
4041 {
a81d11a3 4042 x = TYPE_MINIMUM (printmax_t);
37910ab2
PE
4043 if (x < d)
4044 x = d;
4045 }
4046 else
4047 {
a81d11a3 4048 x = TYPE_MAXIMUM (printmax_t);
37910ab2
PE
4049 if (d < x)
4050 x = d;
4051 }
4052 }
4053 sprintf_bytes = sprintf (sprintf_buf, convspec, prec, x);
4054 }
0f860bd7 4055 else
de92d4d4 4056 {
37910ab2 4057 /* Don't sign-extend for octal or hex printing. */
a81d11a3 4058 uprintmax_t x;
37910ab2
PE
4059 if (INTEGERP (args[n]))
4060 x = XUINT (args[n]);
4061 else
0f860bd7 4062 {
37910ab2
PE
4063 double d = XFLOAT_DATA (args[n]);
4064 if (d < 0)
4065 x = 0;
4066 else
4067 {
a81d11a3 4068 x = TYPE_MAXIMUM (uprintmax_t);
37910ab2
PE
4069 if (d < x)
4070 x = d;
4071 }
0f860bd7 4072 }
37910ab2
PE
4073 sprintf_bytes = sprintf (sprintf_buf, convspec, prec, x);
4074 }
0f860bd7 4075
37910ab2
PE
4076 /* Now the length of the formatted item is known, except it omits
4077 padding and excess precision. Deal with excess precision
4078 first. This happens only when the format specifies
4079 ridiculously large precision. */
4080 excess_precision = precision - prec;
4081 if (excess_precision)
4082 {
4083 if (conversion == 'e' || conversion == 'f'
4084 || conversion == 'g')
ff6e6ac8 4085 {
37910ab2
PE
4086 if ((conversion == 'g' && ! sharp_flag)
4087 || ! ('0' <= sprintf_buf[sprintf_bytes - 1]
4088 && sprintf_buf[sprintf_bytes - 1] <= '9'))
4089 excess_precision = 0;
ff6e6ac8 4090 else
37910ab2
PE
4091 {
4092 if (conversion == 'g')
4093 {
4094 char *dot = strchr (sprintf_buf, '.');
4095 if (!dot)
4096 excess_precision = 0;
4097 }
4098 }
4099 trailing_zeros = excess_precision;
ff6e6ac8 4100 }
de92d4d4 4101 else
37910ab2 4102 leading_zeros = excess_precision;
de92d4d4 4103 }
1f24f4fd 4104
37910ab2
PE
4105 /* Compute the total bytes needed for this item, including
4106 excess precision and padding. */
4107 numwidth = sprintf_bytes + excess_precision;
4108 padding = numwidth < field_width ? field_width - numwidth : 0;
4109 if (max_bufsize - sprintf_bytes <= excess_precision
4110 || max_bufsize - padding <= numwidth)
4111 string_overflow ();
4112 convbytes = numwidth + padding;
4113
4114 if (convbytes <= buf + bufsize - p)
4115 {
4116 /* Copy the formatted item from sprintf_buf into buf,
4117 inserting padding and excess-precision zeros. */
4118
4119 char *src = sprintf_buf;
4120 char src0 = src[0];
4121 int exponent_bytes = 0;
a08d4ba7 4122 bool signedp = src0 == '-' || src0 == '+' || src0 == ' ';
37910ab2 4123 int significand_bytes;
172418ad
AS
4124 if (zero_flag
4125 && ((src[signedp] >= '0' && src[signedp] <= '9')
4126 || (src[signedp] >= 'a' && src[signedp] <= 'f')
4127 || (src[signedp] >= 'A' && src[signedp] <= 'F')))
37910ab2
PE
4128 {
4129 leading_zeros += padding;
4130 padding = 0;
4131 }
4132
4133 if (excess_precision
4134 && (conversion == 'e' || conversion == 'g'))
4135 {
4136 char *e = strchr (src, 'e');
4137 if (e)
4138 exponent_bytes = src + sprintf_bytes - e;
4139 }
4140
4141 if (! minus_flag)
4142 {
4143 memset (p, ' ', padding);
4144 p += padding;
4145 nchars += padding;
4146 }
4147
4148 *p = src0;
4149 src += signedp;
4150 p += signedp;
4151 memset (p, '0', leading_zeros);
4152 p += leading_zeros;
4153 significand_bytes = sprintf_bytes - signedp - exponent_bytes;
4154 memcpy (p, src, significand_bytes);
4155 p += significand_bytes;
4156 src += significand_bytes;
4157 memset (p, '0', trailing_zeros);
4158 p += trailing_zeros;
4159 memcpy (p, src, exponent_bytes);
4160 p += exponent_bytes;
4161
4162 info[n].start = nchars;
4163 nchars += leading_zeros + sprintf_bytes + trailing_zeros;
4164 info[n].end = nchars;
4165
4166 if (minus_flag)
4167 {
4168 memset (p, ' ', padding);
4169 p += padding;
4170 nchars += padding;
4171 }
4172
4173 continue;
4174 }
4175 }
4176 }
4177 else
4178 copy_char:
4179 {
4180 /* Copy a single character from format to buf. */
4181
4182 char *src = format;
4183 unsigned char str[MAX_MULTIBYTE_LENGTH];
4184
4185 if (multibyte_format)
4186 {
4187 /* Copy a whole multibyte character. */
8f2917e4 4188 if (p > buf
25aa5d64 4189 && !ASCII_BYTE_P (*((unsigned char *) p - 1))
37910ab2 4190 && !CHAR_HEAD_P (*format))
8f2917e4 4191 maybe_combine_byte = 1;
37910ab2
PE
4192
4193 do
4194 format++;
4195 while (! CHAR_HEAD_P (*format));
4196
a02719a3 4197 convbytes = format - src;
7812ba2d 4198 memset (&discarded[src + 1 - format_start], 2, convbytes - 1);
37910ab2
PE
4199 }
4200 else
4201 {
4202 unsigned char uc = *format++;
4203 if (! multibyte || ASCII_BYTE_P (uc))
4204 convbytes = 1;
9a599130 4205 else
37910ab2
PE
4206 {
4207 int c = BYTE8_TO_CHAR (uc);
4208 convbytes = CHAR_STRING (c, str);
4209 src = (char *) str;
4210 }
1f24f4fd 4211 }
d147ee84 4212
37910ab2 4213 if (convbytes <= buf + bufsize - p)
d147ee84 4214 {
37910ab2
PE
4215 memcpy (p, src, convbytes);
4216 p += convbytes;
4217 nchars++;
4218 continue;
d147ee84 4219 }
7df74da6 4220 }
1f24f4fd 4221
37910ab2
PE
4222 /* There wasn't enough room to store this conversion or single
4223 character. CONVBYTES says how much room is needed. Allocate
4224 enough room (and then some) and do it again. */
4225 {
c9f8d652 4226 ptrdiff_t used = p - buf;
37910ab2
PE
4227
4228 if (max_bufsize - used < convbytes)
4229 string_overflow ();
4230 bufsize = used + convbytes;
4231 bufsize = bufsize < max_bufsize / 2 ? bufsize * 2 : max_bufsize;
4232
4233 if (buf == initial_buffer)
4234 {
4235 buf = xmalloc (bufsize);
4236 sa_must_free = 1;
468afbac 4237 buf_save_value = make_save_pointer (buf);
37910ab2
PE
4238 record_unwind_protect (safe_alloca_unwind, buf_save_value);
4239 memcpy (buf, initial_buffer, used);
4240 }
4241 else
2b30549c 4242 XSAVE_POINTER (buf_save_value, 0) = buf = xrealloc (buf, bufsize);
37910ab2
PE
4243
4244 p = buf + used;
4245 }
4246
4247 format = format0;
4248 n = n0;
1f24f4fd
RS
4249 }
4250
37910ab2 4251 if (bufsize < p - buf)
1088b922 4252 emacs_abort ();
a432bfe5 4253
8f2917e4 4254 if (maybe_combine_byte)
e7f8264d 4255 nchars = multibyte_chars_in_text ((unsigned char *) buf, p - buf);
5f75e666 4256 val = make_specified_string (buf, nchars, p - buf, multibyte);
8d6179dc 4257
1f24f4fd 4258 /* If we allocated BUF with malloc, free it too. */
e65837df 4259 SAFE_FREE ();
35692fe0 4260
5e6d5493
GM
4261 /* If the format string has text properties, or any of the string
4262 arguments has text properties, set up text properties of the
4263 result string. */
34a7a267 4264
0c94c8d6 4265 if (string_intervals (args[0]) || arg_intervals)
5e6d5493
GM
4266 {
4267 Lisp_Object len, new_len, props;
4268 struct gcpro gcpro1;
34a7a267 4269
5e6d5493 4270 /* Add text properties from the format string. */
d5db4077 4271 len = make_number (SCHARS (args[0]));
5e6d5493
GM
4272 props = text_property_list (args[0], make_number (0), len, Qnil);
4273 GCPRO1 (props);
34a7a267 4274
5e6d5493
GM
4275 if (CONSP (props))
4276 {
d311d28c
PE
4277 ptrdiff_t bytepos = 0, position = 0, translated = 0;
4278 ptrdiff_t argn = 1;
d147ee84
RS
4279 Lisp_Object list;
4280
4281 /* Adjust the bounds of each text property
4282 to the proper start and end in the output string. */
d147ee84 4283
15fad037
KS
4284 /* Put the positions in PROPS in increasing order, so that
4285 we can do (effectively) one scan through the position
4286 space of the format string. */
4287 props = Fnreverse (props);
4288
4289 /* BYTEPOS is the byte position in the format string,
d147ee84
RS
4290 POSITION is the untranslated char position in it,
4291 TRANSLATED is the translated char position in BUF,
4292 and ARGN is the number of the next arg we will come to. */
4293 for (list = props; CONSP (list); list = XCDR (list))
4294 {
f3ce1df8 4295 Lisp_Object item;
d311d28c 4296 ptrdiff_t pos;
d147ee84
RS
4297
4298 item = XCAR (list);
4299
4300 /* First adjust the property start position. */
4301 pos = XINT (XCAR (item));
4302
4303 /* Advance BYTEPOS, POSITION, TRANSLATED and ARGN
4304 up to this position. */
4305 for (; position < pos; bytepos++)
4306 {
4307 if (! discarded[bytepos])
4308 position++, translated++;
4309 else if (discarded[bytepos] == 1)
4310 {
4311 position++;
4312 if (translated == info[argn].start)
4313 {
4314 translated += info[argn].end - info[argn].start;
4315 argn++;
4316 }
4317 }
4318 }
4319
4320 XSETCAR (item, make_number (translated));
4321
4322 /* Likewise adjust the property end position. */
4323 pos = XINT (XCAR (XCDR (item)));
4324
d40ec4a0 4325 for (; position < pos; bytepos++)
d147ee84
RS
4326 {
4327 if (! discarded[bytepos])
4328 position++, translated++;
4329 else if (discarded[bytepos] == 1)
4330 {
4331 position++;
4332 if (translated == info[argn].start)
4333 {
4334 translated += info[argn].end - info[argn].start;
4335 argn++;
4336 }
4337 }
4338 }
4339
4340 XSETCAR (XCDR (item), make_number (translated));
4341 }
4342
5e6d5493
GM
4343 add_text_properties_from_list (val, props, make_number (0));
4344 }
4345
4346 /* Add text properties from arguments. */
d147ee84 4347 if (arg_intervals)
5e6d5493 4348 for (n = 1; n < nargs; ++n)
d147ee84 4349 if (info[n].intervals)
5e6d5493 4350 {
d5db4077 4351 len = make_number (SCHARS (args[n]));
5e6d5493
GM
4352 new_len = make_number (info[n].end - info[n].start);
4353 props = text_property_list (args[n], make_number (0), len, Qnil);
e398c61c
CY
4354 props = extend_property_ranges (props, new_len);
4355 /* If successive arguments have properties, be sure that
be17069b
KH
4356 the value of `composition' property be the copy. */
4357 if (n > 1 && info[n - 1].end)
4358 make_composition_value_copy (props);
5e6d5493
GM
4359 add_text_properties_from_list (val, props,
4360 make_number (info[n].start));
4361 }
4362
4363 UNGCPRO;
4364 }
4365
8d6179dc 4366 return val;
35692fe0
JB
4367}
4368
35692fe0 4369Lisp_Object
a8fe7202 4370format2 (const char *string1, Lisp_Object arg0, Lisp_Object arg1)
d40dc1d0
RS
4371{
4372 Lisp_Object args[3];
d40dc1d0
RS
4373 args[0] = build_string (string1);
4374 args[1] = arg0;
4375 args[2] = arg1;
4376 return Fformat (3, args);
35692fe0
JB
4377}
4378\f
4379DEFUN ("char-equal", Fchar_equal, Schar_equal, 2, 2, 0,
7ee72033 4380 doc: /* Return t if two characters match, optionally ignoring case.
a1f17501 4381Both arguments must be characters (i.e. integers).
7ee72033 4382Case is ignored if `case-fold-search' is non-nil in the current buffer. */)
5842a27b 4383 (register Lisp_Object c1, Lisp_Object c2)
35692fe0 4384{
1b5d98bb 4385 int i1, i2;
253c3c82 4386 /* Check they're chars, not just integers, otherwise we could get array
5da9919f 4387 bounds violations in downcase. */
253c3c82
SM
4388 CHECK_CHARACTER (c1);
4389 CHECK_CHARACTER (c2);
35692fe0 4390
1b5d98bb 4391 if (XINT (c1) == XINT (c2))
35692fe0 4392 return Qt;
4b4deea2 4393 if (NILP (BVAR (current_buffer, case_fold_search)))
1b5d98bb
RS
4394 return Qnil;
4395
e5112ecb 4396 i1 = XFASTINT (c1);
4b4deea2 4397 if (NILP (BVAR (current_buffer, enable_multibyte_characters))
e5112ecb
KH
4398 && ! ASCII_CHAR_P (i1))
4399 {
4400 MAKE_CHAR_MULTIBYTE (i1);
4401 }
4402 i2 = XFASTINT (c2);
4b4deea2 4403 if (NILP (BVAR (current_buffer, enable_multibyte_characters))
e5112ecb
KH
4404 && ! ASCII_CHAR_P (i2))
4405 {
4406 MAKE_CHAR_MULTIBYTE (i2);
4407 }
0da09c43 4408 return (downcase (i1) == downcase (i2) ? Qt : Qnil);
35692fe0 4409}
b229b8d1
RS
4410\f
4411/* Transpose the markers in two regions of the current buffer, and
4412 adjust the ones between them if necessary (i.e.: if the regions
4413 differ in size).
4414
ec1c14f6
RS
4415 START1, END1 are the character positions of the first region.
4416 START1_BYTE, END1_BYTE are the byte positions.
4417 START2, END2 are the character positions of the second region.
4418 START2_BYTE, END2_BYTE are the byte positions.
4419
b229b8d1
RS
4420 Traverses the entire marker list of the buffer to do so, adding an
4421 appropriate amount to some, subtracting from some, and leaving the
4422 rest untouched. Most of this is copied from adjust_markers in insdel.c.
34a7a267 4423
ec1c14f6 4424 It's the caller's job to ensure that START1 <= END1 <= START2 <= END2. */
b229b8d1 4425
acb7cc89 4426static void
d311d28c
PE
4427transpose_markers (ptrdiff_t start1, ptrdiff_t end1,
4428 ptrdiff_t start2, ptrdiff_t end2,
4429 ptrdiff_t start1_byte, ptrdiff_t end1_byte,
4430 ptrdiff_t start2_byte, ptrdiff_t end2_byte)
b229b8d1 4431{
d311d28c 4432 register ptrdiff_t amt1, amt1_byte, amt2, amt2_byte, diff, diff_byte, mpos;
12038f9f 4433 register struct Lisp_Marker *marker;
b229b8d1 4434
03240d11 4435 /* Update point as if it were a marker. */
8de1d5f0
KH
4436 if (PT < start1)
4437 ;
4438 else if (PT < end1)
ec1c14f6
RS
4439 TEMP_SET_PT_BOTH (PT + (end2 - end1),
4440 PT_BYTE + (end2_byte - end1_byte));
8de1d5f0 4441 else if (PT < start2)
ec1c14f6
RS
4442 TEMP_SET_PT_BOTH (PT + (end2 - start2) - (end1 - start1),
4443 (PT_BYTE + (end2_byte - start2_byte)
4444 - (end1_byte - start1_byte)));
8de1d5f0 4445 else if (PT < end2)
ec1c14f6
RS
4446 TEMP_SET_PT_BOTH (PT - (start2 - start1),
4447 PT_BYTE - (start2_byte - start1_byte));
8de1d5f0 4448
03240d11
KH
4449 /* We used to adjust the endpoints here to account for the gap, but that
4450 isn't good enough. Even if we assume the caller has tried to move the
4451 gap out of our way, it might still be at start1 exactly, for example;
4452 and that places it `inside' the interval, for our purposes. The amount
4453 of adjustment is nontrivial if there's a `denormalized' marker whose
4454 position is between GPT and GPT + GAP_SIZE, so it's simpler to leave
4455 the dirty work to Fmarker_position, below. */
b229b8d1
RS
4456
4457 /* The difference between the region's lengths */
4458 diff = (end2 - start2) - (end1 - start1);
ec1c14f6 4459 diff_byte = (end2_byte - start2_byte) - (end1_byte - start1_byte);
34a7a267 4460
b229b8d1 4461 /* For shifting each marker in a region by the length of the other
ec1c14f6 4462 region plus the distance between the regions. */
b229b8d1
RS
4463 amt1 = (end2 - start2) + (start2 - end1);
4464 amt2 = (end1 - start1) + (start2 - end1);
ec1c14f6
RS
4465 amt1_byte = (end2_byte - start2_byte) + (start2_byte - end1_byte);
4466 amt2_byte = (end1_byte - start1_byte) + (start2_byte - end1_byte);
b229b8d1 4467
12038f9f 4468 for (marker = BUF_MARKERS (current_buffer); marker; marker = marker->next)
b229b8d1 4469 {
12038f9f 4470 mpos = marker->bytepos;
ec1c14f6
RS
4471 if (mpos >= start1_byte && mpos < end2_byte)
4472 {
4473 if (mpos < end1_byte)
4474 mpos += amt1_byte;
4475 else if (mpos < start2_byte)
4476 mpos += diff_byte;
4477 else
4478 mpos -= amt2_byte;
12038f9f 4479 marker->bytepos = mpos;
ec1c14f6 4480 }
12038f9f 4481 mpos = marker->charpos;
03240d11
KH
4482 if (mpos >= start1 && mpos < end2)
4483 {
4484 if (mpos < end1)
4485 mpos += amt1;
4486 else if (mpos < start2)
4487 mpos += diff;
4488 else
4489 mpos -= amt2;
03240d11 4490 }
12038f9f 4491 marker->charpos = mpos;
b229b8d1
RS
4492 }
4493}
4494
4495DEFUN ("transpose-regions", Ftranspose_regions, Stranspose_regions, 4, 5, 0,
412f1fab 4496 doc: /* Transpose region STARTR1 to ENDR1 with STARTR2 to ENDR2.
27a69fd9 4497The regions should not be overlapping, because the size of the buffer is
a1f17501
PJ
4498never changed in a transposition.
4499
412f1fab 4500Optional fifth arg LEAVE-MARKERS, if non-nil, means don't update
a1f17501
PJ
4501any markers that happen to be located in the regions.
4502
7ee72033 4503Transposing beyond buffer boundaries is an error. */)
5842a27b 4504 (Lisp_Object startr1, Lisp_Object endr1, Lisp_Object startr2, Lisp_Object endr2, Lisp_Object leave_markers)
b229b8d1 4505{
d311d28c 4506 register ptrdiff_t start1, end1, start2, end2;
6020559a 4507 ptrdiff_t start1_byte, start2_byte, len1_byte, len2_byte, end2_byte;
d311d28c 4508 ptrdiff_t gap, len1, len_mid, len2;
3c6bc7d0 4509 unsigned char *start1_addr, *start2_addr, *temp;
b229b8d1 4510
6cd0f478 4511 INTERVAL cur_intv, tmp_interval1, tmp_interval_mid, tmp_interval2, tmp_interval3;
916480c4
CY
4512 Lisp_Object buf;
4513
4514 XSETBUFFER (buf, current_buffer);
0c94c8d6 4515 cur_intv = buffer_intervals (current_buffer);
b229b8d1
RS
4516
4517 validate_region (&startr1, &endr1);
4518 validate_region (&startr2, &endr2);
4519
4520 start1 = XFASTINT (startr1);
4521 end1 = XFASTINT (endr1);
4522 start2 = XFASTINT (startr2);
4523 end2 = XFASTINT (endr2);
4524 gap = GPT;
4525
4526 /* Swap the regions if they're reversed. */
4527 if (start2 < end1)
4528 {
d311d28c 4529 register ptrdiff_t glumph = start1;
b229b8d1
RS
4530 start1 = start2;
4531 start2 = glumph;
4532 glumph = end1;
4533 end1 = end2;
4534 end2 = glumph;
4535 }
4536
b229b8d1
RS
4537 len1 = end1 - start1;
4538 len2 = end2 - start2;
4539
4540 if (start2 < end1)
dc3620af 4541 error ("Transposed regions overlap");
0f4aebc0
LL
4542 /* Nothing to change for adjacent regions with one being empty */
4543 else if ((start1 == end1 || start2 == end2) && end1 == start2)
4544 return Qnil;
b229b8d1
RS
4545
4546 /* The possibilities are:
4547 1. Adjacent (contiguous) regions, or separate but equal regions
4548 (no, really equal, in this case!), or
4549 2. Separate regions of unequal size.
34a7a267 4550
b229b8d1
RS
4551 The worst case is usually No. 2. It means that (aside from
4552 potential need for getting the gap out of the way), there also
4553 needs to be a shifting of the text between the two regions. So
4554 if they are spread far apart, we are that much slower... sigh. */
4555
4556 /* It must be pointed out that the really studly thing to do would
4557 be not to move the gap at all, but to leave it in place and work
4558 around it if necessary. This would be extremely efficient,
4559 especially considering that people are likely to do
4560 transpositions near where they are working interactively, which
4561 is exactly where the gap would be found. However, such code
4562 would be much harder to write and to read. So, if you are
4563 reading this comment and are feeling squirrely, by all means have
4564 a go! I just didn't feel like doing it, so I will simply move
4565 the gap the minimum distance to get it out of the way, and then
4566 deal with an unbroken array. */
3c6bc7d0 4567
6020559a
DA
4568 start1_byte = CHAR_TO_BYTE (start1);
4569 end2_byte = CHAR_TO_BYTE (end2);
4570
3c6bc7d0
RS
4571 /* Make sure the gap won't interfere, by moving it out of the text
4572 we will operate on. */
4573 if (start1 < gap && gap < end2)
4574 {
4575 if (gap - start1 < end2 - gap)
6020559a 4576 move_gap_both (start1, start1_byte);
3c6bc7d0 4577 else
6020559a 4578 move_gap_both (end2, end2_byte);
3c6bc7d0 4579 }
ec1c14f6 4580
ec1c14f6
RS
4581 start2_byte = CHAR_TO_BYTE (start2);
4582 len1_byte = CHAR_TO_BYTE (end1) - start1_byte;
6020559a 4583 len2_byte = end2_byte - start2_byte;
dc3620af 4584
9a599130 4585#ifdef BYTE_COMBINING_DEBUG
dc3620af
RS
4586 if (end1 == start2)
4587 {
9a599130
KH
4588 if (count_combining_before (BYTE_POS_ADDR (start2_byte),
4589 len2_byte, start1, start1_byte)
4590 || count_combining_before (BYTE_POS_ADDR (start1_byte),
4591 len1_byte, end2, start2_byte + len2_byte)
4592 || count_combining_after (BYTE_POS_ADDR (start1_byte),
4593 len1_byte, end2, start2_byte + len2_byte))
1088b922 4594 emacs_abort ();
dc3620af
RS
4595 }
4596 else
4597 {
9a599130
KH
4598 if (count_combining_before (BYTE_POS_ADDR (start2_byte),
4599 len2_byte, start1, start1_byte)
4600 || count_combining_before (BYTE_POS_ADDR (start1_byte),
4601 len1_byte, start2, start2_byte)
4602 || count_combining_after (BYTE_POS_ADDR (start2_byte),
4603 len2_byte, end1, start1_byte + len1_byte)
4604 || count_combining_after (BYTE_POS_ADDR (start1_byte),
4605 len1_byte, end2, start2_byte + len2_byte))
1088b922 4606 emacs_abort ();
dc3620af 4607 }
9a599130 4608#endif
dc3620af 4609
b229b8d1
RS
4610 /* Hmmm... how about checking to see if the gap is large
4611 enough to use as the temporary storage? That would avoid an
4612 allocation... interesting. Later, don't fool with it now. */
4613
4614 /* Working without memmove, for portability (sigh), so must be
4615 careful of overlapping subsections of the array... */
4616
4617 if (end1 == start2) /* adjacent regions */
4618 {
20edc1c9 4619 modify_region_1 (start1, end2, false);
b229b8d1
RS
4620 record_change (start1, len1 + len2);
4621
b229b8d1
RS
4622 tmp_interval1 = copy_intervals (cur_intv, start1, len1);
4623 tmp_interval2 = copy_intervals (cur_intv, start2, len2);
916480c4
CY
4624 /* Don't use Fset_text_properties: that can cause GC, which can
4625 clobber objects stored in the tmp_intervals. */
6cd0f478 4626 tmp_interval3 = validate_interval_range (buf, &startr1, &endr2, 0);
77c7bcb1 4627 if (tmp_interval3)
6cd0f478 4628 set_text_properties_1 (startr1, endr2, Qnil, buf, tmp_interval3);
b229b8d1
RS
4629
4630 /* First region smaller than second. */
ec1c14f6 4631 if (len1_byte < len2_byte)
b229b8d1 4632 {
7e2c051b
KS
4633 USE_SAFE_ALLOCA;
4634
98c6f1e3 4635 temp = SAFE_ALLOCA (len2_byte);
03240d11
KH
4636
4637 /* Don't precompute these addresses. We have to compute them
4638 at the last minute, because the relocating allocator might
4639 have moved the buffer around during the xmalloc. */
23017390
KH
4640 start1_addr = BYTE_POS_ADDR (start1_byte);
4641 start2_addr = BYTE_POS_ADDR (start2_byte);
03240d11 4642
72af86bd
AS
4643 memcpy (temp, start2_addr, len2_byte);
4644 memcpy (start1_addr + len2_byte, start1_addr, len1_byte);
4645 memcpy (start1_addr, temp, len2_byte);
e65837df 4646 SAFE_FREE ();
b229b8d1
RS
4647 }
4648 else
4649 /* First region not smaller than second. */
4650 {
7e2c051b
KS
4651 USE_SAFE_ALLOCA;
4652
98c6f1e3 4653 temp = SAFE_ALLOCA (len1_byte);
23017390
KH
4654 start1_addr = BYTE_POS_ADDR (start1_byte);
4655 start2_addr = BYTE_POS_ADDR (start2_byte);
72af86bd
AS
4656 memcpy (temp, start1_addr, len1_byte);
4657 memcpy (start1_addr, start2_addr, len2_byte);
4658 memcpy (start1_addr + len2_byte, temp, len1_byte);
e65837df 4659 SAFE_FREE ();
b229b8d1 4660 }
b229b8d1
RS
4661 graft_intervals_into_buffer (tmp_interval1, start1 + len2,
4662 len1, current_buffer, 0);
4663 graft_intervals_into_buffer (tmp_interval2, start1,
4664 len2, current_buffer, 0);
d5c2c403
KH
4665 update_compositions (start1, start1 + len2, CHECK_BORDER);
4666 update_compositions (start1 + len2, end2, CHECK_TAIL);
b229b8d1
RS
4667 }
4668 /* Non-adjacent regions, because end1 != start2, bleagh... */
4669 else
4670 {
ec1c14f6
RS
4671 len_mid = start2_byte - (start1_byte + len1_byte);
4672
4673 if (len1_byte == len2_byte)
b229b8d1
RS
4674 /* Regions are same size, though, how nice. */
4675 {
7e2c051b
KS
4676 USE_SAFE_ALLOCA;
4677
20edc1c9
DA
4678 modify_region_1 (start1, end1, false);
4679 modify_region_1 (start2, end2, false);
b229b8d1
RS
4680 record_change (start1, len1);
4681 record_change (start2, len2);
b229b8d1
RS
4682 tmp_interval1 = copy_intervals (cur_intv, start1, len1);
4683 tmp_interval2 = copy_intervals (cur_intv, start2, len2);
6cd0f478
CY
4684
4685 tmp_interval3 = validate_interval_range (buf, &startr1, &endr1, 0);
77c7bcb1 4686 if (tmp_interval3)
6cd0f478
CY
4687 set_text_properties_1 (startr1, endr1, Qnil, buf, tmp_interval3);
4688
4689 tmp_interval3 = validate_interval_range (buf, &startr2, &endr2, 0);
77c7bcb1 4690 if (tmp_interval3)
6cd0f478 4691 set_text_properties_1 (startr2, endr2, Qnil, buf, tmp_interval3);
b229b8d1 4692
98c6f1e3 4693 temp = SAFE_ALLOCA (len1_byte);
23017390
KH
4694 start1_addr = BYTE_POS_ADDR (start1_byte);
4695 start2_addr = BYTE_POS_ADDR (start2_byte);
72af86bd
AS
4696 memcpy (temp, start1_addr, len1_byte);
4697 memcpy (start1_addr, start2_addr, len2_byte);
4698 memcpy (start2_addr, temp, len1_byte);
e65837df 4699 SAFE_FREE ();
7e2c051b 4700
b229b8d1
RS
4701 graft_intervals_into_buffer (tmp_interval1, start2,
4702 len1, current_buffer, 0);
4703 graft_intervals_into_buffer (tmp_interval2, start1,
4704 len2, current_buffer, 0);
b229b8d1
RS
4705 }
4706
ec1c14f6 4707 else if (len1_byte < len2_byte) /* Second region larger than first */
b229b8d1
RS
4708 /* Non-adjacent & unequal size, area between must also be shifted. */
4709 {
7e2c051b
KS
4710 USE_SAFE_ALLOCA;
4711
20edc1c9 4712 modify_region_1 (start1, end2, false);
b229b8d1 4713 record_change (start1, (end2 - start1));
b229b8d1
RS
4714 tmp_interval1 = copy_intervals (cur_intv, start1, len1);
4715 tmp_interval_mid = copy_intervals (cur_intv, end1, len_mid);
4716 tmp_interval2 = copy_intervals (cur_intv, start2, len2);
6cd0f478
CY
4717
4718 tmp_interval3 = validate_interval_range (buf, &startr1, &endr2, 0);
77c7bcb1 4719 if (tmp_interval3)
6cd0f478 4720 set_text_properties_1 (startr1, endr2, Qnil, buf, tmp_interval3);
b229b8d1 4721
3c6bc7d0 4722 /* holds region 2 */
98c6f1e3 4723 temp = SAFE_ALLOCA (len2_byte);
23017390
KH
4724 start1_addr = BYTE_POS_ADDR (start1_byte);
4725 start2_addr = BYTE_POS_ADDR (start2_byte);
72af86bd
AS
4726 memcpy (temp, start2_addr, len2_byte);
4727 memcpy (start1_addr + len_mid + len2_byte, start1_addr, len1_byte);
4728 memmove (start1_addr + len2_byte, start1_addr + len1_byte, len_mid);
4729 memcpy (start1_addr, temp, len2_byte);
e65837df 4730 SAFE_FREE ();
7e2c051b 4731
b229b8d1
RS
4732 graft_intervals_into_buffer (tmp_interval1, end2 - len1,
4733 len1, current_buffer, 0);
4734 graft_intervals_into_buffer (tmp_interval_mid, start1 + len2,
4735 len_mid, current_buffer, 0);
4736 graft_intervals_into_buffer (tmp_interval2, start1,
4737 len2, current_buffer, 0);
b229b8d1
RS
4738 }
4739 else
4740 /* Second region smaller than first. */
4741 {
7e2c051b
KS
4742 USE_SAFE_ALLOCA;
4743
b229b8d1 4744 record_change (start1, (end2 - start1));
20edc1c9 4745 modify_region_1 (start1, end2, false);
b229b8d1 4746
b229b8d1
RS
4747 tmp_interval1 = copy_intervals (cur_intv, start1, len1);
4748 tmp_interval_mid = copy_intervals (cur_intv, end1, len_mid);
4749 tmp_interval2 = copy_intervals (cur_intv, start2, len2);
6cd0f478
CY
4750
4751 tmp_interval3 = validate_interval_range (buf, &startr1, &endr2, 0);
77c7bcb1 4752 if (tmp_interval3)
6cd0f478 4753 set_text_properties_1 (startr1, endr2, Qnil, buf, tmp_interval3);
b229b8d1 4754
3c6bc7d0 4755 /* holds region 1 */
98c6f1e3 4756 temp = SAFE_ALLOCA (len1_byte);
23017390
KH
4757 start1_addr = BYTE_POS_ADDR (start1_byte);
4758 start2_addr = BYTE_POS_ADDR (start2_byte);
72af86bd
AS
4759 memcpy (temp, start1_addr, len1_byte);
4760 memcpy (start1_addr, start2_addr, len2_byte);
4761 memcpy (start1_addr + len2_byte, start1_addr + len1_byte, len_mid);
4762 memcpy (start1_addr + len2_byte + len_mid, temp, len1_byte);
e65837df 4763 SAFE_FREE ();
7e2c051b 4764
b229b8d1
RS
4765 graft_intervals_into_buffer (tmp_interval1, end2 - len1,
4766 len1, current_buffer, 0);
4767 graft_intervals_into_buffer (tmp_interval_mid, start1 + len2,
4768 len_mid, current_buffer, 0);
4769 graft_intervals_into_buffer (tmp_interval2, start1,
4770 len2, current_buffer, 0);
b229b8d1 4771 }
d5c2c403
KH
4772
4773 update_compositions (start1, start1 + len2, CHECK_BORDER);
4774 update_compositions (end2 - len1, end2, CHECK_BORDER);
b229b8d1
RS
4775 }
4776
ec1c14f6
RS
4777 /* When doing multiple transpositions, it might be nice
4778 to optimize this. Perhaps the markers in any one buffer
4779 should be organized in some sorted data tree. */
b229b8d1 4780 if (NILP (leave_markers))
8de1d5f0 4781 {
ec1c14f6
RS
4782 transpose_markers (start1, end1, start2, end2,
4783 start1_byte, start1_byte + len1_byte,
4784 start2_byte, start2_byte + len2_byte);
6b61353c 4785 fix_start_end_in_overlays (start1, end2);
8de1d5f0 4786 }
b229b8d1 4787
c10b2810 4788 signal_after_change (start1, end2 - start1, end2 - start1);
b229b8d1
RS
4789 return Qnil;
4790}
35692fe0 4791
35692fe0
JB
4792\f
4793void
971de7fb 4794syms_of_editfns (void)
35692fe0 4795{
cd3520a4 4796 DEFSYM (Qbuffer_access_fontify_functions, "buffer-access-fontify-functions");
260e2e2a 4797
29208e82 4798 DEFVAR_LISP ("inhibit-field-text-motion", Vinhibit_field_text_motion,
7dcece14 4799 doc: /* Non-nil means text motion commands don't notice fields. */);
9a74e7e5
GM
4800 Vinhibit_field_text_motion = Qnil;
4801
260e2e2a 4802 DEFVAR_LISP ("buffer-access-fontify-functions",
29208e82 4803 Vbuffer_access_fontify_functions,
7ee72033 4804 doc: /* List of functions called by `buffer-substring' to fontify if necessary.
a1f17501
PJ
4805Each function is called with two arguments which specify the range
4806of the buffer being accessed. */);
260e2e2a
KH
4807 Vbuffer_access_fontify_functions = Qnil;
4808
af209db8
RS
4809 {
4810 Lisp_Object obuf;
af209db8
RS
4811 obuf = Fcurrent_buffer ();
4812 /* Do this here, because init_buffer_once is too early--it won't work. */
4813 Fset_buffer (Vprin1_to_string_buffer);
4814 /* Make sure buffer-access-fontify-functions is nil in this buffer. */
d67b4f80 4815 Fset (Fmake_local_variable (intern_c_string ("buffer-access-fontify-functions")),
af209db8
RS
4816 Qnil);
4817 Fset_buffer (obuf);
4818 }
4819
0b6fd023 4820 DEFVAR_LISP ("buffer-access-fontified-property",
29208e82 4821 Vbuffer_access_fontified_property,
7ee72033 4822 doc: /* Property which (if non-nil) indicates text has been fontified.
a1f17501
PJ
4823`buffer-substring' need not call the `buffer-access-fontify-functions'
4824functions if all the text being accessed has this property. */);
260e2e2a
KH
4825 Vbuffer_access_fontified_property = Qnil;
4826
29208e82 4827 DEFVAR_LISP ("system-name", Vsystem_name,
1a7e0117 4828 doc: /* The host name of the machine Emacs is running on. */);
34a7a267 4829
29208e82 4830 DEFVAR_LISP ("user-full-name", Vuser_full_name,
7ee72033 4831 doc: /* The full name of the user logged in. */);
f43754f6 4832
29208e82 4833 DEFVAR_LISP ("user-login-name", Vuser_login_name,
7ee72033 4834 doc: /* The user's name, taken from environment variables if possible. */);
f43754f6 4835
29208e82 4836 DEFVAR_LISP ("user-real-login-name", Vuser_real_login_name,
7ee72033 4837 doc: /* The user's name, based upon the real uid only. */);
35692fe0 4838
29208e82 4839 DEFVAR_LISP ("operating-system-release", Voperating_system_release,
3bb9abc8
ST
4840 doc: /* The release of the operating system Emacs is running on. */);
4841
0963334d 4842 defsubr (&Spropertize);
35692fe0
JB
4843 defsubr (&Schar_equal);
4844 defsubr (&Sgoto_char);
4845 defsubr (&Sstring_to_char);
4846 defsubr (&Schar_to_string);
c3bb441d 4847 defsubr (&Sbyte_to_string);
35692fe0 4848 defsubr (&Sbuffer_substring);
260e2e2a 4849 defsubr (&Sbuffer_substring_no_properties);
35692fe0
JB
4850 defsubr (&Sbuffer_string);
4851
4852 defsubr (&Spoint_marker);
4853 defsubr (&Smark_marker);
4854 defsubr (&Spoint);
4855 defsubr (&Sregion_beginning);
4856 defsubr (&Sregion_end);
7df74da6 4857
cd3520a4
JB
4858 DEFSYM (Qfield, "field");
4859 DEFSYM (Qboundary, "boundary");
0daf6e8d
GM
4860 defsubr (&Sfield_beginning);
4861 defsubr (&Sfield_end);
4862 defsubr (&Sfield_string);
4863 defsubr (&Sfield_string_no_properties);
8bf64fe8 4864 defsubr (&Sdelete_field);
0daf6e8d
GM
4865 defsubr (&Sconstrain_to_field);
4866
7df74da6
RS
4867 defsubr (&Sline_beginning_position);
4868 defsubr (&Sline_end_position);
4869
35692fe0 4870 defsubr (&Ssave_excursion);
4bc8c7d2 4871 defsubr (&Ssave_current_buffer);
35692fe0 4872
eefd7278 4873 defsubr (&Sbuffer_size);
35692fe0
JB
4874 defsubr (&Spoint_max);
4875 defsubr (&Spoint_min);
4876 defsubr (&Spoint_min_marker);
4877 defsubr (&Spoint_max_marker);
c86212b9
RS
4878 defsubr (&Sgap_position);
4879 defsubr (&Sgap_size);
7df74da6 4880 defsubr (&Sposition_bytes);
3ab0732d 4881 defsubr (&Sbyte_to_position);
c9ed721d 4882
35692fe0
JB
4883 defsubr (&Sbobp);
4884 defsubr (&Seobp);
4885 defsubr (&Sbolp);
4886 defsubr (&Seolp);
850a8179
JB
4887 defsubr (&Sfollowing_char);
4888 defsubr (&Sprevious_char);
35692fe0 4889 defsubr (&Schar_after);
fb8106e8 4890 defsubr (&Schar_before);
35692fe0
JB
4891 defsubr (&Sinsert);
4892 defsubr (&Sinsert_before_markers);
be91036a
RS
4893 defsubr (&Sinsert_and_inherit);
4894 defsubr (&Sinsert_and_inherit_before_markers);
35692fe0 4895 defsubr (&Sinsert_char);
48ef988f 4896 defsubr (&Sinsert_byte);
35692fe0
JB
4897
4898 defsubr (&Suser_login_name);
4899 defsubr (&Suser_real_login_name);
4900 defsubr (&Suser_uid);
4901 defsubr (&Suser_real_uid);
97976f9f
PE
4902 defsubr (&Sgroup_gid);
4903 defsubr (&Sgroup_real_gid);
35692fe0 4904 defsubr (&Suser_full_name);
7fd233b3 4905 defsubr (&Semacs_pid);
d940e0e4 4906 defsubr (&Scurrent_time);
4211ee7d 4907 defsubr (&Sget_internal_run_time);
a82d387c 4908 defsubr (&Sformat_time_string);
34a7a267 4909 defsubr (&Sfloat_time);
4691c06d 4910 defsubr (&Sdecode_time);
cce7b8a0 4911 defsubr (&Sencode_time);
35692fe0 4912 defsubr (&Scurrent_time_string);
c2662aea 4913 defsubr (&Scurrent_time_zone);
143cb9a9 4914 defsubr (&Sset_time_zone_rule);
35692fe0 4915 defsubr (&Ssystem_name);
35692fe0 4916 defsubr (&Smessage);
cacc3e2c
RS
4917 defsubr (&Smessage_box);
4918 defsubr (&Smessage_or_box);
b14dda8a 4919 defsubr (&Scurrent_message);
35692fe0 4920 defsubr (&Sformat);
35692fe0
JB
4921
4922 defsubr (&Sinsert_buffer_substring);
e9cf2084 4923 defsubr (&Scompare_buffer_substrings);
35692fe0 4924 defsubr (&Ssubst_char_in_region);
8583605b 4925 defsubr (&Stranslate_region_internal);
35692fe0 4926 defsubr (&Sdelete_region);
7dae4502 4927 defsubr (&Sdelete_and_extract_region);
35692fe0
JB
4928 defsubr (&Swiden);
4929 defsubr (&Snarrow_to_region);
4930 defsubr (&Ssave_restriction);
b229b8d1 4931 defsubr (&Stranspose_regions);
35692fe0 4932}