Mercurial > hg > xemacs-beta
annotate src/doc.c @ 5313:5ed261fd2bd9
Unrool a load-time loop at macro expansion time, cl-macs.el
2010-12-29 Aidan Kehoe <kehoea@parhasard.net>
* cl-macs.el (inline-side-effect-free-compiler-macros):
Unroll a loop here at macro-expansion time, so these compiler
macros are compiled. Use #'eql instead of #'eq in a couple of
places for better style.
author | Aidan Kehoe <kehoea@parhasard.net> |
---|---|
date | Wed, 29 Dec 2010 23:43:10 +0000 |
parents | 39d74978fd32 |
children | 308d34e9f07d |
rev | line source |
---|---|
428 | 1 /* Record indices of function doc strings stored in a file. |
2 Copyright (C) 1985, 1986, 1992, 1993, 1994, 1995 | |
3 Free Software Foundation, Inc. | |
2367 | 4 Copyright (C) 2001, 2002, 2004 Ben Wing. |
428 | 5 |
6 This file is part of XEmacs. | |
7 | |
8 XEmacs is free software; you can redistribute it and/or modify it | |
9 under the terms of the GNU General Public License as published by the | |
10 Free Software Foundation; either version 2, or (at your option) any | |
11 later version. | |
12 | |
13 XEmacs is distributed in the hope that it will be useful, but WITHOUT | |
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
16 for more details. | |
17 | |
18 You should have received a copy of the GNU General Public License | |
19 along with XEmacs; see the file COPYING. If not, write to | |
20 the Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
21 Boston, MA 02111-1307, USA. */ | |
22 | |
23 /* Synched up with: FSF 19.30. */ | |
24 | |
814 | 25 /* This file has been Mule-ized. */ |
428 | 26 |
27 #include <config.h> | |
28 #include "lisp.h" | |
29 | |
30 #include "buffer.h" | |
31 #include "bytecode.h" | |
814 | 32 #include "file-coding.h" |
428 | 33 #include "insdel.h" |
34 #include "keymap.h" | |
814 | 35 #include "lstream.h" |
428 | 36 #include "sysfile.h" |
37 | |
38 Lisp_Object Vinternal_doc_file_name; | |
39 | |
4367
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
40 Lisp_Object QSsubstitute, Qdefvar; |
428 | 41 |
3368 | 42 /* Work out what source file a function or variable came from, taking the |
43 information from the documentation file. */ | |
44 | |
45 static Lisp_Object | |
46 extract_object_file_name (int fd, EMACS_INT doc_pos, | |
47 Ibyte *name_nonreloc, Lisp_Object name_reloc, | |
48 int standard_doc_file) | |
49 { | |
3383 | 50 Ibyte buf[DOC_MAX_FILENAME_LENGTH+1]; |
3368 | 51 Ibyte *buffer = buf; |
3411 | 52 int buffer_size = sizeof (buf) - 1, space_left; |
3368 | 53 Ibyte *from, *to; |
54 REGISTER Ibyte *p = buffer; | |
55 Lisp_Object return_me; | |
56 Lisp_Object fdstream = Qnil, instream = Qnil; | |
57 struct gcpro gcpro1, gcpro2; | |
58 EMACS_INT position, seenS = 0; | |
59 | |
60 GCPRO2 (fdstream, instream); | |
61 | |
3411 | 62 position = doc_pos > buffer_size ? |
63 doc_pos - buffer_size : 0; | |
3368 | 64 |
65 if (0 > lseek (fd, position, 0)) | |
66 { | |
67 if (name_nonreloc) | |
4953
304aebb79cd3
function renamings to track names of char typedefs
Ben Wing <ben@xemacs.org>
parents:
4952
diff
changeset
|
68 name_reloc = build_istring (name_nonreloc); |
3368 | 69 return_me = list3 (build_msg_string |
70 ("Position out of range in doc string file"), | |
71 name_reloc, make_int (position)); | |
72 goto done; | |
73 } | |
74 | |
75 fdstream = make_filedesc_input_stream (fd, 0, -1, 0); | |
76 Lstream_set_buffering (XLSTREAM (fdstream), LSTREAM_UNBUFFERED, 0); | |
77 instream = | |
78 make_coding_input_stream | |
79 (XLSTREAM (fdstream), standard_doc_file ? Qescape_quoted : Qbinary, | |
80 CODING_DECODE, 0); | |
81 Lstream_set_buffering (XLSTREAM (instream), LSTREAM_UNBUFFERED, 0); | |
82 | |
83 space_left = buffer_size - (p - buffer); | |
84 while (space_left > 0) | |
85 { | |
86 int nread; | |
87 | |
88 nread = Lstream_read (XLSTREAM (instream), p, space_left); | |
89 if (nread < 0) | |
90 { | |
91 return_me = list1 (build_msg_string | |
92 ("Read error on documentation file")); | |
93 goto done; | |
94 } | |
95 | |
96 p[nread] = 0; | |
97 | |
98 if (!nread) | |
99 break; | |
100 | |
101 p += nread; | |
102 space_left = buffer_size - (p - buffer); | |
103 } | |
104 | |
105 /* First, search backward for the "\037S" that marks the beginning of the | |
106 file name, then search forward from that to the newline or to the end | |
107 of the buffer. */ | |
108 from = p; | |
109 | |
110 while (from > buf) | |
111 { | |
112 --from; | |
113 if (seenS) | |
114 { | |
115 if ('\037' == *from) | |
116 { | |
117 /* Got a file name; adjust `from' to point to it, break out of | |
118 the loop. */ | |
119 from += 2; | |
120 break; | |
121 } | |
122 } | |
123 /* Is *from 'S' ? */ | |
124 seenS = ('S' == *from); | |
125 } | |
126 | |
127 if (buf == from) | |
128 { | |
129 /* We've scanned back to the beginning of the buffer without hitting | |
130 the file name. Either the file name plus the symbol name is longer | |
131 than DOC_MAX_FILENAME_LENGTH--which shouldn't happen, because it'll | |
132 trigger an assertion failure in make-docfile, the DOC file is | |
133 corrupt, or it was produced by a version of make-docfile that | |
134 doesn't store the file name with the symbol name and docstring. */ | |
135 return_me = list1 (build_msg_string | |
136 ("Object file name not stored in doc file")); | |
137 goto done; | |
138 } | |
139 | |
140 to = from; | |
141 /* Search for the end of the file name. */ | |
142 while (++to < p) | |
143 { | |
144 if ('\n' == *to || '\037' == *to) | |
145 { | |
146 break; | |
147 } | |
148 } | |
149 | |
150 /* Don't require the file name to end in a newline. */ | |
151 return_me = make_string (from, to - from); | |
152 | |
153 done: | |
154 if (!NILP (instream)) | |
155 { | |
156 Lstream_delete (XLSTREAM (instream)); | |
157 Lstream_delete (XLSTREAM (fdstream)); | |
158 } | |
159 | |
160 UNGCPRO; | |
161 return return_me; | |
162 } | |
428 | 163 |
164 Lisp_Object | |
165 unparesseuxify_doc_string (int fd, EMACS_INT position, | |
867 | 166 Ibyte *name_nonreloc, Lisp_Object name_reloc, |
814 | 167 int standard_doc_file) |
428 | 168 { |
867 | 169 Ibyte buf[512 * 32 + 1]; |
170 Ibyte *buffer = buf; | |
3411 | 171 int buffer_size = sizeof (buf) - 1; |
867 | 172 Ibyte *from, *to; |
173 REGISTER Ibyte *p = buffer; | |
428 | 174 Lisp_Object return_me; |
814 | 175 Lisp_Object fdstream = Qnil, instream = Qnil; |
176 struct gcpro gcpro1, gcpro2; | |
177 | |
178 GCPRO2 (fdstream, instream); | |
428 | 179 |
180 if (0 > lseek (fd, position, 0)) | |
181 { | |
182 if (name_nonreloc) | |
4953
304aebb79cd3
function renamings to track names of char typedefs
Ben Wing <ben@xemacs.org>
parents:
4952
diff
changeset
|
183 name_reloc = build_istring (name_nonreloc); |
771 | 184 return_me = list3 (build_msg_string |
428 | 185 ("Position out of range in doc string file"), |
186 name_reloc, make_int (position)); | |
187 goto done; | |
188 } | |
189 | |
814 | 190 fdstream = make_filedesc_input_stream (fd, 0, -1, 0); |
191 Lstream_set_buffering (XLSTREAM (fdstream), LSTREAM_UNBUFFERED, 0); | |
192 instream = | |
193 make_coding_input_stream | |
194 /* Major trouble if we are too clever when reading byte-code | |
195 instructions! | |
196 | |
197 #### We should have a way of handling escape-quoted elc files | |
198 (i.e. files with non-ASCII/Latin-1 chars in them). Currently this | |
199 is "solved" in bytecomp.el by never inserting lazy references in | |
200 such files. */ | |
826 | 201 (XLSTREAM (fdstream), standard_doc_file ? Qescape_quoted : Qbinary, |
814 | 202 CODING_DECODE, 0); |
203 Lstream_set_buffering (XLSTREAM (instream), LSTREAM_UNBUFFERED, 0); | |
204 | |
428 | 205 /* Read the doc string into a buffer. |
206 Use the fixed buffer BUF if it is big enough; otherwise allocate one. | |
207 We store the buffer in use in BUFFER and its size in BUFFER_SIZE. */ | |
208 | |
209 while (1) | |
210 { | |
211 int space_left = buffer_size - (p - buffer); | |
212 int nread; | |
213 | |
214 /* Switch to a bigger buffer if we need one. */ | |
215 if (space_left == 0) | |
216 { | |
867 | 217 Ibyte *old_buffer = buffer; |
3411 | 218 buffer_size *= 2; |
219 | |
771 | 220 if (buffer == buf) |
221 { | |
3411 | 222 buffer = xnew_ibytes (buffer_size + 1); |
771 | 223 memcpy (buffer, old_buffer, p - old_buffer); |
224 } | |
225 else | |
3411 | 226 XREALLOC_ARRAY (buffer, Ibyte, buffer_size + 1); |
428 | 227 p += buffer - old_buffer; |
228 space_left = buffer_size - (p - buffer); | |
229 } | |
230 | |
231 /* Don't read too much at one go. */ | |
232 if (space_left > 1024 * 8) | |
233 space_left = 1024 * 8; | |
814 | 234 nread = Lstream_read (XLSTREAM (instream), p, space_left); |
428 | 235 if (nread < 0) |
236 { | |
771 | 237 return_me = list1 (build_msg_string |
428 | 238 ("Read error on documentation file")); |
239 goto done; | |
240 } | |
241 p[nread] = 0; | |
242 if (!nread) | |
243 break; | |
244 { | |
867 | 245 Ibyte *p1 = qxestrchr (p, '\037'); /* End of doc string marker */ |
814 | 246 if (p1) |
247 { | |
248 *p1 = 0; | |
249 p = p1; | |
250 break; | |
251 } | |
428 | 252 } |
253 p += nread; | |
254 } | |
255 | |
256 /* Scan the text and remove quoting with ^A (char code 1). | |
257 ^A^A becomes ^A, ^A0 becomes a null char, and ^A_ becomes a ^_. */ | |
258 from = to = buffer; | |
259 while (from < p) | |
260 { | |
261 if (*from != 1 /*^A*/) | |
262 *to++ = *from++; | |
263 else | |
264 { | |
265 int c = *(++from); | |
266 | |
267 from++; | |
268 switch (c) | |
269 { | |
270 case 1: *to++ = c; break; | |
271 case '0': *to++ = '\0'; break; | |
272 case '_': *to++ = '\037'; break; | |
273 default: | |
771 | 274 return_me = list2 (build_msg_string |
428 | 275 ("Invalid data in documentation file -- ^A followed by weird code"), |
276 make_int (c)); | |
277 goto done; | |
278 } | |
279 } | |
280 } | |
281 | |
814 | 282 return_me = make_string (buffer, to - buffer); |
428 | 283 |
284 done: | |
814 | 285 if (!NILP (instream)) |
286 { | |
287 Lstream_delete (XLSTREAM (instream)); | |
288 Lstream_delete (XLSTREAM (fdstream)); | |
289 } | |
290 UNGCPRO; | |
428 | 291 if (buffer != buf) /* We must have allocated buffer above */ |
4976
16112448d484
Rename xfree(FOO, TYPE) -> xfree(FOO)
Ben Wing <ben@xemacs.org>
parents:
4962
diff
changeset
|
292 xfree (buffer); |
428 | 293 return return_me; |
294 } | |
295 | |
771 | 296 #define string_join(dest, s1, s2) \ |
297 memcpy (dest, XSTRING_DATA (s1), XSTRING_LENGTH (s1)); \ | |
298 memcpy (dest + XSTRING_LENGTH (s1), XSTRING_DATA (s2), \ | |
299 XSTRING_LENGTH (s2)); \ | |
428 | 300 dest[XSTRING_LENGTH (s1) + XSTRING_LENGTH (s2)] = '\0' |
301 | |
302 /* Extract a doc string from a file. FILEPOS says where to get it. | |
303 (This could actually be byte code instructions/constants instead | |
304 of a doc string.) | |
305 If it is an integer, use that position in the standard DOC file. | |
306 If it is (FILE . INTEGER), use FILE as the file name | |
307 and INTEGER as the position in that file. | |
308 But if INTEGER is negative, make it positive. | |
309 (A negative integer is used for user variables, so we can distinguish | |
310 them without actually fetching the doc string.) */ | |
311 | |
312 static Lisp_Object | |
313 get_doc_string (Lisp_Object filepos) | |
314 { | |
315 REGISTER int fd; | |
867 | 316 REGISTER Ibyte *name_nonreloc = 0; |
428 | 317 EMACS_INT position; |
318 Lisp_Object file, tem; | |
319 Lisp_Object name_reloc = Qnil; | |
814 | 320 int standard_doc_file = 0; |
428 | 321 |
322 if (INTP (filepos)) | |
323 { | |
324 file = Vinternal_doc_file_name; | |
814 | 325 standard_doc_file = 1; |
428 | 326 position = XINT (filepos); |
327 } | |
328 else if (CONSP (filepos) && INTP (XCDR (filepos))) | |
329 { | |
330 file = XCAR (filepos); | |
331 position = XINT (XCDR (filepos)); | |
332 if (position < 0) | |
333 position = - position; | |
334 } | |
335 else | |
336 return Qnil; | |
337 | |
338 if (!STRINGP (file)) | |
339 return Qnil; | |
340 | |
341 /* Put the file name in NAME as a C string. | |
342 If it is relative, combine it with Vdoc_directory. */ | |
343 | |
344 tem = Ffile_name_absolute_p (file); | |
345 if (NILP (tem)) | |
346 { | |
647 | 347 Bytecount minsize; |
428 | 348 /* XEmacs: Move this check here. OK if called during loadup to |
349 load byte code instructions. */ | |
350 if (!STRINGP (Vdoc_directory)) | |
351 return Qnil; | |
352 | |
353 minsize = XSTRING_LENGTH (Vdoc_directory); | |
354 /* sizeof ("../lib-src/") == 12 */ | |
355 if (minsize < 12) | |
356 minsize = 12; | |
867 | 357 name_nonreloc = alloca_ibytes (minsize + XSTRING_LENGTH (file) + 8); |
428 | 358 string_join (name_nonreloc, Vdoc_directory, file); |
359 } | |
360 else | |
361 name_reloc = file; | |
362 | |
771 | 363 fd = qxe_open (name_nonreloc ? name_nonreloc : |
364 XSTRING_DATA (name_reloc), O_RDONLY | OPEN_BINARY, 0); | |
428 | 365 if (fd < 0) |
366 { | |
367 if (purify_flag) | |
368 { | |
369 /* sizeof ("../lib-src/") == 12 */ | |
2367 | 370 name_nonreloc = alloca_ibytes (12 + XSTRING_LENGTH (file) + 8); |
428 | 371 /* Preparing to dump; DOC file is probably not installed. |
372 So check in ../lib-src. */ | |
2367 | 373 qxestrcpy_ascii (name_nonreloc, "../lib-src/"); |
771 | 374 qxestrcat (name_nonreloc, XSTRING_DATA (file)); |
428 | 375 |
771 | 376 fd = qxe_open (name_nonreloc, O_RDONLY | OPEN_BINARY, 0); |
428 | 377 } |
378 | |
379 if (fd < 0) | |
814 | 380 report_file_error ("Cannot open doc string file", |
4953
304aebb79cd3
function renamings to track names of char typedefs
Ben Wing <ben@xemacs.org>
parents:
4952
diff
changeset
|
381 name_nonreloc ? build_istring (name_nonreloc) : |
814 | 382 name_reloc); |
428 | 383 } |
384 | |
814 | 385 tem = unparesseuxify_doc_string (fd, position, name_nonreloc, name_reloc, |
386 standard_doc_file); | |
771 | 387 retry_close (fd); |
428 | 388 |
389 if (!STRINGP (tem)) | |
563 | 390 signal_error_1 (Qinvalid_byte_code, tem); |
428 | 391 |
392 return tem; | |
393 } | |
394 | |
395 /* Get a string from position FILEPOS and pass it through the Lisp reader. | |
396 We use this for fetching the bytecode string and constants vector | |
397 of a compiled function from the .elc file. */ | |
398 | |
399 Lisp_Object | |
400 read_doc_string (Lisp_Object filepos) | |
401 { | |
402 Lisp_Object string = get_doc_string (filepos); | |
403 | |
404 if (!STRINGP (string)) | |
563 | 405 invalid_state ("loading bytecode failed to return string", string); |
428 | 406 return Fread (string); |
407 } | |
408 | |
3368 | 409 static Lisp_Object |
410 get_object_file_name (Lisp_Object filepos) | |
411 { | |
412 REGISTER int fd; | |
413 REGISTER Ibyte *name_nonreloc = 0; | |
414 EMACS_INT position; | |
415 Lisp_Object file, tem; | |
416 Lisp_Object name_reloc = Qnil; | |
417 int standard_doc_file = 0; | |
418 | |
419 if (INTP (filepos)) | |
420 { | |
421 file = Vinternal_doc_file_name; | |
422 standard_doc_file = 1; | |
423 position = XINT (filepos); | |
424 } | |
425 else if (CONSP (filepos) && INTP (XCDR (filepos))) | |
426 { | |
427 file = XCAR (filepos); | |
428 position = XINT (XCDR (filepos)); | |
429 if (position < 0) | |
430 position = - position; | |
431 } | |
432 else | |
433 return Qnil; | |
434 | |
435 if (!STRINGP (file)) | |
436 return Qnil; | |
437 | |
438 /* Put the file name in NAME as a C string. | |
439 If it is relative, combine it with Vdoc_directory. */ | |
440 | |
441 tem = Ffile_name_absolute_p (file); | |
442 if (NILP (tem)) | |
443 { | |
444 Bytecount minsize; | |
445 /* XEmacs: Move this check here. OK if called during loadup to | |
446 load byte code instructions. */ | |
447 if (!STRINGP (Vdoc_directory)) | |
448 return Qnil; | |
449 | |
450 minsize = XSTRING_LENGTH (Vdoc_directory); | |
451 /* sizeof ("../lib-src/") == 12 */ | |
452 if (minsize < 12) | |
453 minsize = 12; | |
454 name_nonreloc = alloca_ibytes (minsize + XSTRING_LENGTH (file) + 8); | |
455 string_join (name_nonreloc, Vdoc_directory, file); | |
456 } | |
457 else | |
458 name_reloc = file; | |
459 | |
460 fd = qxe_open (name_nonreloc ? name_nonreloc : | |
461 XSTRING_DATA (name_reloc), O_RDONLY | OPEN_BINARY, 0); | |
462 if (fd < 0) | |
463 { | |
464 if (purify_flag) | |
465 { | |
466 /* sizeof ("../lib-src/") == 12 */ | |
467 name_nonreloc = alloca_ibytes (12 + XSTRING_LENGTH (file) + 8); | |
468 /* Preparing to dump; DOC file is probably not installed. | |
469 So check in ../lib-src. */ | |
470 qxestrcpy_ascii (name_nonreloc, "../lib-src/"); | |
471 qxestrcat (name_nonreloc, XSTRING_DATA (file)); | |
472 | |
473 fd = qxe_open (name_nonreloc, O_RDONLY | OPEN_BINARY, 0); | |
474 } | |
475 | |
476 if (fd < 0) | |
477 report_file_error ("Cannot open doc string file", | |
4953
304aebb79cd3
function renamings to track names of char typedefs
Ben Wing <ben@xemacs.org>
parents:
4952
diff
changeset
|
478 name_nonreloc ? build_istring (name_nonreloc) : |
3368 | 479 name_reloc); |
480 } | |
481 | |
482 tem = extract_object_file_name (fd, position, name_nonreloc, name_reloc, | |
483 standard_doc_file); | |
484 retry_close (fd); | |
485 | |
486 if (!STRINGP (tem)) | |
487 signal_error_1 (Qinvalid_byte_code, tem); | |
488 | |
489 return tem; | |
490 } | |
491 | |
492 | |
493 static void | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
494 weird_doc (Lisp_Object sym, const Ascbyte *weirdness, const Ascbyte *type, |
3368 | 495 int pos) |
496 { | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
497 if (!strcmp (weirdness, "duplicate")) return; |
3368 | 498 message ("Note: Strange doc (%s) for %s %s @ %d", |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
499 GETTEXT (weirdness), GETTEXT (type), |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
500 XSTRING_DATA (XSYMBOL (sym)->name), pos); |
3368 | 501 } |
502 | |
4367
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
503 DEFUN ("built-in-symbol-file", Fbuilt_in_symbol_file, 1, 2, 0, /* |
3368 | 504 Return the C source file built-in symbol SYM comes from. |
505 Don't use this. Use the more general `symbol-file' (q.v.) instead. | |
4367
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
506 |
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
507 If TYPE is nil or omitted, any kind of definition is acceptable. |
4905
755ae5b97edb
Change "special form" to "special operator" in our sources.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4539
diff
changeset
|
508 If TYPE is `defun', then function, subr, special operator or macro definitions |
4367
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
509 are acceptable. |
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
510 If TYPE is `defvar', then variable definitions are acceptable. |
3368 | 511 */ |
4367
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
512 (symbol, type)) |
3368 | 513 { |
514 /* This function can GC */ | |
515 Lisp_Object fun; | |
516 Lisp_Object filename = Qnil; | |
517 | |
4367
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
518 if (EQ(Ffboundp(symbol), Qt) && (EQ(type, Qnil) || EQ(type, Qdefun))) |
3368 | 519 { |
520 fun = Findirect_function (symbol); | |
521 | |
4367
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
522 if (SUBRP (fun) || (CONSP(fun) && (EQ (Qmacro, Fcar_safe (fun))) |
4381
3906442b491b
Improve style and add tests for 'built-in-symbol-file'.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4377
diff
changeset
|
523 && (fun = Fcdr_safe (fun), SUBRP (fun)))) |
3368 | 524 { |
525 if (XSUBR (fun)->doc == 0) | |
526 return Qnil; | |
527 | |
528 if ((EMACS_INT) XSUBR (fun)->doc >= 0) | |
529 { | |
530 weird_doc (symbol, "No file info available for function", | |
531 GETTEXT("function"), 0); | |
532 return Qnil; | |
533 } | |
534 else | |
4539
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
535 { |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
536 filename = get_object_file_name |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
537 (make_int (- (EMACS_INT) XSUBR (fun)->doc)); |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
538 return filename; |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
539 } |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
540 } |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
541 |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
542 if (COMPILED_FUNCTIONP (fun) || (CONSP(fun) && |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
543 (EQ (Qmacro, Fcar_safe (fun))) |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
544 && (fun = Fcdr_safe (fun), |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
545 COMPILED_FUNCTIONP (fun)))) |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
546 { |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
547 Lisp_Object tem; |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
548 Lisp_Compiled_Function *f = XCOMPILED_FUNCTION (fun); |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
549 |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
550 if (! (f->flags.documentationp)) |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
551 return Qnil; |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
552 tem = compiled_function_documentation (f); |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
553 if (NATNUMP (tem) || CONSP (tem)) |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
554 { |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
555 filename = get_object_file_name (tem); |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
556 return filename; |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
557 } |
3368 | 558 } |
559 } | |
4539
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
560 |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
561 if (EQ(Fboundp(symbol), Qt) && (EQ(type, Qnil) || EQ(type, Qdefvar))) |
3368 | 562 { |
563 Lisp_Object doc_offset = Fget (symbol, Qvariable_documentation, Qnil); | |
564 | |
565 if (!NILP(doc_offset)) | |
566 { | |
567 if (INTP(doc_offset)) | |
568 { | |
569 filename = get_object_file_name | |
570 (XINT (doc_offset) > 0 ? doc_offset | |
571 : make_int (- XINT (doc_offset))); | |
572 } | |
573 else if (CONSP(doc_offset)) | |
574 { | |
575 filename = get_object_file_name(doc_offset); | |
576 } | |
4539
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
577 return filename; |
3368 | 578 } |
579 } | |
4539
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
580 |
061e030e3270
Fix some bugs in load-history construction, built-in symbol file names.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4381
diff
changeset
|
581 return Qnil; |
3368 | 582 } |
583 | |
428 | 584 DEFUN ("documentation", Fdocumentation, 1, 2, 0, /* |
585 Return the documentation string of FUNCTION. | |
444 | 586 Unless a non-nil second argument RAW is given, the |
428 | 587 string is passed through `substitute-command-keys'. |
588 */ | |
589 (function, raw)) | |
590 { | |
591 /* This function can GC */ | |
592 Lisp_Object fun; | |
593 Lisp_Object doc; | |
594 | |
595 fun = Findirect_function (function); | |
596 | |
597 if (SUBRP (fun)) | |
598 { | |
599 if (XSUBR (fun)->doc == 0) | |
600 return Qnil; | |
601 if ((EMACS_INT) XSUBR (fun)->doc >= 0) | |
4953
304aebb79cd3
function renamings to track names of char typedefs
Ben Wing <ben@xemacs.org>
parents:
4952
diff
changeset
|
602 doc = build_cistring (XSUBR (fun)->doc); |
428 | 603 else |
604 doc = get_doc_string (make_int (- (EMACS_INT) XSUBR (fun)->doc)); | |
605 } | |
606 else if (COMPILED_FUNCTIONP (fun)) | |
607 { | |
608 Lisp_Object tem; | |
440 | 609 Lisp_Compiled_Function *f = XCOMPILED_FUNCTION (fun); |
428 | 610 if (! (f->flags.documentationp)) |
611 return Qnil; | |
612 tem = compiled_function_documentation (f); | |
613 if (STRINGP (tem)) | |
614 doc = tem; | |
615 else if (NATNUMP (tem) || CONSP (tem)) | |
5206
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
616 { |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
617 doc = get_doc_string (tem); |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
618 /* We may have zero length strings in the docfile for file |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
619 information. */ |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
620 if (STRINGP (doc) && 0 == XSTRING_LENGTH (doc)) |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
621 { |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
622 return Qnil; |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
623 } |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
624 } |
428 | 625 else |
626 return Qnil; | |
627 } | |
628 else if (KEYMAPP (fun)) | |
771 | 629 return build_msg_string ("Prefix command (definition is a keymap of subcommands)."); |
428 | 630 else if (STRINGP (fun) || VECTORP (fun)) |
771 | 631 return build_msg_string ("Keyboard macro."); |
428 | 632 else if (CONSP (fun)) |
633 { | |
634 Lisp_Object funcar = Fcar (fun); | |
635 | |
636 if (!SYMBOLP (funcar)) | |
637 return Fsignal (Qinvalid_function, list1 (fun)); | |
638 else if (EQ (funcar, Qlambda) | |
639 || EQ (funcar, Qautoload)) | |
640 { | |
641 Lisp_Object tem, tem1; | |
642 tem1 = Fcdr (Fcdr (fun)); | |
643 tem = Fcar (tem1); | |
644 if (STRINGP (tem)) | |
645 doc = tem; | |
646 /* Handle a doc reference--but these never come last | |
647 in the function body, so reject them if they are last. */ | |
648 else if ((NATNUMP (tem) || CONSP (tem)) | |
649 && ! NILP (XCDR (tem1))) | |
650 doc = get_doc_string (tem); | |
651 else | |
652 return Qnil; | |
653 } | |
654 else if (EQ (funcar, Qmacro)) | |
655 return Fdocumentation (Fcdr (fun), raw); | |
656 else | |
657 goto oops; | |
658 } | |
659 else | |
660 { | |
661 oops: | |
662 return Fsignal (Qinvalid_function, list1 (fun)); | |
663 } | |
664 | |
665 if (NILP (raw)) | |
666 { | |
667 struct gcpro gcpro1; | |
668 #ifdef I18N3 | |
669 Lisp_Object domain = Qnil; | |
670 if (COMPILED_FUNCTIONP (fun)) | |
671 domain = compiled_function_domain (XCOMPILED_FUNCTION (fun)); | |
672 if (NILP (domain)) | |
673 doc = Fgettext (doc); | |
674 else | |
675 doc = Fdgettext (domain, doc); | |
676 #endif | |
677 | |
678 GCPRO1 (doc); | |
679 doc = Fsubstitute_command_keys (doc); | |
680 UNGCPRO; | |
681 } | |
682 return doc; | |
683 } | |
684 | |
685 DEFUN ("documentation-property", Fdocumentation_property, 2, 3, 0, /* | |
686 Return the documentation string that is SYMBOL's PROP property. | |
687 This is like `get', but it can refer to strings stored in the | |
688 `doc-directory/DOC' file; and if the value is a string, it is passed | |
689 through `substitute-command-keys'. A non-nil third argument avoids this | |
690 translation. | |
691 */ | |
444 | 692 (symbol, prop, raw)) |
428 | 693 { |
694 /* This function can GC */ | |
1849 | 695 Lisp_Object doc = Qnil; |
428 | 696 #ifdef I18N3 |
697 REGISTER Lisp_Object domain; | |
698 #endif | |
699 struct gcpro gcpro1; | |
700 | |
701 GCPRO1 (doc); | |
702 | |
444 | 703 doc = Fget (symbol, prop, Qnil); |
428 | 704 if (INTP (doc)) |
705 doc = get_doc_string (XINT (doc) > 0 ? doc : make_int (- XINT (doc))); | |
706 else if (CONSP (doc)) | |
707 doc = get_doc_string (doc); | |
708 #ifdef I18N3 | |
709 if (!NILP (doc)) | |
710 { | |
444 | 711 domain = Fget (symbol, Qvariable_domain, Qnil); |
428 | 712 if (NILP (domain)) |
713 doc = Fgettext (doc); | |
714 else | |
715 doc = Fdgettext (domain, doc); | |
716 } | |
717 #endif | |
718 if (NILP (raw) && STRINGP (doc)) | |
719 doc = Fsubstitute_command_keys (doc); | |
720 UNGCPRO; | |
721 return doc; | |
722 } | |
723 | |
724 | |
725 DEFUN ("Snarf-documentation", Fsnarf_documentation, 1, 1, 0, /* | |
726 Used during Emacs initialization, before dumping runnable Emacs, | |
727 to find pointers to doc strings stored in `.../lib-src/DOC' and | |
728 record them in function definitions. | |
729 One arg, FILENAME, a string which does not include a directory. | |
730 The file is written to `../lib-src', and later found in `exec-directory' | |
731 when doc strings are referred to in the dumped Emacs. | |
732 */ | |
733 (filename)) | |
734 { | |
735 int fd; | |
867 | 736 Ibyte buf[1024 + 1]; |
428 | 737 REGISTER int filled; |
738 REGISTER int pos; | |
867 | 739 REGISTER Ibyte *p, *end; |
428 | 740 Lisp_Object sym, fun, tem; |
867 | 741 Ibyte *name; |
428 | 742 |
814 | 743 /* This function should not pass the data it's reading through a coding |
744 stream. The reason is that the only purpose of this function is to | |
745 find the file offsets for the documentation of the various functions, | |
746 not do anything with the documentation itself. If we pass through a | |
747 coding stream, the pointers will get messed up when we start reading | |
748 ISO 2022 data because our pointers will reflect internal format, not | |
749 external format. */ | |
750 | |
428 | 751 if (!purify_flag) |
563 | 752 invalid_operation ("Snarf-documentation can only be called in an undumped Emacs", Qunbound); |
428 | 753 |
754 CHECK_STRING (filename); | |
755 | |
1330 | 756 { |
757 name = alloca_ibytes (XSTRING_LENGTH (filename) + 14); | |
2367 | 758 qxestrcpy_ascii (name, "../lib-src/"); |
1330 | 759 } |
428 | 760 |
771 | 761 qxestrcat (name, XSTRING_DATA (filename)); |
428 | 762 |
771 | 763 fd = qxe_open (name, O_RDONLY | OPEN_BINARY, 0); |
428 | 764 if (fd < 0) |
4953
304aebb79cd3
function renamings to track names of char typedefs
Ben Wing <ben@xemacs.org>
parents:
4952
diff
changeset
|
765 report_file_error ("Opening doc string file", build_istring (name)); |
428 | 766 Vinternal_doc_file_name = filename; |
767 filled = 0; | |
768 pos = 0; | |
769 while (1) | |
770 { | |
771 if (filled < 512) | |
771 | 772 filled += retry_read (fd, &buf[filled], sizeof (buf) - 1 - filled); |
428 | 773 if (!filled) |
774 break; | |
775 | |
776 buf[filled] = 0; | |
777 p = buf; | |
778 end = buf + (filled < 512 ? filled : filled - 128); | |
779 while (p != end && *p != '\037') p++; | |
780 /* p points to ^_Ffunctionname\n or ^_Vvarname\n. */ | |
781 if (p != end) | |
782 { | |
771 | 783 end = qxestrchr (p, '\n'); |
3548 | 784 /* If you trigger a failure with this assertion, you probably |
785 configured with --quick-build and need to rebuild your DOC | |
3545 | 786 file. */ |
787 assert((end - p - 2) > -1); | |
771 | 788 sym = oblookup (Vobarray, p + 2, end - p - 2); |
428 | 789 if (SYMBOLP (sym)) |
790 { | |
791 Lisp_Object offset = make_int (pos + end + 1 - buf); | |
792 /* Attach a docstring to a variable */ | |
793 if (p[1] == 'V') | |
794 { | |
795 /* Install file-position as variable-documentation property | |
796 and make it negative for a user-variable | |
797 (doc starts with a `*'). */ | |
798 Lisp_Object old = Fget (sym, Qvariable_documentation, Qzero); | |
799 if (!ZEROP (old)) | |
800 { | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
801 weird_doc (sym, "duplicate", |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
802 "variable", pos); |
428 | 803 /* In the case of duplicate doc file entries, always |
804 take the later one. But if the doc is not an int | |
805 (a string, say) leave it alone. */ | |
806 if (!INTP (old)) | |
807 goto weird; | |
808 } | |
809 Fput (sym, Qvariable_documentation, | |
810 ((end[1] == '*') | |
811 ? make_int (- XINT (offset)) | |
812 : offset)); | |
813 } | |
814 /* Attach a docstring to a function. | |
815 The type determines where the docstring is stored. */ | |
816 else if (p[1] == 'F') | |
817 { | |
818 fun = indirect_function (sym,0); | |
819 | |
820 if (CONSP (fun) && EQ (XCAR (fun), Qmacro)) | |
821 fun = XCDR (fun); | |
822 | |
823 if (UNBOUNDP (fun)) | |
824 { | |
771 | 825 #if 0 /* There are lots of legitimate cases where this message will appear |
826 (e.g. any function that's only defined when MULE is defined, | |
827 provided that the function is used somewhere in a dumped Lisp | |
828 file, so that the symbol is interned in the dumped XEmacs), and | |
829 there's not a lot that can be done to eliminate the warning other | |
830 than kludges like moving the function to a Mule-only source file, | |
831 which often results in ugly code. Furthermore, the only point of | |
832 this warning is to warn you when you have a DEFUN that you forget | |
833 to DEFSUBR, but the compiler will also warn you, because the DEFUN | |
834 declares a static object, and the object will be unused -- you'll | |
835 get something like | |
836 | |
837 /src/xemacs/mule/src/abbrev.c:269: warning: `SFexpand_abbrev' defined but not used | |
838 | |
839 So I'm disabling this. --ben */ | |
840 | |
428 | 841 /* May have been #if'ed out or something */ |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
842 weird_doc (sym, "not fboundp", |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
843 "function", pos); |
771 | 844 #endif |
428 | 845 goto weird; |
846 } | |
847 else if (SUBRP (fun)) | |
848 { | |
849 /* Lisp_Subrs have a slot for it. */ | |
850 if (XSUBR (fun)->doc) | |
851 { | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
852 weird_doc (sym, "duplicate", |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
853 "subr", pos); |
428 | 854 goto weird; |
855 } | |
856 XSUBR (fun)->doc = (char *) (- XINT (offset)); | |
857 } | |
858 else if (CONSP (fun)) | |
859 { | |
860 /* If it's a lisp form, stick it in the form. */ | |
861 tem = XCAR (fun); | |
862 if (EQ (tem, Qlambda) || EQ (tem, Qautoload)) | |
863 { | |
864 tem = Fcdr (Fcdr (fun)); | |
865 if (CONSP (tem) && | |
866 INTP (XCAR (tem))) | |
867 { | |
868 Lisp_Object old = XCAR (tem); | |
869 if (!ZEROP (old)) | |
870 { | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
871 if (EQ (tem, Qlambda)) |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
872 weird_doc (sym, "duplicate", "lambda", |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
873 pos); |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
874 else |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
875 weird_doc (sym, "duplicate", "autoload", |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
876 pos); |
428 | 877 /* In the case of duplicate doc file entries, |
878 always take the later one. But if the doc | |
879 is not an int (a string, say) leave it | |
880 alone. */ | |
881 if (!INTP (old)) | |
882 goto weird; | |
883 } | |
884 XCAR (tem) = offset; | |
885 } | |
886 else if (!CONSP (tem)) | |
887 { | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
888 weird_doc (sym, "!CONSP(tem)", "function", pos); |
428 | 889 goto cont; |
890 } | |
891 else | |
892 { | |
893 /* DOC string is a string not integer 0 */ | |
894 #if 0 | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
895 weird_doc (sym, "!INTP(XCAR(tem))", |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
896 "function", pos); |
428 | 897 #endif |
898 goto cont; | |
899 } | |
900 } | |
901 else | |
902 { | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
903 weird_doc (sym, "not lambda or autoload", |
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
904 "function", pos); |
428 | 905 goto cont; |
906 } | |
907 } | |
908 else if (COMPILED_FUNCTIONP (fun)) | |
909 { | |
910 /* Compiled-Function objects sometimes have | |
911 slots for it. */ | |
440 | 912 Lisp_Compiled_Function *f = XCOMPILED_FUNCTION (fun); |
428 | 913 |
5206
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
914 /* If there were multiple definitions for this function, |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
915 and the latter one didn't |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
916 have any doc, warn and don't blow up. */ |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
917 Lisp_Object old = |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
918 compiled_function_documentation (f); |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
919 if (!ZEROP (old) && !NILP (old)) |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
920 { |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
921 weird_doc (sym, "duplicate", "bytecode", pos); |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
922 /* In the case of duplicate doc file entries, |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
923 always take the later one. But if the doc is |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
924 not an int (a string, say) leave it alone. */ |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
925 if (!INTP (old)) |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
926 goto weird; |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
927 } |
428 | 928 |
5206
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
929 /* This may be a function or variable where we want |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
930 to make the file name available. */ |
39d74978fd32
Keep around file info for dumped functions and variables without docstrings.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4976
diff
changeset
|
931 set_compiled_function_documentation (f, offset); |
428 | 932 } |
933 else | |
934 { | |
935 /* Otherwise the function is undefined or | |
936 otherwise weird. Ignore it. */ | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
937 weird_doc (sym, "weird function", "function", pos); |
428 | 938 goto weird; |
939 } | |
940 } | |
941 else | |
942 { | |
943 /* lose: */ | |
771 | 944 signal_error (Qfile_error, "DOC file invalid at position", |
945 make_int (pos)); | |
428 | 946 weird: |
947 /* goto lose */; | |
948 } | |
949 } | |
950 } | |
951 cont: | |
952 pos += end - buf; | |
953 filled -= end - buf; | |
954 memmove (buf, end, filled); | |
955 } | |
771 | 956 retry_close (fd); |
428 | 957 return Qnil; |
958 } | |
959 | |
960 #if 1 /* Don't warn about functions whose doc was lost because they were | |
961 wrapped by advice-freeze.el... */ | |
962 static int | |
963 kludgily_ignore_lost_doc_p (Lisp_Object sym) | |
964 { | |
965 # define kludge_prefix "ad-Orig-" | |
793 | 966 Lisp_Object name = XSYMBOL (sym)->name; |
967 return (XSTRING_LENGTH (name) > (Bytecount) (sizeof (kludge_prefix)) && | |
2367 | 968 !qxestrncmp_ascii (XSTRING_DATA (name), kludge_prefix, |
793 | 969 sizeof (kludge_prefix) - 1)); |
428 | 970 # undef kludge_prefix |
971 } | |
972 #else | |
973 # define kludgily_ignore_lost_doc_p(sym) 0 | |
974 #endif | |
975 | |
976 | |
977 static int | |
978 verify_doc_mapper (Lisp_Object sym, void *arg) | |
979 { | |
793 | 980 Lisp_Object closure = * (Lisp_Object *) arg; |
428 | 981 |
982 if (!NILP (Ffboundp (sym))) | |
983 { | |
984 int doc = 0; | |
985 Lisp_Object fun = XSYMBOL (sym)->function; | |
986 if (CONSP (fun) && | |
987 EQ (XCAR (fun), Qmacro)) | |
988 fun = XCDR (fun); | |
989 | |
990 if (SUBRP (fun)) | |
991 doc = (EMACS_INT) XSUBR (fun)->doc; | |
992 else if (SYMBOLP (fun)) | |
993 doc = -1; | |
994 else if (KEYMAPP (fun)) | |
995 doc = -1; | |
996 else if (CONSP (fun)) | |
997 { | |
998 Lisp_Object tem = XCAR (fun); | |
999 if (EQ (tem, Qlambda) || EQ (tem, Qautoload)) | |
1000 { | |
1001 doc = -1; | |
1002 tem = Fcdr (Fcdr (fun)); | |
1003 if (CONSP (tem) && | |
1004 INTP (XCAR (tem))) | |
1005 doc = XINT (XCAR (tem)); | |
1006 } | |
1007 } | |
1008 else if (COMPILED_FUNCTIONP (fun)) | |
1009 { | |
440 | 1010 Lisp_Compiled_Function *f = XCOMPILED_FUNCTION (fun); |
428 | 1011 if (! (f->flags.documentationp)) |
1012 doc = -1; | |
1013 else | |
1014 { | |
1015 Lisp_Object tem = compiled_function_documentation (f); | |
1016 if (INTP (tem)) | |
1017 doc = XINT (tem); | |
1018 } | |
1019 } | |
1020 | |
1021 if (doc == 0 && !kludgily_ignore_lost_doc_p (sym)) | |
1022 { | |
1023 message ("Warning: doc lost for function %s.", | |
793 | 1024 XSTRING_DATA (XSYMBOL (sym)->name)); |
428 | 1025 XCDR (closure) = Qt; |
1026 } | |
1027 } | |
1028 if (!NILP (Fboundp (sym))) | |
1029 { | |
1030 Lisp_Object doc = Fget (sym, Qvariable_documentation, Qnil); | |
1031 if (ZEROP (doc)) | |
1032 { | |
1033 message ("Warning: doc lost for variable %s.", | |
793 | 1034 XSTRING_DATA (XSYMBOL (sym)->name)); |
428 | 1035 XCDR (closure) = Qt; |
1036 } | |
1037 } | |
1038 return 0; /* Never stop */ | |
1039 } | |
1040 | |
1041 DEFUN ("Verify-documentation", Fverify_documentation, 0, 0, 0, /* | |
1042 Used to make sure everything went well with Snarf-documentation. | |
1043 Writes to stderr if not. | |
1044 */ | |
1045 ()) | |
1046 { | |
1047 Lisp_Object closure = Fcons (Qnil, Qnil); | |
1048 struct gcpro gcpro1; | |
1049 GCPRO1 (closure); | |
1050 map_obarray (Vobarray, verify_doc_mapper, &closure); | |
1051 if (!NILP (Fcdr (closure))) | |
1052 message ("\n" | |
1053 "This is usually because some files were preloaded by loaddefs.el or\n" | |
1054 "site-load.el, but were not passed to make-docfile by Makefile.\n"); | |
1055 UNGCPRO; | |
1056 return NILP (Fcdr (closure)) ? Qt : Qnil; | |
1057 } | |
1058 | |
1059 | |
1060 DEFUN ("substitute-command-keys", Fsubstitute_command_keys, 1, 1, 0, /* | |
1061 Substitute key descriptions for command names in STRING. | |
1062 Return a new string which is STRING with substrings of the form \\=\\[COMMAND] | |
1063 replaced by either: a keystroke sequence that will invoke COMMAND, | |
1064 or "M-x COMMAND" if COMMAND is not on any keys. | |
1065 Substrings of the form \\=\\{MAPVAR} are replaced by summaries | |
444 | 1066 \(made by `describe-bindings') of the value of MAPVAR, taken as a keymap. |
428 | 1067 Substrings of the form \\=\\<MAPVAR> specify to use the value of MAPVAR |
1068 as the keymap for future \\=\\[COMMAND] substrings. | |
1069 \\=\\= quotes the following character and is discarded; | |
1070 thus, \\=\\=\\=\\= puts \\=\\= into the output, and \\=\\=\\=\\[ puts \\=\\[ into the output. | |
1071 */ | |
444 | 1072 (string)) |
428 | 1073 { |
1074 /* This function can GC */ | |
867 | 1075 Ibyte *buf; |
428 | 1076 int changed = 0; |
867 | 1077 REGISTER Ibyte *strdata; |
1078 REGISTER Ibyte *bufp; | |
428 | 1079 Bytecount strlength; |
1080 Bytecount idx; | |
1081 Bytecount bsize; | |
3025 | 1082 Ibyte *new_; |
444 | 1083 Lisp_Object tem = Qnil; |
1084 Lisp_Object keymap = Qnil; | |
1085 Lisp_Object name = Qnil; | |
867 | 1086 Ibyte *start; |
428 | 1087 Bytecount length; |
1088 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4; | |
1089 | |
444 | 1090 if (NILP (string)) |
428 | 1091 return Qnil; |
1092 | |
444 | 1093 CHECK_STRING (string); |
1094 GCPRO4 (string, tem, keymap, name); | |
428 | 1095 |
1096 /* There is the possibility that the string is not destined for a | |
1097 translating stream, and it could be argued that we should do the | |
1098 same thing here as in Fformat(), but there are very few times | |
1099 when this will be the case and many calls to this function | |
1100 would have to have `gettext' calls added. (I18N3) */ | |
444 | 1101 string = LISP_GETTEXT (string); |
428 | 1102 |
1103 /* KEYMAP is either nil (which means search all the active keymaps) | |
1104 or a specified local map (which means search just that and the | |
1105 global map). If non-nil, it might come from Voverriding_local_map, | |
444 | 1106 or from a \\<mapname> construct in STRING itself.. */ |
428 | 1107 #if 0 /* FSFmacs */ |
1108 /* This is really weird and garbagey. If keymap is nil and there's | |
1109 an overriding-local-map, `where-is-internal' will correctly note | |
1110 this, so there's no reason to do it here. Maybe FSFmacs | |
1111 `where-is-internal' is broken. */ | |
1112 /* | |
1113 keymap = current_kboard->Voverriding_terminal_local_map; | |
1114 if (NILP (keymap)) | |
1115 keymap = Voverriding_local_map; | |
1116 */ | |
1117 #endif | |
1118 | |
444 | 1119 strlength = XSTRING_LENGTH (string); |
2367 | 1120 bsize = ITEXT_ZTERM_SIZE + strlength; |
1121 buf = xnew_ibytes (bsize); | |
428 | 1122 bufp = buf; |
1123 | |
1124 /* Have to reset strdata every time GC might be called */ | |
444 | 1125 strdata = XSTRING_DATA (string); |
428 | 1126 for (idx = 0; idx < strlength; ) |
1127 { | |
867 | 1128 Ibyte *strp = strdata + idx; |
428 | 1129 |
1130 if (strp[0] != '\\') | |
1131 { | |
1132 /* just copy other chars */ | |
1133 /* As it happens, this will work with Mule even if the | |
1134 character quoted is multi-byte; the remaining multi-byte | |
1135 characters will just be copied by this loop. */ | |
1136 *bufp++ = *strp; | |
1137 idx++; | |
1138 } | |
1139 else switch (strp[1]) | |
1140 { | |
1141 default: | |
1142 { | |
1143 /* just copy unknown escape sequences */ | |
1144 *bufp++ = *strp; | |
1145 idx++; | |
1146 break; | |
1147 } | |
1148 case '=': | |
1149 { | |
1150 /* \= quotes the next character; | |
1151 thus, to put in \[ without its special meaning, use \=\[. */ | |
1152 /* As it happens, this will work with Mule even if the | |
1153 character quoted is multi-byte; the remaining multi-byte | |
1154 characters will just be copied by this loop. */ | |
1155 changed = 1; | |
1156 *bufp++ = strp[2]; | |
1157 idx += 3; | |
1158 break; | |
1159 } | |
1160 case '[': | |
1161 { | |
1162 changed = 1; | |
1163 idx += 2; /* skip \[ */ | |
1164 strp += 2; | |
1165 start = strp; | |
1166 | |
1167 while ((idx < strlength) | |
1168 && *strp != ']') | |
1169 { | |
1170 strp++; | |
1171 idx++; | |
1172 } | |
1173 length = strp - start; | |
1174 idx++; /* skip ] */ | |
1175 | |
1176 tem = Fintern (make_string (start, length), Qnil); | |
1177 tem = Fwhere_is_internal (tem, keymap, Qt, Qnil, Qnil); | |
1178 | |
1179 #if 0 /* FSFmacs */ | |
444 | 1180 /* Disregard menu bar bindings; it is positively annoying to |
1181 mention them when there's no menu bar, and it isn't terribly | |
1182 useful even when there is a menu bar. */ | |
1183 if (!NILP (tem)) | |
1184 { | |
1185 firstkey = Faref (tem, Qzero); | |
1186 if (EQ (firstkey, Qmenu_bar)) | |
1187 tem = Qnil; | |
1188 } | |
428 | 1189 #endif |
1190 | |
1191 if (NILP (tem)) /* but not on any keys */ | |
1192 { | |
3025 | 1193 new_ = (Ibyte *) xrealloc (buf, bsize += 4); |
1194 bufp += new_ - buf; | |
1195 buf = new_; | |
428 | 1196 memcpy (bufp, "M-x ", 4); |
1197 bufp += 4; | |
1198 goto subst; | |
1199 } | |
1200 else | |
1201 { /* function is on a key */ | |
1202 tem = Fkey_description (tem); | |
1203 goto subst_string; | |
1204 } | |
1205 } | |
1206 case '{': | |
1207 case '<': | |
1208 { | |
444 | 1209 Lisp_Object buffer = Fget_buffer_create (QSsubstitute); |
1210 struct buffer *buf_ = XBUFFER (buffer); | |
428 | 1211 |
1212 Fbuffer_disable_undo (buffer); | |
1213 Ferase_buffer (buffer); | |
1214 | |
1215 /* \{foo} is replaced with a summary of keymap (symbol-value foo). | |
1216 \<foo> just sets the keymap used for \[cmd]. */ | |
1217 changed = 1; | |
1218 idx += 2; /* skip \{ or \< */ | |
1219 strp += 2; | |
1220 start = strp; | |
1221 | |
1222 while ((idx < strlength) | |
1223 && *strp != '}' && *strp != '>') | |
1224 { | |
1225 strp++; | |
1226 idx++; | |
1227 } | |
1228 length = strp - start; | |
1229 idx++; /* skip } or > */ | |
1230 | |
1231 /* Get the value of the keymap in TEM, or nil if undefined. | |
1232 Do this while still in the user's current buffer | |
1233 in case it is a local variable. */ | |
1234 name = Fintern (make_string (start, length), Qnil); | |
1235 tem = Fboundp (name); | |
1236 if (! NILP (tem)) | |
1237 { | |
1238 tem = Fsymbol_value (name); | |
1239 if (! NILP (tem)) | |
1240 tem = get_keymap (tem, 0, 1); | |
1241 } | |
1242 | |
1243 if (NILP (tem)) | |
1244 { | |
4953
304aebb79cd3
function renamings to track names of char typedefs
Ben Wing <ben@xemacs.org>
parents:
4952
diff
changeset
|
1245 buffer_insert_ascstring (buf_, "(uses keymap \""); |
444 | 1246 buffer_insert_lisp_string (buf_, Fsymbol_name (name)); |
4953
304aebb79cd3
function renamings to track names of char typedefs
Ben Wing <ben@xemacs.org>
parents:
4952
diff
changeset
|
1247 buffer_insert_ascstring (buf_, "\", which is not currently defined) "); |
428 | 1248 |
1249 if (start[-1] == '<') keymap = Qnil; | |
1250 } | |
1251 else if (start[-1] == '<') | |
1252 keymap = tem; | |
1253 else | |
1254 describe_map_tree (tem, 1, Qnil, Qnil, 0, buffer); | |
1255 | |
1256 tem = make_string_from_buffer (buf_, BUF_BEG (buf_), | |
1257 BUF_Z (buf_) - BUF_BEG (buf_)); | |
1258 Ferase_buffer (buffer); | |
444 | 1259 } |
1260 goto subst_string; | |
428 | 1261 |
444 | 1262 subst_string: |
1263 start = XSTRING_DATA (tem); | |
1264 length = XSTRING_LENGTH (tem); | |
1265 subst: | |
1266 bsize += length; | |
3025 | 1267 new_ = (Ibyte *) xrealloc (buf, bsize); |
1268 bufp += new_ - buf; | |
1269 buf = new_; | |
444 | 1270 memcpy (bufp, start, length); |
1271 bufp += length; | |
428 | 1272 |
444 | 1273 /* Reset STRDATA in case gc relocated it. */ |
1274 strdata = XSTRING_DATA (string); | |
428 | 1275 |
444 | 1276 break; |
428 | 1277 } |
1278 } | |
1279 | |
1280 if (changed) /* don't bother if nothing substituted */ | |
1281 tem = make_string (buf, bufp - buf); | |
1282 else | |
444 | 1283 tem = string; |
4976
16112448d484
Rename xfree(FOO, TYPE) -> xfree(FOO)
Ben Wing <ben@xemacs.org>
parents:
4962
diff
changeset
|
1284 xfree (buf); |
428 | 1285 UNGCPRO; |
1286 return tem; | |
1287 } | |
1288 | |
1289 | |
1290 /************************************************************************/ | |
1291 /* initialization */ | |
1292 /************************************************************************/ | |
1293 | |
1294 void | |
1295 syms_of_doc (void) | |
1296 { | |
3368 | 1297 DEFSUBR (Fbuilt_in_symbol_file); |
428 | 1298 DEFSUBR (Fdocumentation); |
1299 DEFSUBR (Fdocumentation_property); | |
1300 DEFSUBR (Fsnarf_documentation); | |
1301 DEFSUBR (Fverify_documentation); | |
1302 DEFSUBR (Fsubstitute_command_keys); | |
4367
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
1303 |
69e6352406f0
Handle macros, autoloads correctly in symbol-file. Add an incomplete TYPE arg.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3548
diff
changeset
|
1304 DEFSYMBOL (Qdefvar); |
428 | 1305 } |
1306 | |
1307 void | |
1308 vars_of_doc (void) | |
1309 { | |
1310 DEFVAR_LISP ("internal-doc-file-name", &Vinternal_doc_file_name /* | |
1311 Name of file containing documentation strings of built-in symbols. | |
1312 */ ); | |
1313 Vinternal_doc_file_name = Qnil; | |
1314 | |
4952
19a72041c5ed
Mule-izing, various fixes related to char * arguments
Ben Wing <ben@xemacs.org>
parents:
4539
diff
changeset
|
1315 QSsubstitute = build_ascstring (" *substitute*"); |
428 | 1316 staticpro (&QSsubstitute); |
1317 } |