]> code.delx.au - gnu-emacs/blob - src/lread.c
(server-visit-files): Bind `minibuffer-auto-raise' to the value of
[gnu-emacs] / src / lread.c
1 /* Lisp parsing and input streams.
2 Copyright (C) 1985, 1986, 1987, 1988, 1989, 1993, 1994, 1995,
3 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
4 2005, 2006 Free Software Foundation, Inc.
5
6 This file is part of GNU Emacs.
7
8 GNU Emacs is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
11 any later version.
12
13 GNU Emacs is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GNU Emacs; see the file COPYING. If not, write to
20 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
21 Boston, MA 02110-1301, USA. */
22
23
24 #include <config.h>
25 #include <stdio.h>
26 #include <sys/types.h>
27 #include <sys/stat.h>
28 #include <sys/file.h>
29 #include <errno.h>
30 #include "lisp.h"
31 #include "intervals.h"
32 #include "buffer.h"
33 #include "charset.h"
34 #include <epaths.h>
35 #include "commands.h"
36 #include "keyboard.h"
37 #include "termhooks.h"
38 #include "coding.h"
39
40 #ifdef lint
41 #include <sys/inode.h>
42 #endif /* lint */
43
44 #ifdef MSDOS
45 #if __DJGPP__ < 2
46 #include <unistd.h> /* to get X_OK */
47 #endif
48 #include "msdos.h"
49 #endif
50
51 #ifdef HAVE_UNISTD_H
52 #include <unistd.h>
53 #endif
54
55 #ifndef X_OK
56 #define X_OK 01
57 #endif
58
59 #include <math.h>
60
61 #ifdef HAVE_SETLOCALE
62 #include <locale.h>
63 #endif /* HAVE_SETLOCALE */
64
65 #ifdef HAVE_FCNTL_H
66 #include <fcntl.h>
67 #endif
68 #ifndef O_RDONLY
69 #define O_RDONLY 0
70 #endif
71
72 #ifdef HAVE_FSEEKO
73 #define file_offset off_t
74 #define file_tell ftello
75 #else
76 #define file_offset long
77 #define file_tell ftell
78 #endif
79
80 #ifndef USE_CRT_DLL
81 extern int errno;
82 #endif
83
84 Lisp_Object Qread_char, Qget_file_char, Qstandard_input, Qcurrent_load_list;
85 Lisp_Object Qvariable_documentation, Vvalues, Vstandard_input, Vafter_load_alist;
86 Lisp_Object Qascii_character, Qload, Qload_file_name;
87 Lisp_Object Qbackquote, Qcomma, Qcomma_at, Qcomma_dot, Qfunction;
88 Lisp_Object Qinhibit_file_name_operation;
89 Lisp_Object Qeval_buffer_list, Veval_buffer_list;
90 Lisp_Object Qfile_truename, Qdo_after_load_evaluation; /* ACM 2006/5/16 */
91
92 extern Lisp_Object Qevent_symbol_element_mask;
93 extern Lisp_Object Qfile_exists_p;
94
95 /* non-zero iff inside `load' */
96 int load_in_progress;
97
98 /* Directory in which the sources were found. */
99 Lisp_Object Vsource_directory;
100
101 /* Search path and suffixes for files to be loaded. */
102 Lisp_Object Vload_path, Vload_suffixes, Vload_file_rep_suffixes;
103
104 /* File name of user's init file. */
105 Lisp_Object Vuser_init_file;
106
107 /* This is the user-visible association list that maps features to
108 lists of defs in their load files. */
109 Lisp_Object Vload_history;
110
111 /* This is used to build the load history. */
112 Lisp_Object Vcurrent_load_list;
113
114 /* List of files that were preloaded. */
115 Lisp_Object Vpreloaded_file_list;
116
117 /* Name of file actually being read by `load'. */
118 Lisp_Object Vload_file_name;
119
120 /* Function to use for reading, in `load' and friends. */
121 Lisp_Object Vload_read_function;
122
123 /* The association list of objects read with the #n=object form.
124 Each member of the list has the form (n . object), and is used to
125 look up the object for the corresponding #n# construct.
126 It must be set to nil before all top-level calls to read0. */
127 Lisp_Object read_objects;
128
129 /* Nonzero means load should forcibly load all dynamic doc strings. */
130 static int load_force_doc_strings;
131
132 /* Nonzero means read should convert strings to unibyte. */
133 static int load_convert_to_unibyte;
134
135 /* Function to use for loading an Emacs Lisp source file (not
136 compiled) instead of readevalloop. */
137 Lisp_Object Vload_source_file_function;
138
139 /* List of all DEFVAR_BOOL variables. Used by the byte optimizer. */
140 Lisp_Object Vbyte_boolean_vars;
141
142 /* Whether or not to add a `read-positions' property to symbols
143 read. */
144 Lisp_Object Vread_with_symbol_positions;
145
146 /* List of (SYMBOL . POSITION) accumulated so far. */
147 Lisp_Object Vread_symbol_positions_list;
148
149 /* List of descriptors now open for Fload. */
150 static Lisp_Object load_descriptor_list;
151
152 /* File for get_file_char to read from. Use by load. */
153 static FILE *instream;
154
155 /* When nonzero, read conses in pure space */
156 static int read_pure;
157
158 /* For use within read-from-string (this reader is non-reentrant!!) */
159 static int read_from_string_index;
160 static int read_from_string_index_byte;
161 static int read_from_string_limit;
162
163 /* Number of bytes left to read in the buffer character
164 that `readchar' has already advanced over. */
165 static int readchar_backlog;
166 /* Number of characters read in the current call to Fread or
167 Fread_from_string. */
168 static int readchar_count;
169
170 /* This contains the last string skipped with #@. */
171 static char *saved_doc_string;
172 /* Length of buffer allocated in saved_doc_string. */
173 static int saved_doc_string_size;
174 /* Length of actual data in saved_doc_string. */
175 static int saved_doc_string_length;
176 /* This is the file position that string came from. */
177 static file_offset saved_doc_string_position;
178
179 /* This contains the previous string skipped with #@.
180 We copy it from saved_doc_string when a new string
181 is put in saved_doc_string. */
182 static char *prev_saved_doc_string;
183 /* Length of buffer allocated in prev_saved_doc_string. */
184 static int prev_saved_doc_string_size;
185 /* Length of actual data in prev_saved_doc_string. */
186 static int prev_saved_doc_string_length;
187 /* This is the file position that string came from. */
188 static file_offset prev_saved_doc_string_position;
189
190 /* Nonzero means inside a new-style backquote
191 with no surrounding parentheses.
192 Fread initializes this to zero, so we need not specbind it
193 or worry about what happens to it when there is an error. */
194 static int new_backquote_flag;
195
196 /* A list of file names for files being loaded in Fload. Used to
197 check for recursive loads. */
198
199 static Lisp_Object Vloads_in_progress;
200
201 /* Non-zero means load dangerous compiled Lisp files. */
202
203 int load_dangerous_libraries;
204
205 /* A regular expression used to detect files compiled with Emacs. */
206
207 static Lisp_Object Vbytecomp_version_regexp;
208
209 static void to_multibyte P_ ((char **, char **, int *));
210 static void readevalloop P_ ((Lisp_Object, FILE*, Lisp_Object,
211 Lisp_Object (*) (), int,
212 Lisp_Object, Lisp_Object,
213 Lisp_Object, Lisp_Object));
214 static Lisp_Object load_unwind P_ ((Lisp_Object));
215 static Lisp_Object load_descriptor_unwind P_ ((Lisp_Object));
216
217 static void invalid_syntax P_ ((const char *, int)) NO_RETURN;
218 static void end_of_file_error P_ (()) NO_RETURN;
219
220 \f
221 /* Handle unreading and rereading of characters.
222 Write READCHAR to read a character,
223 UNREAD(c) to unread c to be read again.
224
225 The READCHAR and UNREAD macros are meant for reading/unreading a
226 byte code; they do not handle multibyte characters. The caller
227 should manage them if necessary.
228
229 [ Actually that seems to be a lie; READCHAR will definitely read
230 multibyte characters from buffer sources, at least. Is the
231 comment just out of date?
232 -- Colin Walters <walters@gnu.org>, 22 May 2002 16:36:50 -0400 ]
233 */
234
235 #define READCHAR readchar (readcharfun)
236 #define UNREAD(c) unreadchar (readcharfun, c)
237
238 static int
239 readchar (readcharfun)
240 Lisp_Object readcharfun;
241 {
242 Lisp_Object tem;
243 register int c;
244
245 readchar_count++;
246
247 if (BUFFERP (readcharfun))
248 {
249 register struct buffer *inbuffer = XBUFFER (readcharfun);
250
251 int pt_byte = BUF_PT_BYTE (inbuffer);
252 int orig_pt_byte = pt_byte;
253
254 if (readchar_backlog > 0)
255 /* We get the address of the byte just passed,
256 which is the last byte of the character.
257 The other bytes in this character are consecutive with it,
258 because the gap can't be in the middle of a character. */
259 return *(BUF_BYTE_ADDRESS (inbuffer, BUF_PT_BYTE (inbuffer) - 1)
260 - --readchar_backlog);
261
262 if (pt_byte >= BUF_ZV_BYTE (inbuffer))
263 return -1;
264
265 readchar_backlog = -1;
266
267 if (! NILP (inbuffer->enable_multibyte_characters))
268 {
269 /* Fetch the character code from the buffer. */
270 unsigned char *p = BUF_BYTE_ADDRESS (inbuffer, pt_byte);
271 BUF_INC_POS (inbuffer, pt_byte);
272 c = STRING_CHAR (p, pt_byte - orig_pt_byte);
273 }
274 else
275 {
276 c = BUF_FETCH_BYTE (inbuffer, pt_byte);
277 pt_byte++;
278 }
279 SET_BUF_PT_BOTH (inbuffer, BUF_PT (inbuffer) + 1, pt_byte);
280
281 return c;
282 }
283 if (MARKERP (readcharfun))
284 {
285 register struct buffer *inbuffer = XMARKER (readcharfun)->buffer;
286
287 int bytepos = marker_byte_position (readcharfun);
288 int orig_bytepos = bytepos;
289
290 if (readchar_backlog > 0)
291 /* We get the address of the byte just passed,
292 which is the last byte of the character.
293 The other bytes in this character are consecutive with it,
294 because the gap can't be in the middle of a character. */
295 return *(BUF_BYTE_ADDRESS (inbuffer, XMARKER (readcharfun)->bytepos - 1)
296 - --readchar_backlog);
297
298 if (bytepos >= BUF_ZV_BYTE (inbuffer))
299 return -1;
300
301 readchar_backlog = -1;
302
303 if (! NILP (inbuffer->enable_multibyte_characters))
304 {
305 /* Fetch the character code from the buffer. */
306 unsigned char *p = BUF_BYTE_ADDRESS (inbuffer, bytepos);
307 BUF_INC_POS (inbuffer, bytepos);
308 c = STRING_CHAR (p, bytepos - orig_bytepos);
309 }
310 else
311 {
312 c = BUF_FETCH_BYTE (inbuffer, bytepos);
313 bytepos++;
314 }
315
316 XMARKER (readcharfun)->bytepos = bytepos;
317 XMARKER (readcharfun)->charpos++;
318
319 return c;
320 }
321
322 if (EQ (readcharfun, Qlambda))
323 return read_bytecode_char (0);
324
325 if (EQ (readcharfun, Qget_file_char))
326 {
327 c = getc (instream);
328 #ifdef EINTR
329 /* Interrupted reads have been observed while reading over the network */
330 while (c == EOF && ferror (instream) && errno == EINTR)
331 {
332 QUIT;
333 clearerr (instream);
334 c = getc (instream);
335 }
336 #endif
337 return c;
338 }
339
340 if (STRINGP (readcharfun))
341 {
342 if (read_from_string_index >= read_from_string_limit)
343 c = -1;
344 else
345 FETCH_STRING_CHAR_ADVANCE (c, readcharfun,
346 read_from_string_index,
347 read_from_string_index_byte);
348
349 return c;
350 }
351
352 tem = call0 (readcharfun);
353
354 if (NILP (tem))
355 return -1;
356 return XINT (tem);
357 }
358
359 /* Unread the character C in the way appropriate for the stream READCHARFUN.
360 If the stream is a user function, call it with the char as argument. */
361
362 static void
363 unreadchar (readcharfun, c)
364 Lisp_Object readcharfun;
365 int c;
366 {
367 readchar_count--;
368 if (c == -1)
369 /* Don't back up the pointer if we're unreading the end-of-input mark,
370 since readchar didn't advance it when we read it. */
371 ;
372 else if (BUFFERP (readcharfun))
373 {
374 struct buffer *b = XBUFFER (readcharfun);
375 int bytepos = BUF_PT_BYTE (b);
376
377 if (readchar_backlog >= 0)
378 readchar_backlog++;
379 else
380 {
381 BUF_PT (b)--;
382 if (! NILP (b->enable_multibyte_characters))
383 BUF_DEC_POS (b, bytepos);
384 else
385 bytepos--;
386
387 BUF_PT_BYTE (b) = bytepos;
388 }
389 }
390 else if (MARKERP (readcharfun))
391 {
392 struct buffer *b = XMARKER (readcharfun)->buffer;
393 int bytepos = XMARKER (readcharfun)->bytepos;
394
395 if (readchar_backlog >= 0)
396 readchar_backlog++;
397 else
398 {
399 XMARKER (readcharfun)->charpos--;
400 if (! NILP (b->enable_multibyte_characters))
401 BUF_DEC_POS (b, bytepos);
402 else
403 bytepos--;
404
405 XMARKER (readcharfun)->bytepos = bytepos;
406 }
407 }
408 else if (STRINGP (readcharfun))
409 {
410 read_from_string_index--;
411 read_from_string_index_byte
412 = string_char_to_byte (readcharfun, read_from_string_index);
413 }
414 else if (EQ (readcharfun, Qlambda))
415 read_bytecode_char (1);
416 else if (EQ (readcharfun, Qget_file_char))
417 ungetc (c, instream);
418 else
419 call1 (readcharfun, make_number (c));
420 }
421
422 static Lisp_Object read_internal_start P_ ((Lisp_Object, Lisp_Object,
423 Lisp_Object));
424 static Lisp_Object read0 P_ ((Lisp_Object));
425 static Lisp_Object read1 P_ ((Lisp_Object, int *, int));
426
427 static Lisp_Object read_list P_ ((int, Lisp_Object));
428 static Lisp_Object read_vector P_ ((Lisp_Object, int));
429 static int read_multibyte P_ ((int, Lisp_Object));
430
431 static Lisp_Object substitute_object_recurse P_ ((Lisp_Object, Lisp_Object,
432 Lisp_Object));
433 static void substitute_object_in_subtree P_ ((Lisp_Object,
434 Lisp_Object));
435 static void substitute_in_interval P_ ((INTERVAL, Lisp_Object));
436
437 \f
438 /* Get a character from the tty. */
439
440 extern Lisp_Object read_char ();
441
442 /* Read input events until we get one that's acceptable for our purposes.
443
444 If NO_SWITCH_FRAME is non-zero, switch-frame events are stashed
445 until we get a character we like, and then stuffed into
446 unread_switch_frame.
447
448 If ASCII_REQUIRED is non-zero, we check function key events to see
449 if the unmodified version of the symbol has a Qascii_character
450 property, and use that character, if present.
451
452 If ERROR_NONASCII is non-zero, we signal an error if the input we
453 get isn't an ASCII character with modifiers. If it's zero but
454 ASCII_REQUIRED is non-zero, we just re-read until we get an ASCII
455 character.
456
457 If INPUT_METHOD is nonzero, we invoke the current input method
458 if the character warrants that.
459
460 If SECONDS is a number, we wait that many seconds for input, and
461 return Qnil if no input arrives within that time. */
462
463 Lisp_Object
464 read_filtered_event (no_switch_frame, ascii_required, error_nonascii,
465 input_method, seconds)
466 int no_switch_frame, ascii_required, error_nonascii, input_method;
467 Lisp_Object seconds;
468 {
469 Lisp_Object val, delayed_switch_frame;
470 EMACS_TIME end_time;
471
472 #ifdef HAVE_WINDOW_SYSTEM
473 if (display_hourglass_p)
474 cancel_hourglass ();
475 #endif
476
477 delayed_switch_frame = Qnil;
478
479 /* Compute timeout. */
480 if (NUMBERP (seconds))
481 {
482 EMACS_TIME wait_time;
483 int sec, usec;
484 double duration = extract_float (seconds);
485
486 sec = (int) duration;
487 usec = (duration - sec) * 1000000;
488 EMACS_GET_TIME (end_time);
489 EMACS_SET_SECS_USECS (wait_time, sec, usec);
490 EMACS_ADD_TIME (end_time, end_time, wait_time);
491 }
492
493 /* Read until we get an acceptable event. */
494 retry:
495 val = read_char (0, 0, 0, (input_method ? Qnil : Qt), 0,
496 NUMBERP (seconds) ? &end_time : NULL);
497
498 if (BUFFERP (val))
499 goto retry;
500
501 /* switch-frame events are put off until after the next ASCII
502 character. This is better than signaling an error just because
503 the last characters were typed to a separate minibuffer frame,
504 for example. Eventually, some code which can deal with
505 switch-frame events will read it and process it. */
506 if (no_switch_frame
507 && EVENT_HAS_PARAMETERS (val)
508 && EQ (EVENT_HEAD_KIND (EVENT_HEAD (val)), Qswitch_frame))
509 {
510 delayed_switch_frame = val;
511 goto retry;
512 }
513
514 if (ascii_required && !(NUMBERP (seconds) && NILP (val)))
515 {
516 /* Convert certain symbols to their ASCII equivalents. */
517 if (SYMBOLP (val))
518 {
519 Lisp_Object tem, tem1;
520 tem = Fget (val, Qevent_symbol_element_mask);
521 if (!NILP (tem))
522 {
523 tem1 = Fget (Fcar (tem), Qascii_character);
524 /* Merge this symbol's modifier bits
525 with the ASCII equivalent of its basic code. */
526 if (!NILP (tem1))
527 XSETFASTINT (val, XINT (tem1) | XINT (Fcar (Fcdr (tem))));
528 }
529 }
530
531 /* If we don't have a character now, deal with it appropriately. */
532 if (!INTEGERP (val))
533 {
534 if (error_nonascii)
535 {
536 Vunread_command_events = Fcons (val, Qnil);
537 error ("Non-character input-event");
538 }
539 else
540 goto retry;
541 }
542 }
543
544 if (! NILP (delayed_switch_frame))
545 unread_switch_frame = delayed_switch_frame;
546
547 #if 0
548
549 #ifdef HAVE_WINDOW_SYSTEM
550 if (display_hourglass_p)
551 start_hourglass ();
552 #endif
553
554 #endif
555
556 return val;
557 }
558
559 DEFUN ("read-char", Fread_char, Sread_char, 0, 3, 0,
560 doc: /* Read a character from the command input (keyboard or macro).
561 It is returned as a number.
562 If the user generates an event which is not a character (i.e. a mouse
563 click or function key event), `read-char' signals an error. As an
564 exception, switch-frame events are put off until non-ASCII events can
565 be read.
566 If you want to read non-character events, or ignore them, call
567 `read-event' or `read-char-exclusive' instead.
568
569 If the optional argument PROMPT is non-nil, display that as a prompt.
570 If the optional argument INHERIT-INPUT-METHOD is non-nil and some
571 input method is turned on in the current buffer, that input method
572 is used for reading a character.
573 If the optional argument SECONDS is non-nil, it should be a number
574 specifying the maximum number of seconds to wait for input. If no
575 input arrives in that time, return nil. SECONDS may be a
576 floating-point value. */)
577 (prompt, inherit_input_method, seconds)
578 Lisp_Object prompt, inherit_input_method, seconds;
579 {
580 if (! NILP (prompt))
581 message_with_string ("%s", prompt, 0);
582 return read_filtered_event (1, 1, 1, ! NILP (inherit_input_method), seconds);
583 }
584
585 DEFUN ("read-event", Fread_event, Sread_event, 0, 3, 0,
586 doc: /* Read an event object from the input stream.
587 If the optional argument PROMPT is non-nil, display that as a prompt.
588 If the optional argument INHERIT-INPUT-METHOD is non-nil and some
589 input method is turned on in the current buffer, that input method
590 is used for reading a character.
591 If the optional argument SECONDS is non-nil, it should be a number
592 specifying the maximum number of seconds to wait for input. If no
593 input arrives in that time, return nil. SECONDS may be a
594 floating-point value. */)
595 (prompt, inherit_input_method, seconds)
596 Lisp_Object prompt, inherit_input_method, seconds;
597 {
598 if (! NILP (prompt))
599 message_with_string ("%s", prompt, 0);
600 return read_filtered_event (0, 0, 0, ! NILP (inherit_input_method), seconds);
601 }
602
603 DEFUN ("read-char-exclusive", Fread_char_exclusive, Sread_char_exclusive, 0, 3, 0,
604 doc: /* Read a character from the command input (keyboard or macro).
605 It is returned as a number. Non-character events are ignored.
606
607 If the optional argument PROMPT is non-nil, display that as a prompt.
608 If the optional argument INHERIT-INPUT-METHOD is non-nil and some
609 input method is turned on in the current buffer, that input method
610 is used for reading a character.
611 If the optional argument SECONDS is non-nil, it should be a number
612 specifying the maximum number of seconds to wait for input. If no
613 input arrives in that time, return nil. SECONDS may be a
614 floating-point value. */)
615 (prompt, inherit_input_method, seconds)
616 Lisp_Object prompt, inherit_input_method, seconds;
617 {
618 if (! NILP (prompt))
619 message_with_string ("%s", prompt, 0);
620 return read_filtered_event (1, 1, 0, ! NILP (inherit_input_method), seconds);
621 }
622
623 DEFUN ("get-file-char", Fget_file_char, Sget_file_char, 0, 0, 0,
624 doc: /* Don't use this yourself. */)
625 ()
626 {
627 register Lisp_Object val;
628 XSETINT (val, getc (instream));
629 return val;
630 }
631
632
633 \f
634 /* Value is non-zero if the file asswociated with file descriptor FD
635 is a compiled Lisp file that's safe to load. Only files compiled
636 with Emacs are safe to load. Files compiled with XEmacs can lead
637 to a crash in Fbyte_code because of an incompatible change in the
638 byte compiler. */
639
640 static int
641 safe_to_load_p (fd)
642 int fd;
643 {
644 char buf[512];
645 int nbytes, i;
646 int safe_p = 1;
647
648 /* Read the first few bytes from the file, and look for a line
649 specifying the byte compiler version used. */
650 nbytes = emacs_read (fd, buf, sizeof buf - 1);
651 if (nbytes > 0)
652 {
653 buf[nbytes] = '\0';
654
655 /* Skip to the next newline, skipping over the initial `ELC'
656 with NUL bytes following it. */
657 for (i = 0; i < nbytes && buf[i] != '\n'; ++i)
658 ;
659
660 if (i < nbytes
661 && fast_c_string_match_ignore_case (Vbytecomp_version_regexp,
662 buf + i) < 0)
663 safe_p = 0;
664 }
665
666 lseek (fd, 0, SEEK_SET);
667 return safe_p;
668 }
669
670
671 /* Callback for record_unwind_protect. Restore the old load list OLD,
672 after loading a file successfully. */
673
674 static Lisp_Object
675 record_load_unwind (old)
676 Lisp_Object old;
677 {
678 return Vloads_in_progress = old;
679 }
680
681 /* This handler function is used via internal_condition_case_1. */
682
683 static Lisp_Object
684 load_error_handler (data)
685 Lisp_Object data;
686 {
687 return Qnil;
688 }
689
690 DEFUN ("get-load-suffixes", Fget_load_suffixes, Sget_load_suffixes, 0, 0, 0,
691 doc: /* Return the suffixes that `load' should try if a suffix is \
692 required.
693 This uses the variables `load-suffixes' and `load-file-rep-suffixes'. */)
694 ()
695 {
696 Lisp_Object lst = Qnil, suffixes = Vload_suffixes, suffix, ext;
697 while (CONSP (suffixes))
698 {
699 Lisp_Object exts = Vload_file_rep_suffixes;
700 suffix = XCAR (suffixes);
701 suffixes = XCDR (suffixes);
702 while (CONSP (exts))
703 {
704 ext = XCAR (exts);
705 exts = XCDR (exts);
706 lst = Fcons (concat2 (suffix, ext), lst);
707 }
708 }
709 return Fnreverse (lst);
710 }
711
712 DEFUN ("load", Fload, Sload, 1, 5, 0,
713 doc: /* Execute a file of Lisp code named FILE.
714 First try FILE with `.elc' appended, then try with `.el',
715 then try FILE unmodified (the exact suffixes in the exact order are
716 determined by `load-suffixes'). Environment variable references in
717 FILE are replaced with their values by calling `substitute-in-file-name'.
718 This function searches the directories in `load-path'.
719
720 If optional second arg NOERROR is non-nil,
721 report no error if FILE doesn't exist.
722 Print messages at start and end of loading unless
723 optional third arg NOMESSAGE is non-nil.
724 If optional fourth arg NOSUFFIX is non-nil, don't try adding
725 suffixes `.elc' or `.el' to the specified name FILE.
726 If optional fifth arg MUST-SUFFIX is non-nil, insist on
727 the suffix `.elc' or `.el'; don't accept just FILE unless
728 it ends in one of those suffixes or includes a directory name.
729
730 If this function fails to find a file, it may look for different
731 representations of that file before trying another file.
732 It does so by adding the non-empty suffixes in `load-file-rep-suffixes'
733 to the file name. Emacs uses this feature mainly to find compressed
734 versions of files when Auto Compression mode is enabled.
735
736 The exact suffixes that this function tries out, in the exact order,
737 are given by the value of the variable `load-file-rep-suffixes' if
738 NOSUFFIX is non-nil and by the return value of the function
739 `get-load-suffixes' if MUST-SUFFIX is non-nil. If both NOSUFFIX and
740 MUST-SUFFIX are nil, this function first tries out the latter suffixes
741 and then the former.
742
743 Loading a file records its definitions, and its `provide' and
744 `require' calls, in an element of `load-history' whose
745 car is the file name loaded. See `load-history'.
746
747 Return t if the file exists and loads successfully. */)
748 (file, noerror, nomessage, nosuffix, must_suffix)
749 Lisp_Object file, noerror, nomessage, nosuffix, must_suffix;
750 {
751 register FILE *stream;
752 register int fd = -1;
753 int count = SPECPDL_INDEX ();
754 Lisp_Object temp;
755 struct gcpro gcpro1, gcpro2, gcpro3;
756 Lisp_Object found, efound, hist_file_name;
757 /* 1 means we printed the ".el is newer" message. */
758 int newer = 0;
759 /* 1 means we are loading a compiled file. */
760 int compiled = 0;
761 Lisp_Object handler;
762 int safe_p = 1;
763 char *fmode = "r";
764 Lisp_Object tmp[2];
765 #ifdef DOS_NT
766 fmode = "rt";
767 #endif /* DOS_NT */
768
769 CHECK_STRING (file);
770
771 /* If file name is magic, call the handler. */
772 /* This shouldn't be necessary any more now that `openp' handles it right.
773 handler = Ffind_file_name_handler (file, Qload);
774 if (!NILP (handler))
775 return call5 (handler, Qload, file, noerror, nomessage, nosuffix); */
776
777 /* Do this after the handler to avoid
778 the need to gcpro noerror, nomessage and nosuffix.
779 (Below here, we care only whether they are nil or not.)
780 The presence of this call is the result of a historical accident:
781 it used to be in every file-operation and when it got removed
782 everywhere, it accidentally stayed here. Since then, enough people
783 supposedly have things like (load "$PROJECT/foo.el") in their .emacs
784 that it seemed risky to remove. */
785 if (! NILP (noerror))
786 {
787 file = internal_condition_case_1 (Fsubstitute_in_file_name, file,
788 Qt, load_error_handler);
789 if (NILP (file))
790 return Qnil;
791 }
792 else
793 file = Fsubstitute_in_file_name (file);
794
795
796 /* Avoid weird lossage with null string as arg,
797 since it would try to load a directory as a Lisp file */
798 if (SCHARS (file) > 0)
799 {
800 int size = SBYTES (file);
801
802 found = Qnil;
803 GCPRO2 (file, found);
804
805 if (! NILP (must_suffix))
806 {
807 /* Don't insist on adding a suffix if FILE already ends with one. */
808 if (size > 3
809 && !strcmp (SDATA (file) + size - 3, ".el"))
810 must_suffix = Qnil;
811 else if (size > 4
812 && !strcmp (SDATA (file) + size - 4, ".elc"))
813 must_suffix = Qnil;
814 /* Don't insist on adding a suffix
815 if the argument includes a directory name. */
816 else if (! NILP (Ffile_name_directory (file)))
817 must_suffix = Qnil;
818 }
819
820 fd = openp (Vload_path, file,
821 (!NILP (nosuffix) ? Qnil
822 : !NILP (must_suffix) ? Fget_load_suffixes ()
823 : Fappend (2, (tmp[0] = Fget_load_suffixes (),
824 tmp[1] = Vload_file_rep_suffixes,
825 tmp))),
826 &found, Qnil);
827 UNGCPRO;
828 }
829
830 if (fd == -1)
831 {
832 if (NILP (noerror))
833 xsignal2 (Qfile_error, build_string ("Cannot open load file"), file);
834 return Qnil;
835 }
836
837 /* Tell startup.el whether or not we found the user's init file. */
838 if (EQ (Qt, Vuser_init_file))
839 Vuser_init_file = found;
840
841 /* If FD is -2, that means openp found a magic file. */
842 if (fd == -2)
843 {
844 if (NILP (Fequal (found, file)))
845 /* If FOUND is a different file name from FILE,
846 find its handler even if we have already inhibited
847 the `load' operation on FILE. */
848 handler = Ffind_file_name_handler (found, Qt);
849 else
850 handler = Ffind_file_name_handler (found, Qload);
851 if (! NILP (handler))
852 return call5 (handler, Qload, found, noerror, nomessage, Qt);
853 }
854
855 /* Check if we're stuck in a recursive load cycle.
856
857 2000-09-21: It's not possible to just check for the file loaded
858 being a member of Vloads_in_progress. This fails because of the
859 way the byte compiler currently works; `provide's are not
860 evaluted, see font-lock.el/jit-lock.el as an example. This
861 leads to a certain amount of ``normal'' recursion.
862
863 Also, just loading a file recursively is not always an error in
864 the general case; the second load may do something different. */
865 {
866 int count = 0;
867 Lisp_Object tem;
868 for (tem = Vloads_in_progress; CONSP (tem); tem = XCDR (tem))
869 if (!NILP (Fequal (found, XCAR (tem))))
870 count++;
871 if (count > 3)
872 {
873 if (fd >= 0)
874 emacs_close (fd);
875 signal_error ("Recursive load", Fcons (found, Vloads_in_progress));
876 }
877 record_unwind_protect (record_load_unwind, Vloads_in_progress);
878 Vloads_in_progress = Fcons (found, Vloads_in_progress);
879 }
880
881 /* Get the name for load-history. */
882 hist_file_name = (! NILP (Vpurify_flag)
883 ? Fconcat (2, (tmp[0] = Ffile_name_directory (file),
884 tmp[1] = Ffile_name_nondirectory (found),
885 tmp))
886 : found) ;
887
888 if (!bcmp (SDATA (found) + SBYTES (found) - 4,
889 ".elc", 4))
890 /* Load .elc files directly, but not when they are
891 remote and have no handler! */
892 {
893 if (fd != -2)
894 {
895 struct stat s1, s2;
896 int result;
897
898 GCPRO3 (file, found, hist_file_name);
899
900 if (!safe_to_load_p (fd))
901 {
902 safe_p = 0;
903 if (!load_dangerous_libraries)
904 {
905 if (fd >= 0)
906 emacs_close (fd);
907 error ("File `%s' was not compiled in Emacs",
908 SDATA (found));
909 }
910 else if (!NILP (nomessage))
911 message_with_string ("File `%s' not compiled in Emacs", found, 1);
912 }
913
914 compiled = 1;
915
916 efound = ENCODE_FILE (found);
917
918 #ifdef DOS_NT
919 fmode = "rb";
920 #endif /* DOS_NT */
921 stat ((char *)SDATA (efound), &s1);
922 SSET (efound, SBYTES (efound) - 1, 0);
923 result = stat ((char *)SDATA (efound), &s2);
924 SSET (efound, SBYTES (efound) - 1, 'c');
925
926 if (result >= 0 && (unsigned) s1.st_mtime < (unsigned) s2.st_mtime)
927 {
928 /* Make the progress messages mention that source is newer. */
929 newer = 1;
930
931 /* If we won't print another message, mention this anyway. */
932 if (!NILP (nomessage))
933 {
934 Lisp_Object msg_file;
935 msg_file = Fsubstring (found, make_number (0), make_number (-1));
936 message_with_string ("Source file `%s' newer than byte-compiled file",
937 msg_file, 1);
938 }
939 }
940 UNGCPRO;
941 }
942 }
943 else
944 {
945 /* We are loading a source file (*.el). */
946 if (!NILP (Vload_source_file_function))
947 {
948 Lisp_Object val;
949
950 if (fd >= 0)
951 emacs_close (fd);
952 val = call4 (Vload_source_file_function, found, hist_file_name,
953 NILP (noerror) ? Qnil : Qt,
954 NILP (nomessage) ? Qnil : Qt);
955 return unbind_to (count, val);
956 }
957 }
958
959 GCPRO3 (file, found, hist_file_name);
960
961 #ifdef WINDOWSNT
962 emacs_close (fd);
963 efound = ENCODE_FILE (found);
964 stream = fopen ((char *) SDATA (efound), fmode);
965 #else /* not WINDOWSNT */
966 stream = fdopen (fd, fmode);
967 #endif /* not WINDOWSNT */
968 if (stream == 0)
969 {
970 emacs_close (fd);
971 error ("Failure to create stdio stream for %s", SDATA (file));
972 }
973
974 if (! NILP (Vpurify_flag))
975 Vpreloaded_file_list = Fcons (file, Vpreloaded_file_list);
976
977 if (NILP (nomessage))
978 {
979 if (!safe_p)
980 message_with_string ("Loading %s (compiled; note unsafe, not compiled in Emacs)...",
981 file, 1);
982 else if (!compiled)
983 message_with_string ("Loading %s (source)...", file, 1);
984 else if (newer)
985 message_with_string ("Loading %s (compiled; note, source file is newer)...",
986 file, 1);
987 else /* The typical case; compiled file newer than source file. */
988 message_with_string ("Loading %s...", file, 1);
989 }
990
991 record_unwind_protect (load_unwind, make_save_value (stream, 0));
992 record_unwind_protect (load_descriptor_unwind, load_descriptor_list);
993 specbind (Qload_file_name, found);
994 specbind (Qinhibit_file_name_operation, Qnil);
995 load_descriptor_list
996 = Fcons (make_number (fileno (stream)), load_descriptor_list);
997 load_in_progress++;
998 readevalloop (Qget_file_char, stream, hist_file_name,
999 Feval, 0, Qnil, Qnil, Qnil, Qnil);
1000 unbind_to (count, Qnil);
1001
1002 /* Run any eval-after-load forms for this file */
1003 if (NILP (Vpurify_flag)
1004 && (!NILP (Ffboundp (Qdo_after_load_evaluation))))
1005 call1 (Qdo_after_load_evaluation, hist_file_name) ;
1006
1007 UNGCPRO;
1008
1009 if (saved_doc_string)
1010 free (saved_doc_string);
1011 saved_doc_string = 0;
1012 saved_doc_string_size = 0;
1013
1014 if (prev_saved_doc_string)
1015 xfree (prev_saved_doc_string);
1016 prev_saved_doc_string = 0;
1017 prev_saved_doc_string_size = 0;
1018
1019 if (!noninteractive && NILP (nomessage))
1020 {
1021 if (!safe_p)
1022 message_with_string ("Loading %s (compiled; note unsafe, not compiled in Emacs)...done",
1023 file, 1);
1024 else if (!compiled)
1025 message_with_string ("Loading %s (source)...done", file, 1);
1026 else if (newer)
1027 message_with_string ("Loading %s (compiled; note, source file is newer)...done",
1028 file, 1);
1029 else /* The typical case; compiled file newer than source file. */
1030 message_with_string ("Loading %s...done", file, 1);
1031 }
1032
1033 if (!NILP (Fequal (build_string ("obsolete"),
1034 Ffile_name_nondirectory
1035 (Fdirectory_file_name (Ffile_name_directory (found))))))
1036 message_with_string ("Package %s is obsolete", file, 1);
1037
1038 return Qt;
1039 }
1040
1041 static Lisp_Object
1042 load_unwind (arg) /* used as unwind-protect function in load */
1043 Lisp_Object arg;
1044 {
1045 FILE *stream = (FILE *) XSAVE_VALUE (arg)->pointer;
1046 if (stream != NULL)
1047 fclose (stream);
1048 if (--load_in_progress < 0) load_in_progress = 0;
1049 return Qnil;
1050 }
1051
1052 static Lisp_Object
1053 load_descriptor_unwind (oldlist)
1054 Lisp_Object oldlist;
1055 {
1056 load_descriptor_list = oldlist;
1057 return Qnil;
1058 }
1059
1060 /* Close all descriptors in use for Floads.
1061 This is used when starting a subprocess. */
1062
1063 void
1064 close_load_descs ()
1065 {
1066 #ifndef WINDOWSNT
1067 Lisp_Object tail;
1068 for (tail = load_descriptor_list; !NILP (tail); tail = XCDR (tail))
1069 emacs_close (XFASTINT (XCAR (tail)));
1070 #endif
1071 }
1072 \f
1073 static int
1074 complete_filename_p (pathname)
1075 Lisp_Object pathname;
1076 {
1077 register const unsigned char *s = SDATA (pathname);
1078 return (IS_DIRECTORY_SEP (s[0])
1079 || (SCHARS (pathname) > 2
1080 && IS_DEVICE_SEP (s[1]) && IS_DIRECTORY_SEP (s[2]))
1081 #ifdef ALTOS
1082 || *s == '@'
1083 #endif
1084 #ifdef VMS
1085 || index (s, ':')
1086 #endif /* VMS */
1087 );
1088 }
1089
1090 DEFUN ("locate-file-internal", Flocate_file_internal, Slocate_file_internal, 2, 4, 0,
1091 doc: /* Search for FILENAME through PATH.
1092 Returns the file's name in absolute form, or nil if not found.
1093 If SUFFIXES is non-nil, it should be a list of suffixes to append to
1094 file name when searching.
1095 If non-nil, PREDICATE is used instead of `file-readable-p'.
1096 PREDICATE can also be an integer to pass to the access(2) function,
1097 in which case file-name-handlers are ignored. */)
1098 (filename, path, suffixes, predicate)
1099 Lisp_Object filename, path, suffixes, predicate;
1100 {
1101 Lisp_Object file;
1102 int fd = openp (path, filename, suffixes, &file, predicate);
1103 if (NILP (predicate) && fd > 0)
1104 close (fd);
1105 return file;
1106 }
1107
1108
1109 /* Search for a file whose name is STR, looking in directories
1110 in the Lisp list PATH, and trying suffixes from SUFFIX.
1111 On success, returns a file descriptor. On failure, returns -1.
1112
1113 SUFFIXES is a list of strings containing possible suffixes.
1114 The empty suffix is automatically added iff the list is empty.
1115
1116 PREDICATE non-nil means don't open the files,
1117 just look for one that satisfies the predicate. In this case,
1118 returns 1 on success. The predicate can be a lisp function or
1119 an integer to pass to `access' (in which case file-name-handlers
1120 are ignored).
1121
1122 If STOREPTR is nonzero, it points to a slot where the name of
1123 the file actually found should be stored as a Lisp string.
1124 nil is stored there on failure.
1125
1126 If the file we find is remote, return -2
1127 but store the found remote file name in *STOREPTR. */
1128
1129 int
1130 openp (path, str, suffixes, storeptr, predicate)
1131 Lisp_Object path, str;
1132 Lisp_Object suffixes;
1133 Lisp_Object *storeptr;
1134 Lisp_Object predicate;
1135 {
1136 register int fd;
1137 int fn_size = 100;
1138 char buf[100];
1139 register char *fn = buf;
1140 int absolute = 0;
1141 int want_size;
1142 Lisp_Object filename;
1143 struct stat st;
1144 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5, gcpro6;
1145 Lisp_Object string, tail, encoded_fn;
1146 int max_suffix_len = 0;
1147
1148 CHECK_STRING (str);
1149
1150 for (tail = suffixes; CONSP (tail); tail = XCDR (tail))
1151 {
1152 CHECK_STRING_CAR (tail);
1153 max_suffix_len = max (max_suffix_len,
1154 SBYTES (XCAR (tail)));
1155 }
1156
1157 string = filename = encoded_fn = Qnil;
1158 GCPRO6 (str, string, filename, path, suffixes, encoded_fn);
1159
1160 if (storeptr)
1161 *storeptr = Qnil;
1162
1163 if (complete_filename_p (str))
1164 absolute = 1;
1165
1166 for (; CONSP (path); path = XCDR (path))
1167 {
1168 filename = Fexpand_file_name (str, XCAR (path));
1169 if (!complete_filename_p (filename))
1170 /* If there are non-absolute elts in PATH (eg ".") */
1171 /* Of course, this could conceivably lose if luser sets
1172 default-directory to be something non-absolute... */
1173 {
1174 filename = Fexpand_file_name (filename, current_buffer->directory);
1175 if (!complete_filename_p (filename))
1176 /* Give up on this path element! */
1177 continue;
1178 }
1179
1180 /* Calculate maximum size of any filename made from
1181 this path element/specified file name and any possible suffix. */
1182 want_size = max_suffix_len + SBYTES (filename) + 1;
1183 if (fn_size < want_size)
1184 fn = (char *) alloca (fn_size = 100 + want_size);
1185
1186 /* Loop over suffixes. */
1187 for (tail = NILP (suffixes) ? Fcons (build_string (""), Qnil) : suffixes;
1188 CONSP (tail); tail = XCDR (tail))
1189 {
1190 int lsuffix = SBYTES (XCAR (tail));
1191 Lisp_Object handler;
1192 int exists;
1193
1194 /* Concatenate path element/specified name with the suffix.
1195 If the directory starts with /:, remove that. */
1196 if (SCHARS (filename) > 2
1197 && SREF (filename, 0) == '/'
1198 && SREF (filename, 1) == ':')
1199 {
1200 strncpy (fn, SDATA (filename) + 2,
1201 SBYTES (filename) - 2);
1202 fn[SBYTES (filename) - 2] = 0;
1203 }
1204 else
1205 {
1206 strncpy (fn, SDATA (filename),
1207 SBYTES (filename));
1208 fn[SBYTES (filename)] = 0;
1209 }
1210
1211 if (lsuffix != 0) /* Bug happens on CCI if lsuffix is 0. */
1212 strncat (fn, SDATA (XCAR (tail)), lsuffix);
1213
1214 /* Check that the file exists and is not a directory. */
1215 /* We used to only check for handlers on non-absolute file names:
1216 if (absolute)
1217 handler = Qnil;
1218 else
1219 handler = Ffind_file_name_handler (filename, Qfile_exists_p);
1220 It's not clear why that was the case and it breaks things like
1221 (load "/bar.el") where the file is actually "/bar.el.gz". */
1222 string = build_string (fn);
1223 handler = Ffind_file_name_handler (string, Qfile_exists_p);
1224 if ((!NILP (handler) || !NILP (predicate)) && !NATNUMP (predicate))
1225 {
1226 if (NILP (predicate))
1227 exists = !NILP (Ffile_readable_p (string));
1228 else
1229 exists = !NILP (call1 (predicate, string));
1230 if (exists && !NILP (Ffile_directory_p (string)))
1231 exists = 0;
1232
1233 if (exists)
1234 {
1235 /* We succeeded; return this descriptor and filename. */
1236 if (storeptr)
1237 *storeptr = string;
1238 UNGCPRO;
1239 return -2;
1240 }
1241 }
1242 else
1243 {
1244 const char *pfn;
1245
1246 encoded_fn = ENCODE_FILE (string);
1247 pfn = SDATA (encoded_fn);
1248 exists = (stat (pfn, &st) >= 0
1249 && (st.st_mode & S_IFMT) != S_IFDIR);
1250 if (exists)
1251 {
1252 /* Check that we can access or open it. */
1253 if (NATNUMP (predicate))
1254 fd = (access (pfn, XFASTINT (predicate)) == 0) ? 1 : -1;
1255 else
1256 fd = emacs_open (pfn, O_RDONLY, 0);
1257
1258 if (fd >= 0)
1259 {
1260 /* We succeeded; return this descriptor and filename. */
1261 if (storeptr)
1262 *storeptr = string;
1263 UNGCPRO;
1264 return fd;
1265 }
1266 }
1267 }
1268 }
1269 if (absolute)
1270 break;
1271 }
1272
1273 UNGCPRO;
1274 return -1;
1275 }
1276
1277 \f
1278 /* Merge the list we've accumulated of globals from the current input source
1279 into the load_history variable. The details depend on whether
1280 the source has an associated file name or not.
1281
1282 FILENAME is the file name that we are loading from.
1283 ENTIRE is 1 if loading that entire file, 0 if evaluating part of it. */
1284
1285 static void
1286 build_load_history (filename, entire)
1287 Lisp_Object filename;
1288 int entire;
1289 {
1290 register Lisp_Object tail, prev, newelt;
1291 register Lisp_Object tem, tem2;
1292 register int foundit = 0;
1293
1294 tail = Vload_history;
1295 prev = Qnil;
1296
1297 while (CONSP (tail))
1298 {
1299 tem = XCAR (tail);
1300
1301 /* Find the feature's previous assoc list... */
1302 if (!NILP (Fequal (filename, Fcar (tem))))
1303 {
1304 foundit = 1;
1305
1306 /* If we're loading the entire file, remove old data. */
1307 if (entire)
1308 {
1309 if (NILP (prev))
1310 Vload_history = XCDR (tail);
1311 else
1312 Fsetcdr (prev, XCDR (tail));
1313 }
1314
1315 /* Otherwise, cons on new symbols that are not already members. */
1316 else
1317 {
1318 tem2 = Vcurrent_load_list;
1319
1320 while (CONSP (tem2))
1321 {
1322 newelt = XCAR (tem2);
1323
1324 if (NILP (Fmember (newelt, tem)))
1325 Fsetcar (tail, Fcons (XCAR (tem),
1326 Fcons (newelt, XCDR (tem))));
1327
1328 tem2 = XCDR (tem2);
1329 QUIT;
1330 }
1331 }
1332 }
1333 else
1334 prev = tail;
1335 tail = XCDR (tail);
1336 QUIT;
1337 }
1338
1339 /* If we're loading an entire file, cons the new assoc onto the
1340 front of load-history, the most-recently-loaded position. Also
1341 do this if we didn't find an existing member for the file. */
1342 if (entire || !foundit)
1343 Vload_history = Fcons (Fnreverse (Vcurrent_load_list),
1344 Vload_history);
1345 }
1346
1347 Lisp_Object
1348 unreadpure (junk) /* Used as unwind-protect function in readevalloop */
1349 Lisp_Object junk;
1350 {
1351 read_pure = 0;
1352 return Qnil;
1353 }
1354
1355 static Lisp_Object
1356 readevalloop_1 (old)
1357 Lisp_Object old;
1358 {
1359 load_convert_to_unibyte = ! NILP (old);
1360 return Qnil;
1361 }
1362
1363 /* Signal an `end-of-file' error, if possible with file name
1364 information. */
1365
1366 static void
1367 end_of_file_error ()
1368 {
1369 Lisp_Object data;
1370
1371 if (STRINGP (Vload_file_name))
1372 xsignal1 (Qend_of_file, Vload_file_name);
1373
1374 xsignal0 (Qend_of_file);
1375 }
1376
1377 /* UNIBYTE specifies how to set load_convert_to_unibyte
1378 for this invocation.
1379 READFUN, if non-nil, is used instead of `read'.
1380
1381 START, END specify region to read in current buffer (from eval-region).
1382 If the input is not from a buffer, they must be nil. */
1383
1384 static void
1385 readevalloop (readcharfun, stream, sourcename, evalfun,
1386 printflag, unibyte, readfun, start, end)
1387 Lisp_Object readcharfun;
1388 FILE *stream;
1389 Lisp_Object sourcename;
1390 Lisp_Object (*evalfun) ();
1391 int printflag;
1392 Lisp_Object unibyte, readfun;
1393 Lisp_Object start, end;
1394 {
1395 register int c;
1396 register Lisp_Object val;
1397 int count = SPECPDL_INDEX ();
1398 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
1399 struct buffer *b = 0;
1400 int continue_reading_p;
1401 /* Nonzero if reading an entire buffer. */
1402 int whole_buffer = 0;
1403 /* 1 on the first time around. */
1404 int first_sexp = 1;
1405
1406 if (MARKERP (readcharfun))
1407 {
1408 if (NILP (start))
1409 start = readcharfun;
1410 }
1411
1412 if (BUFFERP (readcharfun))
1413 b = XBUFFER (readcharfun);
1414 else if (MARKERP (readcharfun))
1415 b = XMARKER (readcharfun)->buffer;
1416
1417 /* We assume START is nil when input is not from a buffer. */
1418 if (! NILP (start) && !b)
1419 abort ();
1420
1421 specbind (Qstandard_input, readcharfun); /* GCPROs readcharfun. */
1422 specbind (Qcurrent_load_list, Qnil);
1423 record_unwind_protect (readevalloop_1, load_convert_to_unibyte ? Qt : Qnil);
1424 load_convert_to_unibyte = !NILP (unibyte);
1425
1426 readchar_backlog = -1;
1427
1428 GCPRO4 (sourcename, readfun, start, end);
1429
1430 /* Try to ensure sourcename is a truename, except whilst preloading. */
1431 if (NILP (Vpurify_flag)
1432 && !NILP (sourcename) && !NILP (Ffile_name_absolute_p (sourcename))
1433 && !NILP (Ffboundp (Qfile_truename)))
1434 sourcename = call1 (Qfile_truename, sourcename) ;
1435
1436 LOADHIST_ATTACH (sourcename);
1437
1438 continue_reading_p = 1;
1439 while (continue_reading_p)
1440 {
1441 int count1 = SPECPDL_INDEX ();
1442
1443 if (b != 0 && NILP (b->name))
1444 error ("Reading from killed buffer");
1445
1446 if (!NILP (start))
1447 {
1448 /* Switch to the buffer we are reading from. */
1449 record_unwind_protect (save_excursion_restore, save_excursion_save ());
1450 set_buffer_internal (b);
1451
1452 /* Save point in it. */
1453 record_unwind_protect (save_excursion_restore, save_excursion_save ());
1454 /* Save ZV in it. */
1455 record_unwind_protect (save_restriction_restore, save_restriction_save ());
1456 /* Those get unbound after we read one expression. */
1457
1458 /* Set point and ZV around stuff to be read. */
1459 Fgoto_char (start);
1460 if (!NILP (end))
1461 Fnarrow_to_region (make_number (BEGV), end);
1462
1463 /* Just for cleanliness, convert END to a marker
1464 if it is an integer. */
1465 if (INTEGERP (end))
1466 end = Fpoint_max_marker ();
1467 }
1468
1469 /* On the first cycle, we can easily test here
1470 whether we are reading the whole buffer. */
1471 if (b && first_sexp)
1472 whole_buffer = (PT == BEG && ZV == Z);
1473
1474 instream = stream;
1475 read_next:
1476 c = READCHAR;
1477 if (c == ';')
1478 {
1479 while ((c = READCHAR) != '\n' && c != -1);
1480 goto read_next;
1481 }
1482 if (c < 0)
1483 {
1484 unbind_to (count1, Qnil);
1485 break;
1486 }
1487
1488 /* Ignore whitespace here, so we can detect eof. */
1489 if (c == ' ' || c == '\t' || c == '\n' || c == '\f' || c == '\r')
1490 goto read_next;
1491
1492 if (!NILP (Vpurify_flag) && c == '(')
1493 {
1494 record_unwind_protect (unreadpure, Qnil);
1495 val = read_list (-1, readcharfun);
1496 }
1497 else
1498 {
1499 UNREAD (c);
1500 read_objects = Qnil;
1501 if (!NILP (readfun))
1502 {
1503 val = call1 (readfun, readcharfun);
1504
1505 /* If READCHARFUN has set point to ZV, we should
1506 stop reading, even if the form read sets point
1507 to a different value when evaluated. */
1508 if (BUFFERP (readcharfun))
1509 {
1510 struct buffer *b = XBUFFER (readcharfun);
1511 if (BUF_PT (b) == BUF_ZV (b))
1512 continue_reading_p = 0;
1513 }
1514 }
1515 else if (! NILP (Vload_read_function))
1516 val = call1 (Vload_read_function, readcharfun);
1517 else
1518 val = read_internal_start (readcharfun, Qnil, Qnil);
1519 }
1520
1521 if (!NILP (start) && continue_reading_p)
1522 start = Fpoint_marker ();
1523
1524 /* Restore saved point and BEGV. */
1525 unbind_to (count1, Qnil);
1526
1527 /* Now eval what we just read. */
1528 val = (*evalfun) (val);
1529
1530 if (printflag)
1531 {
1532 Vvalues = Fcons (val, Vvalues);
1533 if (EQ (Vstandard_output, Qt))
1534 Fprin1 (val, Qnil);
1535 else
1536 Fprint (val, Qnil);
1537 }
1538
1539 first_sexp = 0;
1540 }
1541
1542 build_load_history (sourcename,
1543 stream || whole_buffer);
1544
1545 UNGCPRO;
1546
1547 unbind_to (count, Qnil);
1548 }
1549
1550 DEFUN ("eval-buffer", Feval_buffer, Seval_buffer, 0, 5, "",
1551 doc: /* Execute the current buffer as Lisp code.
1552 Programs can pass two arguments, BUFFER and PRINTFLAG.
1553 BUFFER is the buffer to evaluate (nil means use current buffer).
1554 PRINTFLAG controls printing of output:
1555 nil means discard it; anything else is stream for print.
1556
1557 If the optional third argument FILENAME is non-nil,
1558 it specifies the file name to use for `load-history'.
1559 The optional fourth argument UNIBYTE specifies `load-convert-to-unibyte'
1560 for this invocation.
1561
1562 The optional fifth argument DO-ALLOW-PRINT, if non-nil, specifies that
1563 `print' and related functions should work normally even if PRINTFLAG is nil.
1564
1565 This function preserves the position of point. */)
1566 (buffer, printflag, filename, unibyte, do_allow_print)
1567 Lisp_Object buffer, printflag, filename, unibyte, do_allow_print;
1568 {
1569 int count = SPECPDL_INDEX ();
1570 Lisp_Object tem, buf;
1571
1572 if (NILP (buffer))
1573 buf = Fcurrent_buffer ();
1574 else
1575 buf = Fget_buffer (buffer);
1576 if (NILP (buf))
1577 error ("No such buffer");
1578
1579 if (NILP (printflag) && NILP (do_allow_print))
1580 tem = Qsymbolp;
1581 else
1582 tem = printflag;
1583
1584 if (NILP (filename))
1585 filename = XBUFFER (buf)->filename;
1586
1587 specbind (Qeval_buffer_list, Fcons (buf, Veval_buffer_list));
1588 specbind (Qstandard_output, tem);
1589 record_unwind_protect (save_excursion_restore, save_excursion_save ());
1590 BUF_SET_PT (XBUFFER (buf), BUF_BEGV (XBUFFER (buf)));
1591 readevalloop (buf, 0, filename, Feval,
1592 !NILP (printflag), unibyte, Qnil, Qnil, Qnil);
1593 unbind_to (count, Qnil);
1594
1595 return Qnil;
1596 }
1597
1598 DEFUN ("eval-region", Feval_region, Seval_region, 2, 4, "r",
1599 doc: /* Execute the region as Lisp code.
1600 When called from programs, expects two arguments,
1601 giving starting and ending indices in the current buffer
1602 of the text to be executed.
1603 Programs can pass third argument PRINTFLAG which controls output:
1604 nil means discard it; anything else is stream for printing it.
1605 Also the fourth argument READ-FUNCTION, if non-nil, is used
1606 instead of `read' to read each expression. It gets one argument
1607 which is the input stream for reading characters.
1608
1609 This function does not move point. */)
1610 (start, end, printflag, read_function)
1611 Lisp_Object start, end, printflag, read_function;
1612 {
1613 int count = SPECPDL_INDEX ();
1614 Lisp_Object tem, cbuf;
1615
1616 cbuf = Fcurrent_buffer ();
1617
1618 if (NILP (printflag))
1619 tem = Qsymbolp;
1620 else
1621 tem = printflag;
1622 specbind (Qstandard_output, tem);
1623 specbind (Qeval_buffer_list, Fcons (cbuf, Veval_buffer_list));
1624
1625 /* readevalloop calls functions which check the type of start and end. */
1626 readevalloop (cbuf, 0, XBUFFER (cbuf)->filename, Feval,
1627 !NILP (printflag), Qnil, read_function,
1628 start, end);
1629
1630 return unbind_to (count, Qnil);
1631 }
1632
1633 \f
1634 DEFUN ("read", Fread, Sread, 0, 1, 0,
1635 doc: /* Read one Lisp expression as text from STREAM, return as Lisp object.
1636 If STREAM is nil, use the value of `standard-input' (which see).
1637 STREAM or the value of `standard-input' may be:
1638 a buffer (read from point and advance it)
1639 a marker (read from where it points and advance it)
1640 a function (call it with no arguments for each character,
1641 call it with a char as argument to push a char back)
1642 a string (takes text from string, starting at the beginning)
1643 t (read text line using minibuffer and use it, or read from
1644 standard input in batch mode). */)
1645 (stream)
1646 Lisp_Object stream;
1647 {
1648 if (NILP (stream))
1649 stream = Vstandard_input;
1650 if (EQ (stream, Qt))
1651 stream = Qread_char;
1652 if (EQ (stream, Qread_char))
1653 return Fread_minibuffer (build_string ("Lisp expression: "), Qnil);
1654
1655 return read_internal_start (stream, Qnil, Qnil);
1656 }
1657
1658 DEFUN ("read-from-string", Fread_from_string, Sread_from_string, 1, 3, 0,
1659 doc: /* Read one Lisp expression which is represented as text by STRING.
1660 Returns a cons: (OBJECT-READ . FINAL-STRING-INDEX).
1661 START and END optionally delimit a substring of STRING from which to read;
1662 they default to 0 and (length STRING) respectively. */)
1663 (string, start, end)
1664 Lisp_Object string, start, end;
1665 {
1666 Lisp_Object ret;
1667 CHECK_STRING (string);
1668 /* read_internal_start sets read_from_string_index. */
1669 ret = read_internal_start (string, start, end);
1670 return Fcons (ret, make_number (read_from_string_index));
1671 }
1672
1673 /* Function to set up the global context we need in toplevel read
1674 calls. */
1675 static Lisp_Object
1676 read_internal_start (stream, start, end)
1677 Lisp_Object stream;
1678 Lisp_Object start; /* Only used when stream is a string. */
1679 Lisp_Object end; /* Only used when stream is a string. */
1680 {
1681 Lisp_Object retval;
1682
1683 readchar_backlog = -1;
1684 readchar_count = 0;
1685 new_backquote_flag = 0;
1686 read_objects = Qnil;
1687 if (EQ (Vread_with_symbol_positions, Qt)
1688 || EQ (Vread_with_symbol_positions, stream))
1689 Vread_symbol_positions_list = Qnil;
1690
1691 if (STRINGP (stream))
1692 {
1693 int startval, endval;
1694 if (NILP (end))
1695 endval = SCHARS (stream);
1696 else
1697 {
1698 CHECK_NUMBER (end);
1699 endval = XINT (end);
1700 if (endval < 0 || endval > SCHARS (stream))
1701 args_out_of_range (stream, end);
1702 }
1703
1704 if (NILP (start))
1705 startval = 0;
1706 else
1707 {
1708 CHECK_NUMBER (start);
1709 startval = XINT (start);
1710 if (startval < 0 || startval > endval)
1711 args_out_of_range (stream, start);
1712 }
1713 read_from_string_index = startval;
1714 read_from_string_index_byte = string_char_to_byte (stream, startval);
1715 read_from_string_limit = endval;
1716 }
1717
1718 retval = read0 (stream);
1719 if (EQ (Vread_with_symbol_positions, Qt)
1720 || EQ (Vread_with_symbol_positions, stream))
1721 Vread_symbol_positions_list = Fnreverse (Vread_symbol_positions_list);
1722 return retval;
1723 }
1724 \f
1725
1726 /* Signal Qinvalid_read_syntax error.
1727 S is error string of length N (if > 0) */
1728
1729 static void
1730 invalid_syntax (s, n)
1731 const char *s;
1732 int n;
1733 {
1734 if (!n)
1735 n = strlen (s);
1736 xsignal1 (Qinvalid_read_syntax, make_string (s, n));
1737 }
1738
1739
1740 /* Use this for recursive reads, in contexts where internal tokens
1741 are not allowed. */
1742
1743 static Lisp_Object
1744 read0 (readcharfun)
1745 Lisp_Object readcharfun;
1746 {
1747 register Lisp_Object val;
1748 int c;
1749
1750 val = read1 (readcharfun, &c, 0);
1751 if (!c)
1752 return val;
1753
1754 xsignal1 (Qinvalid_read_syntax,
1755 Fmake_string (make_number (1), make_number (c)));
1756 }
1757 \f
1758 static int read_buffer_size;
1759 static char *read_buffer;
1760
1761 /* Read multibyte form and return it as a character. C is a first
1762 byte of multibyte form, and rest of them are read from
1763 READCHARFUN. */
1764
1765 static int
1766 read_multibyte (c, readcharfun)
1767 register int c;
1768 Lisp_Object readcharfun;
1769 {
1770 /* We need the actual character code of this multibyte
1771 characters. */
1772 unsigned char str[MAX_MULTIBYTE_LENGTH];
1773 int len = 0;
1774 int bytes;
1775
1776 if (c < 0)
1777 return c;
1778
1779 str[len++] = c;
1780 while ((c = READCHAR) >= 0xA0
1781 && len < MAX_MULTIBYTE_LENGTH)
1782 {
1783 str[len++] = c;
1784 readchar_count--;
1785 }
1786 UNREAD (c);
1787 if (UNIBYTE_STR_AS_MULTIBYTE_P (str, len, bytes))
1788 return STRING_CHAR (str, len);
1789 /* The byte sequence is not valid as multibyte. Unread all bytes
1790 but the first one, and return the first byte. */
1791 while (--len > 0)
1792 UNREAD (str[len]);
1793 return str[0];
1794 }
1795
1796 /* Read a \-escape sequence, assuming we already read the `\'.
1797 If the escape sequence forces unibyte, store 1 into *BYTEREP.
1798 If the escape sequence forces multibyte, store 2 into *BYTEREP.
1799 Otherwise store 0 into *BYTEREP. */
1800
1801 static int
1802 read_escape (readcharfun, stringp, byterep)
1803 Lisp_Object readcharfun;
1804 int stringp;
1805 int *byterep;
1806 {
1807 register int c = READCHAR;
1808 /* \u allows up to four hex digits, \U up to eight. Default to the
1809 behaviour for \u, and change this value in the case that \U is seen. */
1810 int unicode_hex_count = 4;
1811
1812 *byterep = 0;
1813
1814 switch (c)
1815 {
1816 case -1:
1817 end_of_file_error ();
1818
1819 case 'a':
1820 return '\007';
1821 case 'b':
1822 return '\b';
1823 case 'd':
1824 return 0177;
1825 case 'e':
1826 return 033;
1827 case 'f':
1828 return '\f';
1829 case 'n':
1830 return '\n';
1831 case 'r':
1832 return '\r';
1833 case 't':
1834 return '\t';
1835 case 'v':
1836 return '\v';
1837 case '\n':
1838 return -1;
1839 case ' ':
1840 if (stringp)
1841 return -1;
1842 return ' ';
1843
1844 case 'M':
1845 c = READCHAR;
1846 if (c != '-')
1847 error ("Invalid escape character syntax");
1848 c = READCHAR;
1849 if (c == '\\')
1850 c = read_escape (readcharfun, 0, byterep);
1851 return c | meta_modifier;
1852
1853 case 'S':
1854 c = READCHAR;
1855 if (c != '-')
1856 error ("Invalid escape character syntax");
1857 c = READCHAR;
1858 if (c == '\\')
1859 c = read_escape (readcharfun, 0, byterep);
1860 return c | shift_modifier;
1861
1862 case 'H':
1863 c = READCHAR;
1864 if (c != '-')
1865 error ("Invalid escape character syntax");
1866 c = READCHAR;
1867 if (c == '\\')
1868 c = read_escape (readcharfun, 0, byterep);
1869 return c | hyper_modifier;
1870
1871 case 'A':
1872 c = READCHAR;
1873 if (c != '-')
1874 error ("Invalid escape character syntax");
1875 c = READCHAR;
1876 if (c == '\\')
1877 c = read_escape (readcharfun, 0, byterep);
1878 return c | alt_modifier;
1879
1880 case 's':
1881 c = READCHAR;
1882 if (c != '-')
1883 {
1884 UNREAD (c);
1885 return ' ';
1886 }
1887 c = READCHAR;
1888 if (c == '\\')
1889 c = read_escape (readcharfun, 0, byterep);
1890 return c | super_modifier;
1891
1892 case 'C':
1893 c = READCHAR;
1894 if (c != '-')
1895 error ("Invalid escape character syntax");
1896 case '^':
1897 c = READCHAR;
1898 if (c == '\\')
1899 c = read_escape (readcharfun, 0, byterep);
1900 if ((c & ~CHAR_MODIFIER_MASK) == '?')
1901 return 0177 | (c & CHAR_MODIFIER_MASK);
1902 else if (! SINGLE_BYTE_CHAR_P ((c & ~CHAR_MODIFIER_MASK)))
1903 return c | ctrl_modifier;
1904 /* ASCII control chars are made from letters (both cases),
1905 as well as the non-letters within 0100...0137. */
1906 else if ((c & 0137) >= 0101 && (c & 0137) <= 0132)
1907 return (c & (037 | ~0177));
1908 else if ((c & 0177) >= 0100 && (c & 0177) <= 0137)
1909 return (c & (037 | ~0177));
1910 else
1911 return c | ctrl_modifier;
1912
1913 case '0':
1914 case '1':
1915 case '2':
1916 case '3':
1917 case '4':
1918 case '5':
1919 case '6':
1920 case '7':
1921 /* An octal escape, as in ANSI C. */
1922 {
1923 register int i = c - '0';
1924 register int count = 0;
1925 while (++count < 3)
1926 {
1927 if ((c = READCHAR) >= '0' && c <= '7')
1928 {
1929 i *= 8;
1930 i += c - '0';
1931 }
1932 else
1933 {
1934 UNREAD (c);
1935 break;
1936 }
1937 }
1938
1939 *byterep = 1;
1940 return i;
1941 }
1942
1943 case 'x':
1944 /* A hex escape, as in ANSI C. */
1945 {
1946 int i = 0;
1947 while (1)
1948 {
1949 c = READCHAR;
1950 if (c >= '0' && c <= '9')
1951 {
1952 i *= 16;
1953 i += c - '0';
1954 }
1955 else if ((c >= 'a' && c <= 'f')
1956 || (c >= 'A' && c <= 'F'))
1957 {
1958 i *= 16;
1959 if (c >= 'a' && c <= 'f')
1960 i += c - 'a' + 10;
1961 else
1962 i += c - 'A' + 10;
1963 }
1964 else
1965 {
1966 UNREAD (c);
1967 break;
1968 }
1969 }
1970
1971 *byterep = 2;
1972 return i;
1973 }
1974
1975 case 'U':
1976 /* Post-Unicode-2.0: Up to eight hex chars. */
1977 unicode_hex_count = 8;
1978 case 'u':
1979
1980 /* A Unicode escape. We only permit them in strings and characters,
1981 not arbitrarily in the source code, as in some other languages. */
1982 {
1983 int i = 0;
1984 int count = 0;
1985 Lisp_Object lisp_char;
1986 struct gcpro gcpro1;
1987
1988 while (++count <= unicode_hex_count)
1989 {
1990 c = READCHAR;
1991 /* isdigit and isalpha may be locale-specific, which we don't
1992 want. */
1993 if (c >= '0' && c <= '9') i = (i << 4) + (c - '0');
1994 else if (c >= 'a' && c <= 'f') i = (i << 4) + (c - 'a') + 10;
1995 else if (c >= 'A' && c <= 'F') i = (i << 4) + (c - 'A') + 10;
1996 else
1997 {
1998 error ("Non-hex digit used for Unicode escape");
1999 break;
2000 }
2001 }
2002
2003 GCPRO1 (readcharfun);
2004 lisp_char = call2 (intern ("decode-char"), intern ("ucs"),
2005 make_number (i));
2006 UNGCPRO;
2007
2008 if (NILP (lisp_char))
2009 {
2010 error ("Unsupported Unicode code point: U+%x", (unsigned)i);
2011 }
2012
2013 return XFASTINT (lisp_char);
2014 }
2015
2016 default:
2017 if (BASE_LEADING_CODE_P (c))
2018 c = read_multibyte (c, readcharfun);
2019 return c;
2020 }
2021 }
2022
2023 /* Read an integer in radix RADIX using READCHARFUN to read
2024 characters. RADIX must be in the interval [2..36]; if it isn't, a
2025 read error is signaled . Value is the integer read. Signals an
2026 error if encountering invalid read syntax or if RADIX is out of
2027 range. */
2028
2029 static Lisp_Object
2030 read_integer (readcharfun, radix)
2031 Lisp_Object readcharfun;
2032 int radix;
2033 {
2034 int ndigits = 0, invalid_p, c, sign = 0;
2035 EMACS_INT number = 0;
2036
2037 if (radix < 2 || radix > 36)
2038 invalid_p = 1;
2039 else
2040 {
2041 number = ndigits = invalid_p = 0;
2042 sign = 1;
2043
2044 c = READCHAR;
2045 if (c == '-')
2046 {
2047 c = READCHAR;
2048 sign = -1;
2049 }
2050 else if (c == '+')
2051 c = READCHAR;
2052
2053 while (c >= 0)
2054 {
2055 int digit;
2056
2057 if (c >= '0' && c <= '9')
2058 digit = c - '0';
2059 else if (c >= 'a' && c <= 'z')
2060 digit = c - 'a' + 10;
2061 else if (c >= 'A' && c <= 'Z')
2062 digit = c - 'A' + 10;
2063 else
2064 {
2065 UNREAD (c);
2066 break;
2067 }
2068
2069 if (digit < 0 || digit >= radix)
2070 invalid_p = 1;
2071
2072 number = radix * number + digit;
2073 ++ndigits;
2074 c = READCHAR;
2075 }
2076 }
2077
2078 if (ndigits == 0 || invalid_p)
2079 {
2080 char buf[50];
2081 sprintf (buf, "integer, radix %d", radix);
2082 invalid_syntax (buf, 0);
2083 }
2084
2085 return make_number (sign * number);
2086 }
2087
2088
2089 /* Convert unibyte text in read_buffer to multibyte.
2090
2091 Initially, *P is a pointer after the end of the unibyte text, and
2092 the pointer *END points after the end of read_buffer.
2093
2094 If read_buffer doesn't have enough room to hold the result
2095 of the conversion, reallocate it and adjust *P and *END.
2096
2097 At the end, make *P point after the result of the conversion, and
2098 return in *NCHARS the number of characters in the converted
2099 text. */
2100
2101 static void
2102 to_multibyte (p, end, nchars)
2103 char **p, **end;
2104 int *nchars;
2105 {
2106 int nbytes;
2107
2108 parse_str_as_multibyte (read_buffer, *p - read_buffer, &nbytes, nchars);
2109 if (read_buffer_size < 2 * nbytes)
2110 {
2111 int offset = *p - read_buffer;
2112 read_buffer_size = 2 * max (read_buffer_size, nbytes);
2113 read_buffer = (char *) xrealloc (read_buffer, read_buffer_size);
2114 *p = read_buffer + offset;
2115 *end = read_buffer + read_buffer_size;
2116 }
2117
2118 if (nbytes != *nchars)
2119 nbytes = str_as_multibyte (read_buffer, read_buffer_size,
2120 *p - read_buffer, nchars);
2121
2122 *p = read_buffer + nbytes;
2123 }
2124
2125
2126 /* If the next token is ')' or ']' or '.', we store that character
2127 in *PCH and the return value is not interesting. Else, we store
2128 zero in *PCH and we read and return one lisp object.
2129
2130 FIRST_IN_LIST is nonzero if this is the first element of a list. */
2131
2132 static Lisp_Object
2133 read1 (readcharfun, pch, first_in_list)
2134 register Lisp_Object readcharfun;
2135 int *pch;
2136 int first_in_list;
2137 {
2138 register int c;
2139 int uninterned_symbol = 0;
2140
2141 *pch = 0;
2142
2143 retry:
2144
2145 c = READCHAR;
2146 if (c < 0)
2147 end_of_file_error ();
2148
2149 switch (c)
2150 {
2151 case '(':
2152 return read_list (0, readcharfun);
2153
2154 case '[':
2155 return read_vector (readcharfun, 0);
2156
2157 case ')':
2158 case ']':
2159 {
2160 *pch = c;
2161 return Qnil;
2162 }
2163
2164 case '#':
2165 c = READCHAR;
2166 if (c == '^')
2167 {
2168 c = READCHAR;
2169 if (c == '[')
2170 {
2171 Lisp_Object tmp;
2172 tmp = read_vector (readcharfun, 0);
2173 if (XVECTOR (tmp)->size < CHAR_TABLE_STANDARD_SLOTS
2174 || XVECTOR (tmp)->size > CHAR_TABLE_STANDARD_SLOTS + 10)
2175 error ("Invalid size char-table");
2176 XSETCHAR_TABLE (tmp, XCHAR_TABLE (tmp));
2177 XCHAR_TABLE (tmp)->top = Qt;
2178 return tmp;
2179 }
2180 else if (c == '^')
2181 {
2182 c = READCHAR;
2183 if (c == '[')
2184 {
2185 Lisp_Object tmp;
2186 tmp = read_vector (readcharfun, 0);
2187 if (XVECTOR (tmp)->size != SUB_CHAR_TABLE_STANDARD_SLOTS)
2188 error ("Invalid size char-table");
2189 XSETCHAR_TABLE (tmp, XCHAR_TABLE (tmp));
2190 XCHAR_TABLE (tmp)->top = Qnil;
2191 return tmp;
2192 }
2193 invalid_syntax ("#^^", 3);
2194 }
2195 invalid_syntax ("#^", 2);
2196 }
2197 if (c == '&')
2198 {
2199 Lisp_Object length;
2200 length = read1 (readcharfun, pch, first_in_list);
2201 c = READCHAR;
2202 if (c == '"')
2203 {
2204 Lisp_Object tmp, val;
2205 int size_in_chars
2206 = ((XFASTINT (length) + BOOL_VECTOR_BITS_PER_CHAR - 1)
2207 / BOOL_VECTOR_BITS_PER_CHAR);
2208
2209 UNREAD (c);
2210 tmp = read1 (readcharfun, pch, first_in_list);
2211 if (size_in_chars != SCHARS (tmp)
2212 /* We used to print 1 char too many
2213 when the number of bits was a multiple of 8.
2214 Accept such input in case it came from an old version. */
2215 && ! (XFASTINT (length)
2216 == (SCHARS (tmp) - 1) * BOOL_VECTOR_BITS_PER_CHAR))
2217 invalid_syntax ("#&...", 5);
2218
2219 val = Fmake_bool_vector (length, Qnil);
2220 bcopy (SDATA (tmp), XBOOL_VECTOR (val)->data,
2221 size_in_chars);
2222 /* Clear the extraneous bits in the last byte. */
2223 if (XINT (length) != size_in_chars * BOOL_VECTOR_BITS_PER_CHAR)
2224 XBOOL_VECTOR (val)->data[size_in_chars - 1]
2225 &= (1 << (XINT (length) % BOOL_VECTOR_BITS_PER_CHAR)) - 1;
2226 return val;
2227 }
2228 invalid_syntax ("#&...", 5);
2229 }
2230 if (c == '[')
2231 {
2232 /* Accept compiled functions at read-time so that we don't have to
2233 build them using function calls. */
2234 Lisp_Object tmp;
2235 tmp = read_vector (readcharfun, 1);
2236 return Fmake_byte_code (XVECTOR (tmp)->size,
2237 XVECTOR (tmp)->contents);
2238 }
2239 if (c == '(')
2240 {
2241 Lisp_Object tmp;
2242 struct gcpro gcpro1;
2243 int ch;
2244
2245 /* Read the string itself. */
2246 tmp = read1 (readcharfun, &ch, 0);
2247 if (ch != 0 || !STRINGP (tmp))
2248 invalid_syntax ("#", 1);
2249 GCPRO1 (tmp);
2250 /* Read the intervals and their properties. */
2251 while (1)
2252 {
2253 Lisp_Object beg, end, plist;
2254
2255 beg = read1 (readcharfun, &ch, 0);
2256 end = plist = Qnil;
2257 if (ch == ')')
2258 break;
2259 if (ch == 0)
2260 end = read1 (readcharfun, &ch, 0);
2261 if (ch == 0)
2262 plist = read1 (readcharfun, &ch, 0);
2263 if (ch)
2264 invalid_syntax ("Invalid string property list", 0);
2265 Fset_text_properties (beg, end, plist, tmp);
2266 }
2267 UNGCPRO;
2268 return tmp;
2269 }
2270
2271 /* #@NUMBER is used to skip NUMBER following characters.
2272 That's used in .elc files to skip over doc strings
2273 and function definitions. */
2274 if (c == '@')
2275 {
2276 int i, nskip = 0;
2277
2278 /* Read a decimal integer. */
2279 while ((c = READCHAR) >= 0
2280 && c >= '0' && c <= '9')
2281 {
2282 nskip *= 10;
2283 nskip += c - '0';
2284 }
2285 if (c >= 0)
2286 UNREAD (c);
2287
2288 if (load_force_doc_strings && EQ (readcharfun, Qget_file_char))
2289 {
2290 /* If we are supposed to force doc strings into core right now,
2291 record the last string that we skipped,
2292 and record where in the file it comes from. */
2293
2294 /* But first exchange saved_doc_string
2295 with prev_saved_doc_string, so we save two strings. */
2296 {
2297 char *temp = saved_doc_string;
2298 int temp_size = saved_doc_string_size;
2299 file_offset temp_pos = saved_doc_string_position;
2300 int temp_len = saved_doc_string_length;
2301
2302 saved_doc_string = prev_saved_doc_string;
2303 saved_doc_string_size = prev_saved_doc_string_size;
2304 saved_doc_string_position = prev_saved_doc_string_position;
2305 saved_doc_string_length = prev_saved_doc_string_length;
2306
2307 prev_saved_doc_string = temp;
2308 prev_saved_doc_string_size = temp_size;
2309 prev_saved_doc_string_position = temp_pos;
2310 prev_saved_doc_string_length = temp_len;
2311 }
2312
2313 if (saved_doc_string_size == 0)
2314 {
2315 saved_doc_string_size = nskip + 100;
2316 saved_doc_string = (char *) xmalloc (saved_doc_string_size);
2317 }
2318 if (nskip > saved_doc_string_size)
2319 {
2320 saved_doc_string_size = nskip + 100;
2321 saved_doc_string = (char *) xrealloc (saved_doc_string,
2322 saved_doc_string_size);
2323 }
2324
2325 saved_doc_string_position = file_tell (instream);
2326
2327 /* Copy that many characters into saved_doc_string. */
2328 for (i = 0; i < nskip && c >= 0; i++)
2329 saved_doc_string[i] = c = READCHAR;
2330
2331 saved_doc_string_length = i;
2332 }
2333 else
2334 {
2335 /* Skip that many characters. */
2336 for (i = 0; i < nskip && c >= 0; i++)
2337 c = READCHAR;
2338 }
2339
2340 goto retry;
2341 }
2342 if (c == '!')
2343 {
2344 /* #! appears at the beginning of an executable file.
2345 Skip the first line. */
2346 while (c != '\n' && c >= 0)
2347 c = READCHAR;
2348 goto retry;
2349 }
2350 if (c == '$')
2351 return Vload_file_name;
2352 if (c == '\'')
2353 return Fcons (Qfunction, Fcons (read0 (readcharfun), Qnil));
2354 /* #:foo is the uninterned symbol named foo. */
2355 if (c == ':')
2356 {
2357 uninterned_symbol = 1;
2358 c = READCHAR;
2359 goto default_label;
2360 }
2361 /* Reader forms that can reuse previously read objects. */
2362 if (c >= '0' && c <= '9')
2363 {
2364 int n = 0;
2365 Lisp_Object tem;
2366
2367 /* Read a non-negative integer. */
2368 while (c >= '0' && c <= '9')
2369 {
2370 n *= 10;
2371 n += c - '0';
2372 c = READCHAR;
2373 }
2374 /* #n=object returns object, but associates it with n for #n#. */
2375 if (c == '=')
2376 {
2377 /* Make a placeholder for #n# to use temporarily */
2378 Lisp_Object placeholder;
2379 Lisp_Object cell;
2380
2381 placeholder = Fcons(Qnil, Qnil);
2382 cell = Fcons (make_number (n), placeholder);
2383 read_objects = Fcons (cell, read_objects);
2384
2385 /* Read the object itself. */
2386 tem = read0 (readcharfun);
2387
2388 /* Now put it everywhere the placeholder was... */
2389 substitute_object_in_subtree (tem, placeholder);
2390
2391 /* ...and #n# will use the real value from now on. */
2392 Fsetcdr (cell, tem);
2393
2394 return tem;
2395 }
2396 /* #n# returns a previously read object. */
2397 if (c == '#')
2398 {
2399 tem = Fassq (make_number (n), read_objects);
2400 if (CONSP (tem))
2401 return XCDR (tem);
2402 /* Fall through to error message. */
2403 }
2404 else if (c == 'r' || c == 'R')
2405 return read_integer (readcharfun, n);
2406
2407 /* Fall through to error message. */
2408 }
2409 else if (c == 'x' || c == 'X')
2410 return read_integer (readcharfun, 16);
2411 else if (c == 'o' || c == 'O')
2412 return read_integer (readcharfun, 8);
2413 else if (c == 'b' || c == 'B')
2414 return read_integer (readcharfun, 2);
2415
2416 UNREAD (c);
2417 invalid_syntax ("#", 1);
2418
2419 case ';':
2420 while ((c = READCHAR) >= 0 && c != '\n');
2421 goto retry;
2422
2423 case '\'':
2424 {
2425 return Fcons (Qquote, Fcons (read0 (readcharfun), Qnil));
2426 }
2427
2428 case '`':
2429 if (first_in_list)
2430 goto default_label;
2431 else
2432 {
2433 Lisp_Object value;
2434
2435 new_backquote_flag++;
2436 value = read0 (readcharfun);
2437 new_backquote_flag--;
2438
2439 return Fcons (Qbackquote, Fcons (value, Qnil));
2440 }
2441
2442 case ',':
2443 if (new_backquote_flag)
2444 {
2445 Lisp_Object comma_type = Qnil;
2446 Lisp_Object value;
2447 int ch = READCHAR;
2448
2449 if (ch == '@')
2450 comma_type = Qcomma_at;
2451 else if (ch == '.')
2452 comma_type = Qcomma_dot;
2453 else
2454 {
2455 if (ch >= 0) UNREAD (ch);
2456 comma_type = Qcomma;
2457 }
2458
2459 new_backquote_flag--;
2460 value = read0 (readcharfun);
2461 new_backquote_flag++;
2462 return Fcons (comma_type, Fcons (value, Qnil));
2463 }
2464 else
2465 goto default_label;
2466
2467 case '?':
2468 {
2469 int discard;
2470 int next_char;
2471 int ok;
2472
2473 c = READCHAR;
2474 if (c < 0)
2475 end_of_file_error ();
2476
2477 /* Accept `single space' syntax like (list ? x) where the
2478 whitespace character is SPC or TAB.
2479 Other literal whitespace like NL, CR, and FF are not accepted,
2480 as there are well-established escape sequences for these. */
2481 if (c == ' ' || c == '\t')
2482 return make_number (c);
2483
2484 if (c == '\\')
2485 c = read_escape (readcharfun, 0, &discard);
2486 else if (BASE_LEADING_CODE_P (c))
2487 c = read_multibyte (c, readcharfun);
2488
2489 next_char = READCHAR;
2490 if (next_char == '.')
2491 {
2492 /* Only a dotted-pair dot is valid after a char constant. */
2493 int next_next_char = READCHAR;
2494 UNREAD (next_next_char);
2495
2496 ok = (next_next_char <= 040
2497 || (next_next_char < 0200
2498 && (index ("\"';([#?", next_next_char)
2499 || (!first_in_list && next_next_char == '`')
2500 || (new_backquote_flag && next_next_char == ','))));
2501 }
2502 else
2503 {
2504 ok = (next_char <= 040
2505 || (next_char < 0200
2506 && (index ("\"';()[]#?", next_char)
2507 || (!first_in_list && next_char == '`')
2508 || (new_backquote_flag && next_char == ','))));
2509 }
2510 UNREAD (next_char);
2511 if (ok)
2512 return make_number (c);
2513
2514 invalid_syntax ("?", 1);
2515 }
2516
2517 case '"':
2518 {
2519 char *p = read_buffer;
2520 char *end = read_buffer + read_buffer_size;
2521 register int c;
2522 /* 1 if we saw an escape sequence specifying
2523 a multibyte character, or a multibyte character. */
2524 int force_multibyte = 0;
2525 /* 1 if we saw an escape sequence specifying
2526 a single-byte character. */
2527 int force_singlebyte = 0;
2528 /* 1 if read_buffer contains multibyte text now. */
2529 int is_multibyte = 0;
2530 int cancel = 0;
2531 int nchars = 0;
2532
2533 while ((c = READCHAR) >= 0
2534 && c != '\"')
2535 {
2536 if (end - p < MAX_MULTIBYTE_LENGTH)
2537 {
2538 int offset = p - read_buffer;
2539 read_buffer = (char *) xrealloc (read_buffer,
2540 read_buffer_size *= 2);
2541 p = read_buffer + offset;
2542 end = read_buffer + read_buffer_size;
2543 }
2544
2545 if (c == '\\')
2546 {
2547 int byterep;
2548
2549 c = read_escape (readcharfun, 1, &byterep);
2550
2551 /* C is -1 if \ newline has just been seen */
2552 if (c == -1)
2553 {
2554 if (p == read_buffer)
2555 cancel = 1;
2556 continue;
2557 }
2558
2559 if (byterep == 1)
2560 force_singlebyte = 1;
2561 else if (byterep == 2)
2562 force_multibyte = 1;
2563 }
2564
2565 /* A character that must be multibyte forces multibyte. */
2566 if (! SINGLE_BYTE_CHAR_P (c & ~CHAR_MODIFIER_MASK))
2567 force_multibyte = 1;
2568
2569 /* If we just discovered the need to be multibyte,
2570 convert the text accumulated thus far. */
2571 if (force_multibyte && ! is_multibyte)
2572 {
2573 is_multibyte = 1;
2574 to_multibyte (&p, &end, &nchars);
2575 }
2576
2577 /* Allow `\C- ' and `\C-?'. */
2578 if (c == (CHAR_CTL | ' '))
2579 c = 0;
2580 else if (c == (CHAR_CTL | '?'))
2581 c = 127;
2582
2583 if (c & CHAR_SHIFT)
2584 {
2585 /* Shift modifier is valid only with [A-Za-z]. */
2586 if ((c & 0377) >= 'A' && (c & 0377) <= 'Z')
2587 c &= ~CHAR_SHIFT;
2588 else if ((c & 0377) >= 'a' && (c & 0377) <= 'z')
2589 c = (c & ~CHAR_SHIFT) - ('a' - 'A');
2590 }
2591
2592 if (c & CHAR_META)
2593 /* Move the meta bit to the right place for a string. */
2594 c = (c & ~CHAR_META) | 0x80;
2595 if (c & CHAR_MODIFIER_MASK)
2596 error ("Invalid modifier in string");
2597
2598 if (is_multibyte)
2599 p += CHAR_STRING (c, p);
2600 else
2601 *p++ = c;
2602
2603 nchars++;
2604 }
2605
2606 if (c < 0)
2607 end_of_file_error ();
2608
2609 /* If purifying, and string starts with \ newline,
2610 return zero instead. This is for doc strings
2611 that we are really going to find in etc/DOC.nn.nn */
2612 if (!NILP (Vpurify_flag) && NILP (Vdoc_file_name) && cancel)
2613 return make_number (0);
2614
2615 if (is_multibyte || force_singlebyte)
2616 ;
2617 else if (load_convert_to_unibyte)
2618 {
2619 Lisp_Object string;
2620 to_multibyte (&p, &end, &nchars);
2621 if (p - read_buffer != nchars)
2622 {
2623 string = make_multibyte_string (read_buffer, nchars,
2624 p - read_buffer);
2625 return Fstring_make_unibyte (string);
2626 }
2627 /* We can make a unibyte string directly. */
2628 is_multibyte = 0;
2629 }
2630 else if (EQ (readcharfun, Qget_file_char)
2631 || EQ (readcharfun, Qlambda))
2632 {
2633 /* Nowadays, reading directly from a file is used only for
2634 compiled Emacs Lisp files, and those always use the
2635 Emacs internal encoding. Meanwhile, Qlambda is used
2636 for reading dynamic byte code (compiled with
2637 byte-compile-dynamic = t). So make the string multibyte
2638 if the string contains any multibyte sequences.
2639 (to_multibyte is a no-op if not.) */
2640 to_multibyte (&p, &end, &nchars);
2641 is_multibyte = (p - read_buffer) != nchars;
2642 }
2643 else
2644 /* In all other cases, if we read these bytes as
2645 separate characters, treat them as separate characters now. */
2646 ;
2647
2648 /* We want readchar_count to be the number of characters, not
2649 bytes. Hence we adjust for multibyte characters in the
2650 string. ... But it doesn't seem to be necessary, because
2651 READCHAR *does* read multibyte characters from buffers. */
2652 /* readchar_count -= (p - read_buffer) - nchars; */
2653 if (read_pure)
2654 return make_pure_string (read_buffer, nchars, p - read_buffer,
2655 is_multibyte);
2656 return make_specified_string (read_buffer, nchars, p - read_buffer,
2657 is_multibyte);
2658 }
2659
2660 case '.':
2661 {
2662 int next_char = READCHAR;
2663 UNREAD (next_char);
2664
2665 if (next_char <= 040
2666 || (next_char < 0200
2667 && (index ("\"';([#?", next_char)
2668 || (!first_in_list && next_char == '`')
2669 || (new_backquote_flag && next_char == ','))))
2670 {
2671 *pch = c;
2672 return Qnil;
2673 }
2674
2675 /* Otherwise, we fall through! Note that the atom-reading loop
2676 below will now loop at least once, assuring that we will not
2677 try to UNREAD two characters in a row. */
2678 }
2679 default:
2680 default_label:
2681 if (c <= 040) goto retry;
2682 {
2683 char *p = read_buffer;
2684 int quoted = 0;
2685
2686 {
2687 char *end = read_buffer + read_buffer_size;
2688
2689 while (c > 040
2690 && (c >= 0200
2691 || (!index ("\"';()[]#", c)
2692 && !(!first_in_list && c == '`')
2693 && !(new_backquote_flag && c == ','))))
2694 {
2695 if (end - p < MAX_MULTIBYTE_LENGTH)
2696 {
2697 int offset = p - read_buffer;
2698 read_buffer = (char *) xrealloc (read_buffer,
2699 read_buffer_size *= 2);
2700 p = read_buffer + offset;
2701 end = read_buffer + read_buffer_size;
2702 }
2703
2704 if (c == '\\')
2705 {
2706 c = READCHAR;
2707 if (c == -1)
2708 end_of_file_error ();
2709 quoted = 1;
2710 }
2711
2712 if (! SINGLE_BYTE_CHAR_P (c))
2713 p += CHAR_STRING (c, p);
2714 else
2715 *p++ = c;
2716
2717 c = READCHAR;
2718 }
2719
2720 if (p == end)
2721 {
2722 int offset = p - read_buffer;
2723 read_buffer = (char *) xrealloc (read_buffer,
2724 read_buffer_size *= 2);
2725 p = read_buffer + offset;
2726 end = read_buffer + read_buffer_size;
2727 }
2728 *p = 0;
2729 if (c >= 0)
2730 UNREAD (c);
2731 }
2732
2733 if (!quoted && !uninterned_symbol)
2734 {
2735 register char *p1;
2736 register Lisp_Object val;
2737 p1 = read_buffer;
2738 if (*p1 == '+' || *p1 == '-') p1++;
2739 /* Is it an integer? */
2740 if (p1 != p)
2741 {
2742 while (p1 != p && (c = *p1) >= '0' && c <= '9') p1++;
2743 /* Integers can have trailing decimal points. */
2744 if (p1 > read_buffer && p1 < p && *p1 == '.') p1++;
2745 if (p1 == p)
2746 /* It is an integer. */
2747 {
2748 if (p1[-1] == '.')
2749 p1[-1] = '\0';
2750 if (sizeof (int) == sizeof (EMACS_INT))
2751 XSETINT (val, atoi (read_buffer));
2752 else if (sizeof (long) == sizeof (EMACS_INT))
2753 XSETINT (val, atol (read_buffer));
2754 else
2755 abort ();
2756 return val;
2757 }
2758 }
2759 if (isfloat_string (read_buffer))
2760 {
2761 /* Compute NaN and infinities using 0.0 in a variable,
2762 to cope with compilers that think they are smarter
2763 than we are. */
2764 double zero = 0.0;
2765
2766 double value;
2767
2768 /* Negate the value ourselves. This treats 0, NaNs,
2769 and infinity properly on IEEE floating point hosts,
2770 and works around a common bug where atof ("-0.0")
2771 drops the sign. */
2772 int negative = read_buffer[0] == '-';
2773
2774 /* The only way p[-1] can be 'F' or 'N', after isfloat_string
2775 returns 1, is if the input ends in e+INF or e+NaN. */
2776 switch (p[-1])
2777 {
2778 case 'F':
2779 value = 1.0 / zero;
2780 break;
2781 case 'N':
2782 value = zero / zero;
2783
2784 /* If that made a "negative" NaN, negate it. */
2785
2786 {
2787 int i;
2788 union { double d; char c[sizeof (double)]; } u_data, u_minus_zero;
2789
2790 u_data.d = value;
2791 u_minus_zero.d = - 0.0;
2792 for (i = 0; i < sizeof (double); i++)
2793 if (u_data.c[i] & u_minus_zero.c[i])
2794 {
2795 value = - value;
2796 break;
2797 }
2798 }
2799 /* Now VALUE is a positive NaN. */
2800 break;
2801 default:
2802 value = atof (read_buffer + negative);
2803 break;
2804 }
2805
2806 return make_float (negative ? - value : value);
2807 }
2808 }
2809 {
2810 Lisp_Object result = uninterned_symbol ? make_symbol (read_buffer)
2811 : intern (read_buffer);
2812 if (EQ (Vread_with_symbol_positions, Qt)
2813 || EQ (Vread_with_symbol_positions, readcharfun))
2814 Vread_symbol_positions_list =
2815 /* Kind of a hack; this will probably fail if characters
2816 in the symbol name were escaped. Not really a big
2817 deal, though. */
2818 Fcons (Fcons (result,
2819 make_number (readchar_count
2820 - XFASTINT (Flength (Fsymbol_name (result))))),
2821 Vread_symbol_positions_list);
2822 return result;
2823 }
2824 }
2825 }
2826 }
2827 \f
2828
2829 /* List of nodes we've seen during substitute_object_in_subtree. */
2830 static Lisp_Object seen_list;
2831
2832 static void
2833 substitute_object_in_subtree (object, placeholder)
2834 Lisp_Object object;
2835 Lisp_Object placeholder;
2836 {
2837 Lisp_Object check_object;
2838
2839 /* We haven't seen any objects when we start. */
2840 seen_list = Qnil;
2841
2842 /* Make all the substitutions. */
2843 check_object
2844 = substitute_object_recurse (object, placeholder, object);
2845
2846 /* Clear seen_list because we're done with it. */
2847 seen_list = Qnil;
2848
2849 /* The returned object here is expected to always eq the
2850 original. */
2851 if (!EQ (check_object, object))
2852 error ("Unexpected mutation error in reader");
2853 }
2854
2855 /* Feval doesn't get called from here, so no gc protection is needed. */
2856 #define SUBSTITUTE(get_val, set_val) \
2857 { \
2858 Lisp_Object old_value = get_val; \
2859 Lisp_Object true_value \
2860 = substitute_object_recurse (object, placeholder,\
2861 old_value); \
2862 \
2863 if (!EQ (old_value, true_value)) \
2864 { \
2865 set_val; \
2866 } \
2867 }
2868
2869 static Lisp_Object
2870 substitute_object_recurse (object, placeholder, subtree)
2871 Lisp_Object object;
2872 Lisp_Object placeholder;
2873 Lisp_Object subtree;
2874 {
2875 /* If we find the placeholder, return the target object. */
2876 if (EQ (placeholder, subtree))
2877 return object;
2878
2879 /* If we've been to this node before, don't explore it again. */
2880 if (!EQ (Qnil, Fmemq (subtree, seen_list)))
2881 return subtree;
2882
2883 /* If this node can be the entry point to a cycle, remember that
2884 we've seen it. It can only be such an entry point if it was made
2885 by #n=, which means that we can find it as a value in
2886 read_objects. */
2887 if (!EQ (Qnil, Frassq (subtree, read_objects)))
2888 seen_list = Fcons (subtree, seen_list);
2889
2890 /* Recurse according to subtree's type.
2891 Every branch must return a Lisp_Object. */
2892 switch (XTYPE (subtree))
2893 {
2894 case Lisp_Vectorlike:
2895 {
2896 int i;
2897 int length = XINT (Flength(subtree));
2898 for (i = 0; i < length; i++)
2899 {
2900 Lisp_Object idx = make_number (i);
2901 SUBSTITUTE (Faref (subtree, idx),
2902 Faset (subtree, idx, true_value));
2903 }
2904 return subtree;
2905 }
2906
2907 case Lisp_Cons:
2908 {
2909 SUBSTITUTE (Fcar_safe (subtree),
2910 Fsetcar (subtree, true_value));
2911 SUBSTITUTE (Fcdr_safe (subtree),
2912 Fsetcdr (subtree, true_value));
2913 return subtree;
2914 }
2915
2916 case Lisp_String:
2917 {
2918 /* Check for text properties in each interval.
2919 substitute_in_interval contains part of the logic. */
2920
2921 INTERVAL root_interval = STRING_INTERVALS (subtree);
2922 Lisp_Object arg = Fcons (object, placeholder);
2923
2924 traverse_intervals_noorder (root_interval,
2925 &substitute_in_interval, arg);
2926
2927 return subtree;
2928 }
2929
2930 /* Other types don't recurse any further. */
2931 default:
2932 return subtree;
2933 }
2934 }
2935
2936 /* Helper function for substitute_object_recurse. */
2937 static void
2938 substitute_in_interval (interval, arg)
2939 INTERVAL interval;
2940 Lisp_Object arg;
2941 {
2942 Lisp_Object object = Fcar (arg);
2943 Lisp_Object placeholder = Fcdr (arg);
2944
2945 SUBSTITUTE(interval->plist, interval->plist = true_value);
2946 }
2947
2948 \f
2949 #define LEAD_INT 1
2950 #define DOT_CHAR 2
2951 #define TRAIL_INT 4
2952 #define E_CHAR 8
2953 #define EXP_INT 16
2954
2955 int
2956 isfloat_string (cp)
2957 register char *cp;
2958 {
2959 register int state;
2960
2961 char *start = cp;
2962
2963 state = 0;
2964 if (*cp == '+' || *cp == '-')
2965 cp++;
2966
2967 if (*cp >= '0' && *cp <= '9')
2968 {
2969 state |= LEAD_INT;
2970 while (*cp >= '0' && *cp <= '9')
2971 cp++;
2972 }
2973 if (*cp == '.')
2974 {
2975 state |= DOT_CHAR;
2976 cp++;
2977 }
2978 if (*cp >= '0' && *cp <= '9')
2979 {
2980 state |= TRAIL_INT;
2981 while (*cp >= '0' && *cp <= '9')
2982 cp++;
2983 }
2984 if (*cp == 'e' || *cp == 'E')
2985 {
2986 state |= E_CHAR;
2987 cp++;
2988 if (*cp == '+' || *cp == '-')
2989 cp++;
2990 }
2991
2992 if (*cp >= '0' && *cp <= '9')
2993 {
2994 state |= EXP_INT;
2995 while (*cp >= '0' && *cp <= '9')
2996 cp++;
2997 }
2998 else if (cp == start)
2999 ;
3000 else if (cp[-1] == '+' && cp[0] == 'I' && cp[1] == 'N' && cp[2] == 'F')
3001 {
3002 state |= EXP_INT;
3003 cp += 3;
3004 }
3005 else if (cp[-1] == '+' && cp[0] == 'N' && cp[1] == 'a' && cp[2] == 'N')
3006 {
3007 state |= EXP_INT;
3008 cp += 3;
3009 }
3010
3011 return (((*cp == 0) || (*cp == ' ') || (*cp == '\t') || (*cp == '\n') || (*cp == '\r') || (*cp == '\f'))
3012 && (state == (LEAD_INT|DOT_CHAR|TRAIL_INT)
3013 || state == (DOT_CHAR|TRAIL_INT)
3014 || state == (LEAD_INT|E_CHAR|EXP_INT)
3015 || state == (LEAD_INT|DOT_CHAR|TRAIL_INT|E_CHAR|EXP_INT)
3016 || state == (DOT_CHAR|TRAIL_INT|E_CHAR|EXP_INT)));
3017 }
3018
3019 \f
3020 static Lisp_Object
3021 read_vector (readcharfun, bytecodeflag)
3022 Lisp_Object readcharfun;
3023 int bytecodeflag;
3024 {
3025 register int i;
3026 register int size;
3027 register Lisp_Object *ptr;
3028 register Lisp_Object tem, item, vector;
3029 register struct Lisp_Cons *otem;
3030 Lisp_Object len;
3031
3032 tem = read_list (1, readcharfun);
3033 len = Flength (tem);
3034 vector = (read_pure ? make_pure_vector (XINT (len)) : Fmake_vector (len, Qnil));
3035
3036 size = XVECTOR (vector)->size;
3037 ptr = XVECTOR (vector)->contents;
3038 for (i = 0; i < size; i++)
3039 {
3040 item = Fcar (tem);
3041 /* If `load-force-doc-strings' is t when reading a lazily-loaded
3042 bytecode object, the docstring containing the bytecode and
3043 constants values must be treated as unibyte and passed to
3044 Fread, to get the actual bytecode string and constants vector. */
3045 if (bytecodeflag && load_force_doc_strings)
3046 {
3047 if (i == COMPILED_BYTECODE)
3048 {
3049 if (!STRINGP (item))
3050 error ("Invalid byte code");
3051
3052 /* Delay handling the bytecode slot until we know whether
3053 it is lazily-loaded (we can tell by whether the
3054 constants slot is nil). */
3055 ptr[COMPILED_CONSTANTS] = item;
3056 item = Qnil;
3057 }
3058 else if (i == COMPILED_CONSTANTS)
3059 {
3060 Lisp_Object bytestr = ptr[COMPILED_CONSTANTS];
3061
3062 if (NILP (item))
3063 {
3064 /* Coerce string to unibyte (like string-as-unibyte,
3065 but without generating extra garbage and
3066 guaranteeing no change in the contents). */
3067 STRING_SET_CHARS (bytestr, SBYTES (bytestr));
3068 STRING_SET_UNIBYTE (bytestr);
3069
3070 item = Fread (bytestr);
3071 if (!CONSP (item))
3072 error ("Invalid byte code");
3073
3074 otem = XCONS (item);
3075 bytestr = XCAR (item);
3076 item = XCDR (item);
3077 free_cons (otem);
3078 }
3079
3080 /* Now handle the bytecode slot. */
3081 ptr[COMPILED_BYTECODE] = read_pure ? Fpurecopy (bytestr) : bytestr;
3082 }
3083 }
3084 ptr[i] = read_pure ? Fpurecopy (item) : item;
3085 otem = XCONS (tem);
3086 tem = Fcdr (tem);
3087 free_cons (otem);
3088 }
3089 return vector;
3090 }
3091
3092 /* FLAG = 1 means check for ] to terminate rather than ) and .
3093 FLAG = -1 means check for starting with defun
3094 and make structure pure. */
3095
3096 static Lisp_Object
3097 read_list (flag, readcharfun)
3098 int flag;
3099 register Lisp_Object readcharfun;
3100 {
3101 /* -1 means check next element for defun,
3102 0 means don't check,
3103 1 means already checked and found defun. */
3104 int defunflag = flag < 0 ? -1 : 0;
3105 Lisp_Object val, tail;
3106 register Lisp_Object elt, tem;
3107 struct gcpro gcpro1, gcpro2;
3108 /* 0 is the normal case.
3109 1 means this list is a doc reference; replace it with the number 0.
3110 2 means this list is a doc reference; replace it with the doc string. */
3111 int doc_reference = 0;
3112
3113 /* Initialize this to 1 if we are reading a list. */
3114 int first_in_list = flag <= 0;
3115
3116 val = Qnil;
3117 tail = Qnil;
3118
3119 while (1)
3120 {
3121 int ch;
3122 GCPRO2 (val, tail);
3123 elt = read1 (readcharfun, &ch, first_in_list);
3124 UNGCPRO;
3125
3126 first_in_list = 0;
3127
3128 /* While building, if the list starts with #$, treat it specially. */
3129 if (EQ (elt, Vload_file_name)
3130 && ! NILP (elt)
3131 && !NILP (Vpurify_flag))
3132 {
3133 if (NILP (Vdoc_file_name))
3134 /* We have not yet called Snarf-documentation, so assume
3135 this file is described in the DOC-MM.NN file
3136 and Snarf-documentation will fill in the right value later.
3137 For now, replace the whole list with 0. */
3138 doc_reference = 1;
3139 else
3140 /* We have already called Snarf-documentation, so make a relative
3141 file name for this file, so it can be found properly
3142 in the installed Lisp directory.
3143 We don't use Fexpand_file_name because that would make
3144 the directory absolute now. */
3145 elt = concat2 (build_string ("../lisp/"),
3146 Ffile_name_nondirectory (elt));
3147 }
3148 else if (EQ (elt, Vload_file_name)
3149 && ! NILP (elt)
3150 && load_force_doc_strings)
3151 doc_reference = 2;
3152
3153 if (ch)
3154 {
3155 if (flag > 0)
3156 {
3157 if (ch == ']')
3158 return val;
3159 invalid_syntax (") or . in a vector", 18);
3160 }
3161 if (ch == ')')
3162 return val;
3163 if (ch == '.')
3164 {
3165 GCPRO2 (val, tail);
3166 if (!NILP (tail))
3167 XSETCDR (tail, read0 (readcharfun));
3168 else
3169 val = read0 (readcharfun);
3170 read1 (readcharfun, &ch, 0);
3171 UNGCPRO;
3172 if (ch == ')')
3173 {
3174 if (doc_reference == 1)
3175 return make_number (0);
3176 if (doc_reference == 2)
3177 {
3178 /* Get a doc string from the file we are loading.
3179 If it's in saved_doc_string, get it from there. */
3180 int pos = XINT (XCDR (val));
3181 /* Position is negative for user variables. */
3182 if (pos < 0) pos = -pos;
3183 if (pos >= saved_doc_string_position
3184 && pos < (saved_doc_string_position
3185 + saved_doc_string_length))
3186 {
3187 int start = pos - saved_doc_string_position;
3188 int from, to;
3189
3190 /* Process quoting with ^A,
3191 and find the end of the string,
3192 which is marked with ^_ (037). */
3193 for (from = start, to = start;
3194 saved_doc_string[from] != 037;)
3195 {
3196 int c = saved_doc_string[from++];
3197 if (c == 1)
3198 {
3199 c = saved_doc_string[from++];
3200 if (c == 1)
3201 saved_doc_string[to++] = c;
3202 else if (c == '0')
3203 saved_doc_string[to++] = 0;
3204 else if (c == '_')
3205 saved_doc_string[to++] = 037;
3206 }
3207 else
3208 saved_doc_string[to++] = c;
3209 }
3210
3211 return make_string (saved_doc_string + start,
3212 to - start);
3213 }
3214 /* Look in prev_saved_doc_string the same way. */
3215 else if (pos >= prev_saved_doc_string_position
3216 && pos < (prev_saved_doc_string_position
3217 + prev_saved_doc_string_length))
3218 {
3219 int start = pos - prev_saved_doc_string_position;
3220 int from, to;
3221
3222 /* Process quoting with ^A,
3223 and find the end of the string,
3224 which is marked with ^_ (037). */
3225 for (from = start, to = start;
3226 prev_saved_doc_string[from] != 037;)
3227 {
3228 int c = prev_saved_doc_string[from++];
3229 if (c == 1)
3230 {
3231 c = prev_saved_doc_string[from++];
3232 if (c == 1)
3233 prev_saved_doc_string[to++] = c;
3234 else if (c == '0')
3235 prev_saved_doc_string[to++] = 0;
3236 else if (c == '_')
3237 prev_saved_doc_string[to++] = 037;
3238 }
3239 else
3240 prev_saved_doc_string[to++] = c;
3241 }
3242
3243 return make_string (prev_saved_doc_string + start,
3244 to - start);
3245 }
3246 else
3247 return get_doc_string (val, 0, 0);
3248 }
3249
3250 return val;
3251 }
3252 invalid_syntax (". in wrong context", 18);
3253 }
3254 invalid_syntax ("] in a list", 11);
3255 }
3256 tem = (read_pure && flag <= 0
3257 ? pure_cons (elt, Qnil)
3258 : Fcons (elt, Qnil));
3259 if (!NILP (tail))
3260 XSETCDR (tail, tem);
3261 else
3262 val = tem;
3263 tail = tem;
3264 if (defunflag < 0)
3265 defunflag = EQ (elt, Qdefun);
3266 else if (defunflag > 0)
3267 read_pure = 1;
3268 }
3269 }
3270 \f
3271 Lisp_Object Vobarray;
3272 Lisp_Object initial_obarray;
3273
3274 /* oblookup stores the bucket number here, for the sake of Funintern. */
3275
3276 int oblookup_last_bucket_number;
3277
3278 static int hash_string ();
3279
3280 /* Get an error if OBARRAY is not an obarray.
3281 If it is one, return it. */
3282
3283 Lisp_Object
3284 check_obarray (obarray)
3285 Lisp_Object obarray;
3286 {
3287 if (!VECTORP (obarray) || XVECTOR (obarray)->size == 0)
3288 {
3289 /* If Vobarray is now invalid, force it to be valid. */
3290 if (EQ (Vobarray, obarray)) Vobarray = initial_obarray;
3291 wrong_type_argument (Qvectorp, obarray);
3292 }
3293 return obarray;
3294 }
3295
3296 /* Intern the C string STR: return a symbol with that name,
3297 interned in the current obarray. */
3298
3299 Lisp_Object
3300 intern (str)
3301 const char *str;
3302 {
3303 Lisp_Object tem;
3304 int len = strlen (str);
3305 Lisp_Object obarray;
3306
3307 obarray = Vobarray;
3308 if (!VECTORP (obarray) || XVECTOR (obarray)->size == 0)
3309 obarray = check_obarray (obarray);
3310 tem = oblookup (obarray, str, len, len);
3311 if (SYMBOLP (tem))
3312 return tem;
3313 return Fintern (make_string (str, len), obarray);
3314 }
3315
3316 /* Create an uninterned symbol with name STR. */
3317
3318 Lisp_Object
3319 make_symbol (str)
3320 char *str;
3321 {
3322 int len = strlen (str);
3323
3324 return Fmake_symbol ((!NILP (Vpurify_flag)
3325 ? make_pure_string (str, len, len, 0)
3326 : make_string (str, len)));
3327 }
3328 \f
3329 DEFUN ("intern", Fintern, Sintern, 1, 2, 0,
3330 doc: /* Return the canonical symbol whose name is STRING.
3331 If there is none, one is created by this function and returned.
3332 A second optional argument specifies the obarray to use;
3333 it defaults to the value of `obarray'. */)
3334 (string, obarray)
3335 Lisp_Object string, obarray;
3336 {
3337 register Lisp_Object tem, sym, *ptr;
3338
3339 if (NILP (obarray)) obarray = Vobarray;
3340 obarray = check_obarray (obarray);
3341
3342 CHECK_STRING (string);
3343
3344 tem = oblookup (obarray, SDATA (string),
3345 SCHARS (string),
3346 SBYTES (string));
3347 if (!INTEGERP (tem))
3348 return tem;
3349
3350 if (!NILP (Vpurify_flag))
3351 string = Fpurecopy (string);
3352 sym = Fmake_symbol (string);
3353
3354 if (EQ (obarray, initial_obarray))
3355 XSYMBOL (sym)->interned = SYMBOL_INTERNED_IN_INITIAL_OBARRAY;
3356 else
3357 XSYMBOL (sym)->interned = SYMBOL_INTERNED;
3358
3359 if ((SREF (string, 0) == ':')
3360 && EQ (obarray, initial_obarray))
3361 {
3362 XSYMBOL (sym)->constant = 1;
3363 XSYMBOL (sym)->value = sym;
3364 }
3365
3366 ptr = &XVECTOR (obarray)->contents[XINT (tem)];
3367 if (SYMBOLP (*ptr))
3368 XSYMBOL (sym)->next = XSYMBOL (*ptr);
3369 else
3370 XSYMBOL (sym)->next = 0;
3371 *ptr = sym;
3372 return sym;
3373 }
3374
3375 DEFUN ("intern-soft", Fintern_soft, Sintern_soft, 1, 2, 0,
3376 doc: /* Return the canonical symbol named NAME, or nil if none exists.
3377 NAME may be a string or a symbol. If it is a symbol, that exact
3378 symbol is searched for.
3379 A second optional argument specifies the obarray to use;
3380 it defaults to the value of `obarray'. */)
3381 (name, obarray)
3382 Lisp_Object name, obarray;
3383 {
3384 register Lisp_Object tem, string;
3385
3386 if (NILP (obarray)) obarray = Vobarray;
3387 obarray = check_obarray (obarray);
3388
3389 if (!SYMBOLP (name))
3390 {
3391 CHECK_STRING (name);
3392 string = name;
3393 }
3394 else
3395 string = SYMBOL_NAME (name);
3396
3397 tem = oblookup (obarray, SDATA (string), SCHARS (string), SBYTES (string));
3398 if (INTEGERP (tem) || (SYMBOLP (name) && !EQ (name, tem)))
3399 return Qnil;
3400 else
3401 return tem;
3402 }
3403 \f
3404 DEFUN ("unintern", Funintern, Sunintern, 1, 2, 0,
3405 doc: /* Delete the symbol named NAME, if any, from OBARRAY.
3406 The value is t if a symbol was found and deleted, nil otherwise.
3407 NAME may be a string or a symbol. If it is a symbol, that symbol
3408 is deleted, if it belongs to OBARRAY--no other symbol is deleted.
3409 OBARRAY defaults to the value of the variable `obarray'. */)
3410 (name, obarray)
3411 Lisp_Object name, obarray;
3412 {
3413 register Lisp_Object string, tem;
3414 int hash;
3415
3416 if (NILP (obarray)) obarray = Vobarray;
3417 obarray = check_obarray (obarray);
3418
3419 if (SYMBOLP (name))
3420 string = SYMBOL_NAME (name);
3421 else
3422 {
3423 CHECK_STRING (name);
3424 string = name;
3425 }
3426
3427 tem = oblookup (obarray, SDATA (string),
3428 SCHARS (string),
3429 SBYTES (string));
3430 if (INTEGERP (tem))
3431 return Qnil;
3432 /* If arg was a symbol, don't delete anything but that symbol itself. */
3433 if (SYMBOLP (name) && !EQ (name, tem))
3434 return Qnil;
3435
3436 XSYMBOL (tem)->interned = SYMBOL_UNINTERNED;
3437 XSYMBOL (tem)->constant = 0;
3438 XSYMBOL (tem)->indirect_variable = 0;
3439
3440 hash = oblookup_last_bucket_number;
3441
3442 if (EQ (XVECTOR (obarray)->contents[hash], tem))
3443 {
3444 if (XSYMBOL (tem)->next)
3445 XSETSYMBOL (XVECTOR (obarray)->contents[hash], XSYMBOL (tem)->next);
3446 else
3447 XSETINT (XVECTOR (obarray)->contents[hash], 0);
3448 }
3449 else
3450 {
3451 Lisp_Object tail, following;
3452
3453 for (tail = XVECTOR (obarray)->contents[hash];
3454 XSYMBOL (tail)->next;
3455 tail = following)
3456 {
3457 XSETSYMBOL (following, XSYMBOL (tail)->next);
3458 if (EQ (following, tem))
3459 {
3460 XSYMBOL (tail)->next = XSYMBOL (following)->next;
3461 break;
3462 }
3463 }
3464 }
3465
3466 return Qt;
3467 }
3468 \f
3469 /* Return the symbol in OBARRAY whose names matches the string
3470 of SIZE characters (SIZE_BYTE bytes) at PTR.
3471 If there is no such symbol in OBARRAY, return nil.
3472
3473 Also store the bucket number in oblookup_last_bucket_number. */
3474
3475 Lisp_Object
3476 oblookup (obarray, ptr, size, size_byte)
3477 Lisp_Object obarray;
3478 register const char *ptr;
3479 int size, size_byte;
3480 {
3481 int hash;
3482 int obsize;
3483 register Lisp_Object tail;
3484 Lisp_Object bucket, tem;
3485
3486 if (!VECTORP (obarray)
3487 || (obsize = XVECTOR (obarray)->size) == 0)
3488 {
3489 obarray = check_obarray (obarray);
3490 obsize = XVECTOR (obarray)->size;
3491 }
3492 /* This is sometimes needed in the middle of GC. */
3493 obsize &= ~ARRAY_MARK_FLAG;
3494 /* Combining next two lines breaks VMS C 2.3. */
3495 hash = hash_string (ptr, size_byte);
3496 hash %= obsize;
3497 bucket = XVECTOR (obarray)->contents[hash];
3498 oblookup_last_bucket_number = hash;
3499 if (EQ (bucket, make_number (0)))
3500 ;
3501 else if (!SYMBOLP (bucket))
3502 error ("Bad data in guts of obarray"); /* Like CADR error message */
3503 else
3504 for (tail = bucket; ; XSETSYMBOL (tail, XSYMBOL (tail)->next))
3505 {
3506 if (SBYTES (SYMBOL_NAME (tail)) == size_byte
3507 && SCHARS (SYMBOL_NAME (tail)) == size
3508 && !bcmp (SDATA (SYMBOL_NAME (tail)), ptr, size_byte))
3509 return tail;
3510 else if (XSYMBOL (tail)->next == 0)
3511 break;
3512 }
3513 XSETINT (tem, hash);
3514 return tem;
3515 }
3516
3517 static int
3518 hash_string (ptr, len)
3519 const unsigned char *ptr;
3520 int len;
3521 {
3522 register const unsigned char *p = ptr;
3523 register const unsigned char *end = p + len;
3524 register unsigned char c;
3525 register int hash = 0;
3526
3527 while (p != end)
3528 {
3529 c = *p++;
3530 if (c >= 0140) c -= 40;
3531 hash = ((hash<<3) + (hash>>28) + c);
3532 }
3533 return hash & 07777777777;
3534 }
3535 \f
3536 void
3537 map_obarray (obarray, fn, arg)
3538 Lisp_Object obarray;
3539 void (*fn) P_ ((Lisp_Object, Lisp_Object));
3540 Lisp_Object arg;
3541 {
3542 register int i;
3543 register Lisp_Object tail;
3544 CHECK_VECTOR (obarray);
3545 for (i = XVECTOR (obarray)->size - 1; i >= 0; i--)
3546 {
3547 tail = XVECTOR (obarray)->contents[i];
3548 if (SYMBOLP (tail))
3549 while (1)
3550 {
3551 (*fn) (tail, arg);
3552 if (XSYMBOL (tail)->next == 0)
3553 break;
3554 XSETSYMBOL (tail, XSYMBOL (tail)->next);
3555 }
3556 }
3557 }
3558
3559 void
3560 mapatoms_1 (sym, function)
3561 Lisp_Object sym, function;
3562 {
3563 call1 (function, sym);
3564 }
3565
3566 DEFUN ("mapatoms", Fmapatoms, Smapatoms, 1, 2, 0,
3567 doc: /* Call FUNCTION on every symbol in OBARRAY.
3568 OBARRAY defaults to the value of `obarray'. */)
3569 (function, obarray)
3570 Lisp_Object function, obarray;
3571 {
3572 if (NILP (obarray)) obarray = Vobarray;
3573 obarray = check_obarray (obarray);
3574
3575 map_obarray (obarray, mapatoms_1, function);
3576 return Qnil;
3577 }
3578
3579 #define OBARRAY_SIZE 1511
3580
3581 void
3582 init_obarray ()
3583 {
3584 Lisp_Object oblength;
3585 int hash;
3586 Lisp_Object *tem;
3587
3588 XSETFASTINT (oblength, OBARRAY_SIZE);
3589
3590 Qnil = Fmake_symbol (make_pure_string ("nil", 3, 3, 0));
3591 Vobarray = Fmake_vector (oblength, make_number (0));
3592 initial_obarray = Vobarray;
3593 staticpro (&initial_obarray);
3594 /* Intern nil in the obarray */
3595 XSYMBOL (Qnil)->interned = SYMBOL_INTERNED_IN_INITIAL_OBARRAY;
3596 XSYMBOL (Qnil)->constant = 1;
3597
3598 /* These locals are to kludge around a pyramid compiler bug. */
3599 hash = hash_string ("nil", 3);
3600 /* Separate statement here to avoid VAXC bug. */
3601 hash %= OBARRAY_SIZE;
3602 tem = &XVECTOR (Vobarray)->contents[hash];
3603 *tem = Qnil;
3604
3605 Qunbound = Fmake_symbol (make_pure_string ("unbound", 7, 7, 0));
3606 XSYMBOL (Qnil)->function = Qunbound;
3607 XSYMBOL (Qunbound)->value = Qunbound;
3608 XSYMBOL (Qunbound)->function = Qunbound;
3609
3610 Qt = intern ("t");
3611 XSYMBOL (Qnil)->value = Qnil;
3612 XSYMBOL (Qnil)->plist = Qnil;
3613 XSYMBOL (Qt)->value = Qt;
3614 XSYMBOL (Qt)->constant = 1;
3615
3616 /* Qt is correct even if CANNOT_DUMP. loadup.el will set to nil at end. */
3617 Vpurify_flag = Qt;
3618
3619 Qvariable_documentation = intern ("variable-documentation");
3620 staticpro (&Qvariable_documentation);
3621
3622 read_buffer_size = 100 + MAX_MULTIBYTE_LENGTH;
3623 read_buffer = (char *) xmalloc (read_buffer_size);
3624 }
3625 \f
3626 void
3627 defsubr (sname)
3628 struct Lisp_Subr *sname;
3629 {
3630 Lisp_Object sym;
3631 sym = intern (sname->symbol_name);
3632 XSETSUBR (XSYMBOL (sym)->function, sname);
3633 }
3634
3635 #ifdef NOTDEF /* use fset in subr.el now */
3636 void
3637 defalias (sname, string)
3638 struct Lisp_Subr *sname;
3639 char *string;
3640 {
3641 Lisp_Object sym;
3642 sym = intern (string);
3643 XSETSUBR (XSYMBOL (sym)->function, sname);
3644 }
3645 #endif /* NOTDEF */
3646
3647 /* Define an "integer variable"; a symbol whose value is forwarded
3648 to a C variable of type int. Sample call: */
3649 /* DEFVAR_INT ("indent-tabs-mode", &indent_tabs_mode, "Documentation"); */
3650 void
3651 defvar_int (namestring, address)
3652 char *namestring;
3653 EMACS_INT *address;
3654 {
3655 Lisp_Object sym, val;
3656 sym = intern (namestring);
3657 val = allocate_misc ();
3658 XMISCTYPE (val) = Lisp_Misc_Intfwd;
3659 XINTFWD (val)->intvar = address;
3660 SET_SYMBOL_VALUE (sym, val);
3661 }
3662
3663 /* Similar but define a variable whose value is t if address contains 1,
3664 nil if address contains 0 */
3665 void
3666 defvar_bool (namestring, address)
3667 char *namestring;
3668 int *address;
3669 {
3670 Lisp_Object sym, val;
3671 sym = intern (namestring);
3672 val = allocate_misc ();
3673 XMISCTYPE (val) = Lisp_Misc_Boolfwd;
3674 XBOOLFWD (val)->boolvar = address;
3675 SET_SYMBOL_VALUE (sym, val);
3676 Vbyte_boolean_vars = Fcons (sym, Vbyte_boolean_vars);
3677 }
3678
3679 /* Similar but define a variable whose value is the Lisp Object stored
3680 at address. Two versions: with and without gc-marking of the C
3681 variable. The nopro version is used when that variable will be
3682 gc-marked for some other reason, since marking the same slot twice
3683 can cause trouble with strings. */
3684 void
3685 defvar_lisp_nopro (namestring, address)
3686 char *namestring;
3687 Lisp_Object *address;
3688 {
3689 Lisp_Object sym, val;
3690 sym = intern (namestring);
3691 val = allocate_misc ();
3692 XMISCTYPE (val) = Lisp_Misc_Objfwd;
3693 XOBJFWD (val)->objvar = address;
3694 SET_SYMBOL_VALUE (sym, val);
3695 }
3696
3697 void
3698 defvar_lisp (namestring, address)
3699 char *namestring;
3700 Lisp_Object *address;
3701 {
3702 defvar_lisp_nopro (namestring, address);
3703 staticpro (address);
3704 }
3705
3706 /* Similar but define a variable whose value is the Lisp Object stored in
3707 the current buffer. address is the address of the slot in the buffer
3708 that is current now. */
3709
3710 void
3711 defvar_per_buffer (namestring, address, type, doc)
3712 char *namestring;
3713 Lisp_Object *address;
3714 Lisp_Object type;
3715 char *doc;
3716 {
3717 Lisp_Object sym, val;
3718 int offset;
3719
3720 sym = intern (namestring);
3721 val = allocate_misc ();
3722 offset = (char *)address - (char *)current_buffer;
3723
3724 XMISCTYPE (val) = Lisp_Misc_Buffer_Objfwd;
3725 XBUFFER_OBJFWD (val)->offset = offset;
3726 SET_SYMBOL_VALUE (sym, val);
3727 PER_BUFFER_SYMBOL (offset) = sym;
3728 PER_BUFFER_TYPE (offset) = type;
3729
3730 if (PER_BUFFER_IDX (offset) == 0)
3731 /* Did a DEFVAR_PER_BUFFER without initializing the corresponding
3732 slot of buffer_local_flags */
3733 abort ();
3734 }
3735
3736
3737 /* Similar but define a variable whose value is the Lisp Object stored
3738 at a particular offset in the current kboard object. */
3739
3740 void
3741 defvar_kboard (namestring, offset)
3742 char *namestring;
3743 int offset;
3744 {
3745 Lisp_Object sym, val;
3746 sym = intern (namestring);
3747 val = allocate_misc ();
3748 XMISCTYPE (val) = Lisp_Misc_Kboard_Objfwd;
3749 XKBOARD_OBJFWD (val)->offset = offset;
3750 SET_SYMBOL_VALUE (sym, val);
3751 }
3752 \f
3753 /* Record the value of load-path used at the start of dumping
3754 so we can see if the site changed it later during dumping. */
3755 static Lisp_Object dump_path;
3756
3757 void
3758 init_lread ()
3759 {
3760 char *normal;
3761 int turn_off_warning = 0;
3762
3763 /* Compute the default load-path. */
3764 #ifdef CANNOT_DUMP
3765 normal = PATH_LOADSEARCH;
3766 Vload_path = decode_env_path (0, normal);
3767 #else
3768 if (NILP (Vpurify_flag))
3769 normal = PATH_LOADSEARCH;
3770 else
3771 normal = PATH_DUMPLOADSEARCH;
3772
3773 /* In a dumped Emacs, we normally have to reset the value of
3774 Vload_path from PATH_LOADSEARCH, since the value that was dumped
3775 uses ../lisp, instead of the path of the installed elisp
3776 libraries. However, if it appears that Vload_path was changed
3777 from the default before dumping, don't override that value. */
3778 if (initialized)
3779 {
3780 if (! NILP (Fequal (dump_path, Vload_path)))
3781 {
3782 Vload_path = decode_env_path (0, normal);
3783 if (!NILP (Vinstallation_directory))
3784 {
3785 Lisp_Object tem, tem1, sitelisp;
3786
3787 /* Remove site-lisp dirs from path temporarily and store
3788 them in sitelisp, then conc them on at the end so
3789 they're always first in path. */
3790 sitelisp = Qnil;
3791 while (1)
3792 {
3793 tem = Fcar (Vload_path);
3794 tem1 = Fstring_match (build_string ("site-lisp"),
3795 tem, Qnil);
3796 if (!NILP (tem1))
3797 {
3798 Vload_path = Fcdr (Vload_path);
3799 sitelisp = Fcons (tem, sitelisp);
3800 }
3801 else
3802 break;
3803 }
3804
3805 /* Add to the path the lisp subdir of the
3806 installation dir, if it exists. */
3807 tem = Fexpand_file_name (build_string ("lisp"),
3808 Vinstallation_directory);
3809 tem1 = Ffile_exists_p (tem);
3810 if (!NILP (tem1))
3811 {
3812 if (NILP (Fmember (tem, Vload_path)))
3813 {
3814 turn_off_warning = 1;
3815 Vload_path = Fcons (tem, Vload_path);
3816 }
3817 }
3818 else
3819 /* That dir doesn't exist, so add the build-time
3820 Lisp dirs instead. */
3821 Vload_path = nconc2 (Vload_path, dump_path);
3822
3823 /* Add leim under the installation dir, if it exists. */
3824 tem = Fexpand_file_name (build_string ("leim"),
3825 Vinstallation_directory);
3826 tem1 = Ffile_exists_p (tem);
3827 if (!NILP (tem1))
3828 {
3829 if (NILP (Fmember (tem, Vload_path)))
3830 Vload_path = Fcons (tem, Vload_path);
3831 }
3832
3833 /* Add site-list under the installation dir, if it exists. */
3834 tem = Fexpand_file_name (build_string ("site-lisp"),
3835 Vinstallation_directory);
3836 tem1 = Ffile_exists_p (tem);
3837 if (!NILP (tem1))
3838 {
3839 if (NILP (Fmember (tem, Vload_path)))
3840 Vload_path = Fcons (tem, Vload_path);
3841 }
3842
3843 /* If Emacs was not built in the source directory,
3844 and it is run from where it was built, add to load-path
3845 the lisp, leim and site-lisp dirs under that directory. */
3846
3847 if (NILP (Fequal (Vinstallation_directory, Vsource_directory)))
3848 {
3849 Lisp_Object tem2;
3850
3851 tem = Fexpand_file_name (build_string ("src/Makefile"),
3852 Vinstallation_directory);
3853 tem1 = Ffile_exists_p (tem);
3854
3855 /* Don't be fooled if they moved the entire source tree
3856 AFTER dumping Emacs. If the build directory is indeed
3857 different from the source dir, src/Makefile.in and
3858 src/Makefile will not be found together. */
3859 tem = Fexpand_file_name (build_string ("src/Makefile.in"),
3860 Vinstallation_directory);
3861 tem2 = Ffile_exists_p (tem);
3862 if (!NILP (tem1) && NILP (tem2))
3863 {
3864 tem = Fexpand_file_name (build_string ("lisp"),
3865 Vsource_directory);
3866
3867 if (NILP (Fmember (tem, Vload_path)))
3868 Vload_path = Fcons (tem, Vload_path);
3869
3870 tem = Fexpand_file_name (build_string ("leim"),
3871 Vsource_directory);
3872
3873 if (NILP (Fmember (tem, Vload_path)))
3874 Vload_path = Fcons (tem, Vload_path);
3875
3876 tem = Fexpand_file_name (build_string ("site-lisp"),
3877 Vsource_directory);
3878
3879 if (NILP (Fmember (tem, Vload_path)))
3880 Vload_path = Fcons (tem, Vload_path);
3881 }
3882 }
3883 if (!NILP (sitelisp))
3884 Vload_path = nconc2 (Fnreverse (sitelisp), Vload_path);
3885 }
3886 }
3887 }
3888 else
3889 {
3890 /* NORMAL refers to the lisp dir in the source directory. */
3891 /* We used to add ../lisp at the front here, but
3892 that caused trouble because it was copied from dump_path
3893 into Vload_path, aboe, when Vinstallation_directory was non-nil.
3894 It should be unnecessary. */
3895 Vload_path = decode_env_path (0, normal);
3896 dump_path = Vload_path;
3897 }
3898 #endif
3899
3900 #if (!(defined(WINDOWSNT) || (defined(HAVE_CARBON))))
3901 /* When Emacs is invoked over network shares on NT, PATH_LOADSEARCH is
3902 almost never correct, thereby causing a warning to be printed out that
3903 confuses users. Since PATH_LOADSEARCH is always overridden by the
3904 EMACSLOADPATH environment variable below, disable the warning on NT.
3905 Also, when using the "self-contained" option for Carbon Emacs for MacOSX,
3906 the "standard" paths may not exist and would be overridden by
3907 EMACSLOADPATH as on NT. Since this depends on how the executable
3908 was build and packaged, turn off the warnings in general */
3909
3910 /* Warn if dirs in the *standard* path don't exist. */
3911 if (!turn_off_warning)
3912 {
3913 Lisp_Object path_tail;
3914
3915 for (path_tail = Vload_path;
3916 !NILP (path_tail);
3917 path_tail = XCDR (path_tail))
3918 {
3919 Lisp_Object dirfile;
3920 dirfile = Fcar (path_tail);
3921 if (STRINGP (dirfile))
3922 {
3923 dirfile = Fdirectory_file_name (dirfile);
3924 if (access (SDATA (dirfile), 0) < 0)
3925 dir_warning ("Warning: Lisp directory `%s' does not exist.\n",
3926 XCAR (path_tail));
3927 }
3928 }
3929 }
3930 #endif /* !(WINDOWSNT || HAVE_CARBON) */
3931
3932 /* If the EMACSLOADPATH environment variable is set, use its value.
3933 This doesn't apply if we're dumping. */
3934 #ifndef CANNOT_DUMP
3935 if (NILP (Vpurify_flag)
3936 && egetenv ("EMACSLOADPATH"))
3937 #endif
3938 Vload_path = decode_env_path ("EMACSLOADPATH", normal);
3939
3940 Vvalues = Qnil;
3941
3942 load_in_progress = 0;
3943 Vload_file_name = Qnil;
3944
3945 load_descriptor_list = Qnil;
3946
3947 Vstandard_input = Qt;
3948 Vloads_in_progress = Qnil;
3949 }
3950
3951 /* Print a warning, using format string FORMAT, that directory DIRNAME
3952 does not exist. Print it on stderr and put it in *Message*. */
3953
3954 void
3955 dir_warning (format, dirname)
3956 char *format;
3957 Lisp_Object dirname;
3958 {
3959 char *buffer
3960 = (char *) alloca (SCHARS (dirname) + strlen (format) + 5);
3961
3962 fprintf (stderr, format, SDATA (dirname));
3963 sprintf (buffer, format, SDATA (dirname));
3964 /* Don't log the warning before we've initialized!! */
3965 if (initialized)
3966 message_dolog (buffer, strlen (buffer), 0, STRING_MULTIBYTE (dirname));
3967 }
3968
3969 void
3970 syms_of_lread ()
3971 {
3972 defsubr (&Sread);
3973 defsubr (&Sread_from_string);
3974 defsubr (&Sintern);
3975 defsubr (&Sintern_soft);
3976 defsubr (&Sunintern);
3977 defsubr (&Sget_load_suffixes);
3978 defsubr (&Sload);
3979 defsubr (&Seval_buffer);
3980 defsubr (&Seval_region);
3981 defsubr (&Sread_char);
3982 defsubr (&Sread_char_exclusive);
3983 defsubr (&Sread_event);
3984 defsubr (&Sget_file_char);
3985 defsubr (&Smapatoms);
3986 defsubr (&Slocate_file_internal);
3987
3988 DEFVAR_LISP ("obarray", &Vobarray,
3989 doc: /* Symbol table for use by `intern' and `read'.
3990 It is a vector whose length ought to be prime for best results.
3991 The vector's contents don't make sense if examined from Lisp programs;
3992 to find all the symbols in an obarray, use `mapatoms'. */);
3993
3994 DEFVAR_LISP ("values", &Vvalues,
3995 doc: /* List of values of all expressions which were read, evaluated and printed.
3996 Order is reverse chronological. */);
3997
3998 DEFVAR_LISP ("standard-input", &Vstandard_input,
3999 doc: /* Stream for read to get input from.
4000 See documentation of `read' for possible values. */);
4001 Vstandard_input = Qt;
4002
4003 DEFVAR_LISP ("read-with-symbol-positions", &Vread_with_symbol_positions,
4004 doc: /* If non-nil, add position of read symbols to `read-symbol-positions-list'.
4005
4006 If this variable is a buffer, then only forms read from that buffer
4007 will be added to `read-symbol-positions-list'.
4008 If this variable is t, then all read forms will be added.
4009 The effect of all other values other than nil are not currently
4010 defined, although they may be in the future.
4011
4012 The positions are relative to the last call to `read' or
4013 `read-from-string'. It is probably a bad idea to set this variable at
4014 the toplevel; bind it instead. */);
4015 Vread_with_symbol_positions = Qnil;
4016
4017 DEFVAR_LISP ("read-symbol-positions-list", &Vread_symbol_positions_list,
4018 doc: /* A list mapping read symbols to their positions.
4019 This variable is modified during calls to `read' or
4020 `read-from-string', but only when `read-with-symbol-positions' is
4021 non-nil.
4022
4023 Each element of the list looks like (SYMBOL . CHAR-POSITION), where
4024 CHAR-POSITION is an integer giving the offset of that occurrence of the
4025 symbol from the position where `read' or `read-from-string' started.
4026
4027 Note that a symbol will appear multiple times in this list, if it was
4028 read multiple times. The list is in the same order as the symbols
4029 were read in. */);
4030 Vread_symbol_positions_list = Qnil;
4031
4032 DEFVAR_LISP ("load-path", &Vload_path,
4033 doc: /* *List of directories to search for files to load.
4034 Each element is a string (directory name) or nil (try default directory).
4035 Initialized based on EMACSLOADPATH environment variable, if any,
4036 otherwise to default specified by file `epaths.h' when Emacs was built. */);
4037
4038 DEFVAR_LISP ("load-suffixes", &Vload_suffixes,
4039 doc: /* List of suffixes for (compiled or source) Emacs Lisp files.
4040 This list should not include the empty string.
4041 `load' and related functions try to append these suffixes, in order,
4042 to the specified file name if a Lisp suffix is allowed or required. */);
4043 Vload_suffixes = Fcons (build_string (".elc"),
4044 Fcons (build_string (".el"), Qnil));
4045 DEFVAR_LISP ("load-file-rep-suffixes", &Vload_file_rep_suffixes,
4046 doc: /* List of suffixes that indicate representations of \
4047 the same file.
4048 This list should normally start with the empty string.
4049
4050 Enabling Auto Compression mode appends the suffixes in
4051 `jka-compr-load-suffixes' to this list and disabling Auto Compression
4052 mode removes them again. `load' and related functions use this list to
4053 determine whether they should look for compressed versions of a file
4054 and, if so, which suffixes they should try to append to the file name
4055 in order to do so. However, if you want to customize which suffixes
4056 the loading functions recognize as compression suffixes, you should
4057 customize `jka-compr-load-suffixes' rather than the present variable. */);
4058 /* We don't use empty_string because it's not initialized yet. */
4059 Vload_file_rep_suffixes = Fcons (build_string (""), Qnil);
4060
4061 DEFVAR_BOOL ("load-in-progress", &load_in_progress,
4062 doc: /* Non-nil iff inside of `load'. */);
4063
4064 DEFVAR_LISP ("after-load-alist", &Vafter_load_alist,
4065 doc: /* An alist of expressions to be evalled when particular files are loaded.
4066 Each element looks like (REGEXP-OR-FEATURE FORMS...).
4067
4068 REGEXP-OR-FEATURE is either a regular expression to match file names, or
4069 a symbol \(a feature name).
4070
4071 When `load' is run and the file-name argument matches an element's
4072 REGEXP-OR-FEATURE, or when `provide' is run and provides the symbol
4073 REGEXP-OR-FEATURE, the FORMS in the element are executed.
4074
4075 An error in FORMS does not undo the load, but does prevent execution of
4076 the rest of the FORMS. */);
4077 Vafter_load_alist = Qnil;
4078
4079 DEFVAR_LISP ("load-history", &Vload_history,
4080 doc: /* Alist mapping file names to symbols and features.
4081 Each alist element is a list that starts with a file name,
4082 except for one element (optional) that starts with nil and describes
4083 definitions evaluated from buffers not visiting files.
4084
4085 The file name is absolute and is the true file name (i.e. it doesn't
4086 contain symbolic links) of the loaded file.
4087
4088 The remaining elements of each list are symbols defined as variables
4089 and cons cells of the form `(provide . FEATURE)', `(require . FEATURE)',
4090 `(defun . FUNCTION)', `(autoload . SYMBOL)', and `(t . SYMBOL)'.
4091 An element `(t . SYMBOL)' precedes an entry `(defun . FUNCTION)',
4092 and means that SYMBOL was an autoload before this file redefined it
4093 as a function.
4094
4095 During preloading, the file name recorded is relative to the main Lisp
4096 directory. These file names are converted to absolute at startup. */);
4097 Vload_history = Qnil;
4098
4099 DEFVAR_LISP ("load-file-name", &Vload_file_name,
4100 doc: /* Full name of file being loaded by `load'. */);
4101 Vload_file_name = Qnil;
4102
4103 DEFVAR_LISP ("user-init-file", &Vuser_init_file,
4104 doc: /* File name, including directory, of user's initialization file.
4105 If the file loaded had extension `.elc', and the corresponding source file
4106 exists, this variable contains the name of source file, suitable for use
4107 by functions like `custom-save-all' which edit the init file. */);
4108 Vuser_init_file = Qnil;
4109
4110 DEFVAR_LISP ("current-load-list", &Vcurrent_load_list,
4111 doc: /* Used for internal purposes by `load'. */);
4112 Vcurrent_load_list = Qnil;
4113
4114 DEFVAR_LISP ("load-read-function", &Vload_read_function,
4115 doc: /* Function used by `load' and `eval-region' for reading expressions.
4116 The default is nil, which means use the function `read'. */);
4117 Vload_read_function = Qnil;
4118
4119 DEFVAR_LISP ("load-source-file-function", &Vload_source_file_function,
4120 doc: /* Function called in `load' for loading an Emacs Lisp source file.
4121 This function is for doing code conversion before reading the source file.
4122 If nil, loading is done without any code conversion.
4123 Arguments are FULLNAME, FILE, NOERROR, NOMESSAGE, where
4124 FULLNAME is the full name of FILE.
4125 See `load' for the meaning of the remaining arguments. */);
4126 Vload_source_file_function = Qnil;
4127
4128 DEFVAR_BOOL ("load-force-doc-strings", &load_force_doc_strings,
4129 doc: /* Non-nil means `load' should force-load all dynamic doc strings.
4130 This is useful when the file being loaded is a temporary copy. */);
4131 load_force_doc_strings = 0;
4132
4133 DEFVAR_BOOL ("load-convert-to-unibyte", &load_convert_to_unibyte,
4134 doc: /* Non-nil means `read' converts strings to unibyte whenever possible.
4135 This is normally bound by `load' and `eval-buffer' to control `read',
4136 and is not meant for users to change. */);
4137 load_convert_to_unibyte = 0;
4138
4139 DEFVAR_LISP ("source-directory", &Vsource_directory,
4140 doc: /* Directory in which Emacs sources were found when Emacs was built.
4141 You cannot count on them to still be there! */);
4142 Vsource_directory
4143 = Fexpand_file_name (build_string ("../"),
4144 Fcar (decode_env_path (0, PATH_DUMPLOADSEARCH)));
4145
4146 DEFVAR_LISP ("preloaded-file-list", &Vpreloaded_file_list,
4147 doc: /* List of files that were preloaded (when dumping Emacs). */);
4148 Vpreloaded_file_list = Qnil;
4149
4150 DEFVAR_LISP ("byte-boolean-vars", &Vbyte_boolean_vars,
4151 doc: /* List of all DEFVAR_BOOL variables, used by the byte code optimizer. */);
4152 Vbyte_boolean_vars = Qnil;
4153
4154 DEFVAR_BOOL ("load-dangerous-libraries", &load_dangerous_libraries,
4155 doc: /* Non-nil means load dangerous compiled Lisp files.
4156 Some versions of XEmacs use different byte codes than Emacs. These
4157 incompatible byte codes can make Emacs crash when it tries to execute
4158 them. */);
4159 load_dangerous_libraries = 0;
4160
4161 DEFVAR_LISP ("bytecomp-version-regexp", &Vbytecomp_version_regexp,
4162 doc: /* Regular expression matching safe to load compiled Lisp files.
4163 When Emacs loads a compiled Lisp file, it reads the first 512 bytes
4164 from the file, and matches them against this regular expression.
4165 When the regular expression matches, the file is considered to be safe
4166 to load. See also `load-dangerous-libraries'. */);
4167 Vbytecomp_version_regexp
4168 = build_string ("^;;;.\\(in Emacs version\\|bytecomp version FSF\\)");
4169
4170 DEFVAR_LISP ("eval-buffer-list", &Veval_buffer_list,
4171 doc: /* List of buffers being read from by calls to `eval-buffer' and `eval-region'. */);
4172 Veval_buffer_list = Qnil;
4173
4174 /* Vsource_directory was initialized in init_lread. */
4175
4176 load_descriptor_list = Qnil;
4177 staticpro (&load_descriptor_list);
4178
4179 Qcurrent_load_list = intern ("current-load-list");
4180 staticpro (&Qcurrent_load_list);
4181
4182 Qstandard_input = intern ("standard-input");
4183 staticpro (&Qstandard_input);
4184
4185 Qread_char = intern ("read-char");
4186 staticpro (&Qread_char);
4187
4188 Qget_file_char = intern ("get-file-char");
4189 staticpro (&Qget_file_char);
4190
4191 Qbackquote = intern ("`");
4192 staticpro (&Qbackquote);
4193 Qcomma = intern (",");
4194 staticpro (&Qcomma);
4195 Qcomma_at = intern (",@");
4196 staticpro (&Qcomma_at);
4197 Qcomma_dot = intern (",.");
4198 staticpro (&Qcomma_dot);
4199
4200 Qinhibit_file_name_operation = intern ("inhibit-file-name-operation");
4201 staticpro (&Qinhibit_file_name_operation);
4202
4203 Qascii_character = intern ("ascii-character");
4204 staticpro (&Qascii_character);
4205
4206 Qfunction = intern ("function");
4207 staticpro (&Qfunction);
4208
4209 Qload = intern ("load");
4210 staticpro (&Qload);
4211
4212 Qload_file_name = intern ("load-file-name");
4213 staticpro (&Qload_file_name);
4214
4215 Qeval_buffer_list = intern ("eval-buffer-list");
4216 staticpro (&Qeval_buffer_list);
4217
4218 Qfile_truename = intern ("file-truename");
4219 staticpro (&Qfile_truename) ;
4220
4221 Qdo_after_load_evaluation = intern ("do-after-load-evaluation");
4222 staticpro (&Qdo_after_load_evaluation) ;
4223
4224 staticpro (&dump_path);
4225
4226 staticpro (&read_objects);
4227 read_objects = Qnil;
4228 staticpro (&seen_list);
4229 seen_list = Qnil;
4230
4231 Vloads_in_progress = Qnil;
4232 staticpro (&Vloads_in_progress);
4233 }
4234
4235 /* arch-tag: a0d02733-0f96-4844-a659-9fd53c4f414d
4236 (do not change this comment) */