(openp): Omit /: from start of file name.
[bpt/emacs.git] / src / lread.c
1 /* Lisp parsing and input streams.
2 Copyright (C) 1985, 1986, 1987, 1988, 1989,
3 1993, 1994, 1995 Free Software Foundation, Inc.
4
5 This file is part of GNU Emacs.
6
7 GNU Emacs is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs; see the file COPYING. If not, write to
19 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
21
22
23 #include <config.h>
24 #include <stdio.h>
25 #include <sys/types.h>
26 #include <sys/stat.h>
27 #include <sys/file.h>
28 #include <errno.h>
29 #include "lisp.h"
30
31 #ifndef standalone
32 #include "buffer.h"
33 #include <paths.h>
34 #include "commands.h"
35 #include "keyboard.h"
36 #include "termhooks.h"
37 #endif
38
39 #ifdef lint
40 #include <sys/inode.h>
41 #endif /* lint */
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 #ifndef X_OK
51 #define X_OK 01
52 #endif
53
54 #ifdef LISP_FLOAT_TYPE
55 #ifdef STDC_HEADERS
56 #include <stdlib.h>
57 #endif
58
59 #include <math.h>
60 #endif /* LISP_FLOAT_TYPE */
61
62 #ifdef HAVE_SETLOCALE
63 #include <locale.h>
64 #endif /* HAVE_SETLOCALE */
65
66 #ifndef O_RDONLY
67 #define O_RDONLY 0
68 #endif
69
70 extern int errno;
71
72 Lisp_Object Qread_char, Qget_file_char, Qstandard_input, Qcurrent_load_list;
73 Lisp_Object Qvariable_documentation, Vvalues, Vstandard_input, Vafter_load_alist;
74 Lisp_Object Qascii_character, Qload, Qload_file_name;
75 Lisp_Object Qbackquote, Qcomma, Qcomma_at, Qcomma_dot, Qfunction;
76
77 extern Lisp_Object Qevent_symbol_element_mask;
78
79 /* non-zero if inside `load' */
80 int load_in_progress;
81
82 /* Directory in which the sources were found. */
83 Lisp_Object Vsource_directory;
84
85 /* Search path for files to be loaded. */
86 Lisp_Object Vload_path;
87
88 /* This is the user-visible association list that maps features to
89 lists of defs in their load files. */
90 Lisp_Object Vload_history;
91
92 /* This is used to build the load history. */
93 Lisp_Object Vcurrent_load_list;
94
95 /* Name of file actually being read by `load'. */
96 Lisp_Object Vload_file_name;
97
98 /* Function to use for reading, in `load' and friends. */
99 Lisp_Object Vload_read_function;
100
101 /* The association list of objects read with the #n=object form.
102 Each member of the list has the form (n . object), and is used to
103 look up the object for the corresponding #n# construct.
104 It must be set to nil before all top-level calls to read0. */
105 Lisp_Object read_objects;
106
107 /* Nonzero means load should forcibly load all dynamic doc strings. */
108 static int load_force_doc_strings;
109
110 /* List of descriptors now open for Fload. */
111 static Lisp_Object load_descriptor_list;
112
113 /* File for get_file_char to read from. Use by load. */
114 static FILE *instream;
115
116 /* When nonzero, read conses in pure space */
117 static int read_pure;
118
119 /* For use within read-from-string (this reader is non-reentrant!!) */
120 static int read_from_string_index;
121 static int read_from_string_limit;
122
123 /* This contains the last string skipped with #@. */
124 static char *saved_doc_string;
125 /* Length of buffer allocated in saved_doc_string. */
126 static int saved_doc_string_size;
127 /* Length of actual data in saved_doc_string. */
128 static int saved_doc_string_length;
129 /* This is the file position that string came from. */
130 static int saved_doc_string_position;
131
132 /* Nonzero means inside a new-style backquote
133 with no surrounding parentheses.
134 Fread initializes this to zero, so we need not specbind it
135 or worry about what happens to it when there is an error. */
136 static int new_backquote_flag;
137 \f
138 /* Handle unreading and rereading of characters.
139 Write READCHAR to read a character,
140 UNREAD(c) to unread c to be read again. */
141
142 #define READCHAR readchar (readcharfun)
143 #define UNREAD(c) unreadchar (readcharfun, c)
144
145 static int
146 readchar (readcharfun)
147 Lisp_Object readcharfun;
148 {
149 Lisp_Object tem;
150 register struct buffer *inbuffer;
151 register int c, mpos;
152
153 if (BUFFERP (readcharfun))
154 {
155 inbuffer = XBUFFER (readcharfun);
156
157 if (BUF_PT (inbuffer) >= BUF_ZV (inbuffer))
158 return -1;
159 c = *(unsigned char *) BUF_CHAR_ADDRESS (inbuffer, BUF_PT (inbuffer));
160 SET_BUF_PT (inbuffer, BUF_PT (inbuffer) + 1);
161
162 return c;
163 }
164 if (MARKERP (readcharfun))
165 {
166 inbuffer = XMARKER (readcharfun)->buffer;
167
168 mpos = marker_position (readcharfun);
169
170 if (mpos > BUF_ZV (inbuffer) - 1)
171 return -1;
172 c = *(unsigned char *) BUF_CHAR_ADDRESS (inbuffer, mpos);
173 if (mpos != BUF_GPT (inbuffer))
174 XMARKER (readcharfun)->bufpos++;
175 else
176 Fset_marker (readcharfun, make_number (mpos + 1),
177 Fmarker_buffer (readcharfun));
178 return c;
179 }
180 if (EQ (readcharfun, Qget_file_char))
181 {
182 c = getc (instream);
183 #ifdef EINTR
184 /* Interrupted reads have been observed while reading over the network */
185 while (c == EOF && ferror (instream) && errno == EINTR)
186 {
187 clearerr (instream);
188 c = getc (instream);
189 }
190 #endif
191 return c;
192 }
193
194 if (STRINGP (readcharfun))
195 {
196 register int c;
197 /* This used to be return of a conditional expression,
198 but that truncated -1 to a char on VMS. */
199 if (read_from_string_index < read_from_string_limit)
200 c = XSTRING (readcharfun)->data[read_from_string_index++];
201 else
202 c = -1;
203 return c;
204 }
205
206 tem = call0 (readcharfun);
207
208 if (NILP (tem))
209 return -1;
210 return XINT (tem);
211 }
212
213 /* Unread the character C in the way appropriate for the stream READCHARFUN.
214 If the stream is a user function, call it with the char as argument. */
215
216 static void
217 unreadchar (readcharfun, c)
218 Lisp_Object readcharfun;
219 int c;
220 {
221 if (c == -1)
222 /* Don't back up the pointer if we're unreading the end-of-input mark,
223 since readchar didn't advance it when we read it. */
224 ;
225 else if (BUFFERP (readcharfun))
226 {
227 if (XBUFFER (readcharfun) == current_buffer)
228 SET_PT (PT - 1);
229 else
230 SET_BUF_PT (XBUFFER (readcharfun), BUF_PT (XBUFFER (readcharfun)) - 1);
231 }
232 else if (MARKERP (readcharfun))
233 XMARKER (readcharfun)->bufpos--;
234 else if (STRINGP (readcharfun))
235 read_from_string_index--;
236 else if (EQ (readcharfun, Qget_file_char))
237 ungetc (c, instream);
238 else
239 call1 (readcharfun, make_number (c));
240 }
241
242 static Lisp_Object read0 (), read1 (), read_list (), read_vector ();
243 \f
244 /* get a character from the tty */
245
246 extern Lisp_Object read_char ();
247
248 /* Read input events until we get one that's acceptable for our purposes.
249
250 If NO_SWITCH_FRAME is non-zero, switch-frame events are stashed
251 until we get a character we like, and then stuffed into
252 unread_switch_frame.
253
254 If ASCII_REQUIRED is non-zero, we check function key events to see
255 if the unmodified version of the symbol has a Qascii_character
256 property, and use that character, if present.
257
258 If ERROR_NONASCII is non-zero, we signal an error if the input we
259 get isn't an ASCII character with modifiers. If it's zero but
260 ASCII_REQUIRED is non-zero, we just re-read until we get an ASCII
261 character. */
262
263 Lisp_Object
264 read_filtered_event (no_switch_frame, ascii_required, error_nonascii)
265 int no_switch_frame, ascii_required, error_nonascii;
266 {
267 #ifdef standalone
268 return make_number (getchar ());
269 #else
270 register Lisp_Object val, delayed_switch_frame;
271
272 delayed_switch_frame = Qnil;
273
274 /* Read until we get an acceptable event. */
275 retry:
276 val = read_char (0, 0, 0, Qnil, 0);
277
278 if (BUFFERP (val))
279 goto retry;
280
281 /* switch-frame events are put off until after the next ASCII
282 character. This is better than signaling an error just because
283 the last characters were typed to a separate minibuffer frame,
284 for example. Eventually, some code which can deal with
285 switch-frame events will read it and process it. */
286 if (no_switch_frame
287 && EVENT_HAS_PARAMETERS (val)
288 && EQ (EVENT_HEAD (val), Qswitch_frame))
289 {
290 delayed_switch_frame = val;
291 goto retry;
292 }
293
294 if (ascii_required)
295 {
296 /* Convert certain symbols to their ASCII equivalents. */
297 if (SYMBOLP (val))
298 {
299 Lisp_Object tem, tem1, tem2;
300 tem = Fget (val, Qevent_symbol_element_mask);
301 if (!NILP (tem))
302 {
303 tem1 = Fget (Fcar (tem), Qascii_character);
304 /* Merge this symbol's modifier bits
305 with the ASCII equivalent of its basic code. */
306 if (!NILP (tem1))
307 XSETFASTINT (val, XINT (tem1) | XINT (Fcar (Fcdr (tem))));
308 }
309 }
310
311 /* If we don't have a character now, deal with it appropriately. */
312 if (!INTEGERP (val))
313 {
314 if (error_nonascii)
315 {
316 Vunread_command_events = Fcons (val, Qnil);
317 error ("Non-character input-event");
318 }
319 else
320 goto retry;
321 }
322 }
323
324 if (! NILP (delayed_switch_frame))
325 unread_switch_frame = delayed_switch_frame;
326
327 return val;
328 #endif
329 }
330
331 DEFUN ("read-char", Fread_char, Sread_char, 0, 0, 0,
332 "Read a character from the command input (keyboard or macro).\n\
333 It is returned as a number.\n\
334 If the user generates an event which is not a character (i.e. a mouse\n\
335 click or function key event), `read-char' signals an error. As an\n\
336 exception, switch-frame events are put off until non-ASCII events can\n\
337 be read.\n\
338 If you want to read non-character events, or ignore them, call\n\
339 `read-event' or `read-char-exclusive' instead.")
340 ()
341 {
342 return read_filtered_event (1, 1, 1);
343 }
344
345 DEFUN ("read-event", Fread_event, Sread_event, 0, 0, 0,
346 "Read an event object from the input stream.")
347 ()
348 {
349 return read_filtered_event (0, 0, 0);
350 }
351
352 DEFUN ("read-char-exclusive", Fread_char_exclusive, Sread_char_exclusive, 0, 0, 0,
353 "Read a character from the command input (keyboard or macro).\n\
354 It is returned as a number. Non-character events are ignored.")
355 ()
356 {
357 return read_filtered_event (1, 1, 0);
358 }
359
360 DEFUN ("get-file-char", Fget_file_char, Sget_file_char, 0, 0, 0,
361 "Don't use this yourself.")
362 ()
363 {
364 register Lisp_Object val;
365 XSETINT (val, getc (instream));
366 return val;
367 }
368 \f
369 static void readevalloop ();
370 static Lisp_Object load_unwind ();
371 static Lisp_Object load_descriptor_unwind ();
372
373 DEFUN ("load", Fload, Sload, 1, 4, 0,
374 "Execute a file of Lisp code named FILE.\n\
375 First try FILE with `.elc' appended, then try with `.el',\n\
376 then try FILE unmodified.\n\
377 This function searches the directories in `load-path'.\n\
378 If optional second arg NOERROR is non-nil,\n\
379 report no error if FILE doesn't exist.\n\
380 Print messages at start and end of loading unless\n\
381 optional third arg NOMESSAGE is non-nil.\n\
382 If optional fourth arg NOSUFFIX is non-nil, don't try adding\n\
383 suffixes `.elc' or `.el' to the specified name FILE.\n\
384 Return t if file exists.")
385 (file, noerror, nomessage, nosuffix)
386 Lisp_Object file, noerror, nomessage, nosuffix;
387 {
388 register FILE *stream;
389 register int fd = -1;
390 register Lisp_Object lispstream;
391 int count = specpdl_ptr - specpdl;
392 Lisp_Object temp;
393 struct gcpro gcpro1;
394 Lisp_Object found;
395 /* 1 means we printed the ".el is newer" message. */
396 int newer = 0;
397 /* 1 means we are loading a compiled file. */
398 int compiled = 0;
399 Lisp_Object handler;
400 #ifdef DOS_NT
401 char *dosmode = "rt";
402 #endif /* DOS_NT */
403
404 CHECK_STRING (file, 0);
405
406 /* If file name is magic, call the handler. */
407 handler = Ffind_file_name_handler (file, Qload);
408 if (!NILP (handler))
409 return call5 (handler, Qload, file, noerror, nomessage, nosuffix);
410
411 /* Do this after the handler to avoid
412 the need to gcpro noerror, nomessage and nosuffix.
413 (Below here, we care only whether they are nil or not.) */
414 file = Fsubstitute_in_file_name (file);
415
416 /* Avoid weird lossage with null string as arg,
417 since it would try to load a directory as a Lisp file */
418 if (XSTRING (file)->size > 0)
419 {
420 GCPRO1 (file);
421 fd = openp (Vload_path, file, !NILP (nosuffix) ? "" : ".elc:.el:",
422 &found, 0);
423 UNGCPRO;
424 }
425
426 if (fd < 0)
427 {
428 if (NILP (noerror))
429 while (1)
430 Fsignal (Qfile_error, Fcons (build_string ("Cannot open load file"),
431 Fcons (file, Qnil)));
432 else
433 return Qnil;
434 }
435
436 if (!bcmp (&(XSTRING (found)->data[XSTRING (found)->size - 4]),
437 ".elc", 4))
438 {
439 struct stat s1, s2;
440 int result;
441
442 compiled = 1;
443
444 #ifdef DOS_NT
445 dosmode = "rb";
446 #endif /* DOS_NT */
447 stat ((char *)XSTRING (found)->data, &s1);
448 XSTRING (found)->data[XSTRING (found)->size - 1] = 0;
449 result = stat ((char *)XSTRING (found)->data, &s2);
450 if (result >= 0 && (unsigned) s1.st_mtime < (unsigned) s2.st_mtime)
451 {
452 /* Make the progress messages mention that source is newer. */
453 newer = 1;
454
455 /* If we won't print another message, mention this anyway. */
456 if (! NILP (nomessage))
457 message ("Source file `%s' newer than byte-compiled file",
458 XSTRING (found)->data);
459 }
460 XSTRING (found)->data[XSTRING (found)->size - 1] = 'c';
461 }
462
463 #ifdef DOS_NT
464 close (fd);
465 stream = fopen ((char *) XSTRING (found)->data, dosmode);
466 #else /* not DOS_NT */
467 stream = fdopen (fd, "r");
468 #endif /* not DOS_NT */
469 if (stream == 0)
470 {
471 close (fd);
472 error ("Failure to create stdio stream for %s", XSTRING (file)->data);
473 }
474
475 if (NILP (nomessage))
476 {
477 if (newer)
478 message ("Loading %s (compiled; note, source file is newer)...",
479 XSTRING (file)->data);
480 else if (compiled)
481 message ("Loading %s (compiled)...", XSTRING (file)->data);
482 else
483 message ("Loading %s...", XSTRING (file)->data);
484 }
485
486 GCPRO1 (file);
487 lispstream = Fcons (Qnil, Qnil);
488 XSETFASTINT (XCONS (lispstream)->car, (EMACS_UINT)stream >> 16);
489 XSETFASTINT (XCONS (lispstream)->cdr, (EMACS_UINT)stream & 0xffff);
490 record_unwind_protect (load_unwind, lispstream);
491 record_unwind_protect (load_descriptor_unwind, load_descriptor_list);
492 specbind (Qload_file_name, found);
493 load_descriptor_list
494 = Fcons (make_number (fileno (stream)), load_descriptor_list);
495 load_in_progress++;
496 readevalloop (Qget_file_char, stream, file, Feval, 0);
497 unbind_to (count, Qnil);
498
499 /* Run any load-hooks for this file. */
500 temp = Fassoc (file, Vafter_load_alist);
501 if (!NILP (temp))
502 Fprogn (Fcdr (temp));
503 UNGCPRO;
504
505 if (saved_doc_string)
506 free (saved_doc_string);
507 saved_doc_string = 0;
508 saved_doc_string_size = 0;
509
510 if (!noninteractive && NILP (nomessage))
511 {
512 if (newer)
513 message ("Loading %s (compiled; note, source file is newer)...done",
514 XSTRING (file)->data);
515 else if (compiled)
516 message ("Loading %s (compiled)...done", XSTRING (file)->data);
517 else
518 message ("Loading %s...done", XSTRING (file)->data);
519 }
520 return Qt;
521 }
522
523 static Lisp_Object
524 load_unwind (stream) /* used as unwind-protect function in load */
525 Lisp_Object stream;
526 {
527 fclose ((FILE *) (XFASTINT (XCONS (stream)->car) << 16
528 | XFASTINT (XCONS (stream)->cdr)));
529 if (--load_in_progress < 0) load_in_progress = 0;
530 return Qnil;
531 }
532
533 static Lisp_Object
534 load_descriptor_unwind (oldlist)
535 Lisp_Object oldlist;
536 {
537 load_descriptor_list = oldlist;
538 return Qnil;
539 }
540
541 /* Close all descriptors in use for Floads.
542 This is used when starting a subprocess. */
543
544 void
545 close_load_descs ()
546 {
547 #ifndef WINDOWSNT
548 Lisp_Object tail;
549 for (tail = load_descriptor_list; !NILP (tail); tail = XCONS (tail)->cdr)
550 close (XFASTINT (XCONS (tail)->car));
551 #endif
552 }
553 \f
554 static int
555 complete_filename_p (pathname)
556 Lisp_Object pathname;
557 {
558 register unsigned char *s = XSTRING (pathname)->data;
559 return (IS_DIRECTORY_SEP (s[0])
560 || (XSTRING (pathname)->size > 2
561 && IS_DEVICE_SEP (s[1]) && IS_DIRECTORY_SEP (s[2]))
562 #ifdef ALTOS
563 || *s == '@'
564 #endif
565 #ifdef VMS
566 || index (s, ':')
567 #endif /* VMS */
568 );
569 }
570
571 /* Search for a file whose name is STR, looking in directories
572 in the Lisp list PATH, and trying suffixes from SUFFIX.
573 SUFFIX is a string containing possible suffixes separated by colons.
574 On success, returns a file descriptor. On failure, returns -1.
575
576 EXEC_ONLY nonzero means don't open the files,
577 just look for one that is executable. In this case,
578 returns 1 on success.
579
580 If STOREPTR is nonzero, it points to a slot where the name of
581 the file actually found should be stored as a Lisp string.
582 Nil is stored there on failure. */
583
584 int
585 openp (path, str, suffix, storeptr, exec_only)
586 Lisp_Object path, str;
587 char *suffix;
588 Lisp_Object *storeptr;
589 int exec_only;
590 {
591 register int fd;
592 int fn_size = 100;
593 char buf[100];
594 register char *fn = buf;
595 int absolute = 0;
596 int want_size;
597 register Lisp_Object filename;
598 struct stat st;
599 struct gcpro gcpro1;
600
601 GCPRO1 (str);
602 if (storeptr)
603 *storeptr = Qnil;
604
605 if (complete_filename_p (str))
606 absolute = 1;
607
608 for (; !NILP (path); path = Fcdr (path))
609 {
610 char *nsuffix;
611
612 filename = Fexpand_file_name (str, Fcar (path));
613 if (!complete_filename_p (filename))
614 /* If there are non-absolute elts in PATH (eg ".") */
615 /* Of course, this could conceivably lose if luser sets
616 default-directory to be something non-absolute... */
617 {
618 filename = Fexpand_file_name (filename, current_buffer->directory);
619 if (!complete_filename_p (filename))
620 /* Give up on this path element! */
621 continue;
622 }
623
624 /* Calculate maximum size of any filename made from
625 this path element/specified file name and any possible suffix. */
626 want_size = strlen (suffix) + XSTRING (filename)->size + 1;
627 if (fn_size < want_size)
628 fn = (char *) alloca (fn_size = 100 + want_size);
629
630 nsuffix = suffix;
631
632 /* Loop over suffixes. */
633 while (1)
634 {
635 char *esuffix = (char *) index (nsuffix, ':');
636 int lsuffix = esuffix ? esuffix - nsuffix : strlen (nsuffix);
637
638 /* Concatenate path element/specified name with the suffix.
639 If the directory starts with /:, remove that. */
640 if (XSTRING (filename)->size > 2
641 && XSTRING (filename)->data[0] == '/'
642 && XSTRING (filename)->data[1] == ':')
643 {
644 strncpy (fn, XSTRING (filename)->data + 2,
645 XSTRING (filename)->size - 2);
646 fn[XSTRING (filename)->size - 2] = 0;
647 }
648 else
649 {
650 strncpy (fn, XSTRING (filename)->data, XSTRING (filename)->size);
651 fn[XSTRING (filename)->size] = 0;
652 }
653
654 if (lsuffix != 0) /* Bug happens on CCI if lsuffix is 0. */
655 strncat (fn, nsuffix, lsuffix);
656
657 /* Ignore file if it's a directory. */
658 if (stat (fn, &st) >= 0
659 && (st.st_mode & S_IFMT) != S_IFDIR)
660 {
661 /* Check that we can access or open it. */
662 if (exec_only)
663 fd = (access (fn, X_OK) == 0) ? 1 : -1;
664 else
665 fd = open (fn, O_RDONLY, 0);
666
667 if (fd >= 0)
668 {
669 /* We succeeded; return this descriptor and filename. */
670 if (storeptr)
671 *storeptr = build_string (fn);
672 UNGCPRO;
673 return fd;
674 }
675 }
676
677 /* Advance to next suffix. */
678 if (esuffix == 0)
679 break;
680 nsuffix += lsuffix + 1;
681 }
682 if (absolute)
683 break;
684 }
685
686 UNGCPRO;
687 return -1;
688 }
689
690 \f
691 /* Merge the list we've accumulated of globals from the current input source
692 into the load_history variable. The details depend on whether
693 the source has an associated file name or not. */
694
695 static void
696 build_load_history (stream, source)
697 FILE *stream;
698 Lisp_Object source;
699 {
700 register Lisp_Object tail, prev, newelt;
701 register Lisp_Object tem, tem2;
702 register int foundit, loading;
703
704 /* Don't bother recording anything for preloaded files. */
705 if (!NILP (Vpurify_flag))
706 return;
707
708 loading = stream || !NARROWED;
709
710 tail = Vload_history;
711 prev = Qnil;
712 foundit = 0;
713 while (!NILP (tail))
714 {
715 tem = Fcar (tail);
716
717 /* Find the feature's previous assoc list... */
718 if (!NILP (Fequal (source, Fcar (tem))))
719 {
720 foundit = 1;
721
722 /* If we're loading, remove it. */
723 if (loading)
724 {
725 if (NILP (prev))
726 Vload_history = Fcdr (tail);
727 else
728 Fsetcdr (prev, Fcdr (tail));
729 }
730
731 /* Otherwise, cons on new symbols that are not already members. */
732 else
733 {
734 tem2 = Vcurrent_load_list;
735
736 while (CONSP (tem2))
737 {
738 newelt = Fcar (tem2);
739
740 if (NILP (Fmemq (newelt, tem)))
741 Fsetcar (tail, Fcons (Fcar (tem),
742 Fcons (newelt, Fcdr (tem))));
743
744 tem2 = Fcdr (tem2);
745 QUIT;
746 }
747 }
748 }
749 else
750 prev = tail;
751 tail = Fcdr (tail);
752 QUIT;
753 }
754
755 /* If we're loading, cons the new assoc onto the front of load-history,
756 the most-recently-loaded position. Also do this if we didn't find
757 an existing member for the current source. */
758 if (loading || !foundit)
759 Vload_history = Fcons (Fnreverse (Vcurrent_load_list),
760 Vload_history);
761 }
762
763 Lisp_Object
764 unreadpure () /* Used as unwind-protect function in readevalloop */
765 {
766 read_pure = 0;
767 return Qnil;
768 }
769
770 static void
771 readevalloop (readcharfun, stream, sourcename, evalfun, printflag)
772 Lisp_Object readcharfun;
773 FILE *stream;
774 Lisp_Object sourcename;
775 Lisp_Object (*evalfun) ();
776 int printflag;
777 {
778 register int c;
779 register Lisp_Object val;
780 int count = specpdl_ptr - specpdl;
781 struct gcpro gcpro1;
782 struct buffer *b = 0;
783
784 if (BUFFERP (readcharfun))
785 b = XBUFFER (readcharfun);
786 else if (MARKERP (readcharfun))
787 b = XMARKER (readcharfun)->buffer;
788
789 specbind (Qstandard_input, readcharfun);
790 specbind (Qcurrent_load_list, Qnil);
791
792 GCPRO1 (sourcename);
793
794 LOADHIST_ATTACH (sourcename);
795
796 while (1)
797 {
798 if (b != 0 && NILP (b->name))
799 error ("Reading from killed buffer");
800
801 instream = stream;
802 c = READCHAR;
803 if (c == ';')
804 {
805 while ((c = READCHAR) != '\n' && c != -1);
806 continue;
807 }
808 if (c < 0) break;
809
810 /* Ignore whitespace here, so we can detect eof. */
811 if (c == ' ' || c == '\t' || c == '\n' || c == '\f' || c == '\r')
812 continue;
813
814 if (!NILP (Vpurify_flag) && c == '(')
815 {
816 int count1 = specpdl_ptr - specpdl;
817 record_unwind_protect (unreadpure, Qnil);
818 val = read_list (-1, readcharfun);
819 unbind_to (count1, Qnil);
820 }
821 else
822 {
823 UNREAD (c);
824 read_objects = Qnil;
825 if (NILP (Vload_read_function))
826 val = read0 (readcharfun);
827 else
828 val = call1 (Vload_read_function, readcharfun);
829 }
830
831 val = (*evalfun) (val);
832 if (printflag)
833 {
834 Vvalues = Fcons (val, Vvalues);
835 if (EQ (Vstandard_output, Qt))
836 Fprin1 (val, Qnil);
837 else
838 Fprint (val, Qnil);
839 }
840 }
841
842 build_load_history (stream, sourcename);
843 UNGCPRO;
844
845 unbind_to (count, Qnil);
846 }
847
848 #ifndef standalone
849
850 DEFUN ("eval-buffer", Feval_buffer, Seval_buffer, 0, 2, "",
851 "Execute the current buffer as Lisp code.\n\
852 Programs can pass two arguments, BUFFER and PRINTFLAG.\n\
853 BUFFER is the buffer to evaluate (nil means use current buffer).\n\
854 PRINTFLAG controls printing of output:\n\
855 nil means discard it; anything else is stream for print.\n\
856 \n\
857 If there is no error, point does not move. If there is an error,\n\
858 point remains at the end of the last character read from the buffer.")
859 (buffer, printflag)
860 Lisp_Object buffer, printflag;
861 {
862 int count = specpdl_ptr - specpdl;
863 Lisp_Object tem, buf;
864
865 if (NILP (buffer))
866 buf = Fcurrent_buffer ();
867 else
868 buf = Fget_buffer (buffer);
869 if (NILP (buf))
870 error ("No such buffer.");
871
872 if (NILP (printflag))
873 tem = Qsymbolp;
874 else
875 tem = printflag;
876 specbind (Qstandard_output, tem);
877 record_unwind_protect (save_excursion_restore, save_excursion_save ());
878 BUF_SET_PT (XBUFFER (buf), BUF_BEGV (XBUFFER (buf)));
879 readevalloop (buf, 0, XBUFFER (buf)->filename, Feval, !NILP (printflag));
880 unbind_to (count, Qnil);
881
882 return Qnil;
883 }
884
885 #if 0
886 DEFUN ("eval-current-buffer", Feval_current_buffer, Seval_current_buffer, 0, 1, "",
887 "Execute the current buffer as Lisp code.\n\
888 Programs can pass argument PRINTFLAG which controls printing of output:\n\
889 nil means discard it; anything else is stream for print.\n\
890 \n\
891 If there is no error, point does not move. If there is an error,\n\
892 point remains at the end of the last character read from the buffer.")
893 (printflag)
894 Lisp_Object printflag;
895 {
896 int count = specpdl_ptr - specpdl;
897 Lisp_Object tem, cbuf;
898
899 cbuf = Fcurrent_buffer ()
900
901 if (NILP (printflag))
902 tem = Qsymbolp;
903 else
904 tem = printflag;
905 specbind (Qstandard_output, tem);
906 record_unwind_protect (save_excursion_restore, save_excursion_save ());
907 SET_PT (BEGV);
908 readevalloop (cbuf, 0, XBUFFER (cbuf)->filename, Feval, !NILP (printflag));
909 return unbind_to (count, Qnil);
910 }
911 #endif
912
913 DEFUN ("eval-region", Feval_region, Seval_region, 2, 3, "r",
914 "Execute the region as Lisp code.\n\
915 When called from programs, expects two arguments,\n\
916 giving starting and ending indices in the current buffer\n\
917 of the text to be executed.\n\
918 Programs can pass third argument PRINTFLAG which controls output:\n\
919 nil means discard it; anything else is stream for printing it.\n\
920 \n\
921 If there is no error, point does not move. If there is an error,\n\
922 point remains at the end of the last character read from the buffer.")
923 (start, end, printflag)
924 Lisp_Object start, end, printflag;
925 {
926 int count = specpdl_ptr - specpdl;
927 Lisp_Object tem, cbuf;
928
929 cbuf = Fcurrent_buffer ();
930
931 if (NILP (printflag))
932 tem = Qsymbolp;
933 else
934 tem = printflag;
935 specbind (Qstandard_output, tem);
936
937 if (NILP (printflag))
938 record_unwind_protect (save_excursion_restore, save_excursion_save ());
939 record_unwind_protect (save_restriction_restore, save_restriction_save ());
940
941 /* This both uses start and checks its type. */
942 Fgoto_char (start);
943 Fnarrow_to_region (make_number (BEGV), end);
944 readevalloop (cbuf, 0, XBUFFER (cbuf)->filename, Feval, !NILP (printflag));
945
946 return unbind_to (count, Qnil);
947 }
948
949 #endif /* standalone */
950 \f
951 DEFUN ("read", Fread, Sread, 0, 1, 0,
952 "Read one Lisp expression as text from STREAM, return as Lisp object.\n\
953 If STREAM is nil, use the value of `standard-input' (which see).\n\
954 STREAM or the value of `standard-input' may be:\n\
955 a buffer (read from point and advance it)\n\
956 a marker (read from where it points and advance it)\n\
957 a function (call it with no arguments for each character,\n\
958 call it with a char as argument to push a char back)\n\
959 a string (takes text from string, starting at the beginning)\n\
960 t (read text line using minibuffer and use it).")
961 (stream)
962 Lisp_Object stream;
963 {
964 extern Lisp_Object Fread_minibuffer ();
965
966 if (NILP (stream))
967 stream = Vstandard_input;
968 if (EQ (stream, Qt))
969 stream = Qread_char;
970
971 new_backquote_flag = 0;
972 read_objects = Qnil;
973
974 #ifndef standalone
975 if (EQ (stream, Qread_char))
976 return Fread_minibuffer (build_string ("Lisp expression: "), Qnil);
977 #endif
978
979 if (STRINGP (stream))
980 return Fcar (Fread_from_string (stream, Qnil, Qnil));
981
982 return read0 (stream);
983 }
984
985 DEFUN ("read-from-string", Fread_from_string, Sread_from_string, 1, 3, 0,
986 "Read one Lisp expression which is represented as text by STRING.\n\
987 Returns a cons: (OBJECT-READ . FINAL-STRING-INDEX).\n\
988 START and END optionally delimit a substring of STRING from which to read;\n\
989 they default to 0 and (length STRING) respectively.")
990 (string, start, end)
991 Lisp_Object string, start, end;
992 {
993 int startval, endval;
994 Lisp_Object tem;
995
996 CHECK_STRING (string,0);
997
998 if (NILP (end))
999 endval = XSTRING (string)->size;
1000 else
1001 { CHECK_NUMBER (end,2);
1002 endval = XINT (end);
1003 if (endval < 0 || endval > XSTRING (string)->size)
1004 args_out_of_range (string, end);
1005 }
1006
1007 if (NILP (start))
1008 startval = 0;
1009 else
1010 { CHECK_NUMBER (start,1);
1011 startval = XINT (start);
1012 if (startval < 0 || startval > endval)
1013 args_out_of_range (string, start);
1014 }
1015
1016 read_from_string_index = startval;
1017 read_from_string_limit = endval;
1018
1019 new_backquote_flag = 0;
1020 read_objects = Qnil;
1021
1022 tem = read0 (string);
1023 return Fcons (tem, make_number (read_from_string_index));
1024 }
1025 \f
1026 /* Use this for recursive reads, in contexts where internal tokens
1027 are not allowed. */
1028 static Lisp_Object
1029 read0 (readcharfun)
1030 Lisp_Object readcharfun;
1031 {
1032 register Lisp_Object val;
1033 char c;
1034
1035 val = read1 (readcharfun, &c, 0);
1036 if (c)
1037 Fsignal (Qinvalid_read_syntax, Fcons (make_string (&c, 1), Qnil));
1038
1039 return val;
1040 }
1041 \f
1042 static int read_buffer_size;
1043 static char *read_buffer;
1044
1045 static int
1046 read_escape (readcharfun)
1047 Lisp_Object readcharfun;
1048 {
1049 register int c = READCHAR;
1050 switch (c)
1051 {
1052 case -1:
1053 error ("End of file");
1054
1055 case 'a':
1056 return '\007';
1057 case 'b':
1058 return '\b';
1059 case 'd':
1060 return 0177;
1061 case 'e':
1062 return 033;
1063 case 'f':
1064 return '\f';
1065 case 'n':
1066 return '\n';
1067 case 'r':
1068 return '\r';
1069 case 't':
1070 return '\t';
1071 case 'v':
1072 return '\v';
1073 case '\n':
1074 return -1;
1075
1076 case 'M':
1077 c = READCHAR;
1078 if (c != '-')
1079 error ("Invalid escape character syntax");
1080 c = READCHAR;
1081 if (c == '\\')
1082 c = read_escape (readcharfun);
1083 return c | meta_modifier;
1084
1085 case 'S':
1086 c = READCHAR;
1087 if (c != '-')
1088 error ("Invalid escape character syntax");
1089 c = READCHAR;
1090 if (c == '\\')
1091 c = read_escape (readcharfun);
1092 return c | shift_modifier;
1093
1094 case 'H':
1095 c = READCHAR;
1096 if (c != '-')
1097 error ("Invalid escape character syntax");
1098 c = READCHAR;
1099 if (c == '\\')
1100 c = read_escape (readcharfun);
1101 return c | hyper_modifier;
1102
1103 case 'A':
1104 c = READCHAR;
1105 if (c != '-')
1106 error ("Invalid escape character syntax");
1107 c = READCHAR;
1108 if (c == '\\')
1109 c = read_escape (readcharfun);
1110 return c | alt_modifier;
1111
1112 case 's':
1113 c = READCHAR;
1114 if (c != '-')
1115 error ("Invalid escape character syntax");
1116 c = READCHAR;
1117 if (c == '\\')
1118 c = read_escape (readcharfun);
1119 return c | super_modifier;
1120
1121 case 'C':
1122 c = READCHAR;
1123 if (c != '-')
1124 error ("Invalid escape character syntax");
1125 case '^':
1126 c = READCHAR;
1127 if (c == '\\')
1128 c = read_escape (readcharfun);
1129 if ((c & 0177) == '?')
1130 return 0177 | c;
1131 /* ASCII control chars are made from letters (both cases),
1132 as well as the non-letters within 0100...0137. */
1133 else if ((c & 0137) >= 0101 && (c & 0137) <= 0132)
1134 return (c & (037 | ~0177));
1135 else if ((c & 0177) >= 0100 && (c & 0177) <= 0137)
1136 return (c & (037 | ~0177));
1137 else
1138 return c | ctrl_modifier;
1139
1140 case '0':
1141 case '1':
1142 case '2':
1143 case '3':
1144 case '4':
1145 case '5':
1146 case '6':
1147 case '7':
1148 /* An octal escape, as in ANSI C. */
1149 {
1150 register int i = c - '0';
1151 register int count = 0;
1152 while (++count < 3)
1153 {
1154 if ((c = READCHAR) >= '0' && c <= '7')
1155 {
1156 i *= 8;
1157 i += c - '0';
1158 }
1159 else
1160 {
1161 UNREAD (c);
1162 break;
1163 }
1164 }
1165 return i;
1166 }
1167
1168 case 'x':
1169 /* A hex escape, as in ANSI C. */
1170 {
1171 int i = 0;
1172 while (1)
1173 {
1174 c = READCHAR;
1175 if (c >= '0' && c <= '9')
1176 {
1177 i *= 16;
1178 i += c - '0';
1179 }
1180 else if ((c >= 'a' && c <= 'f')
1181 || (c >= 'A' && c <= 'F'))
1182 {
1183 i *= 16;
1184 if (c >= 'a' && c <= 'f')
1185 i += c - 'a' + 10;
1186 else
1187 i += c - 'A' + 10;
1188 }
1189 else
1190 {
1191 UNREAD (c);
1192 break;
1193 }
1194 }
1195 return i;
1196 }
1197
1198 default:
1199 return c;
1200 }
1201 }
1202
1203 /* If the next token is ')' or ']' or '.', we store that character
1204 in *PCH and the return value is not interesting. Else, we store
1205 zero in *PCH and we read and return one lisp object.
1206
1207 FIRST_IN_LIST is nonzero if this is the first element of a list. */
1208
1209 static Lisp_Object
1210 read1 (readcharfun, pch, first_in_list)
1211 register Lisp_Object readcharfun;
1212 char *pch;
1213 int first_in_list;
1214 {
1215 register int c;
1216 int uninterned_symbol = 0;
1217
1218 *pch = 0;
1219
1220 retry:
1221
1222 c = READCHAR;
1223 if (c < 0) return Fsignal (Qend_of_file, Qnil);
1224
1225 switch (c)
1226 {
1227 case '(':
1228 return read_list (0, readcharfun);
1229
1230 case '[':
1231 return read_vector (readcharfun);
1232
1233 case ')':
1234 case ']':
1235 {
1236 *pch = c;
1237 return Qnil;
1238 }
1239
1240 case '#':
1241 c = READCHAR;
1242 if (c == '^')
1243 {
1244 c = READCHAR;
1245 if (c == '[')
1246 {
1247 Lisp_Object tmp;
1248 tmp = read_vector (readcharfun);
1249 if (XVECTOR (tmp)->size < CHAR_TABLE_STANDARD_SLOTS
1250 || XVECTOR (tmp)->size > CHAR_TABLE_STANDARD_SLOTS + 10)
1251 error ("Invalid size char-table");
1252 XSETCHAR_TABLE (tmp, XCHAR_TABLE (tmp));
1253 return tmp;
1254 }
1255 Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#^", 2), Qnil));
1256 }
1257 if (c == '&')
1258 {
1259 Lisp_Object length;
1260 length = read1 (readcharfun, pch, first_in_list);
1261 c = READCHAR;
1262 if (c == '"')
1263 {
1264 Lisp_Object tmp, val;
1265 int size_in_chars = ((XFASTINT (length) + BITS_PER_CHAR)
1266 / BITS_PER_CHAR);
1267
1268 UNREAD (c);
1269 tmp = read1 (readcharfun, pch, first_in_list);
1270 if (size_in_chars != XSTRING (tmp)->size)
1271 Fsignal (Qinvalid_read_syntax,
1272 Fcons (make_string ("#&", 2), Qnil));
1273
1274 val = Fmake_bool_vector (length, Qnil);
1275 bcopy (XSTRING (tmp)->data, XBOOL_VECTOR (val)->data,
1276 size_in_chars);
1277 return val;
1278 }
1279 Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#&", 2), Qnil));
1280 }
1281 if (c == '[')
1282 {
1283 /* Accept compiled functions at read-time so that we don't have to
1284 build them using function calls. */
1285 Lisp_Object tmp;
1286 tmp = read_vector (readcharfun);
1287 return Fmake_byte_code (XVECTOR (tmp)->size,
1288 XVECTOR (tmp)->contents);
1289 }
1290 #ifdef USE_TEXT_PROPERTIES
1291 if (c == '(')
1292 {
1293 Lisp_Object tmp;
1294 struct gcpro gcpro1;
1295 char ch;
1296
1297 /* Read the string itself. */
1298 tmp = read1 (readcharfun, &ch, 0);
1299 if (ch != 0 || !STRINGP (tmp))
1300 Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#", 1), Qnil));
1301 GCPRO1 (tmp);
1302 /* Read the intervals and their properties. */
1303 while (1)
1304 {
1305 Lisp_Object beg, end, plist;
1306
1307 beg = read1 (readcharfun, &ch, 0);
1308 if (ch == ')')
1309 break;
1310 if (ch == 0)
1311 end = read1 (readcharfun, &ch, 0);
1312 if (ch == 0)
1313 plist = read1 (readcharfun, &ch, 0);
1314 if (ch)
1315 Fsignal (Qinvalid_read_syntax,
1316 Fcons (build_string ("invalid string property list"),
1317 Qnil));
1318 Fset_text_properties (beg, end, plist, tmp);
1319 }
1320 UNGCPRO;
1321 return tmp;
1322 }
1323 #endif
1324 /* #@NUMBER is used to skip NUMBER following characters.
1325 That's used in .elc files to skip over doc strings
1326 and function definitions. */
1327 if (c == '@')
1328 {
1329 int i, nskip = 0;
1330
1331 /* Read a decimal integer. */
1332 while ((c = READCHAR) >= 0
1333 && c >= '0' && c <= '9')
1334 {
1335 nskip *= 10;
1336 nskip += c - '0';
1337 }
1338 if (c >= 0)
1339 UNREAD (c);
1340
1341 #ifndef DOS_NT /* I don't know if filepos works right on MSDOS and Windoze. */
1342 if (load_force_doc_strings && EQ (readcharfun, Qget_file_char))
1343 {
1344 /* If we are supposed to force doc strings into core right now,
1345 record the last string that we skipped,
1346 and record where in the file it comes from. */
1347 if (saved_doc_string_size == 0)
1348 {
1349 saved_doc_string_size = nskip + 100;
1350 saved_doc_string = (char *) xmalloc (saved_doc_string_size);
1351 }
1352 if (nskip > saved_doc_string_size)
1353 {
1354 saved_doc_string_size = nskip + 100;
1355 saved_doc_string = (char *) xrealloc (saved_doc_string,
1356 saved_doc_string_size);
1357 }
1358
1359 saved_doc_string_position = ftell (instream);
1360
1361 /* Copy that many characters into saved_doc_string. */
1362 for (i = 0; i < nskip && c >= 0; i++)
1363 saved_doc_string[i] = c = READCHAR;
1364
1365 saved_doc_string_length = i;
1366 }
1367 else
1368 #endif /* not DOS_NT */
1369 {
1370 /* Skip that many characters. */
1371 for (i = 0; i < nskip && c >= 0; i++)
1372 c = READCHAR;
1373 }
1374 goto retry;
1375 }
1376 if (c == '$')
1377 return Vload_file_name;
1378 if (c == '\'')
1379 return Fcons (Qfunction, Fcons (read0 (readcharfun), Qnil));
1380 /* #:foo is the uninterned symbol named foo. */
1381 if (c == ':')
1382 {
1383 uninterned_symbol = 1;
1384 c = READCHAR;
1385 goto default_label;
1386 }
1387 /* Reader forms that can reuse previously read objects. */
1388 if (c >= '0' && c <= '9')
1389 {
1390 int n = 0;
1391 Lisp_Object tem;
1392
1393 /* Read a non-negative integer. */
1394 while (c >= '0' && c <= '9')
1395 {
1396 n *= 10;
1397 n += c - '0';
1398 c = READCHAR;
1399 }
1400 /* #n=object returns object, but associates it with n for #n#. */
1401 if (c == '=')
1402 {
1403 tem = read0 (readcharfun);
1404 read_objects = Fcons (Fcons (make_number (n), tem), read_objects);
1405 return tem;
1406 }
1407 /* #n# returns a previously read object. */
1408 if (c == '#')
1409 {
1410 tem = Fassq (make_number (n), read_objects);
1411 if (CONSP (tem))
1412 return XCDR (tem);
1413 /* Fall through to error message. */
1414 }
1415 /* Fall through to error message. */
1416 }
1417
1418 UNREAD (c);
1419 Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#", 1), Qnil));
1420
1421 case ';':
1422 while ((c = READCHAR) >= 0 && c != '\n');
1423 goto retry;
1424
1425 case '\'':
1426 {
1427 return Fcons (Qquote, Fcons (read0 (readcharfun), Qnil));
1428 }
1429
1430 case '`':
1431 if (first_in_list)
1432 goto default_label;
1433 else
1434 {
1435 Lisp_Object value;
1436
1437 new_backquote_flag = 1;
1438 value = read0 (readcharfun);
1439 new_backquote_flag = 0;
1440
1441 return Fcons (Qbackquote, Fcons (value, Qnil));
1442 }
1443
1444 case ',':
1445 if (new_backquote_flag)
1446 {
1447 Lisp_Object comma_type = Qnil;
1448 Lisp_Object value;
1449 int ch = READCHAR;
1450
1451 if (ch == '@')
1452 comma_type = Qcomma_at;
1453 else if (ch == '.')
1454 comma_type = Qcomma_dot;
1455 else
1456 {
1457 if (ch >= 0) UNREAD (ch);
1458 comma_type = Qcomma;
1459 }
1460
1461 new_backquote_flag = 0;
1462 value = read0 (readcharfun);
1463 new_backquote_flag = 1;
1464 return Fcons (comma_type, Fcons (value, Qnil));
1465 }
1466 else
1467 goto default_label;
1468
1469 case '?':
1470 {
1471 register Lisp_Object val;
1472
1473 c = READCHAR;
1474 if (c < 0) return Fsignal (Qend_of_file, Qnil);
1475
1476 if (c == '\\')
1477 XSETINT (val, read_escape (readcharfun));
1478 else
1479 XSETINT (val, c);
1480
1481 return val;
1482 }
1483
1484 case '\"':
1485 {
1486 register char *p = read_buffer;
1487 register char *end = read_buffer + read_buffer_size;
1488 register int c;
1489 int cancel = 0;
1490
1491 while ((c = READCHAR) >= 0
1492 && c != '\"')
1493 {
1494 if (p == end)
1495 {
1496 char *new = (char *) xrealloc (read_buffer, read_buffer_size *= 2);
1497 p += new - read_buffer;
1498 read_buffer += new - read_buffer;
1499 end = read_buffer + read_buffer_size;
1500 }
1501 if (c == '\\')
1502 c = read_escape (readcharfun);
1503 /* c is -1 if \ newline has just been seen */
1504 if (c == -1)
1505 {
1506 if (p == read_buffer)
1507 cancel = 1;
1508 }
1509 else
1510 {
1511 /* Allow `\C- ' and `\C-?'. */
1512 if (c == (CHAR_CTL | ' '))
1513 c = 0;
1514 else if (c == (CHAR_CTL | '?'))
1515 c = 127;
1516
1517 if (c & CHAR_META)
1518 /* Move the meta bit to the right place for a string. */
1519 c = (c & ~CHAR_META) | 0x80;
1520 if (c & ~0xff)
1521 error ("Invalid modifier in string");
1522 *p++ = c;
1523 }
1524 }
1525 if (c < 0) return Fsignal (Qend_of_file, Qnil);
1526
1527 /* If purifying, and string starts with \ newline,
1528 return zero instead. This is for doc strings
1529 that we are really going to find in etc/DOC.nn.nn */
1530 if (!NILP (Vpurify_flag) && NILP (Vdoc_file_name) && cancel)
1531 return make_number (0);
1532
1533 if (read_pure)
1534 return make_pure_string (read_buffer, p - read_buffer);
1535 else
1536 return make_string (read_buffer, p - read_buffer);
1537 }
1538
1539 case '.':
1540 {
1541 #ifdef LISP_FLOAT_TYPE
1542 /* If a period is followed by a number, then we should read it
1543 as a floating point number. Otherwise, it denotes a dotted
1544 pair. */
1545 int next_char = READCHAR;
1546 UNREAD (next_char);
1547
1548 if (! (next_char >= '0' && next_char <= '9'))
1549 #endif
1550 {
1551 *pch = c;
1552 return Qnil;
1553 }
1554
1555 /* Otherwise, we fall through! Note that the atom-reading loop
1556 below will now loop at least once, assuring that we will not
1557 try to UNREAD two characters in a row. */
1558 }
1559 default:
1560 default_label:
1561 if (c <= 040) goto retry;
1562 {
1563 register char *p = read_buffer;
1564 int quoted = 0;
1565
1566 {
1567 register char *end = read_buffer + read_buffer_size;
1568
1569 while (c > 040 &&
1570 !(c == '\"' || c == '\'' || c == ';' || c == '?'
1571 || c == '(' || c == ')'
1572 #ifndef LISP_FLOAT_TYPE
1573 /* If we have floating-point support, then we need
1574 to allow <digits><dot><digits>. */
1575 || c =='.'
1576 #endif /* not LISP_FLOAT_TYPE */
1577 || c == '[' || c == ']' || c == '#'
1578 ))
1579 {
1580 if (p == end)
1581 {
1582 register char *new = (char *) xrealloc (read_buffer, read_buffer_size *= 2);
1583 p += new - read_buffer;
1584 read_buffer += new - read_buffer;
1585 end = read_buffer + read_buffer_size;
1586 }
1587 if (c == '\\')
1588 {
1589 c = READCHAR;
1590 quoted = 1;
1591 }
1592 *p++ = c;
1593 c = READCHAR;
1594 }
1595
1596 if (p == end)
1597 {
1598 char *new = (char *) xrealloc (read_buffer, read_buffer_size *= 2);
1599 p += new - read_buffer;
1600 read_buffer += new - read_buffer;
1601 /* end = read_buffer + read_buffer_size; */
1602 }
1603 *p = 0;
1604 if (c >= 0)
1605 UNREAD (c);
1606 }
1607
1608 if (!quoted && !uninterned_symbol)
1609 {
1610 register char *p1;
1611 register Lisp_Object val;
1612 p1 = read_buffer;
1613 if (*p1 == '+' || *p1 == '-') p1++;
1614 /* Is it an integer? */
1615 if (p1 != p)
1616 {
1617 while (p1 != p && (c = *p1) >= '0' && c <= '9') p1++;
1618 #ifdef LISP_FLOAT_TYPE
1619 /* Integers can have trailing decimal points. */
1620 if (p1 > read_buffer && p1 < p && *p1 == '.') p1++;
1621 #endif
1622 if (p1 == p)
1623 /* It is an integer. */
1624 {
1625 #ifdef LISP_FLOAT_TYPE
1626 if (p1[-1] == '.')
1627 p1[-1] = '\0';
1628 #endif
1629 if (sizeof (int) == sizeof (EMACS_INT))
1630 XSETINT (val, atoi (read_buffer));
1631 else if (sizeof (long) == sizeof (EMACS_INT))
1632 XSETINT (val, atol (read_buffer));
1633 else
1634 abort ();
1635 return val;
1636 }
1637 }
1638 #ifdef LISP_FLOAT_TYPE
1639 if (isfloat_string (read_buffer))
1640 return make_float (atof (read_buffer));
1641 #endif
1642 }
1643
1644 if (uninterned_symbol)
1645 return make_symbol (read_buffer);
1646 else
1647 return intern (read_buffer);
1648 }
1649 }
1650 }
1651 \f
1652 #ifdef LISP_FLOAT_TYPE
1653
1654 #define LEAD_INT 1
1655 #define DOT_CHAR 2
1656 #define TRAIL_INT 4
1657 #define E_CHAR 8
1658 #define EXP_INT 16
1659
1660 int
1661 isfloat_string (cp)
1662 register char *cp;
1663 {
1664 register state;
1665
1666 state = 0;
1667 if (*cp == '+' || *cp == '-')
1668 cp++;
1669
1670 if (*cp >= '0' && *cp <= '9')
1671 {
1672 state |= LEAD_INT;
1673 while (*cp >= '0' && *cp <= '9')
1674 cp++;
1675 }
1676 if (*cp == '.')
1677 {
1678 state |= DOT_CHAR;
1679 cp++;
1680 }
1681 if (*cp >= '0' && *cp <= '9')
1682 {
1683 state |= TRAIL_INT;
1684 while (*cp >= '0' && *cp <= '9')
1685 cp++;
1686 }
1687 if (*cp == 'e' || *cp == 'E')
1688 {
1689 state |= E_CHAR;
1690 cp++;
1691 if (*cp == '+' || *cp == '-')
1692 cp++;
1693 }
1694
1695 if (*cp >= '0' && *cp <= '9')
1696 {
1697 state |= EXP_INT;
1698 while (*cp >= '0' && *cp <= '9')
1699 cp++;
1700 }
1701 return (((*cp == 0) || (*cp == ' ') || (*cp == '\t') || (*cp == '\n') || (*cp == '\r') || (*cp == '\f'))
1702 && (state == (LEAD_INT|DOT_CHAR|TRAIL_INT)
1703 || state == (DOT_CHAR|TRAIL_INT)
1704 || state == (LEAD_INT|E_CHAR|EXP_INT)
1705 || state == (LEAD_INT|DOT_CHAR|TRAIL_INT|E_CHAR|EXP_INT)
1706 || state == (DOT_CHAR|TRAIL_INT|E_CHAR|EXP_INT)));
1707 }
1708 #endif /* LISP_FLOAT_TYPE */
1709 \f
1710 static Lisp_Object
1711 read_vector (readcharfun)
1712 Lisp_Object readcharfun;
1713 {
1714 register int i;
1715 register int size;
1716 register Lisp_Object *ptr;
1717 register Lisp_Object tem, vector;
1718 register struct Lisp_Cons *otem;
1719 Lisp_Object len;
1720
1721 tem = read_list (1, readcharfun);
1722 len = Flength (tem);
1723 vector = (read_pure ? make_pure_vector (XINT (len)) : Fmake_vector (len, Qnil));
1724
1725
1726 size = XVECTOR (vector)->size;
1727 ptr = XVECTOR (vector)->contents;
1728 for (i = 0; i < size; i++)
1729 {
1730 ptr[i] = read_pure ? Fpurecopy (Fcar (tem)) : Fcar (tem);
1731 otem = XCONS (tem);
1732 tem = Fcdr (tem);
1733 free_cons (otem);
1734 }
1735 return vector;
1736 }
1737
1738 /* flag = 1 means check for ] to terminate rather than ) and .
1739 flag = -1 means check for starting with defun
1740 and make structure pure. */
1741
1742 static Lisp_Object
1743 read_list (flag, readcharfun)
1744 int flag;
1745 register Lisp_Object readcharfun;
1746 {
1747 /* -1 means check next element for defun,
1748 0 means don't check,
1749 1 means already checked and found defun. */
1750 int defunflag = flag < 0 ? -1 : 0;
1751 Lisp_Object val, tail;
1752 register Lisp_Object elt, tem;
1753 struct gcpro gcpro1, gcpro2;
1754 /* 0 is the normal case.
1755 1 means this list is a doc reference; replace it with the number 0.
1756 2 means this list is a doc reference; replace it with the doc string. */
1757 int doc_reference = 0;
1758
1759 /* Initialize this to 1 if we are reading a list. */
1760 int first_in_list = flag <= 0;
1761
1762 val = Qnil;
1763 tail = Qnil;
1764
1765 while (1)
1766 {
1767 char ch;
1768 GCPRO2 (val, tail);
1769 elt = read1 (readcharfun, &ch, first_in_list);
1770 UNGCPRO;
1771
1772 first_in_list = 0;
1773
1774 /* While building, if the list starts with #$, treat it specially. */
1775 if (EQ (elt, Vload_file_name)
1776 && !NILP (Vpurify_flag))
1777 {
1778 if (NILP (Vdoc_file_name))
1779 /* We have not yet called Snarf-documentation, so assume
1780 this file is described in the DOC-MM.NN file
1781 and Snarf-documentation will fill in the right value later.
1782 For now, replace the whole list with 0. */
1783 doc_reference = 1;
1784 else
1785 /* We have already called Snarf-documentation, so make a relative
1786 file name for this file, so it can be found properly
1787 in the installed Lisp directory.
1788 We don't use Fexpand_file_name because that would make
1789 the directory absolute now. */
1790 elt = concat2 (build_string ("../lisp/"),
1791 Ffile_name_nondirectory (elt));
1792 }
1793 else if (EQ (elt, Vload_file_name)
1794 && load_force_doc_strings)
1795 doc_reference = 2;
1796
1797 if (ch)
1798 {
1799 if (flag > 0)
1800 {
1801 if (ch == ']')
1802 return val;
1803 Fsignal (Qinvalid_read_syntax,
1804 Fcons (make_string (") or . in a vector", 18), Qnil));
1805 }
1806 if (ch == ')')
1807 return val;
1808 if (ch == '.')
1809 {
1810 GCPRO2 (val, tail);
1811 if (!NILP (tail))
1812 XCONS (tail)->cdr = read0 (readcharfun);
1813 else
1814 val = read0 (readcharfun);
1815 read1 (readcharfun, &ch, 0);
1816 UNGCPRO;
1817 if (ch == ')')
1818 {
1819 if (doc_reference == 1)
1820 return make_number (0);
1821 if (doc_reference == 2)
1822 {
1823 /* Get a doc string from the file we are loading.
1824 If it's in saved_doc_string, get it from there. */
1825 int pos = XINT (XCONS (val)->cdr);
1826 if (pos >= saved_doc_string_position
1827 && pos < (saved_doc_string_position
1828 + saved_doc_string_length))
1829 {
1830 int start = pos - saved_doc_string_position;
1831 int from, to;
1832
1833 /* Process quoting with ^A,
1834 and find the end of the string,
1835 which is marked with ^_ (037). */
1836 for (from = start, to = start;
1837 saved_doc_string[from] != 037;)
1838 {
1839 int c = saved_doc_string[from++];
1840 if (c == 1)
1841 {
1842 c = saved_doc_string[from++];
1843 if (c == 1)
1844 saved_doc_string[to++] = c;
1845 else if (c == '0')
1846 saved_doc_string[to++] = 0;
1847 else if (c == '_')
1848 saved_doc_string[to++] = 037;
1849 }
1850 else
1851 saved_doc_string[to++] = c;
1852 }
1853
1854 return make_string (saved_doc_string + start,
1855 to - start);
1856 }
1857 else
1858 return read_doc_string (val);
1859 }
1860
1861 return val;
1862 }
1863 return Fsignal (Qinvalid_read_syntax, Fcons (make_string (". in wrong context", 18), Qnil));
1864 }
1865 return Fsignal (Qinvalid_read_syntax, Fcons (make_string ("] in a list", 11), Qnil));
1866 }
1867 tem = (read_pure && flag <= 0
1868 ? pure_cons (elt, Qnil)
1869 : Fcons (elt, Qnil));
1870 if (!NILP (tail))
1871 XCONS (tail)->cdr = tem;
1872 else
1873 val = tem;
1874 tail = tem;
1875 if (defunflag < 0)
1876 defunflag = EQ (elt, Qdefun);
1877 else if (defunflag > 0)
1878 read_pure = 1;
1879 }
1880 }
1881 \f
1882 Lisp_Object Vobarray;
1883 Lisp_Object initial_obarray;
1884
1885 /* oblookup stores the bucket number here, for the sake of Funintern. */
1886
1887 int oblookup_last_bucket_number;
1888
1889 static int hash_string ();
1890 Lisp_Object oblookup ();
1891
1892 /* Get an error if OBARRAY is not an obarray.
1893 If it is one, return it. */
1894
1895 Lisp_Object
1896 check_obarray (obarray)
1897 Lisp_Object obarray;
1898 {
1899 while (!VECTORP (obarray) || XVECTOR (obarray)->size == 0)
1900 {
1901 /* If Vobarray is now invalid, force it to be valid. */
1902 if (EQ (Vobarray, obarray)) Vobarray = initial_obarray;
1903
1904 obarray = wrong_type_argument (Qvectorp, obarray);
1905 }
1906 return obarray;
1907 }
1908
1909 /* Intern the C string STR: return a symbol with that name,
1910 interned in the current obarray. */
1911
1912 Lisp_Object
1913 intern (str)
1914 char *str;
1915 {
1916 Lisp_Object tem;
1917 int len = strlen (str);
1918 Lisp_Object obarray;
1919
1920 obarray = Vobarray;
1921 if (!VECTORP (obarray) || XVECTOR (obarray)->size == 0)
1922 obarray = check_obarray (obarray);
1923 tem = oblookup (obarray, str, len);
1924 if (SYMBOLP (tem))
1925 return tem;
1926 return Fintern ((!NILP (Vpurify_flag)
1927 ? make_pure_string (str, len)
1928 : make_string (str, len)),
1929 obarray);
1930 }
1931
1932 /* Create an uninterned symbol with name STR. */
1933
1934 Lisp_Object
1935 make_symbol (str)
1936 char *str;
1937 {
1938 int len = strlen (str);
1939
1940 return Fmake_symbol ((!NILP (Vpurify_flag)
1941 ? make_pure_string (str, len)
1942 : make_string (str, len)));
1943 }
1944 \f
1945 DEFUN ("intern", Fintern, Sintern, 1, 2, 0,
1946 "Return the canonical symbol whose name is STRING.\n\
1947 If there is none, one is created by this function and returned.\n\
1948 A second optional argument specifies the obarray to use;\n\
1949 it defaults to the value of `obarray'.")
1950 (string, obarray)
1951 Lisp_Object string, obarray;
1952 {
1953 register Lisp_Object tem, sym, *ptr;
1954
1955 if (NILP (obarray)) obarray = Vobarray;
1956 obarray = check_obarray (obarray);
1957
1958 CHECK_STRING (string, 0);
1959
1960 tem = oblookup (obarray, XSTRING (string)->data, XSTRING (string)->size);
1961 if (!INTEGERP (tem))
1962 return tem;
1963
1964 if (!NILP (Vpurify_flag))
1965 string = Fpurecopy (string);
1966 sym = Fmake_symbol (string);
1967 XSYMBOL (sym)->obarray = obarray;
1968
1969 ptr = &XVECTOR (obarray)->contents[XINT (tem)];
1970 if (SYMBOLP (*ptr))
1971 XSYMBOL (sym)->next = XSYMBOL (*ptr);
1972 else
1973 XSYMBOL (sym)->next = 0;
1974 *ptr = sym;
1975 return sym;
1976 }
1977
1978 DEFUN ("intern-soft", Fintern_soft, Sintern_soft, 1, 2, 0,
1979 "Return the canonical symbol whose name is STRING, or nil if none exists.\n\
1980 A second optional argument specifies the obarray to use;\n\
1981 it defaults to the value of `obarray'.")
1982 (string, obarray)
1983 Lisp_Object string, obarray;
1984 {
1985 register Lisp_Object tem;
1986
1987 if (NILP (obarray)) obarray = Vobarray;
1988 obarray = check_obarray (obarray);
1989
1990 CHECK_STRING (string, 0);
1991
1992 tem = oblookup (obarray, XSTRING (string)->data, XSTRING (string)->size);
1993 if (!INTEGERP (tem))
1994 return tem;
1995 return Qnil;
1996 }
1997 \f
1998 DEFUN ("unintern", Funintern, Sunintern, 1, 2, 0,
1999 "Delete the symbol named NAME, if any, from OBARRAY.\n\
2000 The value is t if a symbol was found and deleted, nil otherwise.\n\
2001 NAME may be a string or a symbol. If it is a symbol, that symbol\n\
2002 is deleted, if it belongs to OBARRAY--no other symbol is deleted.\n\
2003 OBARRAY defaults to the value of the variable `obarray'.")
2004 (name, obarray)
2005 Lisp_Object name, obarray;
2006 {
2007 register Lisp_Object string, tem;
2008 int hash;
2009
2010 if (NILP (obarray)) obarray = Vobarray;
2011 obarray = check_obarray (obarray);
2012
2013 if (SYMBOLP (name))
2014 XSETSTRING (string, XSYMBOL (name)->name);
2015 else
2016 {
2017 CHECK_STRING (name, 0);
2018 string = name;
2019 }
2020
2021 tem = oblookup (obarray, XSTRING (string)->data, XSTRING (string)->size);
2022 if (INTEGERP (tem))
2023 return Qnil;
2024 /* If arg was a symbol, don't delete anything but that symbol itself. */
2025 if (SYMBOLP (name) && !EQ (name, tem))
2026 return Qnil;
2027
2028 hash = oblookup_last_bucket_number;
2029
2030 if (EQ (XVECTOR (obarray)->contents[hash], tem))
2031 {
2032 if (XSYMBOL (tem)->next)
2033 XSETSYMBOL (XVECTOR (obarray)->contents[hash], XSYMBOL (tem)->next);
2034 else
2035 XSETINT (XVECTOR (obarray)->contents[hash], 0);
2036 }
2037 else
2038 {
2039 Lisp_Object tail, following;
2040
2041 for (tail = XVECTOR (obarray)->contents[hash];
2042 XSYMBOL (tail)->next;
2043 tail = following)
2044 {
2045 XSETSYMBOL (following, XSYMBOL (tail)->next);
2046 if (EQ (following, tem))
2047 {
2048 XSYMBOL (tail)->next = XSYMBOL (following)->next;
2049 break;
2050 }
2051 }
2052 }
2053
2054 return Qt;
2055 }
2056 \f
2057 /* Return the symbol in OBARRAY whose names matches the string
2058 of SIZE characters at PTR. If there is no such symbol in OBARRAY,
2059 return nil.
2060
2061 Also store the bucket number in oblookup_last_bucket_number. */
2062
2063 Lisp_Object
2064 oblookup (obarray, ptr, size)
2065 Lisp_Object obarray;
2066 register char *ptr;
2067 register int size;
2068 {
2069 int hash;
2070 int obsize;
2071 register Lisp_Object tail;
2072 Lisp_Object bucket, tem;
2073
2074 if (!VECTORP (obarray)
2075 || (obsize = XVECTOR (obarray)->size) == 0)
2076 {
2077 obarray = check_obarray (obarray);
2078 obsize = XVECTOR (obarray)->size;
2079 }
2080 /* This is sometimes needed in the middle of GC. */
2081 obsize &= ~ARRAY_MARK_FLAG;
2082 /* Combining next two lines breaks VMS C 2.3. */
2083 hash = hash_string (ptr, size);
2084 hash %= obsize;
2085 bucket = XVECTOR (obarray)->contents[hash];
2086 oblookup_last_bucket_number = hash;
2087 if (XFASTINT (bucket) == 0)
2088 ;
2089 else if (!SYMBOLP (bucket))
2090 error ("Bad data in guts of obarray"); /* Like CADR error message */
2091 else
2092 for (tail = bucket; ; XSETSYMBOL (tail, XSYMBOL (tail)->next))
2093 {
2094 if (XSYMBOL (tail)->name->size == size
2095 && !bcmp (XSYMBOL (tail)->name->data, ptr, size))
2096 return tail;
2097 else if (XSYMBOL (tail)->next == 0)
2098 break;
2099 }
2100 XSETINT (tem, hash);
2101 return tem;
2102 }
2103
2104 static int
2105 hash_string (ptr, len)
2106 unsigned char *ptr;
2107 int len;
2108 {
2109 register unsigned char *p = ptr;
2110 register unsigned char *end = p + len;
2111 register unsigned char c;
2112 register int hash = 0;
2113
2114 while (p != end)
2115 {
2116 c = *p++;
2117 if (c >= 0140) c -= 40;
2118 hash = ((hash<<3) + (hash>>28) + c);
2119 }
2120 return hash & 07777777777;
2121 }
2122 \f
2123 void
2124 map_obarray (obarray, fn, arg)
2125 Lisp_Object obarray;
2126 int (*fn) ();
2127 Lisp_Object arg;
2128 {
2129 register int i;
2130 register Lisp_Object tail;
2131 CHECK_VECTOR (obarray, 1);
2132 for (i = XVECTOR (obarray)->size - 1; i >= 0; i--)
2133 {
2134 tail = XVECTOR (obarray)->contents[i];
2135 if (XFASTINT (tail) != 0)
2136 while (1)
2137 {
2138 (*fn) (tail, arg);
2139 if (XSYMBOL (tail)->next == 0)
2140 break;
2141 XSETSYMBOL (tail, XSYMBOL (tail)->next);
2142 }
2143 }
2144 }
2145
2146 mapatoms_1 (sym, function)
2147 Lisp_Object sym, function;
2148 {
2149 call1 (function, sym);
2150 }
2151
2152 DEFUN ("mapatoms", Fmapatoms, Smapatoms, 1, 2, 0,
2153 "Call FUNCTION on every symbol in OBARRAY.\n\
2154 OBARRAY defaults to the value of `obarray'.")
2155 (function, obarray)
2156 Lisp_Object function, obarray;
2157 {
2158 Lisp_Object tem;
2159
2160 if (NILP (obarray)) obarray = Vobarray;
2161 obarray = check_obarray (obarray);
2162
2163 map_obarray (obarray, mapatoms_1, function);
2164 return Qnil;
2165 }
2166
2167 #define OBARRAY_SIZE 1511
2168
2169 void
2170 init_obarray ()
2171 {
2172 Lisp_Object oblength;
2173 int hash;
2174 Lisp_Object *tem;
2175
2176 XSETFASTINT (oblength, OBARRAY_SIZE);
2177
2178 Qnil = Fmake_symbol (make_pure_string ("nil", 3));
2179 Vobarray = Fmake_vector (oblength, make_number (0));
2180 initial_obarray = Vobarray;
2181 staticpro (&initial_obarray);
2182 /* Intern nil in the obarray */
2183 XSYMBOL (Qnil)->obarray = Vobarray;
2184 /* These locals are to kludge around a pyramid compiler bug. */
2185 hash = hash_string ("nil", 3);
2186 /* Separate statement here to avoid VAXC bug. */
2187 hash %= OBARRAY_SIZE;
2188 tem = &XVECTOR (Vobarray)->contents[hash];
2189 *tem = Qnil;
2190
2191 Qunbound = Fmake_symbol (make_pure_string ("unbound", 7));
2192 XSYMBOL (Qnil)->function = Qunbound;
2193 XSYMBOL (Qunbound)->value = Qunbound;
2194 XSYMBOL (Qunbound)->function = Qunbound;
2195
2196 Qt = intern ("t");
2197 XSYMBOL (Qnil)->value = Qnil;
2198 XSYMBOL (Qnil)->plist = Qnil;
2199 XSYMBOL (Qt)->value = Qt;
2200
2201 /* Qt is correct even if CANNOT_DUMP. loadup.el will set to nil at end. */
2202 Vpurify_flag = Qt;
2203
2204 Qvariable_documentation = intern ("variable-documentation");
2205 staticpro (&Qvariable_documentation);
2206
2207 read_buffer_size = 100;
2208 read_buffer = (char *) malloc (read_buffer_size);
2209 }
2210 \f
2211 void
2212 defsubr (sname)
2213 struct Lisp_Subr *sname;
2214 {
2215 Lisp_Object sym;
2216 sym = intern (sname->symbol_name);
2217 XSETSUBR (XSYMBOL (sym)->function, sname);
2218 }
2219
2220 #ifdef NOTDEF /* use fset in subr.el now */
2221 void
2222 defalias (sname, string)
2223 struct Lisp_Subr *sname;
2224 char *string;
2225 {
2226 Lisp_Object sym;
2227 sym = intern (string);
2228 XSETSUBR (XSYMBOL (sym)->function, sname);
2229 }
2230 #endif /* NOTDEF */
2231
2232 /* Define an "integer variable"; a symbol whose value is forwarded
2233 to a C variable of type int. Sample call: */
2234 /* DEFVAR_INT ("indent-tabs-mode", &indent_tabs_mode, "Documentation"); */
2235 void
2236 defvar_int (namestring, address)
2237 char *namestring;
2238 int *address;
2239 {
2240 Lisp_Object sym, val;
2241 sym = intern (namestring);
2242 val = allocate_misc ();
2243 XMISCTYPE (val) = Lisp_Misc_Intfwd;
2244 XINTFWD (val)->intvar = address;
2245 XSYMBOL (sym)->value = val;
2246 }
2247
2248 /* Similar but define a variable whose value is T if address contains 1,
2249 NIL if address contains 0 */
2250 void
2251 defvar_bool (namestring, address)
2252 char *namestring;
2253 int *address;
2254 {
2255 Lisp_Object sym, val;
2256 sym = intern (namestring);
2257 val = allocate_misc ();
2258 XMISCTYPE (val) = Lisp_Misc_Boolfwd;
2259 XBOOLFWD (val)->boolvar = address;
2260 XSYMBOL (sym)->value = val;
2261 }
2262
2263 /* Similar but define a variable whose value is the Lisp Object stored
2264 at address. Two versions: with and without gc-marking of the C
2265 variable. The nopro version is used when that variable will be
2266 gc-marked for some other reason, since marking the same slot twice
2267 can cause trouble with strings. */
2268 void
2269 defvar_lisp_nopro (namestring, address)
2270 char *namestring;
2271 Lisp_Object *address;
2272 {
2273 Lisp_Object sym, val;
2274 sym = intern (namestring);
2275 val = allocate_misc ();
2276 XMISCTYPE (val) = Lisp_Misc_Objfwd;
2277 XOBJFWD (val)->objvar = address;
2278 XSYMBOL (sym)->value = val;
2279 }
2280
2281 void
2282 defvar_lisp (namestring, address)
2283 char *namestring;
2284 Lisp_Object *address;
2285 {
2286 defvar_lisp_nopro (namestring, address);
2287 staticpro (address);
2288 }
2289
2290 #ifndef standalone
2291
2292 /* Similar but define a variable whose value is the Lisp Object stored in
2293 the current buffer. address is the address of the slot in the buffer
2294 that is current now. */
2295
2296 void
2297 defvar_per_buffer (namestring, address, type, doc)
2298 char *namestring;
2299 Lisp_Object *address;
2300 Lisp_Object type;
2301 char *doc;
2302 {
2303 Lisp_Object sym, val;
2304 int offset;
2305 extern struct buffer buffer_local_symbols;
2306
2307 sym = intern (namestring);
2308 val = allocate_misc ();
2309 offset = (char *)address - (char *)current_buffer;
2310
2311 XMISCTYPE (val) = Lisp_Misc_Buffer_Objfwd;
2312 XBUFFER_OBJFWD (val)->offset = offset;
2313 XSYMBOL (sym)->value = val;
2314 *(Lisp_Object *)(offset + (char *)&buffer_local_symbols) = sym;
2315 *(Lisp_Object *)(offset + (char *)&buffer_local_types) = type;
2316 if (XINT (*(Lisp_Object *)(offset + (char *)&buffer_local_flags)) == 0)
2317 /* Did a DEFVAR_PER_BUFFER without initializing the corresponding
2318 slot of buffer_local_flags */
2319 abort ();
2320 }
2321
2322 #endif /* standalone */
2323
2324 /* Similar but define a variable whose value is the Lisp Object stored
2325 at a particular offset in the current kboard object. */
2326
2327 void
2328 defvar_kboard (namestring, offset)
2329 char *namestring;
2330 int offset;
2331 {
2332 Lisp_Object sym, val;
2333 sym = intern (namestring);
2334 val = allocate_misc ();
2335 XMISCTYPE (val) = Lisp_Misc_Kboard_Objfwd;
2336 XKBOARD_OBJFWD (val)->offset = offset;
2337 XSYMBOL (sym)->value = val;
2338 }
2339 \f
2340 /* Record the value of load-path used at the start of dumping
2341 so we can see if the site changed it later during dumping. */
2342 static Lisp_Object dump_path;
2343
2344 init_lread ()
2345 {
2346 char *normal;
2347 int turn_off_warning = 0;
2348
2349 #ifdef HAVE_SETLOCALE
2350 /* Make sure numbers are parsed as we expect. */
2351 setlocale (LC_NUMERIC, "C");
2352 #endif /* HAVE_SETLOCALE */
2353
2354 /* Compute the default load-path. */
2355 #ifdef CANNOT_DUMP
2356 normal = PATH_LOADSEARCH;
2357 Vload_path = decode_env_path (0, normal);
2358 #else
2359 if (NILP (Vpurify_flag))
2360 normal = PATH_LOADSEARCH;
2361 else
2362 normal = PATH_DUMPLOADSEARCH;
2363
2364 /* In a dumped Emacs, we normally have to reset the value of
2365 Vload_path from PATH_LOADSEARCH, since the value that was dumped
2366 uses ../lisp, instead of the path of the installed elisp
2367 libraries. However, if it appears that Vload_path was changed
2368 from the default before dumping, don't override that value. */
2369 if (initialized)
2370 {
2371 if (! NILP (Fequal (dump_path, Vload_path)))
2372 {
2373 Vload_path = decode_env_path (0, normal);
2374 if (!NILP (Vinstallation_directory))
2375 {
2376 /* Add to the path the lisp subdir of the
2377 installation dir, if it exists. */
2378 Lisp_Object tem, tem1;
2379 tem = Fexpand_file_name (build_string ("lisp"),
2380 Vinstallation_directory);
2381 tem1 = Ffile_exists_p (tem);
2382 if (!NILP (tem1))
2383 {
2384 if (NILP (Fmember (tem, Vload_path)))
2385 {
2386 turn_off_warning = 1;
2387 Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
2388 }
2389 }
2390 else
2391 /* That dir doesn't exist, so add the build-time
2392 Lisp dirs instead. */
2393 Vload_path = nconc2 (Vload_path, dump_path);
2394
2395 /* Add site-list under the installation dir, if it exists. */
2396 tem = Fexpand_file_name (build_string ("site-lisp"),
2397 Vinstallation_directory);
2398 tem1 = Ffile_exists_p (tem);
2399 if (!NILP (tem1))
2400 {
2401 if (NILP (Fmember (tem, Vload_path)))
2402 Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
2403 }
2404 }
2405 }
2406 }
2407 else
2408 {
2409 /* ../lisp refers to the build directory.
2410 NORMAL refers to the lisp dir in the source directory. */
2411 Vload_path = Fcons (build_string ("../lisp"),
2412 decode_env_path (0, normal));
2413 dump_path = Vload_path;
2414 }
2415 #endif
2416
2417 #ifndef WINDOWSNT
2418 /* When Emacs is invoked over network shares on NT, PATH_LOADSEARCH is
2419 almost never correct, thereby causing a warning to be printed out that
2420 confuses users. Since PATH_LOADSEARCH is always overridden by the
2421 EMACSLOADPATH environment variable below, disable the warning on NT. */
2422
2423 /* Warn if dirs in the *standard* path don't exist. */
2424 if (!turn_off_warning)
2425 {
2426 Lisp_Object path_tail;
2427
2428 for (path_tail = Vload_path;
2429 !NILP (path_tail);
2430 path_tail = XCONS (path_tail)->cdr)
2431 {
2432 Lisp_Object dirfile;
2433 dirfile = Fcar (path_tail);
2434 if (STRINGP (dirfile))
2435 {
2436 dirfile = Fdirectory_file_name (dirfile);
2437 if (access (XSTRING (dirfile)->data, 0) < 0)
2438 fprintf (stderr,
2439 "Warning: Lisp directory `%s' does not exist.\n",
2440 XSTRING (Fcar (path_tail))->data);
2441 }
2442 }
2443 }
2444 #endif /* WINDOWSNT */
2445
2446 /* If the EMACSLOADPATH environment variable is set, use its value.
2447 This doesn't apply if we're dumping. */
2448 #ifndef CANNOT_DUMP
2449 if (NILP (Vpurify_flag)
2450 && egetenv ("EMACSLOADPATH"))
2451 #endif
2452 Vload_path = decode_env_path ("EMACSLOADPATH", normal);
2453
2454 Vvalues = Qnil;
2455
2456 load_in_progress = 0;
2457 Vload_file_name = Qnil;
2458
2459 load_descriptor_list = Qnil;
2460 }
2461
2462 void
2463 syms_of_lread ()
2464 {
2465 defsubr (&Sread);
2466 defsubr (&Sread_from_string);
2467 defsubr (&Sintern);
2468 defsubr (&Sintern_soft);
2469 defsubr (&Sunintern);
2470 defsubr (&Sload);
2471 defsubr (&Seval_buffer);
2472 defsubr (&Seval_region);
2473 defsubr (&Sread_char);
2474 defsubr (&Sread_char_exclusive);
2475 defsubr (&Sread_event);
2476 defsubr (&Sget_file_char);
2477 defsubr (&Smapatoms);
2478
2479 DEFVAR_LISP ("obarray", &Vobarray,
2480 "Symbol table for use by `intern' and `read'.\n\
2481 It is a vector whose length ought to be prime for best results.\n\
2482 The vector's contents don't make sense if examined from Lisp programs;\n\
2483 to find all the symbols in an obarray, use `mapatoms'.");
2484
2485 DEFVAR_LISP ("values", &Vvalues,
2486 "List of values of all expressions which were read, evaluated and printed.\n\
2487 Order is reverse chronological.");
2488
2489 DEFVAR_LISP ("standard-input", &Vstandard_input,
2490 "Stream for read to get input from.\n\
2491 See documentation of `read' for possible values.");
2492 Vstandard_input = Qt;
2493
2494 DEFVAR_LISP ("load-path", &Vload_path,
2495 "*List of directories to search for files to load.\n\
2496 Each element is a string (directory name) or nil (try default directory).\n\
2497 Initialized based on EMACSLOADPATH environment variable, if any,\n\
2498 otherwise to default specified by file `paths.h' when Emacs was built.");
2499
2500 DEFVAR_BOOL ("load-in-progress", &load_in_progress,
2501 "Non-nil iff inside of `load'.");
2502
2503 DEFVAR_LISP ("after-load-alist", &Vafter_load_alist,
2504 "An alist of expressions to be evalled when particular files are loaded.\n\
2505 Each element looks like (FILENAME FORMS...).\n\
2506 When `load' is run and the file-name argument is FILENAME,\n\
2507 the FORMS in the corresponding element are executed at the end of loading.\n\n\
2508 FILENAME must match exactly! Normally FILENAME is the name of a library,\n\
2509 with no directory specified, since that is how `load' is normally called.\n\
2510 An error in FORMS does not undo the load,\n\
2511 but does prevent execution of the rest of the FORMS.");
2512 Vafter_load_alist = Qnil;
2513
2514 DEFVAR_LISP ("load-history", &Vload_history,
2515 "Alist mapping source file names to symbols and features.\n\
2516 Each alist element is a list that starts with a file name,\n\
2517 except for one element (optional) that starts with nil and describes\n\
2518 definitions evaluated from buffers not visiting files.\n\
2519 The remaining elements of each list are symbols defined as functions\n\
2520 or variables, and cons cells `(provide . FEATURE)' and `(require . FEATURE)'.");
2521 Vload_history = Qnil;
2522
2523 DEFVAR_LISP ("load-file-name", &Vload_file_name,
2524 "Full name of file being loaded by `load'.");
2525 Vload_file_name = Qnil;
2526
2527 DEFVAR_LISP ("current-load-list", &Vcurrent_load_list,
2528 "Used for internal purposes by `load'.");
2529 Vcurrent_load_list = Qnil;
2530
2531 DEFVAR_LISP ("load-read-function", &Vload_read_function,
2532 "Function used by `load' and `eval-region' for reading expressions.\n\
2533 The default is nil, which means use the function `read'.");
2534 Vload_read_function = Qnil;
2535
2536 DEFVAR_BOOL ("load-force-doc-strings", &load_force_doc_strings,
2537 "Non-nil means `load' should force-load all dynamic doc strings.\n\
2538 This is useful when the file being loaded is a temporary copy.");
2539 load_force_doc_strings = 0;
2540
2541 DEFVAR_LISP ("source-directory", &Vsource_directory,
2542 "Directory in which Emacs sources were found when Emacs was built.\n\
2543 You cannot count on them to still be there!");
2544 Vsource_directory
2545 = Fexpand_file_name (build_string ("../"),
2546 Fcar (decode_env_path (0, PATH_DUMPLOADSEARCH)));
2547
2548 /* Vsource_directory was initialized in init_lread. */
2549
2550 load_descriptor_list = Qnil;
2551 staticpro (&load_descriptor_list);
2552
2553 Qcurrent_load_list = intern ("current-load-list");
2554 staticpro (&Qcurrent_load_list);
2555
2556 Qstandard_input = intern ("standard-input");
2557 staticpro (&Qstandard_input);
2558
2559 Qread_char = intern ("read-char");
2560 staticpro (&Qread_char);
2561
2562 Qget_file_char = intern ("get-file-char");
2563 staticpro (&Qget_file_char);
2564
2565 Qbackquote = intern ("`");
2566 staticpro (&Qbackquote);
2567 Qcomma = intern (",");
2568 staticpro (&Qcomma);
2569 Qcomma_at = intern (",@");
2570 staticpro (&Qcomma_at);
2571 Qcomma_dot = intern (",.");
2572 staticpro (&Qcomma_dot);
2573
2574 Qascii_character = intern ("ascii-character");
2575 staticpro (&Qascii_character);
2576
2577 Qfunction = intern ("function");
2578 staticpro (&Qfunction);
2579
2580 Qload = intern ("load");
2581 staticpro (&Qload);
2582
2583 Qload_file_name = intern ("load-file-name");
2584 staticpro (&Qload_file_name);
2585
2586 staticpro (&dump_path);
2587
2588 staticpro (&read_objects);
2589 read_objects = Qnil;
2590 }