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