(OBARRAY_SIZE): Increase from 509.
[bpt/emacs.git] / src / lread.c
1 /* Lisp parsing and input streams.
2 Copyright (C) 1985, 1986, 1987, 1988, 1989,
3 1993 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, 675 Mass Ave, Cambridge, MA 02139, USA. */
20
21
22 #include <stdio.h>
23 #include <sys/types.h>
24 #include <sys/stat.h>
25 #include <sys/file.h>
26 #include <ctype.h>
27 #include <config.h>
28 #include "lisp.h"
29
30 #ifndef standalone
31 #include "buffer.h"
32 #include <paths.h>
33 #include "commands.h"
34 #include "keyboard.h"
35 #include "termhooks.h"
36 #endif
37
38 #ifdef lint
39 #include <sys/inode.h>
40 #endif /* lint */
41
42 #ifndef X_OK
43 #define X_OK 01
44 #endif
45
46 #ifdef LISP_FLOAT_TYPE
47 #ifdef STDC_HEADERS
48 #include <stdlib.h>
49 #endif
50 #include <math.h>
51 #endif /* LISP_FLOAT_TYPE */
52
53 Lisp_Object Qread_char, Qget_file_char, Qstandard_input, Qcurrent_load_list;
54 Lisp_Object Qvariable_documentation, Vvalues, Vstandard_input, Vafter_load_alist;
55 Lisp_Object Qascii_character, Qload;
56
57 extern Lisp_Object Qevent_symbol_element_mask;
58
59 /* non-zero if inside `load' */
60 int load_in_progress;
61
62 /* Search path for files to be loaded. */
63 Lisp_Object Vload_path;
64
65 /* This is the user-visible association list that maps features to
66 lists of defs in their load files. */
67 Lisp_Object Vload_history;
68
69 /* This is useud to build the load history. */
70 Lisp_Object Vcurrent_load_list;
71
72 /* File for get_file_char to read from. Use by load */
73 static FILE *instream;
74
75 /* When nonzero, read conses in pure space */
76 static int read_pure;
77
78 /* For use within read-from-string (this reader is non-reentrant!!) */
79 static int read_from_string_index;
80 static int read_from_string_limit;
81 \f
82 /* Handle unreading and rereading of characters.
83 Write READCHAR to read a character,
84 UNREAD(c) to unread c to be read again. */
85
86 #define READCHAR readchar (readcharfun)
87 #define UNREAD(c) unreadchar (readcharfun, c)
88
89 static int
90 readchar (readcharfun)
91 Lisp_Object readcharfun;
92 {
93 Lisp_Object tem;
94 register struct buffer *inbuffer;
95 register int c, mpos;
96
97 if (XTYPE (readcharfun) == Lisp_Buffer)
98 {
99 inbuffer = XBUFFER (readcharfun);
100
101 if (BUF_PT (inbuffer) >= BUF_ZV (inbuffer))
102 return -1;
103 c = *(unsigned char *) BUF_CHAR_ADDRESS (inbuffer, BUF_PT (inbuffer));
104 SET_BUF_PT (inbuffer, BUF_PT (inbuffer) + 1);
105
106 return c;
107 }
108 if (XTYPE (readcharfun) == Lisp_Marker)
109 {
110 inbuffer = XMARKER (readcharfun)->buffer;
111
112 mpos = marker_position (readcharfun);
113
114 if (mpos > BUF_ZV (inbuffer) - 1)
115 return -1;
116 c = *(unsigned char *) BUF_CHAR_ADDRESS (inbuffer, mpos);
117 if (mpos != BUF_GPT (inbuffer))
118 XMARKER (readcharfun)->bufpos++;
119 else
120 Fset_marker (readcharfun, make_number (mpos + 1),
121 Fmarker_buffer (readcharfun));
122 return c;
123 }
124 if (EQ (readcharfun, Qget_file_char))
125 return getc (instream);
126
127 if (XTYPE (readcharfun) == Lisp_String)
128 {
129 register int c;
130 /* This used to be return of a conditional expression,
131 but that truncated -1 to a char on VMS. */
132 if (read_from_string_index < read_from_string_limit)
133 c = XSTRING (readcharfun)->data[read_from_string_index++];
134 else
135 c = -1;
136 return c;
137 }
138
139 tem = call0 (readcharfun);
140
141 if (NILP (tem))
142 return -1;
143 return XINT (tem);
144 }
145
146 /* Unread the character C in the way appropriate for the stream READCHARFUN.
147 If the stream is a user function, call it with the char as argument. */
148
149 static void
150 unreadchar (readcharfun, c)
151 Lisp_Object readcharfun;
152 int c;
153 {
154 if (XTYPE (readcharfun) == Lisp_Buffer)
155 {
156 if (XBUFFER (readcharfun) == current_buffer)
157 SET_PT (point - 1);
158 else
159 SET_BUF_PT (XBUFFER (readcharfun), BUF_PT (XBUFFER (readcharfun)) - 1);
160 }
161 else if (XTYPE (readcharfun) == Lisp_Marker)
162 XMARKER (readcharfun)->bufpos--;
163 else if (XTYPE (readcharfun) == Lisp_String)
164 read_from_string_index--;
165 else if (EQ (readcharfun, Qget_file_char))
166 ungetc (c, instream);
167 else
168 call1 (readcharfun, make_number (c));
169 }
170
171 static Lisp_Object read0 (), read1 (), read_list (), read_vector ();
172 \f
173 /* get a character from the tty */
174
175 extern Lisp_Object read_char ();
176
177 /* Read input events until we get one that's acceptable for our purposes.
178
179 If NO_SWITCH_FRAME is non-zero, switch-frame events are stashed
180 until we get a character we like, and then stuffed into
181 unread_switch_frame.
182
183 If ASCII_REQUIRED is non-zero, we check function key events to see
184 if the unmodified version of the symbol has a Qascii_character
185 property, and use that character, if present.
186
187 If ERROR_NONASCII is non-zero, we signal an error if the input we
188 get isn't an ASCII character with modifiers. If it's zero but
189 ASCII_REQUIRED is non-zero, we just re-read until we get an ASCII
190 character. */
191 Lisp_Object
192 read_filtered_event (no_switch_frame, ascii_required, error_nonascii)
193 int no_switch_frame, ascii_required, error_nonascii;
194 {
195 #ifdef standalone
196 return make_number (getchar ());
197 #else
198 register Lisp_Object val;
199 register Lisp_Object delayed_switch_frame = Qnil;
200
201 /* Read until we get an acceptable event. */
202 retry:
203 val = read_char (0, 0, 0, Qnil, 0);
204
205 /* switch-frame events are put off until after the next ASCII
206 character. This is better than signalling an error just because
207 the last characters were typed to a separate minibuffer frame,
208 for example. Eventually, some code which can deal with
209 switch-frame events will read it and process it. */
210 if (no_switch_frame
211 && EVENT_HAS_PARAMETERS (val)
212 && EQ (EVENT_HEAD (val), Qswitch_frame))
213 {
214 delayed_switch_frame = val;
215 goto retry;
216 }
217
218 if (ascii_required)
219 {
220 /* Convert certain symbols to their ASCII equivalents. */
221 if (XTYPE (val) == Lisp_Symbol)
222 {
223 Lisp_Object tem, tem1, tem2;
224 tem = Fget (val, Qevent_symbol_element_mask);
225 if (!NILP (tem))
226 {
227 tem1 = Fget (Fcar (tem), Qascii_character);
228 /* Merge this symbol's modifier bits
229 with the ASCII equivalent of its basic code. */
230 if (!NILP (tem1))
231 XFASTINT (val) = XINT (tem1) | XINT (Fcar (Fcdr (tem)));
232 }
233 }
234
235 /* If we don't have a character now, deal with it appropriately. */
236 if (XTYPE (val) != Lisp_Int)
237 {
238 if (error_nonascii)
239 {
240 unread_command_events = Fcons (val, Qnil);
241 error ("Non-character input-event");
242 }
243 else
244 goto retry;
245 }
246 }
247
248 if (! NILP (delayed_switch_frame))
249 unread_switch_frame = delayed_switch_frame;
250
251 return val;
252 #endif
253 }
254
255 DEFUN ("read-char", Fread_char, Sread_char, 0, 0, 0,
256 "Read a character from the command input (keyboard or macro).\n\
257 It is returned as a number.\n\
258 If the user generates an event which is not a character (i.e. a mouse\n\
259 click or function key event), `read-char' signals an error. As an\n\
260 exception, switch-frame events are put off until non-ASCII events can\n\
261 be read.\n\
262 If you want to read non-character events, or ignore them, call\n\
263 `read-event' or `read-char-exclusive' instead.")
264 ()
265 {
266 return read_filtered_event (1, 1, 1);
267 }
268
269 DEFUN ("read-event", Fread_event, Sread_event, 0, 0, 0,
270 "Read an event object from the input stream.")
271 ()
272 {
273 return read_filtered_event (0, 0, 0);
274 }
275
276 DEFUN ("read-char-exclusive", Fread_char_exclusive, Sread_char_exclusive, 0, 0, 0,
277 "Read a character from the command input (keyboard or macro).\n\
278 It is returned as a number. Non character events are ignored.")
279 ()
280 {
281 return read_filtered_event (1, 1, 0);
282 }
283
284 DEFUN ("get-file-char", Fget_file_char, Sget_file_char, 0, 0, 0,
285 "Don't use this yourself.")
286 ()
287 {
288 register Lisp_Object val;
289 XSET (val, Lisp_Int, getc (instream));
290 return val;
291 }
292 \f
293 static void readevalloop ();
294 static Lisp_Object load_unwind ();
295
296 DEFUN ("load", Fload, Sload, 1, 4, 0,
297 "Execute a file of Lisp code named FILE.\n\
298 First try FILE with `.elc' appended, then try with `.el',\n\
299 then try FILE unmodified.\n\
300 This function searches the directories in `load-path'.\n\
301 If optional second arg NOERROR is non-nil,\n\
302 report no error if FILE doesn't exist.\n\
303 Print messages at start and end of loading unless\n\
304 optional third arg NOMESSAGE is non-nil.\n\
305 If optional fourth arg NOSUFFIX is non-nil, don't try adding\n\
306 suffixes `.elc' or `.el' to the specified name FILE.\n\
307 Return t if file exists.")
308 (str, noerror, nomessage, nosuffix)
309 Lisp_Object str, noerror, nomessage, nosuffix;
310 {
311 register FILE *stream;
312 register int fd = -1;
313 register Lisp_Object lispstream;
314 register FILE **ptr;
315 int count = specpdl_ptr - specpdl;
316 Lisp_Object temp;
317 struct gcpro gcpro1;
318 Lisp_Object found;
319 /* 1 means inhibit the message at the beginning. */
320 int nomessage1 = 0;
321 Lisp_Object handler;
322
323 CHECK_STRING (str, 0);
324 str = Fsubstitute_in_file_name (str);
325
326 /* If file name is magic, call the handler. */
327 handler = Ffind_file_name_handler (str);
328 if (!NILP (handler))
329 return call5 (handler, Qload, str, noerror, nomessage, nosuffix);
330
331 /* Avoid weird lossage with null string as arg,
332 since it would try to load a directory as a Lisp file */
333 if (XSTRING (str)->size > 0)
334 {
335 fd = openp (Vload_path, str, !NILP (nosuffix) ? "" : ".elc:.el:",
336 &found, 0);
337 }
338
339 if (fd < 0)
340 {
341 if (NILP (noerror))
342 while (1)
343 Fsignal (Qfile_error, Fcons (build_string ("Cannot open load file"),
344 Fcons (str, Qnil)));
345 else
346 return Qnil;
347 }
348
349 if (!bcmp (&(XSTRING (found)->data[XSTRING (found)->size - 4]),
350 ".elc", 4))
351 {
352 struct stat s1, s2;
353 int result;
354
355 stat (XSTRING (found)->data, &s1);
356 XSTRING (found)->data[XSTRING (found)->size - 1] = 0;
357 result = stat (XSTRING (found)->data, &s2);
358 if (result >= 0 && (unsigned) s1.st_mtime < (unsigned) s2.st_mtime)
359 {
360 message ("Source file `%s' newer than byte-compiled file",
361 XSTRING (found)->data);
362 /* Don't immediately overwrite this message. */
363 if (!noninteractive)
364 nomessage1 = 1;
365 }
366 XSTRING (found)->data[XSTRING (found)->size - 1] = 'c';
367 }
368
369 stream = fdopen (fd, "r");
370 if (stream == 0)
371 {
372 close (fd);
373 error ("Failure to create stdio stream for %s", XSTRING (str)->data);
374 }
375
376 if (NILP (nomessage) && !nomessage1)
377 message ("Loading %s...", XSTRING (str)->data);
378
379 GCPRO1 (str);
380 /* We may not be able to store STREAM itself as a Lisp_Object pointer
381 since that is guaranteed to work only for data that has been malloc'd.
382 So malloc a full-size pointer, and record the address of that pointer. */
383 ptr = (FILE **) xmalloc (sizeof (FILE *));
384 *ptr = stream;
385 XSET (lispstream, Lisp_Internal_Stream, (int) ptr);
386 record_unwind_protect (load_unwind, lispstream);
387 load_in_progress++;
388 readevalloop (Qget_file_char, stream, str, Feval, 0);
389 unbind_to (count, Qnil);
390
391 /* Run any load-hooks for this file. */
392 temp = Fassoc (str, Vafter_load_alist);
393 if (!NILP (temp))
394 Fprogn (Fcdr (temp));
395 UNGCPRO;
396
397 if (!noninteractive && NILP (nomessage))
398 message ("Loading %s...done", XSTRING (str)->data);
399 return Qt;
400 }
401
402 static Lisp_Object
403 load_unwind (stream) /* used as unwind-protect function in load */
404 Lisp_Object stream;
405 {
406 fclose (*(FILE **) XSTRING (stream));
407 xfree (XPNTR (stream));
408 if (--load_in_progress < 0) load_in_progress = 0;
409 return Qnil;
410 }
411
412 \f
413 static int
414 complete_filename_p (pathname)
415 Lisp_Object pathname;
416 {
417 register unsigned char *s = XSTRING (pathname)->data;
418 return (*s == '/'
419 #ifdef ALTOS
420 || *s == '@'
421 #endif
422 #ifdef VMS
423 || index (s, ':')
424 #endif /* VMS */
425 );
426 }
427
428 /* Search for a file whose name is STR, looking in directories
429 in the Lisp list PATH, and trying suffixes from SUFFIX.
430 SUFFIX is a string containing possible suffixes separated by colons.
431 On success, returns a file descriptor. On failure, returns -1.
432
433 EXEC_ONLY nonzero means don't open the files,
434 just look for one that is executable. In this case,
435 returns 1 on success.
436
437 If STOREPTR is nonzero, it points to a slot where the name of
438 the file actually found should be stored as a Lisp string.
439 Nil is stored there on failure. */
440
441 int
442 openp (path, str, suffix, storeptr, exec_only)
443 Lisp_Object path, str;
444 char *suffix;
445 Lisp_Object *storeptr;
446 int exec_only;
447 {
448 register int fd;
449 int fn_size = 100;
450 char buf[100];
451 register char *fn = buf;
452 int absolute = 0;
453 int want_size;
454 register Lisp_Object filename;
455 struct stat st;
456
457 if (storeptr)
458 *storeptr = Qnil;
459
460 if (complete_filename_p (str))
461 absolute = 1;
462
463 for (; !NILP (path); path = Fcdr (path))
464 {
465 char *nsuffix;
466
467 filename = Fexpand_file_name (str, Fcar (path));
468 if (!complete_filename_p (filename))
469 /* If there are non-absolute elts in PATH (eg ".") */
470 /* Of course, this could conceivably lose if luser sets
471 default-directory to be something non-absolute... */
472 {
473 filename = Fexpand_file_name (filename, current_buffer->directory);
474 if (!complete_filename_p (filename))
475 /* Give up on this path element! */
476 continue;
477 }
478
479 /* Calculate maximum size of any filename made from
480 this path element/specified file name and any possible suffix. */
481 want_size = strlen (suffix) + XSTRING (filename)->size + 1;
482 if (fn_size < want_size)
483 fn = (char *) alloca (fn_size = 100 + want_size);
484
485 nsuffix = suffix;
486
487 /* Loop over suffixes. */
488 while (1)
489 {
490 char *esuffix = (char *) index (nsuffix, ':');
491 int lsuffix = esuffix ? esuffix - nsuffix : strlen (nsuffix);
492
493 /* Concatenate path element/specified name with the suffix. */
494 strncpy (fn, XSTRING (filename)->data, XSTRING (filename)->size);
495 fn[XSTRING (filename)->size] = 0;
496 if (lsuffix != 0) /* Bug happens on CCI if lsuffix is 0. */
497 strncat (fn, nsuffix, lsuffix);
498
499 /* Ignore file if it's a directory. */
500 if (stat (fn, &st) >= 0
501 && (st.st_mode & S_IFMT) != S_IFDIR)
502 {
503 /* Check that we can access or open it. */
504 if (exec_only)
505 fd = (access (fn, X_OK) == 0) ? 1 : -1;
506 else
507 fd = open (fn, 0, 0);
508
509 if (fd >= 0)
510 {
511 /* We succeeded; return this descriptor and filename. */
512 if (storeptr)
513 *storeptr = build_string (fn);
514 return fd;
515 }
516 }
517
518 /* Advance to next suffix. */
519 if (esuffix == 0)
520 break;
521 nsuffix += lsuffix + 1;
522 }
523 if (absolute) return -1;
524 }
525
526 return -1;
527 }
528
529 \f
530 /* Merge the list we've accumulated of globals from the current input source
531 into the load_history variable. The details depend on whether
532 the source has an associated file name or not. */
533
534 static void
535 build_load_history (stream, source)
536 FILE *stream;
537 Lisp_Object source;
538 {
539 register Lisp_Object tail, prev, newelt;
540 register Lisp_Object tem, tem2;
541 register int foundit, loading;
542
543 /* Don't bother recording anything for preloaded files. */
544 if (!NILP (Vpurify_flag))
545 return;
546
547 loading = stream || !NARROWED;
548
549 tail = Vload_history;
550 prev = Qnil;
551 foundit = 0;
552 while (!NILP (tail))
553 {
554 tem = Fcar (tail);
555
556 /* Find the feature's previous assoc list... */
557 if (!NILP (Fequal (source, Fcar (tem))))
558 {
559 foundit = 1;
560
561 /* If we're loading, remove it. */
562 if (loading)
563 {
564 if (NILP (prev))
565 Vload_history = Fcdr (tail);
566 else
567 Fsetcdr (prev, Fcdr (tail));
568 }
569
570 /* Otherwise, cons on new symbols that are not already members. */
571 else
572 {
573 tem2 = Vcurrent_load_list;
574
575 while (CONSP (tem2))
576 {
577 newelt = Fcar (tem2);
578
579 if (NILP (Fmemq (newelt, tem)))
580 Fsetcar (tail, Fcons (Fcar (tem),
581 Fcons (newelt, Fcdr (tem))));
582
583 tem2 = Fcdr (tem2);
584 QUIT;
585 }
586 }
587 }
588 else
589 prev = tail;
590 tail = Fcdr (tail);
591 QUIT;
592 }
593
594 /* If we're loading, cons the new assoc onto the front of load-history,
595 the most-recently-loaded position. Also do this if we didn't find
596 an existing member for the current source. */
597 if (loading || !foundit)
598 Vload_history = Fcons (Fnreverse (Vcurrent_load_list),
599 Vload_history);
600 }
601
602 Lisp_Object
603 unreadpure () /* Used as unwind-protect function in readevalloop */
604 {
605 read_pure = 0;
606 return Qnil;
607 }
608
609 static void
610 readevalloop (readcharfun, stream, sourcename, evalfun, printflag)
611 Lisp_Object readcharfun;
612 FILE *stream;
613 Lisp_Object sourcename;
614 Lisp_Object (*evalfun) ();
615 int printflag;
616 {
617 register int c;
618 register Lisp_Object val;
619 int count = specpdl_ptr - specpdl;
620 struct gcpro gcpro1;
621
622 specbind (Qstandard_input, readcharfun);
623 specbind (Qcurrent_load_list, Qnil);
624
625 GCPRO1 (sourcename);
626
627 LOADHIST_ATTACH (sourcename);
628
629 while (1)
630 {
631 instream = stream;
632 c = READCHAR;
633 if (c == ';')
634 {
635 while ((c = READCHAR) != '\n' && c != -1);
636 continue;
637 }
638 if (c < 0) break;
639 if (c == ' ' || c == '\t' || c == '\n' || c == '\f') continue;
640
641 if (!NILP (Vpurify_flag) && c == '(')
642 {
643 record_unwind_protect (unreadpure, Qnil);
644 val = read_list (-1, readcharfun);
645 unbind_to (count + 1, Qnil);
646 }
647 else
648 {
649 UNREAD (c);
650 val = read0 (readcharfun);
651 }
652
653 val = (*evalfun) (val);
654 if (printflag)
655 {
656 Vvalues = Fcons (val, Vvalues);
657 if (EQ (Vstandard_output, Qt))
658 Fprin1 (val, Qnil);
659 else
660 Fprint (val, Qnil);
661 }
662 }
663
664 build_load_history (stream, sourcename);
665 UNGCPRO;
666
667 unbind_to (count, Qnil);
668 }
669
670 #ifndef standalone
671
672 DEFUN ("eval-buffer", Feval_buffer, Seval_buffer, 0, 2, "",
673 "Execute the current buffer as Lisp code.\n\
674 Programs can pass two arguments, BUFFER and PRINTFLAG.\n\
675 BUFFER is the buffer to evaluate (nil means use current buffer).\n\
676 PRINTFLAG controls printing of output:\n\
677 nil means discard it; anything else is stream for print.\n\
678 \n\
679 If there is no error, point does not move. If there is an error,\n\
680 point remains at the end of the last character read from the buffer.")
681 (bufname, printflag)
682 Lisp_Object bufname, printflag;
683 {
684 int count = specpdl_ptr - specpdl;
685 Lisp_Object tem, buf;
686
687 if (NILP (bufname))
688 buf = Fcurrent_buffer ();
689 else
690 buf = Fget_buffer (bufname);
691 if (NILP (buf))
692 error ("No such buffer.");
693
694 if (NILP (printflag))
695 tem = Qsymbolp;
696 else
697 tem = printflag;
698 specbind (Qstandard_output, tem);
699 record_unwind_protect (save_excursion_restore, save_excursion_save ());
700 BUF_SET_PT (XBUFFER (buf), BUF_BEGV (XBUFFER (buf)));
701 readevalloop (buf, 0, XBUFFER (buf)->filename, Feval, !NILP (printflag));
702 unbind_to (count, Qnil);
703
704 return Qnil;
705 }
706
707 #if 0
708 DEFUN ("eval-current-buffer", Feval_current_buffer, Seval_current_buffer, 0, 1, "",
709 "Execute the current buffer as Lisp code.\n\
710 Programs can pass argument PRINTFLAG which controls printing of output:\n\
711 nil means discard it; anything else is stream for print.\n\
712 \n\
713 If there is no error, point does not move. If there is an error,\n\
714 point remains at the end of the last character read from the buffer.")
715 (printflag)
716 Lisp_Object printflag;
717 {
718 int count = specpdl_ptr - specpdl;
719 Lisp_Object tem, cbuf;
720
721 cbuf = Fcurrent_buffer ()
722
723 if (NILP (printflag))
724 tem = Qsymbolp;
725 else
726 tem = printflag;
727 specbind (Qstandard_output, tem);
728 record_unwind_protect (save_excursion_restore, save_excursion_save ());
729 SET_PT (BEGV);
730 readevalloop (cbuf, 0, XBUFFER (cbuf)->filename, Feval, !NILP (printflag));
731 return unbind_to (count, Qnil);
732 }
733 #endif
734
735 DEFUN ("eval-region", Feval_region, Seval_region, 2, 3, "r",
736 "Execute the region as Lisp code.\n\
737 When called from programs, expects two arguments,\n\
738 giving starting and ending indices in the current buffer\n\
739 of the text to be executed.\n\
740 Programs can pass third argument PRINTFLAG which controls output:\n\
741 nil means discard it; anything else is stream for printing it.\n\
742 \n\
743 If there is no error, point does not move. If there is an error,\n\
744 point remains at the end of the last character read from the buffer.")
745 (b, e, printflag)
746 Lisp_Object b, e, printflag;
747 {
748 int count = specpdl_ptr - specpdl;
749 Lisp_Object tem, cbuf;
750
751 cbuf = Fcurrent_buffer ();
752
753 if (NILP (printflag))
754 tem = Qsymbolp;
755 else
756 tem = printflag;
757 specbind (Qstandard_output, tem);
758
759 if (NILP (printflag))
760 record_unwind_protect (save_excursion_restore, save_excursion_save ());
761 record_unwind_protect (save_restriction_restore, save_restriction_save ());
762
763 /* This both uses b and checks its type. */
764 Fgoto_char (b);
765 Fnarrow_to_region (make_number (BEGV), e);
766 readevalloop (cbuf, 0, XBUFFER (cbuf)->filename, Feval, !NILP (printflag));
767
768 return unbind_to (count, Qnil);
769 }
770
771 #endif /* standalone */
772 \f
773 DEFUN ("read", Fread, Sread, 0, 1, 0,
774 "Read one Lisp expression as text from STREAM, return as Lisp object.\n\
775 If STREAM is nil, use the value of `standard-input' (which see).\n\
776 STREAM or the value of `standard-input' may be:\n\
777 a buffer (read from point and advance it)\n\
778 a marker (read from where it points and advance it)\n\
779 a function (call it with no arguments for each character,\n\
780 call it with a char as argument to push a char back)\n\
781 a string (takes text from string, starting at the beginning)\n\
782 t (read text line using minibuffer and use it).")
783 (readcharfun)
784 Lisp_Object readcharfun;
785 {
786 extern Lisp_Object Fread_minibuffer ();
787
788 if (NILP (readcharfun))
789 readcharfun = Vstandard_input;
790 if (EQ (readcharfun, Qt))
791 readcharfun = Qread_char;
792
793 #ifndef standalone
794 if (EQ (readcharfun, Qread_char))
795 return Fread_minibuffer (build_string ("Lisp expression: "), Qnil);
796 #endif
797
798 if (XTYPE (readcharfun) == Lisp_String)
799 return Fcar (Fread_from_string (readcharfun, Qnil, Qnil));
800
801 return read0 (readcharfun);
802 }
803
804 DEFUN ("read-from-string", Fread_from_string, Sread_from_string, 1, 3, 0,
805 "Read one Lisp expression which is represented as text by STRING.\n\
806 Returns a cons: (OBJECT-READ . FINAL-STRING-INDEX).\n\
807 START and END optionally delimit a substring of STRING from which to read;\n\
808 they default to 0 and (length STRING) respectively.")
809 (string, start, end)
810 Lisp_Object string, start, end;
811 {
812 int startval, endval;
813 Lisp_Object tem;
814
815 CHECK_STRING (string,0);
816
817 if (NILP (end))
818 endval = XSTRING (string)->size;
819 else
820 { CHECK_NUMBER (end,2);
821 endval = XINT (end);
822 if (endval < 0 || endval > XSTRING (string)->size)
823 args_out_of_range (string, end);
824 }
825
826 if (NILP (start))
827 startval = 0;
828 else
829 { CHECK_NUMBER (start,1);
830 startval = XINT (start);
831 if (startval < 0 || startval > endval)
832 args_out_of_range (string, start);
833 }
834
835 read_from_string_index = startval;
836 read_from_string_limit = endval;
837
838 tem = read0 (string);
839 return Fcons (tem, make_number (read_from_string_index));
840 }
841 \f
842 /* Use this for recursive reads, in contexts where internal tokens are not allowed. */
843
844 static Lisp_Object
845 read0 (readcharfun)
846 Lisp_Object readcharfun;
847 {
848 register Lisp_Object val;
849 char c;
850
851 val = read1 (readcharfun);
852 if (XTYPE (val) == Lisp_Internal)
853 {
854 c = XINT (val);
855 return Fsignal (Qinvalid_read_syntax, Fcons (make_string (&c, 1), Qnil));
856 }
857
858 return val;
859 }
860 \f
861 static int read_buffer_size;
862 static char *read_buffer;
863
864 static int
865 read_escape (readcharfun)
866 Lisp_Object readcharfun;
867 {
868 register int c = READCHAR;
869 switch (c)
870 {
871 case 'a':
872 return '\007';
873 case 'b':
874 return '\b';
875 case 'd':
876 return 0177;
877 case 'e':
878 return 033;
879 case 'f':
880 return '\f';
881 case 'n':
882 return '\n';
883 case 'r':
884 return '\r';
885 case 't':
886 return '\t';
887 case 'v':
888 return '\v';
889 case '\n':
890 return -1;
891
892 case 'M':
893 c = READCHAR;
894 if (c != '-')
895 error ("Invalid escape character syntax");
896 c = READCHAR;
897 if (c == '\\')
898 c = read_escape (readcharfun);
899 return c | meta_modifier;
900
901 case 'S':
902 c = READCHAR;
903 if (c != '-')
904 error ("Invalid escape character syntax");
905 c = READCHAR;
906 if (c == '\\')
907 c = read_escape (readcharfun);
908 return c | shift_modifier;
909
910 case 'H':
911 c = READCHAR;
912 if (c != '-')
913 error ("Invalid escape character syntax");
914 c = READCHAR;
915 if (c == '\\')
916 c = read_escape (readcharfun);
917 return c | hyper_modifier;
918
919 case 'A':
920 c = READCHAR;
921 if (c != '-')
922 error ("Invalid escape character syntax");
923 c = READCHAR;
924 if (c == '\\')
925 c = read_escape (readcharfun);
926 return c | alt_modifier;
927
928 case 's':
929 c = READCHAR;
930 if (c != '-')
931 error ("Invalid escape character syntax");
932 c = READCHAR;
933 if (c == '\\')
934 c = read_escape (readcharfun);
935 return c | super_modifier;
936
937 case 'C':
938 c = READCHAR;
939 if (c != '-')
940 error ("Invalid escape character syntax");
941 case '^':
942 c = READCHAR;
943 if (c == '\\')
944 c = read_escape (readcharfun);
945 if ((c & 0177) == '?')
946 return 0177 | c;
947 /* ASCII control chars are made from letters (both cases),
948 as well as the non-letters within 0100...0137. */
949 else if ((c & 0137) >= 0101 && (c & 0137) <= 0132)
950 return (c & (037 | ~0177));
951 else if ((c & 0177) >= 0100 && (c & 0177) <= 0137)
952 return (c & (037 | ~0177));
953 else
954 return c | ctrl_modifier;
955
956 case '0':
957 case '1':
958 case '2':
959 case '3':
960 case '4':
961 case '5':
962 case '6':
963 case '7':
964 /* An octal escape, as in ANSI C. */
965 {
966 register int i = c - '0';
967 register int count = 0;
968 while (++count < 3)
969 {
970 if ((c = READCHAR) >= '0' && c <= '7')
971 {
972 i *= 8;
973 i += c - '0';
974 }
975 else
976 {
977 UNREAD (c);
978 break;
979 }
980 }
981 return i;
982 }
983
984 case 'x':
985 /* A hex escape, as in ANSI C. */
986 {
987 int i = 0;
988 while (1)
989 {
990 c = READCHAR;
991 if (c >= '0' && c <= '9')
992 {
993 i *= 16;
994 i += c - '0';
995 }
996 else if ((c >= 'a' && c <= 'f')
997 || (c >= 'A' && c <= 'F'))
998 {
999 i *= 16;
1000 if (c >= 'a' && c <= 'f')
1001 i += c - 'a' + 10;
1002 else
1003 i += c - 'A' + 10;
1004 }
1005 else
1006 {
1007 UNREAD (c);
1008 break;
1009 }
1010 }
1011 return i;
1012 }
1013
1014 default:
1015 return c;
1016 }
1017 }
1018
1019 static Lisp_Object
1020 read1 (readcharfun)
1021 register Lisp_Object readcharfun;
1022 {
1023 register int c;
1024
1025 retry:
1026
1027 c = READCHAR;
1028 if (c < 0) return Fsignal (Qend_of_file, Qnil);
1029
1030 switch (c)
1031 {
1032 case '(':
1033 return read_list (0, readcharfun);
1034
1035 case '[':
1036 return read_vector (readcharfun);
1037
1038 case ')':
1039 case ']':
1040 {
1041 register Lisp_Object val;
1042 XSET (val, Lisp_Internal, c);
1043 return val;
1044 }
1045
1046 case '#':
1047 c = READCHAR;
1048 if (c == '[')
1049 {
1050 /* Accept compiled functions at read-time so that we don't have to
1051 build them using function calls. */
1052 Lisp_Object tmp;
1053 tmp = read_vector (readcharfun);
1054 return Fmake_byte_code (XVECTOR (tmp)->size,
1055 XVECTOR (tmp)->contents);
1056 }
1057 #ifdef USE_TEXT_PROPERTIES
1058 if (c == '(')
1059 {
1060 Lisp_Object tmp;
1061 struct gcpro gcpro1;
1062
1063 /* Read the string itself. */
1064 tmp = read1 (readcharfun);
1065 if (XTYPE (tmp) != Lisp_String)
1066 Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#", 1), Qnil));
1067 GCPRO1 (tmp);
1068 /* Read the intervals and their properties. */
1069 while (1)
1070 {
1071 Lisp_Object beg, end, plist;
1072
1073 beg = read1 (readcharfun);
1074 if (XTYPE (beg) == Lisp_Internal)
1075 {
1076 if (XINT (beg) == ')')
1077 break;
1078 Fsignal (Qinvalid_read_syntax, Fcons (make_string ("invalid string property list", 28), Qnil));
1079 }
1080 end = read1 (readcharfun);
1081 if (XTYPE (end) == Lisp_Internal)
1082 Fsignal (Qinvalid_read_syntax,
1083 Fcons (make_string ("invalid string property list", 28), Qnil));
1084
1085 plist = read1 (readcharfun);
1086 if (XTYPE (plist) == Lisp_Internal)
1087 Fsignal (Qinvalid_read_syntax,
1088 Fcons (make_string ("invalid string property list", 28), Qnil));
1089 Fset_text_properties (beg, end, plist, tmp);
1090 }
1091 UNGCPRO;
1092 return tmp;
1093 }
1094 #endif
1095 UNREAD (c);
1096 Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#", 1), Qnil));
1097
1098 case ';':
1099 while ((c = READCHAR) >= 0 && c != '\n');
1100 goto retry;
1101
1102 case '\'':
1103 {
1104 return Fcons (Qquote, Fcons (read0 (readcharfun), Qnil));
1105 }
1106
1107 case '?':
1108 {
1109 register Lisp_Object val;
1110
1111 c = READCHAR;
1112 if (c < 0) return Fsignal (Qend_of_file, Qnil);
1113
1114 if (c == '\\')
1115 XSET (val, Lisp_Int, read_escape (readcharfun));
1116 else
1117 XSET (val, Lisp_Int, c);
1118
1119 return val;
1120 }
1121
1122 case '\"':
1123 {
1124 register char *p = read_buffer;
1125 register char *end = read_buffer + read_buffer_size;
1126 register int c;
1127 int cancel = 0;
1128
1129 while ((c = READCHAR) >= 0
1130 && c != '\"')
1131 {
1132 if (p == end)
1133 {
1134 char *new = (char *) xrealloc (read_buffer, read_buffer_size *= 2);
1135 p += new - read_buffer;
1136 read_buffer += new - read_buffer;
1137 end = read_buffer + read_buffer_size;
1138 }
1139 if (c == '\\')
1140 c = read_escape (readcharfun);
1141 /* c is -1 if \ newline has just been seen */
1142 if (c == -1)
1143 {
1144 if (p == read_buffer)
1145 cancel = 1;
1146 }
1147 else if (c & CHAR_META)
1148 /* Move the meta bit to the right place for a string. */
1149 *p++ = (c & ~CHAR_META) | 0x80;
1150 else
1151 *p++ = c;
1152 }
1153 if (c < 0) return Fsignal (Qend_of_file, Qnil);
1154
1155 /* If purifying, and string starts with \ newline,
1156 return zero instead. This is for doc strings
1157 that we are really going to find in etc/DOC.nn.nn */
1158 if (!NILP (Vpurify_flag) && NILP (Vdoc_file_name) && cancel)
1159 return make_number (0);
1160
1161 if (read_pure)
1162 return make_pure_string (read_buffer, p - read_buffer);
1163 else
1164 return make_string (read_buffer, p - read_buffer);
1165 }
1166
1167 case '.':
1168 {
1169 #ifdef LISP_FLOAT_TYPE
1170 /* If a period is followed by a number, then we should read it
1171 as a floating point number. Otherwise, it denotes a dotted
1172 pair. */
1173 int next_char = READCHAR;
1174 UNREAD (next_char);
1175
1176 if (! isdigit (next_char))
1177 #endif
1178 {
1179 register Lisp_Object val;
1180 XSET (val, Lisp_Internal, c);
1181 return val;
1182 }
1183
1184 /* Otherwise, we fall through! Note that the atom-reading loop
1185 below will now loop at least once, assuring that we will not
1186 try to UNREAD two characters in a row. */
1187 }
1188 default:
1189 if (c <= 040) goto retry;
1190 {
1191 register char *p = read_buffer;
1192 int quoted = 0;
1193
1194 {
1195 register char *end = read_buffer + read_buffer_size;
1196
1197 while (c > 040 &&
1198 !(c == '\"' || c == '\'' || c == ';' || c == '?'
1199 || c == '(' || c == ')'
1200 #ifndef LISP_FLOAT_TYPE
1201 /* If we have floating-point support, then we need
1202 to allow <digits><dot><digits>. */
1203 || c =='.'
1204 #endif /* not LISP_FLOAT_TYPE */
1205 || c == '[' || c == ']' || c == '#'
1206 ))
1207 {
1208 if (p == end)
1209 {
1210 register char *new = (char *) xrealloc (read_buffer, read_buffer_size *= 2);
1211 p += new - read_buffer;
1212 read_buffer += new - read_buffer;
1213 end = read_buffer + read_buffer_size;
1214 }
1215 if (c == '\\')
1216 {
1217 c = READCHAR;
1218 quoted = 1;
1219 }
1220 *p++ = c;
1221 c = READCHAR;
1222 }
1223
1224 if (p == end)
1225 {
1226 char *new = (char *) xrealloc (read_buffer, read_buffer_size *= 2);
1227 p += new - read_buffer;
1228 read_buffer += new - read_buffer;
1229 /* end = read_buffer + read_buffer_size; */
1230 }
1231 *p = 0;
1232 if (c >= 0)
1233 UNREAD (c);
1234 }
1235
1236 if (!quoted)
1237 {
1238 register char *p1;
1239 register Lisp_Object val;
1240 p1 = read_buffer;
1241 if (*p1 == '+' || *p1 == '-') p1++;
1242 /* Is it an integer? */
1243 if (p1 != p)
1244 {
1245 while (p1 != p && (c = *p1) >= '0' && c <= '9') p1++;
1246 #ifdef LISP_FLOAT_TYPE
1247 /* Integers can have trailing decimal points. */
1248 if (p1 > read_buffer && p1 < p && *p1 == '.') p1++;
1249 #endif
1250 if (p1 == p)
1251 /* It is an integer. */
1252 {
1253 #ifdef LISP_FLOAT_TYPE
1254 if (p1[-1] == '.')
1255 p1[-1] = '\0';
1256 #endif
1257 XSET (val, Lisp_Int, atoi (read_buffer));
1258 return val;
1259 }
1260 }
1261 #ifdef LISP_FLOAT_TYPE
1262 if (isfloat_string (read_buffer))
1263 return make_float (atof (read_buffer));
1264 #endif
1265 }
1266
1267 return intern (read_buffer);
1268 }
1269 }
1270 }
1271 \f
1272 #ifdef LISP_FLOAT_TYPE
1273
1274 #define LEAD_INT 1
1275 #define DOT_CHAR 2
1276 #define TRAIL_INT 4
1277 #define E_CHAR 8
1278 #define EXP_INT 16
1279
1280 int
1281 isfloat_string (cp)
1282 register char *cp;
1283 {
1284 register state;
1285
1286 state = 0;
1287 if (*cp == '+' || *cp == '-')
1288 cp++;
1289
1290 if (isdigit(*cp))
1291 {
1292 state |= LEAD_INT;
1293 while (isdigit (*cp))
1294 cp ++;
1295 }
1296 if (*cp == '.')
1297 {
1298 state |= DOT_CHAR;
1299 cp++;
1300 }
1301 if (isdigit(*cp))
1302 {
1303 state |= TRAIL_INT;
1304 while (isdigit (*cp))
1305 cp++;
1306 }
1307 if (*cp == 'e')
1308 {
1309 state |= E_CHAR;
1310 cp++;
1311 }
1312 if ((*cp == '+') || (*cp == '-'))
1313 cp++;
1314
1315 if (isdigit (*cp))
1316 {
1317 state |= EXP_INT;
1318 while (isdigit (*cp))
1319 cp++;
1320 }
1321 return (*cp == 0
1322 && (state == (LEAD_INT|DOT_CHAR|TRAIL_INT)
1323 || state == (DOT_CHAR|TRAIL_INT)
1324 || state == (LEAD_INT|E_CHAR|EXP_INT)
1325 || state == (LEAD_INT|DOT_CHAR|TRAIL_INT|E_CHAR|EXP_INT)
1326 || state == (DOT_CHAR|TRAIL_INT|E_CHAR|EXP_INT)));
1327 }
1328 #endif /* LISP_FLOAT_TYPE */
1329 \f
1330 static Lisp_Object
1331 read_vector (readcharfun)
1332 Lisp_Object readcharfun;
1333 {
1334 register int i;
1335 register int size;
1336 register Lisp_Object *ptr;
1337 register Lisp_Object tem, vector;
1338 register struct Lisp_Cons *otem;
1339 Lisp_Object len;
1340
1341 tem = read_list (1, readcharfun);
1342 len = Flength (tem);
1343 vector = (read_pure ? make_pure_vector (XINT (len)) : Fmake_vector (len, Qnil));
1344
1345
1346 size = XVECTOR (vector)->size;
1347 ptr = XVECTOR (vector)->contents;
1348 for (i = 0; i < size; i++)
1349 {
1350 ptr[i] = read_pure ? Fpurecopy (Fcar (tem)) : Fcar (tem);
1351 otem = XCONS (tem);
1352 tem = Fcdr (tem);
1353 free_cons (otem);
1354 }
1355 return vector;
1356 }
1357
1358 /* flag = 1 means check for ] to terminate rather than ) and .
1359 flag = -1 means check for starting with defun
1360 and make structure pure. */
1361
1362 static Lisp_Object
1363 read_list (flag, readcharfun)
1364 int flag;
1365 register Lisp_Object readcharfun;
1366 {
1367 /* -1 means check next element for defun,
1368 0 means don't check,
1369 1 means already checked and found defun. */
1370 int defunflag = flag < 0 ? -1 : 0;
1371 Lisp_Object val, tail;
1372 register Lisp_Object elt, tem;
1373 struct gcpro gcpro1, gcpro2;
1374
1375 val = Qnil;
1376 tail = Qnil;
1377
1378 while (1)
1379 {
1380 GCPRO2 (val, tail);
1381 elt = read1 (readcharfun);
1382 UNGCPRO;
1383 if (XTYPE (elt) == Lisp_Internal)
1384 {
1385 if (flag > 0)
1386 {
1387 if (XINT (elt) == ']')
1388 return val;
1389 return Fsignal (Qinvalid_read_syntax, Fcons (make_string (") or . in a vector", 18), Qnil));
1390 }
1391 if (XINT (elt) == ')')
1392 return val;
1393 if (XINT (elt) == '.')
1394 {
1395 GCPRO2 (val, tail);
1396 if (!NILP (tail))
1397 XCONS (tail)->cdr = read0 (readcharfun);
1398 else
1399 val = read0 (readcharfun);
1400 elt = read1 (readcharfun);
1401 UNGCPRO;
1402 if (XTYPE (elt) == Lisp_Internal && XINT (elt) == ')')
1403 return val;
1404 return Fsignal (Qinvalid_read_syntax, Fcons (make_string (". in wrong context", 18), Qnil));
1405 }
1406 return Fsignal (Qinvalid_read_syntax, Fcons (make_string ("] in a list", 11), Qnil));
1407 }
1408 tem = (read_pure && flag <= 0
1409 ? pure_cons (elt, Qnil)
1410 : Fcons (elt, Qnil));
1411 if (!NILP (tail))
1412 XCONS (tail)->cdr = tem;
1413 else
1414 val = tem;
1415 tail = tem;
1416 if (defunflag < 0)
1417 defunflag = EQ (elt, Qdefun);
1418 else if (defunflag > 0)
1419 read_pure = 1;
1420 }
1421 }
1422 \f
1423 Lisp_Object Vobarray;
1424 Lisp_Object initial_obarray;
1425
1426 Lisp_Object
1427 check_obarray (obarray)
1428 Lisp_Object obarray;
1429 {
1430 while (XTYPE (obarray) != Lisp_Vector || XVECTOR (obarray)->size == 0)
1431 {
1432 /* If Vobarray is now invalid, force it to be valid. */
1433 if (EQ (Vobarray, obarray)) Vobarray = initial_obarray;
1434
1435 obarray = wrong_type_argument (Qvectorp, obarray);
1436 }
1437 return obarray;
1438 }
1439
1440 static int hash_string ();
1441 Lisp_Object oblookup ();
1442
1443 Lisp_Object
1444 intern (str)
1445 char *str;
1446 {
1447 Lisp_Object tem;
1448 int len = strlen (str);
1449 Lisp_Object obarray = Vobarray;
1450
1451 if (XTYPE (obarray) != Lisp_Vector || XVECTOR (obarray)->size == 0)
1452 obarray = check_obarray (obarray);
1453 tem = oblookup (obarray, str, len);
1454 if (XTYPE (tem) == Lisp_Symbol)
1455 return tem;
1456 return Fintern ((!NILP (Vpurify_flag)
1457 ? make_pure_string (str, len)
1458 : make_string (str, len)),
1459 obarray);
1460 }
1461
1462 DEFUN ("intern", Fintern, Sintern, 1, 2, 0,
1463 "Return the canonical symbol whose name is STRING.\n\
1464 If there is none, one is created by this function and returned.\n\
1465 A second optional argument specifies the obarray to use;\n\
1466 it defaults to the value of `obarray'.")
1467 (str, obarray)
1468 Lisp_Object str, obarray;
1469 {
1470 register Lisp_Object tem, sym, *ptr;
1471
1472 if (NILP (obarray)) obarray = Vobarray;
1473 obarray = check_obarray (obarray);
1474
1475 CHECK_STRING (str, 0);
1476
1477 tem = oblookup (obarray, XSTRING (str)->data, XSTRING (str)->size);
1478 if (XTYPE (tem) != Lisp_Int)
1479 return tem;
1480
1481 if (!NILP (Vpurify_flag))
1482 str = Fpurecopy (str);
1483 sym = Fmake_symbol (str);
1484
1485 ptr = &XVECTOR (obarray)->contents[XINT (tem)];
1486 if (XTYPE (*ptr) == Lisp_Symbol)
1487 XSYMBOL (sym)->next = XSYMBOL (*ptr);
1488 else
1489 XSYMBOL (sym)->next = 0;
1490 *ptr = sym;
1491 return sym;
1492 }
1493
1494 DEFUN ("intern-soft", Fintern_soft, Sintern_soft, 1, 2, 0,
1495 "Return the canonical symbol whose name is STRING, or nil if none exists.\n\
1496 A second optional argument specifies the obarray to use;\n\
1497 it defaults to the value of `obarray'.")
1498 (str, obarray)
1499 Lisp_Object str, obarray;
1500 {
1501 register Lisp_Object tem;
1502
1503 if (NILP (obarray)) obarray = Vobarray;
1504 obarray = check_obarray (obarray);
1505
1506 CHECK_STRING (str, 0);
1507
1508 tem = oblookup (obarray, XSTRING (str)->data, XSTRING (str)->size);
1509 if (XTYPE (tem) != Lisp_Int)
1510 return tem;
1511 return Qnil;
1512 }
1513
1514 Lisp_Object
1515 oblookup (obarray, ptr, size)
1516 Lisp_Object obarray;
1517 register char *ptr;
1518 register int size;
1519 {
1520 int hash, obsize;
1521 register Lisp_Object tail;
1522 Lisp_Object bucket, tem;
1523
1524 if (XTYPE (obarray) != Lisp_Vector ||
1525 (obsize = XVECTOR (obarray)->size) == 0)
1526 {
1527 obarray = check_obarray (obarray);
1528 obsize = XVECTOR (obarray)->size;
1529 }
1530 /* Combining next two lines breaks VMS C 2.3. */
1531 hash = hash_string (ptr, size);
1532 hash %= obsize;
1533 bucket = XVECTOR (obarray)->contents[hash];
1534 if (XFASTINT (bucket) == 0)
1535 ;
1536 else if (XTYPE (bucket) != Lisp_Symbol)
1537 error ("Bad data in guts of obarray"); /* Like CADR error message */
1538 else for (tail = bucket; ; XSET (tail, Lisp_Symbol, XSYMBOL (tail)->next))
1539 {
1540 if (XSYMBOL (tail)->name->size == size &&
1541 !bcmp (XSYMBOL (tail)->name->data, ptr, size))
1542 return tail;
1543 else if (XSYMBOL (tail)->next == 0)
1544 break;
1545 }
1546 XSET (tem, Lisp_Int, hash);
1547 return tem;
1548 }
1549
1550 static int
1551 hash_string (ptr, len)
1552 unsigned char *ptr;
1553 int len;
1554 {
1555 register unsigned char *p = ptr;
1556 register unsigned char *end = p + len;
1557 register unsigned char c;
1558 register int hash = 0;
1559
1560 while (p != end)
1561 {
1562 c = *p++;
1563 if (c >= 0140) c -= 40;
1564 hash = ((hash<<3) + (hash>>28) + c);
1565 }
1566 return hash & 07777777777;
1567 }
1568
1569 void
1570 map_obarray (obarray, fn, arg)
1571 Lisp_Object obarray;
1572 int (*fn) ();
1573 Lisp_Object arg;
1574 {
1575 register int i;
1576 register Lisp_Object tail;
1577 CHECK_VECTOR (obarray, 1);
1578 for (i = XVECTOR (obarray)->size - 1; i >= 0; i--)
1579 {
1580 tail = XVECTOR (obarray)->contents[i];
1581 if (XFASTINT (tail) != 0)
1582 while (1)
1583 {
1584 (*fn) (tail, arg);
1585 if (XSYMBOL (tail)->next == 0)
1586 break;
1587 XSET (tail, Lisp_Symbol, XSYMBOL (tail)->next);
1588 }
1589 }
1590 }
1591
1592 mapatoms_1 (sym, function)
1593 Lisp_Object sym, function;
1594 {
1595 call1 (function, sym);
1596 }
1597
1598 DEFUN ("mapatoms", Fmapatoms, Smapatoms, 1, 2, 0,
1599 "Call FUNCTION on every symbol in OBARRAY.\n\
1600 OBARRAY defaults to the value of `obarray'.")
1601 (function, obarray)
1602 Lisp_Object function, obarray;
1603 {
1604 Lisp_Object tem;
1605
1606 if (NILP (obarray)) obarray = Vobarray;
1607 obarray = check_obarray (obarray);
1608
1609 map_obarray (obarray, mapatoms_1, function);
1610 return Qnil;
1611 }
1612
1613 #define OBARRAY_SIZE 1511
1614
1615 void
1616 init_obarray ()
1617 {
1618 Lisp_Object oblength;
1619 int hash;
1620 Lisp_Object *tem;
1621
1622 XFASTINT (oblength) = OBARRAY_SIZE;
1623
1624 Qnil = Fmake_symbol (make_pure_string ("nil", 3));
1625 Vobarray = Fmake_vector (oblength, make_number (0));
1626 initial_obarray = Vobarray;
1627 staticpro (&initial_obarray);
1628 /* Intern nil in the obarray */
1629 /* These locals are to kludge around a pyramid compiler bug. */
1630 hash = hash_string ("nil", 3);
1631 /* Separate statement here to avoid VAXC bug. */
1632 hash %= OBARRAY_SIZE;
1633 tem = &XVECTOR (Vobarray)->contents[hash];
1634 *tem = Qnil;
1635
1636 Qunbound = Fmake_symbol (make_pure_string ("unbound", 7));
1637 XSYMBOL (Qnil)->function = Qunbound;
1638 XSYMBOL (Qunbound)->value = Qunbound;
1639 XSYMBOL (Qunbound)->function = Qunbound;
1640
1641 Qt = intern ("t");
1642 XSYMBOL (Qnil)->value = Qnil;
1643 XSYMBOL (Qnil)->plist = Qnil;
1644 XSYMBOL (Qt)->value = Qt;
1645
1646 /* Qt is correct even if CANNOT_DUMP. loadup.el will set to nil at end. */
1647 Vpurify_flag = Qt;
1648
1649 Qvariable_documentation = intern ("variable-documentation");
1650
1651 read_buffer_size = 100;
1652 read_buffer = (char *) malloc (read_buffer_size);
1653 }
1654 \f
1655 void
1656 defsubr (sname)
1657 struct Lisp_Subr *sname;
1658 {
1659 Lisp_Object sym;
1660 sym = intern (sname->symbol_name);
1661 XSET (XSYMBOL (sym)->function, Lisp_Subr, sname);
1662 }
1663
1664 #ifdef NOTDEF /* use fset in subr.el now */
1665 void
1666 defalias (sname, string)
1667 struct Lisp_Subr *sname;
1668 char *string;
1669 {
1670 Lisp_Object sym;
1671 sym = intern (string);
1672 XSET (XSYMBOL (sym)->function, Lisp_Subr, sname);
1673 }
1674 #endif /* NOTDEF */
1675
1676 /* New replacement for DefIntVar; it ignores the doc string argument
1677 on the assumption that make-docfile will handle that. */
1678 /* Define an "integer variable"; a symbol whose value is forwarded
1679 to a C variable of type int. Sample call: */
1680 /* DEFVARINT ("indent-tabs-mode", &indent_tabs_mode, "Documentation"); */
1681
1682 void
1683 defvar_int (namestring, address, doc)
1684 char *namestring;
1685 int *address;
1686 char *doc;
1687 {
1688 Lisp_Object sym;
1689 sym = intern (namestring);
1690 XSET (XSYMBOL (sym)->value, Lisp_Intfwd, address);
1691 }
1692
1693 /* Similar but define a variable whose value is T if address contains 1,
1694 NIL if address contains 0 */
1695
1696 void
1697 defvar_bool (namestring, address, doc)
1698 char *namestring;
1699 int *address;
1700 char *doc;
1701 {
1702 Lisp_Object sym;
1703 sym = intern (namestring);
1704 XSET (XSYMBOL (sym)->value, Lisp_Boolfwd, address);
1705 }
1706
1707 /* Similar but define a variable whose value is the Lisp Object stored at address. */
1708
1709 void
1710 defvar_lisp (namestring, address, doc)
1711 char *namestring;
1712 Lisp_Object *address;
1713 char *doc;
1714 {
1715 Lisp_Object sym;
1716 sym = intern (namestring);
1717 XSET (XSYMBOL (sym)->value, Lisp_Objfwd, address);
1718 staticpro (address);
1719 }
1720
1721 /* Similar but don't request gc-marking of the C variable.
1722 Used when that variable will be gc-marked for some other reason,
1723 since marking the same slot twice can cause trouble with strings. */
1724
1725 void
1726 defvar_lisp_nopro (namestring, address, doc)
1727 char *namestring;
1728 Lisp_Object *address;
1729 char *doc;
1730 {
1731 Lisp_Object sym;
1732 sym = intern (namestring);
1733 XSET (XSYMBOL (sym)->value, Lisp_Objfwd, address);
1734 }
1735
1736 #ifndef standalone
1737
1738 /* Similar but define a variable whose value is the Lisp Object stored in
1739 the current buffer. address is the address of the slot in the buffer that is current now. */
1740
1741 void
1742 defvar_per_buffer (namestring, address, type, doc)
1743 char *namestring;
1744 Lisp_Object *address;
1745 Lisp_Object type;
1746 char *doc;
1747 {
1748 Lisp_Object sym;
1749 int offset;
1750 extern struct buffer buffer_local_symbols;
1751
1752 sym = intern (namestring);
1753 offset = (char *)address - (char *)current_buffer;
1754
1755 XSET (XSYMBOL (sym)->value, Lisp_Buffer_Objfwd,
1756 (Lisp_Object *) offset);
1757 *(Lisp_Object *)(offset + (char *)&buffer_local_symbols) = sym;
1758 *(Lisp_Object *)(offset + (char *)&buffer_local_types) = type;
1759 if (*(int *)(offset + (char *)&buffer_local_flags) == 0)
1760 /* Did a DEFVAR_PER_BUFFER without initializing the corresponding
1761 slot of buffer_local_flags */
1762 abort ();
1763 }
1764
1765 #endif /* standalone */
1766 \f
1767 init_lread ()
1768 {
1769 char *normal;
1770
1771 /* Compute the default load-path. */
1772 #ifdef CANNOT_DUMP
1773 normal = PATH_LOADSEARCH;
1774 Vload_path = decode_env_path (0, normal);
1775 #else
1776 if (NILP (Vpurify_flag))
1777 normal = PATH_LOADSEARCH;
1778 else
1779 normal = PATH_DUMPLOADSEARCH;
1780
1781 /* In a dumped Emacs, we normally have to reset the value of
1782 Vload_path from PATH_LOADSEARCH, since the value that was dumped
1783 uses ../lisp, instead of the path of the installed elisp
1784 libraries. However, if it appears that Vload_path was changed
1785 from the default before dumping, don't override that value. */
1786 if (initialized)
1787 {
1788 Lisp_Object dump_path;
1789
1790 dump_path = decode_env_path (0, PATH_DUMPLOADSEARCH);
1791 if (! NILP (Fequal (dump_path, Vload_path)))
1792 {
1793 Vload_path = decode_env_path (0, normal);
1794 if (!NILP (Vinvocation_directory))
1795 {
1796 /* Add to the path the ../lisp dir of the Emacs executable,
1797 if that dir exists. */
1798 Lisp_Object tem, tem1;
1799 tem = Fexpand_file_name (build_string ("../lisp"),
1800 Vinvocation_directory);
1801 tem1 = Ffile_exists_p (tem);
1802 if (!NILP (tem1) && NILP (Fmember (tem, Vload_path)))
1803 Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
1804 }
1805 }
1806 }
1807 else
1808 Vload_path = decode_env_path (0, normal);
1809 #endif
1810
1811 /* Warn if dirs in the *standard* path don't exist. */
1812 {
1813 Lisp_Object path_tail;
1814
1815 for (path_tail = Vload_path;
1816 !NILP (path_tail);
1817 path_tail = XCONS (path_tail)->cdr)
1818 {
1819 Lisp_Object dirfile;
1820 dirfile = Fcar (path_tail);
1821 if (XTYPE (dirfile) == Lisp_String)
1822 {
1823 dirfile = Fdirectory_file_name (dirfile);
1824 if (access (XSTRING (dirfile)->data, 0) < 0)
1825 printf ("Warning: lisp library (%s) does not exist.\n",
1826 XSTRING (Fcar (path_tail))->data);
1827 }
1828 }
1829 }
1830
1831 /* If the EMACSLOADPATH environment variable is set, use its value.
1832 This doesn't apply if we're dumping. */
1833 if (NILP (Vpurify_flag)
1834 && egetenv ("EMACSLOADPATH"))
1835 Vload_path = decode_env_path ("EMACSLOADPATH", normal);
1836
1837 Vvalues = Qnil;
1838
1839 load_in_progress = 0;
1840 }
1841
1842 void
1843 syms_of_lread ()
1844 {
1845 defsubr (&Sread);
1846 defsubr (&Sread_from_string);
1847 defsubr (&Sintern);
1848 defsubr (&Sintern_soft);
1849 defsubr (&Sload);
1850 defsubr (&Seval_buffer);
1851 defsubr (&Seval_region);
1852 defsubr (&Sread_char);
1853 defsubr (&Sread_char_exclusive);
1854 defsubr (&Sread_event);
1855 defsubr (&Sget_file_char);
1856 defsubr (&Smapatoms);
1857
1858 DEFVAR_LISP ("obarray", &Vobarray,
1859 "Symbol table for use by `intern' and `read'.\n\
1860 It is a vector whose length ought to be prime for best results.\n\
1861 The vector's contents don't make sense if examined from Lisp programs;\n\
1862 to find all the symbols in an obarray, use `mapatoms'.");
1863
1864 DEFVAR_LISP ("values", &Vvalues,
1865 "List of values of all expressions which were read, evaluated and printed.\n\
1866 Order is reverse chronological.");
1867
1868 DEFVAR_LISP ("standard-input", &Vstandard_input,
1869 "Stream for read to get input from.\n\
1870 See documentation of `read' for possible values.");
1871 Vstandard_input = Qt;
1872
1873 DEFVAR_LISP ("load-path", &Vload_path,
1874 "*List of directories to search for files to load.\n\
1875 Each element is a string (directory name) or nil (try default directory).\n\
1876 Initialized based on EMACSLOADPATH environment variable, if any,\n\
1877 otherwise to default specified by file `paths.h' when Emacs was built.");
1878
1879 DEFVAR_BOOL ("load-in-progress", &load_in_progress,
1880 "Non-nil iff inside of `load'.");
1881
1882 DEFVAR_LISP ("after-load-alist", &Vafter_load_alist,
1883 "An alist of expressions to be evalled when particular files are loaded.\n\
1884 Each element looks like (FILENAME FORMS...).\n\
1885 When `load' is run and the file-name argument is FILENAME,\n\
1886 the FORMS in the corresponding element are executed at the end of loading.\n\n\
1887 FILENAME must match exactly! Normally FILENAME is the name of a library,\n\
1888 with no directory specified, since that is how `load' is normally called.\n\
1889 An error in FORMS does not undo the load,\n\
1890 but does prevent execution of the rest of the FORMS.");
1891 Vafter_load_alist = Qnil;
1892
1893 DEFVAR_LISP ("load-history", &Vload_history,
1894 "Alist mapping source file names to symbols and features.\n\
1895 Each alist element is a list that starts with a file name,\n\
1896 except for one element (optional) that starts with nil and describes\n\
1897 definitions evaluated from buffers not visiting files.\n\
1898 The remaining elements of each list are symbols defined as functions\n\
1899 or variables, and cons cells `(provide . FEATURE)' and `(require . FEATURE)'.");
1900 Vload_history = Qnil;
1901
1902 DEFVAR_LISP ("current-load-list", &Vcurrent_load_list,
1903 "Used for internal purposes by `load'.");
1904 Vcurrent_load_list = Qnil;
1905
1906 Qcurrent_load_list = intern ("current-load-list");
1907 staticpro (&Qcurrent_load_list);
1908
1909 Qstandard_input = intern ("standard-input");
1910 staticpro (&Qstandard_input);
1911
1912 Qread_char = intern ("read-char");
1913 staticpro (&Qread_char);
1914
1915 Qget_file_char = intern ("get-file-char");
1916 staticpro (&Qget_file_char);
1917
1918 Qascii_character = intern ("ascii-character");
1919 staticpro (&Qascii_character);
1920
1921 Qload = intern ("load");
1922 staticpro (&Qload);
1923 }