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