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