Mercurial > hg > xemacs-beta
annotate src/print.c @ 4847:05c519de7353
be more careful when printing to check for bad objects
-------------------- ChangeLog entries follow: --------------------
src/ChangeLog addition:
2010-01-13 Ben Wing <ben@xemacs.org>
* print.c:
* print.c (internal_object_printer):
* print.c (enum printing_badness):
* print.c (printing_major_badness):
* print.c (print_internal):
Clean up the part of the code that looks for things that might
lead to crashing in the print code:
-- Make the "badness" messages more consistent.
-- Move the checks for circularities after the checks for bad
memory, since the checks for circularities involve accessing
memory (which could be bad).
-- Add an extra check to see if the object's implementation structure
is bad memory.
-- Add extra check for object itself being a null pointer or
implementation pointer being null.
-- Add some extra comments to help in maintaining the code.
| author | Ben Wing <ben@xemacs.org> |
|---|---|
| date | Wed, 13 Jan 2010 06:02:42 -0600 |
| parents | a98ca4640147 |
| children | ae81a2c00f4f |
| rev | line source |
|---|---|
| 428 | 1 /* Lisp object printing and output streams. |
| 2 Copyright (C) 1985, 1986, 1988, 1992-1995 Free Software Foundation, Inc. | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
3 Copyright (C) 1995, 1996, 2000, 2001, 2002, 2003, 2005, 2010 Ben Wing. |
| 428 | 4 |
| 5 This file is part of XEmacs. | |
| 6 | |
| 7 XEmacs is free software; you can redistribute it and/or modify it | |
| 8 under the terms of the GNU General Public License as published by the | |
| 9 Free Software Foundation; either version 2, or (at your option) any | |
| 10 later version. | |
| 11 | |
| 12 XEmacs is distributed in the hope that it will be useful, but WITHOUT | |
| 13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 15 for more details. | |
| 16 | |
| 17 You should have received a copy of the GNU General Public License | |
| 18 along with XEmacs; see the file COPYING. If not, write to | |
| 19 the Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
| 20 Boston, MA 02111-1307, USA. */ | |
| 21 | |
| 22 /* Synched up with: Not synched with FSF. */ | |
| 23 | |
| 24 /* This file has been Mule-ized. */ | |
| 25 | |
| 771 | 26 /* Seriously divergent from FSF by this point. |
| 27 | |
| 28 Seriously hacked on by Ben Wing for Mule. All stdio code also by Ben, | |
| 29 as well as the debugging code (initial version of debug_print(), though, | |
| 30 by Jamie Zawinski) and the _fmt interfaces. Also a fair amount of work | |
| 31 by Hrvoje, e.g. floating-point code and rewriting to avoid O(N^2) | |
| 32 consing when outputting to the echo area. Print-circularity code by | |
| 33 Martin? */ | |
| 428 | 34 |
| 35 #include <config.h> | |
| 36 #include "lisp.h" | |
| 37 | |
| 38 #include "backtrace.h" | |
| 39 #include "buffer.h" | |
| 40 #include "bytecode.h" | |
| 872 | 41 #include "device-impl.h" |
| 428 | 42 #include "extents.h" |
| 43 #include "frame.h" | |
| 44 #include "insdel.h" | |
| 45 #include "lstream.h" | |
| 771 | 46 #include "opaque.h" |
| 800 | 47 |
| 872 | 48 #include "console-tty-impl.h" |
| 49 #include "console-stream-impl.h" | |
| 442 | 50 #ifdef WIN32_NATIVE |
| 51 #include "console-msw.h" | |
| 52 #endif | |
| 428 | 53 |
| 800 | 54 #include "sysfile.h" |
| 55 | |
| 428 | 56 #include <float.h> |
| 57 /* Define if not in float.h */ | |
| 58 #ifndef DBL_DIG | |
| 59 #define DBL_DIG 16 | |
| 60 #endif | |
| 61 | |
| 62 Lisp_Object Vstandard_output, Qstandard_output; | |
| 63 | |
| 64 /* The subroutine object for external-debugging-output is kept here | |
| 65 for the convenience of the debugger. */ | |
| 442 | 66 Lisp_Object Qexternal_debugging_output, Qalternate_debugging_output; |
| 67 | |
| 68 #ifdef HAVE_MS_WINDOWS | |
| 69 Lisp_Object Qmswindows_debugging_output; | |
| 70 #endif | |
| 428 | 71 |
| 72 /* Avoid actual stack overflow in print. */ | |
| 73 static int print_depth; | |
| 74 | |
| 75 /* Detect most circularities to print finite output. */ | |
| 76 #define PRINT_CIRCLE 200 | |
| 77 static Lisp_Object being_printed[PRINT_CIRCLE]; | |
| 78 | |
| 79 /* Maximum length of list or vector to print in full; noninteger means | |
| 80 effectively infinity */ | |
| 81 | |
| 82 Lisp_Object Vprint_length; | |
| 83 Lisp_Object Qprint_length; | |
| 84 | |
| 85 /* Maximum length of string to print in full; noninteger means | |
| 86 effectively infinity */ | |
| 87 | |
| 88 Lisp_Object Vprint_string_length; | |
| 89 Lisp_Object Qprint_string_length; | |
| 90 | |
| 91 /* Maximum depth of list to print in full; noninteger means | |
| 92 effectively infinity. */ | |
| 93 | |
| 94 Lisp_Object Vprint_level; | |
| 95 | |
| 96 /* Label to use when making echo-area messages. */ | |
| 97 | |
| 98 Lisp_Object Vprint_message_label; | |
| 99 | |
| 100 /* Nonzero means print newlines in strings as \n. */ | |
| 101 | |
| 102 int print_escape_newlines; | |
| 103 int print_readably; | |
| 104 | |
| 105 /* Non-nil means print #: before uninterned symbols. | |
| 106 Neither t nor nil means so that and don't clear Vprint_gensym_alist | |
| 107 on entry to and exit from print functions. */ | |
| 108 Lisp_Object Vprint_gensym; | |
| 109 Lisp_Object Vprint_gensym_alist; | |
| 110 | |
| 111 Lisp_Object Qdisplay_error; | |
| 112 Lisp_Object Qprint_message_label; | |
| 113 | |
| 114 /* Force immediate output of all printed data. Used for debugging. */ | |
| 115 int print_unbuffered; | |
| 116 | |
| 117 FILE *termscript; /* Stdio stream being used for copy of all output. */ | |
| 118 | |
| 1346 | 119 static void write_string_to_alternate_debugging_output (const Ibyte *str, |
| 771 | 120 Bytecount len); |
| 121 | |
| 1957 | 122 /* To avoid consing in debug_prin1, we package up variables we need to bind |
| 123 into an opaque object. */ | |
| 124 struct debug_bindings | |
| 125 { | |
| 2367 | 126 int inhibit_non_essential_conversion_operations; |
| 1957 | 127 int print_depth; |
| 128 int print_readably; | |
| 129 int print_unbuffered; | |
| 130 int gc_currently_forbidden; | |
| 131 Lisp_Object Vprint_length; | |
| 132 Lisp_Object Vprint_level; | |
| 133 Lisp_Object Vinhibit_quit; | |
| 134 }; | |
| 135 | |
| 136 static Lisp_Object debug_prin1_bindings; | |
| 428 | 137 |
| 138 | |
| 139 int stdout_needs_newline; | |
| 1346 | 140 int stdout_clear_before_next_output; |
| 428 | 141 |
| 771 | 142 /* Basic function to actually write to a stdio stream or TTY console. */ |
| 143 | |
| 442 | 144 static void |
| 1346 | 145 write_string_to_stdio_stream_1 (FILE *stream, struct console *con, |
| 146 const Ibyte *ptr, Bytecount len, | |
| 147 int must_flush) | |
| 428 | 148 { |
| 771 | 149 Extbyte *extptr = 0; |
| 150 Bytecount extlen = 0; | |
| 151 int output_is_std_handle = | |
| 152 stream ? stream == stdout || stream == stderr : | |
| 153 CONSOLE_TTY_DATA (con)->is_stdio; | |
| 154 | |
| 155 if (stream || output_is_std_handle) | |
| 156 { | |
| 2367 | 157 if (initialized && !inhibit_non_essential_conversion_operations) |
| 771 | 158 TO_EXTERNAL_FORMAT (DATA, (ptr, len), |
| 159 ALLOCA, (extptr, extlen), | |
| 160 Qterminal); | |
| 161 else | |
| 162 { | |
| 2367 | 163 #ifdef NON_ASCII_INTERNAL_FORMAT |
| 164 #error Do something here | |
| 165 #else | |
| 771 | 166 extptr = (Extbyte *) ptr; |
| 167 extlen = (Bytecount) len; | |
| 2367 | 168 #endif |
| 771 | 169 } |
| 170 } | |
| 171 | |
| 428 | 172 if (stream) |
| 173 { | |
| 442 | 174 #ifdef WIN32_NATIVE |
| 175 HANDLE errhand = GetStdHandle (STD_INPUT_HANDLE); | |
| 176 int no_useful_stderr = errhand == 0 || errhand == INVALID_HANDLE_VALUE; | |
| 177 | |
| 178 if (!no_useful_stderr) | |
| 179 no_useful_stderr = !PeekNamedPipe (errhand, 0, 0, 0, 0, 0); | |
| 180 /* we typically have no useful stdout/stderr under windows if we're | |
| 181 being invoked graphically. */ | |
| 182 if (no_useful_stderr) | |
| 771 | 183 mswindows_output_console_string (ptr, len); |
| 442 | 184 else |
| 428 | 185 #endif |
| 442 | 186 { |
| 771 | 187 retry_fwrite (extptr, 1, extlen, stream); |
| 442 | 188 #ifdef WIN32_NATIVE |
| 189 /* Q122442 says that pipes are "treated as files, not as | |
| 190 devices", and that this is a feature. Before I found that | |
| 191 article, I thought it was a bug. Thanks MS, I feel much | |
| 192 better now. - kkm */ | |
| 193 must_flush = 1; | |
| 194 #endif | |
| 195 if (must_flush) | |
| 196 fflush (stream); | |
| 197 } | |
| 428 | 198 } |
| 199 else | |
| 771 | 200 /* The stream itself does conversion to external format */ |
| 201 Lstream_write (XLSTREAM (CONSOLE_TTY_DATA (con)->outstream), ptr, len); | |
| 442 | 202 |
| 203 if (output_is_std_handle) | |
| 428 | 204 { |
| 205 if (termscript) | |
| 206 { | |
| 771 | 207 retry_fwrite (extptr, 1, extlen, termscript); |
| 428 | 208 fflush (termscript); |
| 209 } | |
| 1346 | 210 stdout_needs_newline = (ptr[len - 1] != '\n'); |
| 428 | 211 } |
| 212 } | |
| 213 | |
| 1346 | 214 /* Write to a stdio stream or TTY console, first clearing the left side |
| 215 if necessary. */ | |
| 216 | |
| 217 static void | |
| 218 write_string_to_stdio_stream (FILE *stream, struct console *con, | |
| 219 const Ibyte *ptr, Bytecount len, | |
| 220 int must_flush) | |
| 221 { | |
| 222 if (stdout_clear_before_next_output && | |
| 223 (stream ? stream == stdout || stream == stderr : | |
| 224 CONSOLE_TTY_DATA (con)->is_stdio)) | |
| 225 { | |
| 226 if (stdout_needs_newline) | |
| 227 write_string_to_stdio_stream_1 (stream, con, (Ibyte *) "\n", 1, | |
| 228 must_flush); | |
| 229 stdout_clear_before_next_output = 0; | |
| 230 } | |
| 231 | |
| 232 write_string_to_stdio_stream_1 (stream, con, ptr, len, must_flush); | |
| 233 } | |
| 234 | |
| 235 /* | |
| 236 EXT_PRINT_STDOUT = stdout or its equivalent (may be a | |
| 237 console window under MS Windows) | |
| 238 EXT_PRINT_STDERR = stderr or its equivalent (may be a | |
| 239 console window under MS Windows) | |
| 240 EXT_PRINT_ALTERNATE = an internal character array; see | |
| 241 `alternate-debugging-output' | |
| 242 EXT_PRINT_MSWINDOWS = Under MS Windows, the "debugging output" that | |
| 243 debuggers can hook into; uses OutputDebugString() | |
| 244 system call | |
| 245 EXT_PRINT_ALL = all of the above except stdout | |
| 246 */ | |
| 247 | |
| 248 enum ext_print | |
| 249 { | |
| 250 EXT_PRINT_STDOUT = 1, | |
| 251 EXT_PRINT_STDERR = 2, | |
| 252 EXT_PRINT_ALTERNATE = 4, | |
| 253 EXT_PRINT_MSWINDOWS = 8, | |
| 254 EXT_PRINT_ALL = 14 | |
| 255 }; | |
| 256 | |
| 257 static void | |
| 258 write_string_to_external_output (const Ibyte *ptr, Bytecount len, | |
| 259 int dest) | |
| 260 { | |
| 261 if (dest & EXT_PRINT_STDOUT) | |
| 262 write_string_to_stdio_stream (stdout, 0, ptr, len, 1); | |
| 263 if (dest & EXT_PRINT_STDERR) | |
| 264 write_string_to_stdio_stream (stderr, 0, ptr, len, 1); | |
| 265 if (dest & EXT_PRINT_ALTERNATE) | |
| 266 write_string_to_alternate_debugging_output (ptr, len); | |
| 267 #ifdef WIN32_NATIVE | |
| 268 if (dest & EXT_PRINT_MSWINDOWS) | |
| 269 write_string_to_mswindows_debugging_output (ptr, len); | |
| 270 #endif | |
| 271 } | |
| 272 | |
| 273 /* #### The following function should make use of a call to the | |
| 274 emacs_vsprintf_*() functions rather than just using vsprintf. This is | |
| 275 the only way to ensure that I18N3 works properly (many implementations | |
| 276 of the *printf() functions, including the ones included in glibc, do not | |
| 277 implement the %###$ argument-positioning syntax). | |
| 442 | 278 |
| 279 Note, however, that to do this, we'd have to | |
| 280 | |
| 281 1) pre-allocate all the lstreams and do whatever else was necessary | |
| 282 to make sure that no allocation occurs, since these functions may be | |
| 283 called from fatal_error_signal(). | |
| 284 | |
| 285 2) (to be really correct) make a new lstream that outputs using | |
| 1346 | 286 mswindows_output_console_string(). |
| 287 | |
| 288 3) A reasonable compromise might be to use emacs_vsprintf() when we're | |
| 289 in a safe state, and when not, use plain vsprintf(). */ | |
| 442 | 290 |
| 771 | 291 static void |
| 1346 | 292 write_string_to_external_output_va (const CIbyte *fmt, va_list args, |
| 293 int dest) | |
| 442 | 294 { |
| 867 | 295 Ibyte kludge[8192]; |
| 771 | 296 Bytecount kludgelen; |
| 297 | |
| 2367 | 298 if (initialized && !inhibit_non_essential_conversion_operations) |
| 771 | 299 fmt = GETTEXT (fmt); |
| 867 | 300 vsprintf ((CIbyte *) kludge, fmt, args); |
| 771 | 301 kludgelen = qxestrlen (kludge); |
| 1346 | 302 write_string_to_external_output (kludge, kludgelen, dest); |
| 442 | 303 } |
| 304 | |
| 771 | 305 /* Output portably to stderr or its equivalent (i.e. may be a console |
| 306 window under MS Windows); do external-format conversion and call GETTEXT | |
| 307 on the format string. Automatically flush when done. | |
| 442 | 308 |
| 2731 | 309 NOTE: CIbyte means "internal format" data. This includes the "..." |
| 310 arguments. For numerical arguments, we have to assume that vsprintf | |
| 311 will be a good boy and format them as ASCII. For Mule internal coding | |
| 312 (and UTF-8 internal coding, if/when we get it), it is safe to pass | |
| 313 string values in internal format to be formatted, because zero octets | |
| 314 only occur in the NUL character itself. Similarly, it is safe to pass | |
| 315 pure ASCII literal strings for these functions. *Everything else must | |
| 316 be converted, including all external data.* | |
| 317 | |
| 318 This function is safe to use even when not initialized or when dying -- | |
| 319 we don't do conversion in such cases. */ | |
| 771 | 320 |
| 321 void | |
| 867 | 322 stderr_out (const CIbyte *fmt, ...) |
| 442 | 323 { |
| 324 va_list args; | |
| 325 va_start (args, fmt); | |
| 1346 | 326 write_string_to_external_output_va (fmt, args, EXT_PRINT_STDERR); |
| 442 | 327 va_end (args); |
| 328 } | |
| 329 | |
| 771 | 330 /* Output portably to stdout or its equivalent (i.e. may be a console |
| 331 window under MS Windows). Works like stderr_out(). */ | |
| 442 | 332 |
| 771 | 333 void |
| 867 | 334 stdout_out (const CIbyte *fmt, ...) |
| 442 | 335 { |
| 336 va_list args; | |
| 337 va_start (args, fmt); | |
| 1346 | 338 write_string_to_external_output_va (fmt, args, EXT_PRINT_STDOUT); |
| 339 va_end (args); | |
| 340 } | |
| 341 | |
| 342 /* Output portably to print destination as specified by DEST. */ | |
| 343 | |
| 344 void | |
| 345 external_out (int dest, const CIbyte *fmt, ...) | |
| 346 { | |
| 347 va_list args; | |
| 348 va_start (args, fmt); | |
| 349 write_string_to_external_output_va (fmt, args, dest); | |
| 442 | 350 va_end (args); |
| 771 | 351 } |
| 352 | |
| 353 /* Output portably to stderr or its equivalent (i.e. may be a console | |
| 354 window under MS Windows), as well as alternate-debugging-output and | |
| 355 (under MS Windows) the C debugging output, i.e. OutputDebugString(). | |
| 356 Works like stderr_out(). */ | |
| 357 | |
| 358 void | |
| 867 | 359 debug_out (const CIbyte *fmt, ...) |
| 771 | 360 { |
| 361 va_list args; | |
| 362 va_start (args, fmt); | |
| 1346 | 363 write_string_to_external_output_va (fmt, args, EXT_PRINT_ALL); |
| 771 | 364 va_end (args); |
| 442 | 365 } |
| 366 | |
| 367 DOESNT_RETURN | |
| 867 | 368 fatal (const CIbyte *fmt, ...) |
| 442 | 369 { |
| 370 va_list args; | |
| 371 va_start (args, fmt); | |
| 372 | |
| 771 | 373 stderr_out ("\nXEmacs: fatal error: "); |
| 1346 | 374 write_string_to_external_output_va (fmt, args, EXT_PRINT_STDERR); |
| 442 | 375 stderr_out ("\n"); |
| 376 | |
| 377 va_end (args); | |
| 378 exit (1); | |
| 379 } | |
| 380 | |
| 428 | 381 /* Write a string to the output location specified in FUNCTION. |
| 382 Arguments NONRELOC, RELOC, OFFSET, and LEN are as in | |
| 771 | 383 buffer_insert_string_1() in insdel.c. |
| 384 | |
| 385 FUNCTION is one of | |
| 386 | |
| 387 -- an lstream | |
| 388 -- a buffer (insert at point and advance point) | |
| 389 -- a marker (insert at marker and advance marker) | |
| 390 -- a frame (append to echo area; clear echo area first if | |
| 391 `print-message-label' has changed since the last time) | |
| 392 -- t or nil (send to stdout) | |
| 393 -- a Lisp function of one argument (call to get data output) | |
| 394 | |
| 395 Use Qexternal_debugging_output to get output to stderr. | |
| 396 */ | |
| 428 | 397 |
| 398 static void | |
| 867 | 399 output_string (Lisp_Object function, const Ibyte *nonreloc, |
| 428 | 400 Lisp_Object reloc, Bytecount offset, Bytecount len) |
| 401 { | |
| 402 /* This function can GC */ | |
| 403 Charcount cclen; | |
| 404 /* We change the value of nonreloc (fetching it from reloc as | |
| 405 necessary), but we don't want to pass this changed value on to | |
| 406 other functions that take both a nonreloc and a reloc, or things | |
| 407 may get confused and an assertion failure in | |
| 408 fixup_internal_substring() may get triggered. */ | |
| 867 | 409 const Ibyte *newnonreloc = nonreloc; |
| 428 | 410 struct gcpro gcpro1, gcpro2; |
| 411 | |
| 412 /* Emacs won't print while GCing, but an external debugger might */ | |
| 771 | 413 #ifdef NO_PRINT_DURING_GC |
| 428 | 414 if (gc_in_progress) return; |
| 771 | 415 #endif |
| 428 | 416 |
| 417 /* Perhaps not necessary but probably safer. */ | |
| 418 GCPRO2 (function, reloc); | |
| 419 | |
| 420 fixup_internal_substring (newnonreloc, reloc, offset, &len); | |
| 421 | |
| 422 if (STRINGP (reloc)) | |
| 771 | 423 { |
| 793 | 424 cclen = string_offset_byte_to_char_len (reloc, offset, len); |
| 771 | 425 newnonreloc = XSTRING_DATA (reloc); |
| 426 } | |
| 427 else | |
| 428 cclen = bytecount_to_charcount (newnonreloc + offset, len); | |
| 428 | 429 |
| 430 if (LSTREAMP (function)) | |
| 431 { | |
| 432 if (STRINGP (reloc)) | |
| 433 { | |
| 434 /* Protect against Lstream_write() causing a GC and | |
| 435 relocating the string. For small strings, we do it by | |
| 436 alloc'ing the string and using a copy; for large strings, | |
| 437 we inhibit GC. */ | |
| 438 if (len < 65536) | |
| 439 { | |
| 2367 | 440 Ibyte *copied = alloca_ibytes (len); |
| 428 | 441 memcpy (copied, newnonreloc + offset, len); |
| 442 Lstream_write (XLSTREAM (function), copied, len); | |
| 443 } | |
| 1957 | 444 else if (gc_currently_forbidden) |
| 445 { | |
| 446 /* Avoid calling begin_gc_forbidden, which conses. We can reach | |
| 447 this point from the cons debug code, which will get us into | |
| 448 an infinite loop if we cons again. */ | |
| 449 Lstream_write (XLSTREAM (function), newnonreloc + offset, len); | |
| 450 } | |
| 428 | 451 else |
| 452 { | |
| 771 | 453 int speccount = begin_gc_forbidden (); |
| 428 | 454 Lstream_write (XLSTREAM (function), newnonreloc + offset, len); |
| 771 | 455 unbind_to (speccount); |
| 428 | 456 } |
| 457 } | |
| 458 else | |
| 459 Lstream_write (XLSTREAM (function), newnonreloc + offset, len); | |
| 460 | |
| 461 if (print_unbuffered) | |
| 462 Lstream_flush (XLSTREAM (function)); | |
| 463 } | |
| 464 else if (BUFFERP (function)) | |
| 465 { | |
| 466 CHECK_LIVE_BUFFER (function); | |
| 467 buffer_insert_string (XBUFFER (function), nonreloc, reloc, offset, len); | |
| 468 } | |
| 469 else if (MARKERP (function)) | |
| 470 { | |
| 471 /* marker_position() will err if marker doesn't point anywhere. */ | |
| 665 | 472 Charbpos spoint = marker_position (function); |
| 428 | 473 |
| 474 buffer_insert_string_1 (XMARKER (function)->buffer, | |
| 475 spoint, nonreloc, reloc, offset, len, | |
| 476 0); | |
| 477 Fset_marker (function, make_int (spoint + cclen), | |
| 478 Fmarker_buffer (function)); | |
| 479 } | |
| 480 else if (FRAMEP (function)) | |
| 481 { | |
| 482 /* This gets used by functions not invoking print_prepare(), | |
| 483 such as Fwrite_char, Fterpri, etc.. */ | |
| 484 struct frame *f = XFRAME (function); | |
| 485 CHECK_LIVE_FRAME (function); | |
| 486 | |
| 487 if (!EQ (Vprint_message_label, echo_area_status (f))) | |
| 488 clear_echo_area_from_print (f, Qnil, 1); | |
| 489 echo_area_append (f, nonreloc, reloc, offset, len, Vprint_message_label); | |
| 490 } | |
| 491 else if (EQ (function, Qt) || EQ (function, Qnil)) | |
| 492 { | |
| 771 | 493 write_string_to_stdio_stream (stdout, 0, newnonreloc + offset, len, |
| 494 print_unbuffered); | |
| 495 } | |
| 496 else if (EQ (function, Qexternal_debugging_output)) | |
| 497 { | |
| 498 /* This is not strictly necessary, and somewhat of a hack, but it | |
| 499 avoids having each character passed separately to | |
| 500 `external-debugging-output'. #### Why do we pass each character | |
| 501 separately, anyway? | |
| 502 */ | |
| 503 write_string_to_stdio_stream (stderr, 0, newnonreloc + offset, len, | |
| 504 print_unbuffered); | |
| 428 | 505 } |
| 506 else | |
| 507 { | |
| 771 | 508 Charcount ccoff; |
| 428 | 509 Charcount iii; |
| 510 | |
| 771 | 511 if (STRINGP (reloc)) |
| 793 | 512 ccoff = string_index_byte_to_char (reloc, offset); |
| 771 | 513 else |
| 514 ccoff = bytecount_to_charcount (newnonreloc, offset); | |
| 515 | |
| 516 if (STRINGP (reloc)) | |
| 428 | 517 { |
| 771 | 518 for (iii = ccoff; iii < cclen + ccoff; iii++) |
| 519 { | |
| 867 | 520 call1 (function, make_char (string_ichar (reloc, iii))); |
| 771 | 521 if (STRINGP (reloc)) |
| 522 newnonreloc = XSTRING_DATA (reloc); | |
| 523 } | |
| 524 } | |
| 525 else | |
| 526 { | |
| 527 for (iii = ccoff; iii < cclen + ccoff; iii++) | |
| 528 { | |
| 529 call1 (function, | |
| 867 | 530 make_char (itext_ichar_n (newnonreloc, iii))); |
| 771 | 531 } |
| 428 | 532 } |
| 533 } | |
| 534 | |
| 535 UNGCPRO; | |
| 536 } | |
| 537 | |
| 538 #define RESET_PRINT_GENSYM do { \ | |
| 539 if (!CONSP (Vprint_gensym)) \ | |
| 540 Vprint_gensym_alist = Qnil; \ | |
| 541 } while (0) | |
| 542 | |
| 1261 | 543 Lisp_Object |
| 428 | 544 canonicalize_printcharfun (Lisp_Object printcharfun) |
| 545 { | |
| 546 if (NILP (printcharfun)) | |
| 547 printcharfun = Vstandard_output; | |
| 548 | |
| 1261 | 549 if (!noninteractive && (EQ (printcharfun, Qt) || NILP (printcharfun))) |
| 428 | 550 printcharfun = Fselected_frame (Qnil); /* print to minibuffer */ |
| 551 | |
| 552 return printcharfun; | |
| 553 } | |
| 554 | |
| 555 static Lisp_Object | |
| 556 print_prepare (Lisp_Object printcharfun, Lisp_Object *frame_kludge) | |
| 557 { | |
| 558 /* Emacs won't print while GCing, but an external debugger might */ | |
| 771 | 559 #ifdef NO_PRINT_DURING_GC |
| 428 | 560 if (gc_in_progress) |
| 561 return Qnil; | |
| 771 | 562 #endif |
| 563 | |
| 428 | 564 RESET_PRINT_GENSYM; |
| 565 | |
| 566 printcharfun = canonicalize_printcharfun (printcharfun); | |
| 567 | |
| 568 /* Here we could safely return the canonicalized PRINTCHARFUN. | |
| 569 However, if PRINTCHARFUN is a frame, printing of complex | |
| 570 structures becomes very expensive, because `append-message' | |
| 571 (called by echo_area_append) gets called as many times as | |
| 572 output_string() is called (and that's a *lot*). append-message | |
| 573 tries to keep top of the message-stack in sync with the contents | |
| 574 of " *Echo Area" buffer, consing a new string for each component | |
| 575 of the printed structure. For instance, if you print (a a), | |
| 576 append-message will cons up the following strings: | |
| 577 | |
| 578 "(" | |
| 579 "(a" | |
| 580 "(a " | |
| 581 "(a a" | |
| 582 "(a a)" | |
| 583 | |
| 584 and will use only the last one. With larger objects, this turns | |
| 585 into an O(n^2) consing frenzy that locks up XEmacs in incessant | |
| 586 garbage collection. | |
| 587 | |
| 588 We prevent this by creating a resizing_buffer stream and letting | |
| 589 the printer write into it. print_finish() will notice this | |
| 590 stream, and invoke echo_area_append() with the stream's buffer, | |
| 591 only once. */ | |
| 592 if (FRAMEP (printcharfun)) | |
| 593 { | |
| 594 CHECK_LIVE_FRAME (printcharfun); | |
| 595 *frame_kludge = printcharfun; | |
| 596 printcharfun = make_resizing_buffer_output_stream (); | |
| 597 } | |
| 598 | |
| 599 return printcharfun; | |
| 600 } | |
| 601 | |
| 602 static void | |
| 603 print_finish (Lisp_Object stream, Lisp_Object frame_kludge) | |
| 604 { | |
| 605 /* Emacs won't print while GCing, but an external debugger might */ | |
| 771 | 606 #ifdef NO_PRINT_DURING_GC |
| 428 | 607 if (gc_in_progress) |
| 608 return; | |
| 771 | 609 #endif |
| 610 | |
| 428 | 611 RESET_PRINT_GENSYM; |
| 612 | |
| 613 /* See the comment in print_prepare(). */ | |
| 614 if (FRAMEP (frame_kludge)) | |
| 615 { | |
| 616 struct frame *f = XFRAME (frame_kludge); | |
| 617 Lstream *str = XLSTREAM (stream); | |
| 618 CHECK_LIVE_FRAME (frame_kludge); | |
| 619 | |
| 620 Lstream_flush (str); | |
| 621 if (!EQ (Vprint_message_label, echo_area_status (f))) | |
| 622 clear_echo_area_from_print (f, Qnil, 1); | |
| 623 echo_area_append (f, resizing_buffer_stream_ptr (str), | |
| 624 Qnil, 0, Lstream_byte_count (str), | |
| 625 Vprint_message_label); | |
| 626 Lstream_delete (str); | |
| 627 } | |
| 628 } | |
| 629 | |
| 630 | |
| 771 | 631 /* Write internal-format data to STREAM. See output_string() for |
| 632 interpretation of STREAM. | |
| 633 | |
| 634 NOTE: Do not call this with the data of a Lisp_String, as | |
| 428 | 635 printcharfun might cause a GC, which might cause the string's data |
| 636 to be relocated. To princ a Lisp string, use: | |
| 637 | |
| 638 print_internal (string, printcharfun, 0); | |
| 639 | |
| 640 Also note that STREAM should be the result of | |
| 641 canonicalize_printcharfun() (i.e. Qnil means stdout, not | |
| 642 Vstandard_output, etc.) */ | |
| 643 void | |
| 867 | 644 write_string_1 (Lisp_Object stream, const Ibyte *str, Bytecount size) |
| 428 | 645 { |
| 646 /* This function can GC */ | |
| 800 | 647 #ifdef ERROR_CHECK_TEXT |
| 428 | 648 assert (size >= 0); |
| 649 #endif | |
| 650 output_string (stream, str, Qnil, 0, size); | |
| 651 } | |
| 652 | |
| 653 void | |
| 867 | 654 write_string (Lisp_Object stream, const Ibyte *str) |
| 771 | 655 { |
| 656 /* This function can GC */ | |
| 826 | 657 write_string_1 (stream, str, qxestrlen (str)); |
| 771 | 658 } |
| 659 | |
| 660 void | |
| 867 | 661 write_c_string (Lisp_Object stream, const CIbyte *str) |
| 428 | 662 { |
| 663 /* This function can GC */ | |
| 867 | 664 write_string_1 (stream, (const Ibyte *) str, strlen (str)); |
| 428 | 665 } |
| 666 | |
| 793 | 667 void |
| 826 | 668 write_eistring (Lisp_Object stream, const Eistring *ei) |
| 793 | 669 { |
| 826 | 670 write_string_1 (stream, eidata (ei), eilen (ei)); |
| 793 | 671 } |
| 672 | |
| 771 | 673 /* Write a printf-style string to STREAM; see output_string(). */ |
| 674 | |
| 675 void | |
| 867 | 676 write_fmt_string (Lisp_Object stream, const CIbyte *fmt, ...) |
| 771 | 677 { |
| 678 va_list va; | |
| 867 | 679 Ibyte *str; |
| 771 | 680 Bytecount len; |
| 681 int count; | |
| 682 | |
| 683 va_start (va, fmt); | |
| 684 str = emacs_vsprintf_malloc (fmt, va, &len); | |
| 685 va_end (va); | |
| 686 count = record_unwind_protect_freeing (str); | |
| 826 | 687 write_string_1 (stream, str, len); |
| 771 | 688 unbind_to (count); |
| 689 } | |
| 690 | |
| 691 /* Write a printf-style string to STREAM, where the arguments are | |
| 692 Lisp objects and not C strings or integers; see output_string(). | |
| 693 | |
| 694 #### It shouldn't be necessary to specify the number of arguments. | |
| 695 This would require some rewriting of the doprnt() functions, though. */ | |
| 696 | |
| 697 void | |
| 867 | 698 write_fmt_string_lisp (Lisp_Object stream, const CIbyte *fmt, int nargs, ...) |
| 771 | 699 { |
| 700 Lisp_Object *args = alloca_array (Lisp_Object, nargs); | |
| 701 va_list va; | |
| 702 int i; | |
| 867 | 703 Ibyte *str; |
| 771 | 704 Bytecount len; |
| 705 int count; | |
| 706 | |
| 707 va_start (va, nargs); | |
| 708 for (i = 0; i < nargs; i++) | |
| 709 args[i] = va_arg (va, Lisp_Object); | |
| 710 va_end (va); | |
| 711 str = emacs_vsprintf_malloc_lisp (fmt, Qnil, nargs, args, &len); | |
| 712 count = record_unwind_protect_freeing (str); | |
| 826 | 713 write_string_1 (stream, str, len); |
| 771 | 714 unbind_to (count); |
| 715 } | |
| 716 | |
| 717 void | |
| 867 | 718 stderr_out_lisp (const CIbyte *fmt, int nargs, ...) |
| 771 | 719 { |
| 720 Lisp_Object *args = alloca_array (Lisp_Object, nargs); | |
| 721 va_list va; | |
| 722 int i; | |
| 867 | 723 Ibyte *str; |
| 771 | 724 Bytecount len; |
| 725 int count; | |
| 726 | |
| 727 va_start (va, nargs); | |
| 728 for (i = 0; i < nargs; i++) | |
| 729 args[i] = va_arg (va, Lisp_Object); | |
| 730 va_end (va); | |
| 731 str = emacs_vsprintf_malloc_lisp (fmt, Qnil, nargs, args, &len); | |
| 732 count = record_unwind_protect_freeing (str); | |
| 826 | 733 write_string_1 (Qexternal_debugging_output, str, len); |
| 771 | 734 unbind_to (count); |
| 735 } | |
| 736 | |
| 428 | 737 |
| 738 DEFUN ("write-char", Fwrite_char, 1, 2, 0, /* | |
| 444 | 739 Output character CHARACTER to stream STREAM. |
| 428 | 740 STREAM defaults to the value of `standard-output' (which see). |
| 741 */ | |
| 444 | 742 (character, stream)) |
| 428 | 743 { |
| 744 /* This function can GC */ | |
| 867 | 745 Ibyte str[MAX_ICHAR_LEN]; |
| 428 | 746 Bytecount len; |
| 747 | |
| 444 | 748 CHECK_CHAR_COERCE_INT (character); |
| 867 | 749 len = set_itext_ichar (str, XCHAR (character)); |
| 428 | 750 output_string (canonicalize_printcharfun (stream), str, Qnil, 0, len); |
| 444 | 751 return character; |
| 428 | 752 } |
| 753 | |
| 754 void | |
| 755 temp_output_buffer_setup (Lisp_Object bufname) | |
| 756 { | |
| 757 /* This function can GC */ | |
| 758 struct buffer *old = current_buffer; | |
| 759 Lisp_Object buf; | |
| 760 | |
| 761 #ifdef I18N3 | |
| 762 /* #### This function should accept a Lisp_Object instead of a char *, | |
| 763 so that proper translation on the buffer name can occur. */ | |
| 764 #endif | |
| 765 | |
| 766 Fset_buffer (Fget_buffer_create (bufname)); | |
| 767 | |
| 768 current_buffer->read_only = Qnil; | |
| 769 Ferase_buffer (Qnil); | |
| 770 | |
| 793 | 771 buf = wrap_buffer (current_buffer); |
| 428 | 772 specbind (Qstandard_output, buf); |
| 773 | |
| 774 set_buffer_internal (old); | |
| 775 } | |
| 776 | |
| 777 Lisp_Object | |
| 778 internal_with_output_to_temp_buffer (Lisp_Object bufname, | |
| 779 Lisp_Object (*function) (Lisp_Object arg), | |
| 780 Lisp_Object arg, | |
| 781 Lisp_Object same_frame) | |
| 782 { | |
| 783 int speccount = specpdl_depth (); | |
| 784 struct gcpro gcpro1, gcpro2, gcpro3; | |
| 785 Lisp_Object buf = Qnil; | |
| 786 | |
| 787 GCPRO3 (buf, arg, same_frame); | |
| 788 | |
| 789 temp_output_buffer_setup (bufname); | |
| 790 buf = Vstandard_output; | |
| 791 | |
| 792 arg = (*function) (arg); | |
| 793 | |
| 794 temp_output_buffer_show (buf, same_frame); | |
| 795 UNGCPRO; | |
| 796 | |
| 771 | 797 return unbind_to_1 (speccount, arg); |
| 428 | 798 } |
| 799 | |
| 800 DEFUN ("with-output-to-temp-buffer", Fwith_output_to_temp_buffer, 1, UNEVALLED, 0, /* | |
| 801 Bind `standard-output' to buffer BUFNAME, eval BODY, then show that buffer. | |
| 802 The buffer is cleared out initially, and marked as unmodified when done. | |
| 803 All output done by BODY is inserted in that buffer by default. | |
| 804 The buffer is displayed in another window, but not selected. | |
| 805 The value of the last form in BODY is returned. | |
| 806 If BODY does not finish normally, the buffer BUFNAME is not displayed. | |
| 807 | |
| 808 If variable `temp-buffer-show-function' is non-nil, call it at the end | |
| 809 to get the buffer displayed. It gets one argument, the buffer to display. | |
|
4693
80cd90837ac5
Add argument information to remaining MANY or UNEVALLED C subrs.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4677
diff
changeset
|
810 |
|
80cd90837ac5
Add argument information to remaining MANY or UNEVALLED C subrs.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4677
diff
changeset
|
811 arguments: (BUFNAME &rest BODY) |
| 428 | 812 */ |
| 813 (args)) | |
| 814 { | |
| 815 /* This function can GC */ | |
| 816 Lisp_Object name = Qnil; | |
| 817 int speccount = specpdl_depth (); | |
| 818 struct gcpro gcpro1, gcpro2; | |
| 819 Lisp_Object val = Qnil; | |
| 820 | |
| 821 #ifdef I18N3 | |
| 822 /* #### should set the buffer to be translating. See print_internal(). */ | |
| 823 #endif | |
| 824 | |
| 825 GCPRO2 (name, val); | |
|
4677
8f1ee2d15784
Support full Common Lisp multiple values in C.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4528
diff
changeset
|
826 name = IGNORE_MULTIPLE_VALUES (Feval (XCAR (args))); |
| 428 | 827 |
| 828 CHECK_STRING (name); | |
| 829 | |
| 830 temp_output_buffer_setup (name); | |
| 831 UNGCPRO; | |
| 832 | |
| 833 val = Fprogn (XCDR (args)); | |
| 834 | |
| 835 temp_output_buffer_show (Vstandard_output, Qnil); | |
| 836 | |
| 771 | 837 return unbind_to_1 (speccount, val); |
| 428 | 838 } |
| 839 | |
| 840 DEFUN ("terpri", Fterpri, 0, 1, 0, /* | |
| 841 Output a newline to STREAM. | |
| 842 If STREAM is omitted or nil, the value of `standard-output' is used. | |
| 843 */ | |
| 844 (stream)) | |
| 845 { | |
| 846 /* This function can GC */ | |
| 826 | 847 write_c_string (canonicalize_printcharfun (stream), "\n"); |
| 428 | 848 return Qt; |
| 849 } | |
| 850 | |
| 851 DEFUN ("prin1", Fprin1, 1, 2, 0, /* | |
| 852 Output the printed representation of OBJECT, any Lisp object. | |
| 853 Quoting characters are printed when needed to make output that `read' | |
| 854 can handle, whenever this is possible. | |
| 855 Output stream is STREAM, or value of `standard-output' (which see). | |
| 856 */ | |
| 857 (object, stream)) | |
| 858 { | |
| 859 /* This function can GC */ | |
| 860 Lisp_Object frame = Qnil; | |
| 861 struct gcpro gcpro1, gcpro2; | |
| 862 GCPRO2 (object, stream); | |
| 863 | |
| 864 stream = print_prepare (stream, &frame); | |
| 865 print_internal (object, stream, 1); | |
| 866 print_finish (stream, frame); | |
| 867 | |
| 868 UNGCPRO; | |
| 869 return object; | |
| 870 } | |
| 871 | |
|
4394
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
872 Lisp_Object |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
873 prin1_to_string (Lisp_Object object, int noescape) |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
874 { |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
875 /* This function can GC */ |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
876 Lisp_Object result = Qnil; |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
877 Lisp_Object stream = make_resizing_buffer_output_stream (); |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
878 Lstream *str = XLSTREAM (stream); |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
879 /* gcpro OBJECT in case a caller forgot to do so */ |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
880 struct gcpro gcpro1, gcpro2, gcpro3; |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
881 GCPRO3 (object, stream, result); |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
882 |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
883 print_internal (object, stream, !noescape); |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
884 Lstream_flush (str); |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
885 UNGCPRO; |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
886 result = make_string (resizing_buffer_stream_ptr (str), |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
887 Lstream_byte_count (str)); |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
888 Lstream_delete (str); |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
889 return result; |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
890 } |
|
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
891 |
| 428 | 892 DEFUN ("prin1-to-string", Fprin1_to_string, 1, 2, 0, /* |
| 893 Return a string containing the printed representation of OBJECT, | |
| 894 any Lisp object. Quoting characters are used when needed to make output | |
| 895 that `read' can handle, whenever this is possible, unless the optional | |
| 896 second argument NOESCAPE is non-nil. | |
| 897 */ | |
| 898 (object, noescape)) | |
| 899 { | |
| 900 /* This function can GC */ | |
| 901 Lisp_Object result = Qnil; | |
| 902 | |
| 903 RESET_PRINT_GENSYM; | |
|
4394
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
904 result = prin1_to_string (object, !(EQ(noescape, Qnil))); |
| 428 | 905 RESET_PRINT_GENSYM; |
|
4394
cacc942c0d0f
Avoid clearing print-gensym-alist inappropriately when printing hash tables.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4329
diff
changeset
|
906 |
| 428 | 907 return result; |
| 908 } | |
| 909 | |
| 910 DEFUN ("princ", Fprinc, 1, 2, 0, /* | |
| 911 Output the printed representation of OBJECT, any Lisp object. | |
| 912 No quoting characters are used; no delimiters are printed around | |
| 913 the contents of strings. | |
| 444 | 914 Output stream is STREAM, or value of `standard-output' (which see). |
| 428 | 915 */ |
| 916 (object, stream)) | |
| 917 { | |
| 918 /* This function can GC */ | |
| 919 Lisp_Object frame = Qnil; | |
| 920 struct gcpro gcpro1, gcpro2; | |
| 921 | |
| 922 GCPRO2 (object, stream); | |
| 923 stream = print_prepare (stream, &frame); | |
| 924 print_internal (object, stream, 0); | |
| 925 print_finish (stream, frame); | |
| 926 UNGCPRO; | |
| 927 return object; | |
| 928 } | |
| 929 | |
| 930 DEFUN ("print", Fprint, 1, 2, 0, /* | |
| 931 Output the printed representation of OBJECT, with newlines around it. | |
| 932 Quoting characters are printed when needed to make output that `read' | |
| 933 can handle, whenever this is possible. | |
| 934 Output stream is STREAM, or value of `standard-output' (which see). | |
| 935 */ | |
| 936 (object, stream)) | |
| 937 { | |
| 938 /* This function can GC */ | |
| 939 Lisp_Object frame = Qnil; | |
| 940 struct gcpro gcpro1, gcpro2; | |
| 941 | |
| 942 GCPRO2 (object, stream); | |
| 943 stream = print_prepare (stream, &frame); | |
| 826 | 944 write_c_string (stream, "\n"); |
| 428 | 945 print_internal (object, stream, 1); |
| 826 | 946 write_c_string (stream, "\n"); |
| 428 | 947 print_finish (stream, frame); |
| 948 UNGCPRO; | |
| 949 return object; | |
| 950 } | |
| 951 | |
| 952 /* Print an error message for the error DATA to STREAM. This is a | |
| 953 complete implementation of `display-error', which used to be in | |
| 954 Lisp (see prim/cmdloop.el). It was ported to C so it can be used | |
| 955 efficiently by Ferror_message_string. Fdisplay_error and | |
| 956 Ferror_message_string are trivial wrappers around this function. | |
| 957 | |
| 958 STREAM should be the result of canonicalize_printcharfun(). */ | |
| 959 static void | |
| 960 print_error_message (Lisp_Object error_object, Lisp_Object stream) | |
| 961 { | |
| 962 /* This function can GC */ | |
| 963 Lisp_Object type = Fcar_safe (error_object); | |
| 964 Lisp_Object method = Qnil; | |
| 965 Lisp_Object tail; | |
| 966 | |
| 967 /* No need to GCPRO anything under the assumption that ERROR_OBJECT | |
| 968 is GCPRO'd. */ | |
| 969 | |
| 970 if (! (CONSP (error_object) && SYMBOLP (type) | |
| 971 && CONSP (Fget (type, Qerror_conditions, Qnil)))) | |
| 972 goto error_throw; | |
| 973 | |
| 974 tail = XCDR (error_object); | |
| 975 while (!NILP (tail)) | |
| 976 { | |
| 977 if (CONSP (tail)) | |
| 978 tail = XCDR (tail); | |
| 979 else | |
| 980 goto error_throw; | |
| 981 } | |
| 982 tail = Fget (type, Qerror_conditions, Qnil); | |
| 983 while (!NILP (tail)) | |
| 984 { | |
| 985 if (!(CONSP (tail) && SYMBOLP (XCAR (tail)))) | |
| 986 goto error_throw; | |
| 987 else if (!NILP (Fget (XCAR (tail), Qdisplay_error, Qnil))) | |
| 988 { | |
| 989 method = Fget (XCAR (tail), Qdisplay_error, Qnil); | |
| 990 goto error_throw; | |
| 991 } | |
| 992 else | |
| 993 tail = XCDR (tail); | |
| 994 } | |
| 995 /* Default method */ | |
| 996 { | |
| 997 int first = 1; | |
| 998 int speccount = specpdl_depth (); | |
| 438 | 999 Lisp_Object frame = Qnil; |
| 1000 struct gcpro gcpro1; | |
| 1001 GCPRO1 (stream); | |
| 428 | 1002 |
| 1003 specbind (Qprint_message_label, Qerror); | |
| 438 | 1004 stream = print_prepare (stream, &frame); |
| 1005 | |
| 428 | 1006 tail = Fcdr (error_object); |
| 1007 if (EQ (type, Qerror)) | |
| 1008 { | |
| 1009 print_internal (Fcar (tail), stream, 0); | |
| 1010 tail = Fcdr (tail); | |
| 1011 } | |
| 1012 else | |
| 1013 { | |
| 1014 Lisp_Object errmsg = Fget (type, Qerror_message, Qnil); | |
| 1015 if (NILP (errmsg)) | |
| 1016 print_internal (type, stream, 0); | |
| 1017 else | |
| 1018 print_internal (LISP_GETTEXT (errmsg), stream, 0); | |
| 1019 } | |
| 1020 while (!NILP (tail)) | |
| 1021 { | |
| 826 | 1022 write_c_string (stream, first ? ": " : ", "); |
| 563 | 1023 /* Most errors have an explanatory string as their first argument, |
| 1024 and it looks better not to put the quotes around it. */ | |
| 1025 print_internal (Fcar (tail), stream, | |
| 1026 !(first && STRINGP (Fcar (tail))) || | |
| 1027 !NILP (Fget (type, Qerror_lacks_explanatory_string, | |
| 1028 Qnil))); | |
| 428 | 1029 tail = Fcdr (tail); |
| 1030 first = 0; | |
| 1031 } | |
| 438 | 1032 print_finish (stream, frame); |
| 1033 UNGCPRO; | |
| 771 | 1034 unbind_to (speccount); |
| 428 | 1035 return; |
| 1036 /* not reached */ | |
| 1037 } | |
| 1038 | |
| 1039 error_throw: | |
| 1040 if (NILP (method)) | |
| 1041 { | |
| 826 | 1042 write_c_string (stream, GETTEXT ("Peculiar error ")); |
| 428 | 1043 print_internal (error_object, stream, 1); |
| 1044 return; | |
| 1045 } | |
| 1046 else | |
| 1047 { | |
| 1048 call2 (method, error_object, stream); | |
| 1049 } | |
| 1050 } | |
| 1051 | |
| 1052 DEFUN ("error-message-string", Ferror_message_string, 1, 1, 0, /* | |
| 1053 Convert ERROR-OBJECT to an error message, and return it. | |
| 1054 | |
| 1055 The format of ERROR-OBJECT should be (ERROR-SYMBOL . DATA). The | |
| 1056 message is equivalent to the one that would be issued by | |
| 1057 `display-error' with the same argument. | |
| 1058 */ | |
| 1059 (error_object)) | |
| 1060 { | |
| 1061 /* This function can GC */ | |
| 1062 Lisp_Object result = Qnil; | |
| 1063 Lisp_Object stream = make_resizing_buffer_output_stream (); | |
| 1064 struct gcpro gcpro1; | |
| 1065 GCPRO1 (stream); | |
| 1066 | |
| 1067 print_error_message (error_object, stream); | |
| 1068 Lstream_flush (XLSTREAM (stream)); | |
| 1069 result = make_string (resizing_buffer_stream_ptr (XLSTREAM (stream)), | |
| 1070 Lstream_byte_count (XLSTREAM (stream))); | |
| 1071 Lstream_delete (XLSTREAM (stream)); | |
| 1072 | |
| 1073 UNGCPRO; | |
| 1074 return result; | |
| 1075 } | |
| 1076 | |
| 1077 DEFUN ("display-error", Fdisplay_error, 2, 2, 0, /* | |
| 1078 Display ERROR-OBJECT on STREAM in a user-friendly way. | |
| 1079 */ | |
| 1080 (error_object, stream)) | |
| 1081 { | |
| 1082 /* This function can GC */ | |
| 1083 print_error_message (error_object, canonicalize_printcharfun (stream)); | |
| 1084 return Qnil; | |
| 1085 } | |
| 1086 | |
| 1087 | |
| 1088 Lisp_Object Vfloat_output_format; | |
| 1089 | |
| 1090 /* | |
| 1091 * This buffer should be at least as large as the max string size of the | |
| 440 | 1092 * largest float, printed in the biggest notation. This is undoubtedly |
| 428 | 1093 * 20d float_output_format, with the negative of the C-constant "HUGE" |
| 1094 * from <math.h>. | |
| 1095 * | |
| 1096 * On the vax the worst case is -1e38 in 20d format which takes 61 bytes. | |
| 1097 * | |
| 1098 * I assume that IEEE-754 format numbers can take 329 bytes for the worst | |
| 1099 * case of -1e307 in 20d float_output_format. What is one to do (short of | |
| 1100 * re-writing _doprnt to be more sane)? | |
| 1101 * -wsr | |
| 1102 */ | |
| 1103 void | |
| 1104 float_to_string (char *buf, double data) | |
| 1105 { | |
| 867 | 1106 Ibyte *cp, c; |
| 428 | 1107 int width; |
| 1108 | |
| 1109 if (NILP (Vfloat_output_format) | |
| 1110 || !STRINGP (Vfloat_output_format)) | |
| 1111 lose: | |
| 1112 sprintf (buf, "%.16g", data); | |
| 1113 else /* oink oink */ | |
| 1114 { | |
| 1115 /* Check that the spec we have is fully valid. | |
| 1116 This means not only valid for printf, | |
| 1117 but meant for floats, and reasonable. */ | |
| 1118 cp = XSTRING_DATA (Vfloat_output_format); | |
| 1119 | |
| 1120 if (cp[0] != '%') | |
| 1121 goto lose; | |
| 1122 if (cp[1] != '.') | |
| 1123 goto lose; | |
| 1124 | |
| 1125 cp += 2; | |
| 1126 for (width = 0; (c = *cp, isdigit (c)); cp++) | |
| 1127 { | |
| 1128 width *= 10; | |
| 1129 width += c - '0'; | |
| 1130 } | |
| 1131 | |
| 1132 if (*cp != 'e' && *cp != 'f' && *cp != 'g' && *cp != 'E' && *cp != 'G') | |
| 1133 goto lose; | |
| 1134 | |
| 1135 if (width < (int) (*cp != 'e' && *cp != 'E') || width > DBL_DIG) | |
| 1136 goto lose; | |
| 1137 | |
| 1138 if (cp[1] != 0) | |
| 1139 goto lose; | |
| 1140 | |
| 1141 sprintf (buf, (char *) XSTRING_DATA (Vfloat_output_format), | |
| 1142 data); | |
| 1143 } | |
| 1144 | |
| 1145 /* added by jwz: don't allow "1.0" to print as "1"; that destroys | |
| 1146 the read-equivalence of lisp objects. (* x 1) and (* x 1.0) do | |
| 1147 not do the same thing, so it's important that the printed | |
| 1148 representation of that form not be corrupted by the printer. | |
| 1149 */ | |
| 1150 { | |
| 867 | 1151 Ibyte *s = (Ibyte *) buf; /* don't use signed chars here! |
| 428 | 1152 isdigit() can't hack them! */ |
| 1153 if (*s == '-') s++; | |
| 1154 for (; *s; s++) | |
| 1155 /* if there's a non-digit, then there is a decimal point, or | |
| 1156 it's in exponential notation, both of which are ok. */ | |
| 1157 if (!isdigit (*s)) | |
| 1158 goto DONE_LABEL; | |
| 1159 /* otherwise, we need to hack it. */ | |
| 1160 *s++ = '.'; | |
| 1161 *s++ = '0'; | |
| 1162 *s = 0; | |
| 1163 } | |
| 1164 DONE_LABEL: | |
| 1165 | |
| 1166 /* Some machines print "0.4" as ".4". I don't like that. */ | |
| 1167 if (buf [0] == '.' || (buf [0] == '-' && buf [1] == '.')) | |
| 1168 { | |
| 1169 int i; | |
| 1170 for (i = strlen (buf) + 1; i >= 0; i--) | |
| 1171 buf [i+1] = buf [i]; | |
| 1172 buf [(buf [0] == '-' ? 1 : 0)] = '0'; | |
| 1173 } | |
| 1174 } | |
| 1175 | |
| 2500 | 1176 #define ONE_DIGIT(figure) *p++ = (char) (n / (figure) + '0') |
| 577 | 1177 #define ONE_DIGIT_ADVANCE(figure) (ONE_DIGIT (figure), n %= (figure)) |
| 1178 | |
| 1179 #define DIGITS_1(figure) ONE_DIGIT (figure) | |
| 1180 #define DIGITS_2(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_1 ((figure) / 10) | |
| 1181 #define DIGITS_3(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_2 ((figure) / 10) | |
| 1182 #define DIGITS_4(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_3 ((figure) / 10) | |
| 1183 #define DIGITS_5(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_4 ((figure) / 10) | |
| 1184 #define DIGITS_6(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_5 ((figure) / 10) | |
| 1185 #define DIGITS_7(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_6 ((figure) / 10) | |
| 1186 #define DIGITS_8(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_7 ((figure) / 10) | |
| 1187 #define DIGITS_9(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_8 ((figure) / 10) | |
| 1188 #define DIGITS_10(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_9 ((figure) / 10) | |
| 1189 | |
| 1190 /* DIGITS_<11-20> are only used on machines with 64-bit longs. */ | |
| 428 | 1191 |
| 577 | 1192 #define DIGITS_11(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_10 ((figure) / 10) |
| 1193 #define DIGITS_12(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_11 ((figure) / 10) | |
| 1194 #define DIGITS_13(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_12 ((figure) / 10) | |
| 1195 #define DIGITS_14(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_13 ((figure) / 10) | |
| 1196 #define DIGITS_15(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_14 ((figure) / 10) | |
| 1197 #define DIGITS_16(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_15 ((figure) / 10) | |
| 1198 #define DIGITS_17(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_16 ((figure) / 10) | |
| 1199 #define DIGITS_18(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_17 ((figure) / 10) | |
| 1200 #define DIGITS_19(figure) ONE_DIGIT_ADVANCE (figure); DIGITS_18 ((figure) / 10) | |
| 1201 | |
| 1202 /* Print NUMBER to BUFFER in base 10. This is completely equivalent | |
| 1203 to `sprintf(buffer, "%ld", number)', only much faster. | |
| 1204 | |
| 1205 The speedup may make a difference in programs that frequently | |
| 1206 convert numbers to strings. Some implementations of sprintf, | |
| 1207 particularly the one in GNU libc, have been known to be extremely | |
| 1208 slow compared to this function. | |
| 1209 | |
| 1210 BUFFER should accept as many bytes as you expect the number to take | |
| 1211 up. On machines with 64-bit longs the maximum needed size is 24 | |
| 1212 bytes. That includes the worst-case digits, the optional `-' sign, | |
| 1213 and the trailing \0. */ | |
| 1214 | |
| 1215 void | |
| 428 | 1216 long_to_string (char *buffer, long number) |
| 1217 { | |
| 577 | 1218 char *p = buffer; |
| 1219 long n = number; | |
| 1220 | |
| 428 | 1221 #if (SIZEOF_LONG != 4) && (SIZEOF_LONG != 8) |
| 577 | 1222 /* We are running in a strange or misconfigured environment. Let |
| 1223 sprintf cope with it. */ | |
| 1224 sprintf (buffer, "%ld", n); | |
| 1225 #else /* (SIZEOF_LONG == 4) || (SIZEOF_LONG == 8) */ | |
| 428 | 1226 |
| 577 | 1227 if (n < 0) |
| 428 | 1228 { |
| 1229 *p++ = '-'; | |
| 577 | 1230 n = -n; |
| 428 | 1231 } |
| 1232 | |
| 577 | 1233 if (n < 10) { DIGITS_1 (1); } |
| 1234 else if (n < 100) { DIGITS_2 (10); } | |
| 1235 else if (n < 1000) { DIGITS_3 (100); } | |
| 1236 else if (n < 10000) { DIGITS_4 (1000); } | |
| 1237 else if (n < 100000) { DIGITS_5 (10000); } | |
| 1238 else if (n < 1000000) { DIGITS_6 (100000); } | |
| 1239 else if (n < 10000000) { DIGITS_7 (1000000); } | |
| 1240 else if (n < 100000000) { DIGITS_8 (10000000); } | |
| 1241 else if (n < 1000000000) { DIGITS_9 (100000000); } | |
| 1242 #if SIZEOF_LONG == 4 | |
| 1243 /* ``if (1)'' serves only to preserve editor indentation. */ | |
| 1244 else if (1) { DIGITS_10 (1000000000); } | |
| 1245 #else /* SIZEOF_LONG != 4 */ | |
| 1246 else if (n < 10000000000L) { DIGITS_10 (1000000000L); } | |
| 1247 else if (n < 100000000000L) { DIGITS_11 (10000000000L); } | |
| 1248 else if (n < 1000000000000L) { DIGITS_12 (100000000000L); } | |
| 1249 else if (n < 10000000000000L) { DIGITS_13 (1000000000000L); } | |
| 1250 else if (n < 100000000000000L) { DIGITS_14 (10000000000000L); } | |
| 1251 else if (n < 1000000000000000L) { DIGITS_15 (100000000000000L); } | |
| 1252 else if (n < 10000000000000000L) { DIGITS_16 (1000000000000000L); } | |
| 1253 else if (n < 100000000000000000L) { DIGITS_17 (10000000000000000L); } | |
| 1254 else if (n < 1000000000000000000L) { DIGITS_18 (100000000000000000L); } | |
| 1255 else { DIGITS_19 (1000000000000000000L); } | |
| 1256 #endif /* SIZEOF_LONG != 4 */ | |
| 1257 | |
| 428 | 1258 *p = '\0'; |
| 1259 #endif /* (SIZEOF_LONG == 4) || (SIZEOF_LONG == 8) */ | |
| 1260 } | |
| 577 | 1261 |
| 1262 #undef ONE_DIGIT | |
| 1263 #undef ONE_DIGIT_ADVANCE | |
| 1264 | |
| 1265 #undef DIGITS_1 | |
| 1266 #undef DIGITS_2 | |
| 1267 #undef DIGITS_3 | |
| 1268 #undef DIGITS_4 | |
| 1269 #undef DIGITS_5 | |
| 1270 #undef DIGITS_6 | |
| 1271 #undef DIGITS_7 | |
| 1272 #undef DIGITS_8 | |
| 1273 #undef DIGITS_9 | |
| 1274 #undef DIGITS_10 | |
| 1275 #undef DIGITS_11 | |
| 1276 #undef DIGITS_12 | |
| 1277 #undef DIGITS_13 | |
| 1278 #undef DIGITS_14 | |
| 1279 #undef DIGITS_15 | |
| 1280 #undef DIGITS_16 | |
| 1281 #undef DIGITS_17 | |
| 1282 #undef DIGITS_18 | |
| 1283 #undef DIGITS_19 | |
| 428 | 1284 |
|
4329
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1285 void |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1286 ulong_to_bit_string (char *p, unsigned long number) |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1287 { |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1288 int i, seen_high_order = 0;; |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1289 |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1290 for (i = ((SIZEOF_LONG * 8) - 1); i >= 0; --i) |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1291 { |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1292 if (number & (unsigned long)1 << i) |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1293 { |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1294 seen_high_order = 1; |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1295 *p++ = '1'; |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1296 } |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1297 else |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1298 { |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1299 if (seen_high_order) |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1300 { |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1301 *p++ = '0'; |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1302 } |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1303 } |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1304 } |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1305 *p = '\0'; |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1306 } |
|
d9eb5ea14f65
Provide %b in #'format; use it for converting between ints and bit vectors.
Aidan Kehoe <kehoea@parhasard.net>
parents:
3263
diff
changeset
|
1307 |
| 428 | 1308 static void |
| 442 | 1309 print_vector_internal (const char *start, const char *end, |
| 428 | 1310 Lisp_Object obj, |
| 1311 Lisp_Object printcharfun, int escapeflag) | |
| 1312 { | |
| 1313 /* This function can GC */ | |
| 1314 int i; | |
| 1315 int len = XVECTOR_LENGTH (obj); | |
| 1316 int last = len; | |
| 1317 struct gcpro gcpro1, gcpro2; | |
| 1318 GCPRO2 (obj, printcharfun); | |
| 1319 | |
| 1320 if (INTP (Vprint_length)) | |
| 1321 { | |
| 1322 int max = XINT (Vprint_length); | |
| 1323 if (max < len) last = max; | |
| 1324 } | |
| 1325 | |
| 826 | 1326 write_c_string (printcharfun, start); |
| 428 | 1327 for (i = 0; i < last; i++) |
| 1328 { | |
| 1329 Lisp_Object elt = XVECTOR_DATA (obj)[i]; | |
| 826 | 1330 if (i != 0) write_c_string (printcharfun, " "); |
| 428 | 1331 print_internal (elt, printcharfun, escapeflag); |
| 1332 } | |
| 1333 UNGCPRO; | |
| 1334 if (last != len) | |
| 826 | 1335 write_c_string (printcharfun, " ..."); |
| 1336 write_c_string (printcharfun, end); | |
| 428 | 1337 } |
| 1338 | |
| 1339 void | |
| 1340 print_cons (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag) | |
| 1341 { | |
| 1342 /* This function can GC */ | |
| 1343 struct gcpro gcpro1, gcpro2; | |
| 1344 | |
| 1345 /* If print_readably is on, print (quote -foo-) as '-foo- | |
| 1346 (Yeah, this should really be what print-pretty does, but we | |
| 1347 don't have the rest of a pretty printer, and this actually | |
| 1348 has non-negligible impact on size/speed of .elc files.) | |
| 1349 */ | |
| 1350 if (print_readably && | |
| 1351 EQ (XCAR (obj), Qquote) && | |
| 1352 CONSP (XCDR (obj)) && | |
| 1353 NILP (XCDR (XCDR (obj)))) | |
| 1354 { | |
| 1355 obj = XCAR (XCDR (obj)); | |
| 1356 GCPRO2 (obj, printcharfun); | |
| 826 | 1357 write_c_string (printcharfun, "\'"); |
| 428 | 1358 UNGCPRO; |
| 1359 print_internal (obj, printcharfun, escapeflag); | |
| 1360 return; | |
| 1361 } | |
| 1362 | |
| 1363 GCPRO2 (obj, printcharfun); | |
| 826 | 1364 write_c_string (printcharfun, "("); |
| 428 | 1365 |
| 1366 { | |
| 1367 int len; | |
| 1368 int max = INTP (Vprint_length) ? XINT (Vprint_length) : INT_MAX; | |
| 1369 Lisp_Object tortoise; | |
| 1370 /* Use tortoise/hare to make sure circular lists don't infloop */ | |
| 1371 | |
| 1372 for (tortoise = obj, len = 0; | |
| 1373 CONSP (obj); | |
| 1374 obj = XCDR (obj), len++) | |
| 1375 { | |
| 1376 if (len > 0) | |
| 826 | 1377 write_c_string (printcharfun, " "); |
| 428 | 1378 if (EQ (obj, tortoise) && len > 0) |
| 1379 { | |
| 1380 if (print_readably) | |
| 563 | 1381 printing_unreadable_object ("circular list"); |
| 428 | 1382 else |
| 826 | 1383 write_c_string (printcharfun, "... <circular list>"); |
| 428 | 1384 break; |
| 1385 } | |
| 1386 if (len & 1) | |
| 1387 tortoise = XCDR (tortoise); | |
| 1388 if (len > max) | |
| 1389 { | |
| 826 | 1390 write_c_string (printcharfun, "..."); |
| 428 | 1391 break; |
| 1392 } | |
| 1393 print_internal (XCAR (obj), printcharfun, escapeflag); | |
| 1394 } | |
| 1395 } | |
| 1396 if (!LISTP (obj)) | |
| 1397 { | |
| 826 | 1398 write_c_string (printcharfun, " . "); |
| 428 | 1399 print_internal (obj, printcharfun, escapeflag); |
| 1400 } | |
| 1401 UNGCPRO; | |
| 1402 | |
| 826 | 1403 write_c_string (printcharfun, ")"); |
| 428 | 1404 return; |
| 1405 } | |
| 1406 | |
| 1407 void | |
| 1408 print_vector (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag) | |
| 1409 { | |
| 1410 print_vector_internal ("[", "]", obj, printcharfun, escapeflag); | |
| 1411 } | |
| 1412 | |
| 1413 void | |
| 1414 print_string (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag) | |
| 1415 { | |
| 1416 /* We distinguish between Bytecounts and Charcounts, to make | |
| 1417 Vprint_string_length work correctly under Mule. */ | |
| 826 | 1418 Charcount size = string_char_length (obj); |
| 428 | 1419 Charcount max = size; |
| 793 | 1420 Bytecount bcmax = XSTRING_LENGTH (obj); |
| 428 | 1421 struct gcpro gcpro1, gcpro2; |
| 1422 GCPRO2 (obj, printcharfun); | |
| 1423 | |
| 1424 if (INTP (Vprint_string_length) && | |
| 1425 XINT (Vprint_string_length) < max) | |
| 1426 { | |
| 1427 max = XINT (Vprint_string_length); | |
| 793 | 1428 bcmax = string_index_char_to_byte (obj, max); |
| 428 | 1429 } |
| 1430 if (max < 0) | |
| 1431 { | |
| 1432 max = 0; | |
| 1433 bcmax = 0; | |
| 1434 } | |
| 1435 | |
| 1436 if (!escapeflag) | |
| 1437 { | |
| 1438 /* This deals with GC-relocation and Mule. */ | |
| 1439 output_string (printcharfun, 0, obj, 0, bcmax); | |
| 1440 if (max < size) | |
| 826 | 1441 write_c_string (printcharfun, " ..."); |
| 428 | 1442 } |
| 1443 else | |
| 1444 { | |
| 1445 Bytecount i, last = 0; | |
| 1446 | |
| 826 | 1447 write_c_string (printcharfun, "\""); |
| 428 | 1448 for (i = 0; i < bcmax; i++) |
| 1449 { | |
| 867 | 1450 Ibyte ch = string_byte (obj, i); |
| 428 | 1451 if (ch == '\"' || ch == '\\' |
| 1452 || (ch == '\n' && print_escape_newlines)) | |
| 1453 { | |
| 1454 if (i > last) | |
| 1455 { | |
| 1456 output_string (printcharfun, 0, obj, last, | |
| 1457 i - last); | |
| 1458 } | |
| 1459 if (ch == '\n') | |
| 1460 { | |
| 826 | 1461 write_c_string (printcharfun, "\\n"); |
| 428 | 1462 } |
| 1463 else | |
| 1464 { | |
| 867 | 1465 Ibyte temp[2]; |
| 826 | 1466 write_c_string (printcharfun, "\\"); |
| 428 | 1467 /* This is correct for Mule because the |
| 1468 character is either \ or " */ | |
| 826 | 1469 temp[0] = string_byte (obj, i); |
| 1470 temp[1] = '\0'; | |
| 1471 write_string (printcharfun, temp); | |
| 428 | 1472 } |
| 1473 last = i + 1; | |
| 1474 } | |
| 1475 } | |
| 1476 if (bcmax > last) | |
| 1477 { | |
| 1478 output_string (printcharfun, 0, obj, last, | |
| 1479 bcmax - last); | |
| 1480 } | |
| 1481 if (max < size) | |
| 826 | 1482 write_c_string (printcharfun, " ..."); |
| 1483 write_c_string (printcharfun, "\""); | |
| 428 | 1484 } |
| 1485 UNGCPRO; | |
| 1486 } | |
| 1487 | |
| 4846 | 1488 DOESNT_RETURN |
| 1489 printing_unreadable_object (const CIbyte *fmt, ...) | |
| 1490 { | |
| 1491 Lisp_Object obj; | |
| 1492 va_list args; | |
| 1493 | |
| 1494 va_start (args, fmt); | |
| 1495 obj = emacs_vsprintf_string (CGETTEXT (fmt), args); | |
| 1496 va_end (args); | |
| 1497 | |
| 1498 /* Fsignal GC-protects its args */ | |
| 1499 signal_error (Qprinting_unreadable_object, 0, obj); | |
| 1500 } | |
| 1501 | |
| 1502 DOESNT_RETURN | |
| 1503 printing_unreadable_lcrecord (Lisp_Object obj, const Ibyte *name) | |
| 428 | 1504 { |
| 3017 | 1505 struct LCRECORD_HEADER *header = (struct LCRECORD_HEADER *) XPNTR (obj); |
| 428 | 1506 |
| 4846 | 1507 #ifndef NEW_GC |
| 1508 /* This must be a real lcrecord */ | |
| 1509 assert (!LHEADER_IMPLEMENTATION (&header->lheader)->basic_p); | |
| 1510 #endif | |
| 1511 | |
| 1512 if (name) | |
| 1513 printing_unreadable_object | |
| 1514 ("#<%s %s 0x%x>", | |
| 1515 #ifdef NEW_GC | |
| 1516 LHEADER_IMPLEMENTATION (header)->name, | |
| 1517 #else /* not NEW_GC */ | |
| 1518 LHEADER_IMPLEMENTATION (&header->lheader)->name, | |
| 1519 #endif /* not NEW_GC */ | |
| 1520 name, | |
| 1521 header->uid); | |
| 1522 else | |
| 563 | 1523 printing_unreadable_object |
| 1524 ("#<%s 0x%x>", | |
| 3263 | 1525 #ifdef NEW_GC |
| 2720 | 1526 LHEADER_IMPLEMENTATION (header)->name, |
| 3263 | 1527 #else /* not NEW_GC */ |
| 563 | 1528 LHEADER_IMPLEMENTATION (&header->lheader)->name, |
| 3263 | 1529 #endif /* not NEW_GC */ |
| 563 | 1530 header->uid); |
| 4846 | 1531 } |
| 1532 | |
| 1533 void | |
| 1534 default_object_printer (Lisp_Object obj, Lisp_Object printcharfun, | |
| 1535 int UNUSED (escapeflag)) | |
| 1536 { | |
| 1537 struct LCRECORD_HEADER *header = (struct LCRECORD_HEADER *) XPNTR (obj); | |
| 1538 | |
| 1539 #ifndef NEW_GC | |
| 1540 /* This must be a real lcrecord */ | |
| 1541 assert (!LHEADER_IMPLEMENTATION (&header->lheader)->basic_p); | |
| 1542 #endif | |
| 1543 | |
| 1544 if (print_readably) | |
| 1545 printing_unreadable_lcrecord (obj, 0); | |
| 428 | 1546 |
| 800 | 1547 write_fmt_string (printcharfun, "#<%s 0x%x>", |
| 3263 | 1548 #ifdef NEW_GC |
| 2720 | 1549 LHEADER_IMPLEMENTATION (header)->name, |
| 3263 | 1550 #else /* not NEW_GC */ |
| 800 | 1551 LHEADER_IMPLEMENTATION (&header->lheader)->name, |
| 3263 | 1552 #endif /* not NEW_GC */ |
| 800 | 1553 header->uid); |
| 428 | 1554 } |
| 1555 | |
| 1556 void | |
| 1557 internal_object_printer (Lisp_Object obj, Lisp_Object printcharfun, | |
| 2286 | 1558 int UNUSED (escapeflag)) |
| 428 | 1559 { |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1560 /* Internal objects shouldn't normally escape to the Lisp level; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1561 that's why we say "XEmacs bug?". This can happen, however, when |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1562 printing backtraces. */ |
| 800 | 1563 write_fmt_string (printcharfun, |
| 1564 "#<INTERNAL OBJECT (XEmacs bug?) (%s) 0x%lx>", | |
| 1565 XRECORD_LHEADER_IMPLEMENTATION (obj)->name, | |
| 1566 (unsigned long) XPNTR (obj)); | |
| 428 | 1567 } |
| 1568 | |
| 1204 | 1569 enum printing_badness |
| 1570 { | |
| 1571 BADNESS_INTEGER_OBJECT, | |
| 1572 BADNESS_POINTER_OBJECT, | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1573 BADNESS_POINTER_OBJECT_WITH_DATA, |
| 1204 | 1574 BADNESS_NO_TYPE |
| 1575 }; | |
| 1576 | |
| 1577 static void | |
| 1578 printing_major_badness (Lisp_Object printcharfun, | |
|
4528
726060ee587c
First draft of g++ 4.3 warning removal patch. Builds. *Needs ChangeLogs.*
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4522
diff
changeset
|
1579 const Ascbyte *badness_string, int type, void *val, |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1580 void *val2, enum printing_badness badness) |
| 1204 | 1581 { |
| 1582 Ibyte buf[666]; | |
| 1583 | |
| 1584 switch (badness) | |
| 1585 { | |
| 1586 case BADNESS_INTEGER_OBJECT: | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1587 qxesprintf (buf, "%s type %d object %ld", badness_string, type, |
| 1204 | 1588 (EMACS_INT) val); |
| 1589 break; | |
| 1590 | |
| 1591 case BADNESS_POINTER_OBJECT: | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1592 qxesprintf (buf, "%s type %d object %p", badness_string, type, val); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1593 break; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1594 |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1595 case BADNESS_POINTER_OBJECT_WITH_DATA: |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1596 qxesprintf (buf, "%s type %d object %p data %p", badness_string, type, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1597 val, val2); |
| 1204 | 1598 break; |
| 1599 | |
| 1600 case BADNESS_NO_TYPE: | |
| 1601 qxesprintf (buf, "%s object %p", badness_string, val); | |
| 1602 break; | |
| 1603 } | |
| 1604 | |
| 1605 /* Don't abort or signal if called from debug_print() or already | |
| 1606 crashing */ | |
| 2367 | 1607 if (!inhibit_non_essential_conversion_operations) |
| 1204 | 1608 { |
| 1609 #ifdef ERROR_CHECK_TYPES | |
| 2500 | 1610 ABORT (); |
| 1204 | 1611 #else /* not ERROR_CHECK_TYPES */ |
| 1612 if (print_readably) | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1613 signal_ferror (Qinternal_error, "SERIOUS XEMACS BUG: printing %s; " |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1614 "save your buffers immediately and please report " |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1615 "this bug", buf); |
| 1204 | 1616 #endif /* not ERROR_CHECK_TYPES */ |
| 1617 } | |
| 1618 write_fmt_string (printcharfun, | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1619 "#<SERIOUS XEMACS BUG: %s Save your buffers immediately " |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1620 "and please report this bug>", buf); |
| 1204 | 1621 } |
| 1622 | |
| 428 | 1623 void |
| 1624 print_internal (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag) | |
| 1625 { | |
| 1626 /* This function can GC */ | |
| 2001 | 1627 int specdepth = 0; |
| 1204 | 1628 struct gcpro gcpro1, gcpro2; |
| 428 | 1629 |
| 1630 QUIT; | |
| 1631 | |
| 771 | 1632 #ifdef NO_PRINT_DURING_GC |
| 428 | 1633 /* Emacs won't print while GCing, but an external debugger might */ |
| 1634 if (gc_in_progress) return; | |
| 771 | 1635 #endif |
| 1636 | |
| 1204 | 1637 /* Just to be safe ... */ |
| 1638 GCPRO2 (obj, printcharfun); | |
| 428 | 1639 |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1640 /* WARNING WARNING WARNING!!! Don't put anything here that might |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1641 dereference memory. Instead, put it down inside of |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1642 the case Lisp_Type_Record, after the appropriate checks to make sure |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1643 we're not dereferencing bad memory. The idea is that, ideally, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1644 calling debug_print() should *NEVER* make the program crash, even when |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1645 something very bad has happened. --ben */ |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1646 |
| 428 | 1647 #ifdef I18N3 |
| 1648 /* #### Both input and output streams should have a flag associated | |
| 1649 with them indicating whether output to that stream, or strings | |
| 1650 read from the stream, get translated using Fgettext(). Such a | |
| 1651 stream is called a "translating stream". For the minibuffer and | |
| 1652 external-debugging-output this is always true on output, and | |
| 1653 with-output-to-temp-buffer sets the flag to true for the buffer | |
| 1654 it creates. This flag should also be user-settable. Perhaps it | |
| 1655 should be split up into two flags, one for input and one for | |
| 1656 output. */ | |
| 1657 #endif | |
| 1658 | |
| 1659 being_printed[print_depth] = obj; | |
| 1660 | |
| 1957 | 1661 /* Avoid calling internal_bind_int, which conses, when called from |
| 1662 debug_prin1. In that case, we have bound print_depth to 0 anyway. */ | |
| 2367 | 1663 if (!inhibit_non_essential_conversion_operations) |
| 1957 | 1664 { |
| 1665 specdepth = internal_bind_int (&print_depth, print_depth + 1); | |
| 1666 | |
| 1667 if (print_depth > PRINT_CIRCLE) | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1668 signal_error (Qstack_overflow, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1669 "Apparently circular structure being printed", Qunbound); |
| 1957 | 1670 } |
| 428 | 1671 |
| 1672 switch (XTYPE (obj)) | |
| 1673 { | |
| 1674 case Lisp_Type_Int_Even: | |
| 1675 case Lisp_Type_Int_Odd: | |
| 1676 { | |
| 603 | 1677 char buf[DECIMAL_PRINT_SIZE (EMACS_INT)]; |
| 428 | 1678 long_to_string (buf, XINT (obj)); |
| 826 | 1679 write_c_string (printcharfun, buf); |
| 428 | 1680 break; |
| 1681 } | |
| 1682 | |
| 1683 case Lisp_Type_Char: | |
| 1684 { | |
| 1685 /* God intended that this be #\..., you know. */ | |
| 1686 char buf[16]; | |
| 867 | 1687 Ichar ch = XCHAR (obj); |
| 428 | 1688 char *p = buf; |
| 1689 *p++ = '?'; | |
| 434 | 1690 if (ch < 32) |
| 1691 { | |
| 1692 *p++ = '\\'; | |
| 1693 switch (ch) | |
| 1694 { | |
| 1695 case '\t': *p++ = 't'; break; | |
| 1696 case '\n': *p++ = 'n'; break; | |
| 1697 case '\r': *p++ = 'r'; break; | |
| 1698 default: | |
| 1699 *p++ = '^'; | |
| 1700 *p++ = ch + 64; | |
| 1701 if ((ch + 64) == '\\') | |
| 1702 *p++ = '\\'; | |
| 1703 break; | |
| 1704 } | |
| 1705 } | |
| 1706 else if (ch < 127) | |
| 428 | 1707 { |
| 434 | 1708 /* syntactically special characters should be escaped. */ |
| 1709 switch (ch) | |
| 1710 { | |
| 1711 case ' ': | |
| 1712 case '"': | |
| 1713 case '#': | |
| 1714 case '\'': | |
| 1715 case '(': | |
| 1716 case ')': | |
| 1717 case ',': | |
| 1718 case '.': | |
| 1719 case ';': | |
| 1720 case '?': | |
| 1721 case '[': | |
| 1722 case '\\': | |
| 1723 case ']': | |
| 1724 case '`': | |
| 1725 *p++ = '\\'; | |
| 1726 } | |
| 1727 *p++ = ch; | |
| 428 | 1728 } |
| 1729 else if (ch == 127) | |
| 434 | 1730 { |
| 1731 *p++ = '\\', *p++ = '^', *p++ = '?'; | |
| 1732 } | |
| 1733 else if (ch < 160) | |
| 428 | 1734 { |
| 1735 *p++ = '\\', *p++ = '^'; | |
| 867 | 1736 p += set_itext_ichar ((Ibyte *) p, ch + 64); |
| 428 | 1737 } |
| 1738 else | |
| 434 | 1739 { |
| 867 | 1740 p += set_itext_ichar ((Ibyte *) p, ch); |
| 434 | 1741 } |
| 440 | 1742 |
| 867 | 1743 output_string (printcharfun, (Ibyte *) buf, Qnil, 0, p - buf); |
| 434 | 1744 |
| 428 | 1745 break; |
| 1746 } | |
| 1747 | |
| 1748 case Lisp_Type_Record: | |
| 1749 { | |
| 1750 struct lrecord_header *lheader = XRECORD_LHEADER (obj); | |
| 1204 | 1751 |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1752 /* Try to check for various sorts of bogus pointers or bad memory |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1753 if we're in a situation where it may be likely -- i.e. called |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1754 from debug_print() or we're already crashing. In such cases, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1755 (further) crashing is counterproductive. |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1756 |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1757 We don't normally do these because they may be expensive or |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1758 weird (e.g. under Unix we typically have to set a SIGSEGV |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1759 handler and try to trigger a seg fault). */ |
| 428 | 1760 |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1761 if (!lheader) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1762 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1763 /* i.e. EQ Qnull_pointer */ |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1764 printing_major_badness (printcharfun, "NULL POINTER LRECORD", 0, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1765 0, 0, BADNESS_NO_TYPE); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1766 break; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1767 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1768 |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1769 /* First check to see if the lrecord header itself is garbage. */ |
| 2367 | 1770 if (inhibit_non_essential_conversion_operations && |
| 1204 | 1771 !debug_can_access_memory (lheader, sizeof (*lheader))) |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1772 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1773 printing_major_badness (printcharfun, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1774 "BAD MEMORY in LRECORD HEADER", 0, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1775 lheader, 0, BADNESS_NO_TYPE); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1776 break; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1777 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1778 |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1779 /* Check to see if the lrecord type is garbage. */ |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1780 #ifndef NEW_GC |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1781 if (lheader->type == lrecord_type_free) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1782 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1783 printing_major_badness (printcharfun, "FREED LRECORD", 0, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1784 lheader, 0, BADNESS_NO_TYPE); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1785 break; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1786 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1787 if (lheader->type == lrecord_type_undefined) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1788 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1789 printing_major_badness (printcharfun, "LRECORD_TYPE_UNDEFINED", 0, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1790 lheader, 0, BADNESS_NO_TYPE); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1791 break; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1792 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1793 #endif /* not NEW_GC */ |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1794 if ((int) (lheader->type) >= lrecord_type_count) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1795 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1796 printing_major_badness (printcharfun, "ILLEGAL LRECORD TYPE", |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1797 (int) (lheader->type), |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1798 lheader, 0, BADNESS_POINTER_OBJECT); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1799 break; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1800 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1801 |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1802 /* Check to see if the lrecord implementation is missing or garbage. */ |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1803 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1804 const struct lrecord_implementation *imp = |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1805 LHEADER_IMPLEMENTATION (lheader); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1806 |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1807 if (!imp) |
| 1204 | 1808 { |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1809 printing_major_badness |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1810 (printcharfun, "NO IMPLEMENTATION FOR LRECORD TYPE", |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1811 (int) (lheader->type), |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1812 lheader, 0, BADNESS_POINTER_OBJECT); |
| 1204 | 1813 break; |
| 1814 } | |
| 1815 | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1816 if (inhibit_non_essential_conversion_operations) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1817 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1818 if (!debug_can_access_memory (imp, sizeof (*imp))) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1819 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1820 printing_major_badness |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1821 (printcharfun, "BAD MEMORY IN LRECORD IMPLEMENTATION", |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1822 (int) (lheader->type), |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1823 lheader, 0, BADNESS_POINTER_OBJECT); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1824 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1825 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1826 } |
| 428 | 1827 |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1828 /* Check to see if any of the memory of the lrecord is inaccessible. |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1829 Note that we already checked above to see if the first part of |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1830 the lrecord (the header) is inaccessible, which will catch most |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1831 cases of a totally bad pointer. */ |
| 1204 | 1832 |
| 2367 | 1833 if (inhibit_non_essential_conversion_operations) |
| 1204 | 1834 { |
| 1835 if (!debug_can_access_memory | |
| 1836 (lheader, detagged_lisp_object_size (lheader))) | |
| 1837 { | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1838 printing_major_badness (printcharfun, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1839 "BAD MEMORY IN LRECORD", |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1840 (int) (lheader->type), |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1841 lheader, 0, BADNESS_POINTER_OBJECT); |
| 1204 | 1842 break; |
| 1843 } | |
| 1844 | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1845 /* For strings, also check the data of the string itself. */ |
| 1204 | 1846 if (STRINGP (obj)) |
| 1847 { | |
| 3092 | 1848 #ifdef NEW_GC |
| 1849 if (!debug_can_access_memory (XSTRING_DATA (obj), | |
| 1850 XSTRING_LENGTH (obj))) | |
| 1851 { | |
| 1852 write_fmt_string | |
| 1853 (printcharfun, | |
| 1854 "#<EMACS BUG: %p (BAD STRING DATA %p)>", | |
| 1855 lheader, XSTRING_DATA (obj)); | |
| 1856 break; | |
| 1857 } | |
| 1858 #else /* not NEW_GC */ | |
| 1204 | 1859 Lisp_String *l = (Lisp_String *) lheader; |
| 1860 if (!debug_can_access_memory (l->data_, l->size_)) | |
| 1861 { | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1862 printing_major_badness (printcharfun, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1863 "BAD STRING DATA", (int) (lheader->type), |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1864 lheader, l->data_, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1865 BADNESS_POINTER_OBJECT_WITH_DATA); |
| 1204 | 1866 break; |
| 1867 } | |
| 3092 | 1868 #endif /* not NEW_GC */ |
| 1204 | 1869 } |
| 1870 } | |
| 1871 | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1872 /* Detect circularities and truncate them. |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1873 No need to offer any alternative--this is better than an error. */ |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1874 if (CONSP (obj) || VECTORP (obj) || COMPILED_FUNCTIONP (obj)) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1875 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1876 int i; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1877 for (i = 0; i < print_depth - 1; i++) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1878 if (EQ (obj, being_printed[i])) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1879 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1880 Ascbyte buf[DECIMAL_PRINT_SIZE (long) + 1]; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1881 *buf = '#'; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1882 long_to_string (buf + 1, i); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1883 write_c_string (printcharfun, buf); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1884 break; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1885 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1886 if (i < print_depth - 1) /* Did we print something? */ |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1887 break; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1888 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1889 |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1890 if (CONSP (obj) || VECTORP (obj)) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1891 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1892 /* If deeper than spec'd depth, print placeholder. */ |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1893 if (INTP (Vprint_level) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1894 && print_depth > XINT (Vprint_level)) |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1895 { |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1896 write_c_string (printcharfun, "..."); |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1897 break; |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1898 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1899 } |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1900 |
| 428 | 1901 if (LHEADER_IMPLEMENTATION (lheader)->printer) |
| 1902 ((LHEADER_IMPLEMENTATION (lheader)->printer) | |
| 1903 (obj, printcharfun, escapeflag)); | |
| 1904 else | |
| 3085 | 1905 internal_object_printer (obj, printcharfun, escapeflag); |
| 428 | 1906 break; |
| 1907 } | |
| 1908 | |
| 1909 default: | |
| 1910 { | |
| 1911 /* We're in trouble if this happens! */ | |
|
4847
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1912 printing_major_badness (printcharfun, "ILLEGAL LISP OBJECT TAG TYPE", |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1913 XTYPE (obj), LISP_TO_VOID (obj), 0, |
|
05c519de7353
be more careful when printing to check for bad objects
Ben Wing <ben@xemacs.org>
parents:
4846
diff
changeset
|
1914 BADNESS_INTEGER_OBJECT); |
| 428 | 1915 break; |
| 1916 } | |
| 1917 } | |
| 1918 | |
| 2367 | 1919 if (!inhibit_non_essential_conversion_operations) |
| 1957 | 1920 unbind_to (specdepth); |
| 1204 | 1921 UNGCPRO; |
| 428 | 1922 } |
| 1923 | |
| 1924 void | |
| 2286 | 1925 print_float (Lisp_Object obj, Lisp_Object printcharfun, |
| 1926 int UNUSED (escapeflag)) | |
| 428 | 1927 { |
| 1928 char pigbuf[350]; /* see comments in float_to_string */ | |
| 1929 | |
| 1930 float_to_string (pigbuf, XFLOAT_DATA (obj)); | |
| 826 | 1931 write_c_string (printcharfun, pigbuf); |
| 428 | 1932 } |
| 1933 | |
| 1934 void | |
| 1935 print_symbol (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag) | |
| 1936 { | |
| 1937 /* This function can GC */ | |
| 1938 /* #### Bug!! (intern "") isn't printed in some distinguished way */ | |
| 1939 /* #### (the reader also loses on it) */ | |
| 793 | 1940 Lisp_Object name = symbol_name (XSYMBOL (obj)); |
| 1941 Bytecount size = XSTRING_LENGTH (name); | |
| 428 | 1942 struct gcpro gcpro1, gcpro2; |
| 1943 | |
| 1944 if (!escapeflag) | |
| 1945 { | |
| 1946 /* This deals with GC-relocation */ | |
| 793 | 1947 output_string (printcharfun, 0, name, 0, size); |
| 428 | 1948 return; |
| 1949 } | |
| 1950 GCPRO2 (obj, printcharfun); | |
| 1951 | |
| 1952 /* If we print an uninterned symbol as part of a complex object and | |
| 1953 the flag print-gensym is non-nil, prefix it with #n= to read the | |
| 1954 object back with the #n# reader syntax later if needed. */ | |
| 1955 if (!NILP (Vprint_gensym) | |
| 442 | 1956 /* #### Test whether this produces a noticeable slow-down for |
| 428 | 1957 printing when print-gensym is non-nil. */ |
| 1958 && !EQ (obj, oblookup (Vobarray, | |
| 793 | 1959 XSTRING_DATA (symbol_name (XSYMBOL (obj))), |
| 1960 XSTRING_LENGTH (symbol_name (XSYMBOL (obj)))))) | |
| 428 | 1961 { |
| 1962 if (print_depth > 1) | |
| 1963 { | |
| 1964 Lisp_Object tem = Fassq (obj, Vprint_gensym_alist); | |
| 1965 if (CONSP (tem)) | |
| 1966 { | |
| 826 | 1967 write_c_string (printcharfun, "#"); |
| 428 | 1968 print_internal (XCDR (tem), printcharfun, escapeflag); |
| 826 | 1969 write_c_string (printcharfun, "#"); |
| 446 | 1970 UNGCPRO; |
| 428 | 1971 return; |
| 1972 } | |
| 1973 else | |
| 1974 { | |
| 1975 if (CONSP (Vprint_gensym_alist)) | |
| 1976 { | |
| 1977 /* Vprint_gensym_alist is exposed to Lisp, so we | |
| 1978 have to be careful. */ | |
| 1979 CHECK_CONS (XCAR (Vprint_gensym_alist)); | |
| 1980 CHECK_INT (XCDR (XCAR (Vprint_gensym_alist))); | |
| 793 | 1981 tem = make_int (XINT (XCDR (XCAR (Vprint_gensym_alist))) + 1); |
| 428 | 1982 } |
| 1983 else | |
| 793 | 1984 tem = make_int (1); |
| 428 | 1985 Vprint_gensym_alist = Fcons (Fcons (obj, tem), Vprint_gensym_alist); |
| 1986 | |
| 826 | 1987 write_c_string (printcharfun, "#"); |
| 428 | 1988 print_internal (tem, printcharfun, escapeflag); |
| 826 | 1989 write_c_string (printcharfun, "="); |
| 428 | 1990 } |
| 1991 } | |
| 826 | 1992 write_c_string (printcharfun, "#:"); |
| 428 | 1993 } |
| 1994 | |
| 1995 /* Does it look like an integer or a float? */ | |
| 1996 { | |
| 867 | 1997 Ibyte *data = XSTRING_DATA (name); |
| 428 | 1998 Bytecount confusing = 0; |
| 1999 | |
| 2000 if (size == 0) | |
| 2001 goto not_yet_confused; /* Really confusing */ | |
| 2002 else if (isdigit (data[0])) | |
| 2003 confusing = 0; | |
| 2004 else if (size == 1) | |
| 2005 goto not_yet_confused; | |
| 2006 else if (data[0] == '-' || data[0] == '+') | |
| 2007 confusing = 1; | |
| 2008 else | |
| 2009 goto not_yet_confused; | |
| 2010 | |
| 2011 for (; confusing < size; confusing++) | |
| 2012 { | |
| 2013 if (!isdigit (data[confusing])) | |
| 2014 { | |
| 2015 confusing = 0; | |
| 2016 break; | |
| 2017 } | |
| 2018 } | |
| 2019 not_yet_confused: | |
| 2020 | |
| 2021 if (!confusing) | |
| 2022 /* #### Ugh, this is needlessly complex and slow for what we | |
| 2023 need here. It might be a good idea to copy equivalent code | |
| 2024 from FSF. --hniksic */ | |
| 2025 confusing = isfloat_string ((char *) data); | |
| 2026 if (confusing) | |
| 826 | 2027 write_c_string (printcharfun, "\\"); |
| 428 | 2028 } |
| 2029 | |
| 2030 { | |
| 2031 Bytecount i; | |
| 2032 Bytecount last = 0; | |
| 2033 | |
| 2034 for (i = 0; i < size; i++) | |
| 2035 { | |
| 826 | 2036 switch (string_byte (name, i)) |
| 428 | 2037 { |
| 2038 case 0: case 1: case 2: case 3: | |
| 2039 case 4: case 5: case 6: case 7: | |
| 2040 case 8: case 9: case 10: case 11: | |
| 2041 case 12: case 13: case 14: case 15: | |
| 2042 case 16: case 17: case 18: case 19: | |
| 2043 case 20: case 21: case 22: case 23: | |
| 2044 case 24: case 25: case 26: case 27: | |
| 2045 case 28: case 29: case 30: case 31: | |
| 2046 case ' ': case '\"': case '\\': case '\'': | |
| 2047 case ';': case '#' : case '(' : case ')': | |
| 2048 case ',': case '.' : case '`' : | |
| 2049 case '[': case ']' : case '?' : | |
| 2050 if (i > last) | |
| 793 | 2051 output_string (printcharfun, 0, name, last, i - last); |
| 826 | 2052 write_c_string (printcharfun, "\\"); |
| 428 | 2053 last = i; |
| 2054 } | |
| 2055 } | |
| 793 | 2056 output_string (printcharfun, 0, name, last, size - last); |
| 428 | 2057 } |
| 2058 UNGCPRO; | |
| 2059 } | |
| 2060 | |
| 2061 | |
| 442 | 2062 /* Useful on systems or in places where writing to stdout is unavailable or |
| 2063 not working. */ | |
| 428 | 2064 |
| 2065 static int alternate_do_pointer; | |
| 1957 | 2066 static int alternate_do_size; |
| 2067 static char *alternate_do_string; | |
| 428 | 2068 |
| 2069 DEFUN ("alternate-debugging-output", Falternate_debugging_output, 1, 1, 0, /* | |
| 2070 Append CHARACTER to the array `alternate_do_string'. | |
| 2071 This can be used in place of `external-debugging-output' as a function | |
| 2072 to be passed to `print'. Before calling `print', set `alternate_do_pointer' | |
| 2073 to 0. | |
| 2074 */ | |
| 2075 (character)) | |
| 2076 { | |
| 867 | 2077 Ibyte str[MAX_ICHAR_LEN]; |
| 428 | 2078 Bytecount len; |
| 2079 | |
| 2080 CHECK_CHAR_COERCE_INT (character); | |
| 867 | 2081 len = set_itext_ichar (str, XCHAR (character)); |
| 771 | 2082 write_string_to_alternate_debugging_output (str, len); |
| 2083 | |
| 2084 return character; | |
| 2085 } | |
| 2086 | |
| 2087 static void | |
| 1346 | 2088 write_string_to_alternate_debugging_output (const Ibyte *str, Bytecount len) |
| 771 | 2089 { |
| 2090 int extlen; | |
| 2091 const Extbyte *extptr; | |
| 2092 #if 0 /* We want to see the internal representation, don't we? */ | |
| 2367 | 2093 if (initialized && !inhibit_non_essential_conversion_operations) |
| 771 | 2094 TO_EXTERNAL_FORMAT (DATA, (str, len), |
| 2095 ALLOCA, (extptr, extlen), | |
| 2096 Qterminal); | |
| 2097 else | |
| 2098 #endif /* 0 */ | |
| 2099 { | |
| 2100 extlen = len; | |
| 2101 extptr = (Extbyte *) str; | |
| 2102 } | |
| 1957 | 2103 |
| 2104 /* If not yet initialized, just skip it. */ | |
| 2105 if (alternate_do_string == NULL) | |
| 2106 return; | |
| 2107 | |
| 2108 if (alternate_do_pointer + extlen >= alternate_do_size) | |
| 2109 { | |
| 2110 alternate_do_size = | |
| 2111 max(alternate_do_size * 2, alternate_do_pointer + extlen + 1); | |
| 2112 XREALLOC_ARRAY (alternate_do_string, char, alternate_do_size); | |
| 2113 } | |
| 428 | 2114 memcpy (alternate_do_string + alternate_do_pointer, extptr, extlen); |
| 2115 alternate_do_pointer += extlen; | |
| 2116 alternate_do_string[alternate_do_pointer] = 0; | |
| 2117 } | |
| 2118 | |
| 1346 | 2119 |
| 2120 DEFUN ("set-device-clear-left-side", Fset_device_clear_left_side, 2, 2, 0, /* | |
| 2121 Set whether to output a newline before the next output to a stream device. | |
| 2122 This will happen only if the most recently-outputted character was not | |
| 2123 a newline -- i.e. it will make sure the left side is "clear" of text. | |
| 2124 */ | |
| 2125 (device, value)) | |
| 2126 { | |
| 2127 if (!NILP (device)) | |
| 2128 CHECK_LIVE_DEVICE (device); | |
| 2129 if (NILP (device) || DEVICE_STREAM_P (XDEVICE (device))) | |
| 2130 /* #### This should be per-device */ | |
| 2131 stdout_clear_before_next_output = !NILP (value); | |
| 2132 return Qnil; | |
| 2133 } | |
| 2134 | |
| 2135 DEFUN ("device-left-side-clear-p", Fdevice_left_side_clear_p, 0, 1, 0, /* | |
| 2136 For stream devices, true if the most recent-outputted character was a newline. | |
| 2137 */ | |
| 2138 (device)) | |
| 2139 { | |
| 2140 if (!NILP (device)) | |
| 2141 CHECK_LIVE_DEVICE (device); | |
| 2142 if (NILP (device) || DEVICE_STREAM_P (XDEVICE (device))) | |
| 2143 /* #### This should be per-device */ | |
| 2144 return stdout_needs_newline ? Qt : Qnil; | |
| 2145 return Qnil; | |
| 2146 } | |
| 2147 | |
| 428 | 2148 DEFUN ("external-debugging-output", Fexternal_debugging_output, 1, 3, 0, /* |
| 2149 Write CHAR-OR-STRING to stderr or stdout. | |
| 2150 If optional arg STDOUT-P is non-nil, write to stdout; otherwise, write | |
| 2151 to stderr. You can use this function to write directly to the terminal. | |
| 2152 This function can be used as the STREAM argument of Fprint() or the like. | |
| 2153 | |
| 442 | 2154 Under MS Windows, this writes output to the console window (which is |
| 2155 created, if necessary), unless XEmacs is being run noninteractively | |
| 2156 \(i.e. using the `-batch' argument). | |
| 2157 | |
| 428 | 2158 If you have opened a termscript file (using `open-termscript'), then |
| 2159 the output also will be logged to this file. | |
| 2160 */ | |
| 2161 (char_or_string, stdout_p, device)) | |
| 2162 { | |
| 2163 FILE *file = 0; | |
| 2164 struct console *con = 0; | |
| 2165 | |
| 2166 if (NILP (device)) | |
| 2167 { | |
| 2168 if (!NILP (stdout_p)) | |
| 2169 file = stdout; | |
| 2170 else | |
| 2171 file = stderr; | |
| 2172 } | |
| 2173 else | |
| 2174 { | |
| 2175 CHECK_LIVE_DEVICE (device); | |
| 2176 if (!DEVICE_TTY_P (XDEVICE (device)) && | |
| 2177 !DEVICE_STREAM_P (XDEVICE (device))) | |
| 563 | 2178 wtaerror ("Must be tty or stream device", device); |
| 428 | 2179 con = XCONSOLE (DEVICE_CONSOLE (XDEVICE (device))); |
| 2180 if (DEVICE_TTY_P (XDEVICE (device))) | |
| 2181 file = 0; | |
| 2182 else if (!NILP (stdout_p)) | |
| 2183 file = CONSOLE_STREAM_DATA (con)->out; | |
| 2184 else | |
| 2185 file = CONSOLE_STREAM_DATA (con)->err; | |
| 2186 } | |
| 2187 | |
| 2188 if (STRINGP (char_or_string)) | |
| 2189 write_string_to_stdio_stream (file, con, | |
| 2190 XSTRING_DATA (char_or_string), | |
| 771 | 2191 XSTRING_LENGTH (char_or_string), |
| 2192 print_unbuffered); | |
| 428 | 2193 else |
| 2194 { | |
| 867 | 2195 Ibyte str[MAX_ICHAR_LEN]; |
| 428 | 2196 Bytecount len; |
| 2197 | |
| 2198 CHECK_CHAR_COERCE_INT (char_or_string); | |
| 867 | 2199 len = set_itext_ichar (str, XCHAR (char_or_string)); |
| 771 | 2200 write_string_to_stdio_stream (file, con, str, len, print_unbuffered); |
| 428 | 2201 } |
| 2202 | |
| 2203 return char_or_string; | |
| 2204 } | |
| 2205 | |
| 2206 DEFUN ("open-termscript", Fopen_termscript, 1, 1, "FOpen termscript file: ", /* | |
| 444 | 2207 Start writing all terminal output to FILENAME as well as the terminal. |
| 2208 FILENAME = nil means just close any termscript file currently open. | |
| 428 | 2209 */ |
| 444 | 2210 (filename)) |
| 428 | 2211 { |
| 2212 /* This function can GC */ | |
| 2213 if (termscript != 0) | |
| 2214 { | |
| 771 | 2215 retry_fclose (termscript); |
| 444 | 2216 termscript = 0; |
| 2217 } | |
| 2218 | |
| 2219 if (! NILP (filename)) | |
| 2220 { | |
| 2221 filename = Fexpand_file_name (filename, Qnil); | |
| 771 | 2222 termscript = qxe_fopen (XSTRING_DATA (filename), "w"); |
| 428 | 2223 if (termscript == NULL) |
| 563 | 2224 report_file_error ("Opening termscript", filename); |
| 428 | 2225 } |
| 2226 return Qnil; | |
| 2227 } | |
| 2228 | |
| 440 | 2229 static int debug_print_length = 50; |
| 2230 static int debug_print_level = 15; | |
| 2231 static int debug_print_readably = -1; | |
| 428 | 2232 |
| 1957 | 2233 /* Restore values temporarily bound by debug_prin1. We use this approach to |
| 2234 avoid consing in debug_prin1. That is verboten, since debug_prin1 can be | |
| 2235 called by cons debugging code. */ | |
| 2236 static Lisp_Object | |
| 2286 | 2237 debug_prin1_exit (Lisp_Object UNUSED (ignored)) |
| 1957 | 2238 { |
| 2239 struct debug_bindings *bindings = | |
| 2240 (struct debug_bindings *) XOPAQUE (debug_prin1_bindings)->data; | |
| 2367 | 2241 inhibit_non_essential_conversion_operations = |
| 2242 bindings->inhibit_non_essential_conversion_operations; | |
| 1957 | 2243 print_depth = bindings->print_depth; |
| 2244 print_readably = bindings->print_readably; | |
| 2245 print_unbuffered = bindings->print_unbuffered; | |
| 2246 gc_currently_forbidden = bindings->gc_currently_forbidden; | |
| 2247 Vprint_length = bindings->Vprint_length; | |
| 2248 Vprint_level = bindings->Vprint_level; | |
| 2249 Vinhibit_quit = bindings->Vinhibit_quit; | |
| 2250 return Qnil; | |
| 2251 } | |
| 2252 | |
| 1346 | 2253 /* Print an object, `prin1'-style, to various possible debugging outputs. |
| 2254 Make sure it's completely unbuffered so that, in the event of a crash | |
| 2255 somewhere, we see as much as possible that happened before it. | |
| 2256 */ | |
| 428 | 2257 static void |
| 1346 | 2258 debug_prin1 (Lisp_Object debug_print_obj, int flags) |
| 428 | 2259 { |
| 2260 /* This function can GC */ | |
| 853 | 2261 |
| 2262 /* by doing this, we trick various things that are non-essential | |
| 2263 but might cause crashes into not getting executed. */ | |
| 1957 | 2264 int specdepth; |
| 2265 struct debug_bindings *bindings = | |
| 2266 (struct debug_bindings *) XOPAQUE (debug_prin1_bindings)->data; | |
| 853 | 2267 |
| 2367 | 2268 bindings->inhibit_non_essential_conversion_operations = |
| 2269 inhibit_non_essential_conversion_operations; | |
| 1957 | 2270 bindings->print_depth = print_depth; |
| 2271 bindings->print_readably = print_readably; | |
| 2272 bindings->print_unbuffered = print_unbuffered; | |
| 2273 bindings->gc_currently_forbidden = gc_currently_forbidden; | |
| 2274 bindings->Vprint_length = Vprint_length; | |
| 2275 bindings->Vprint_level = Vprint_level; | |
| 2276 bindings->Vinhibit_quit = Vinhibit_quit; | |
| 2277 specdepth = record_unwind_protect (debug_prin1_exit, Qnil); | |
| 2278 | |
| 2367 | 2279 inhibit_non_essential_conversion_operations = 1; |
| 1957 | 2280 print_depth = 0; |
| 2281 print_readably = debug_print_readably != -1 ? debug_print_readably : 0; | |
| 2282 print_unbuffered++; | |
| 428 | 2283 if (debug_print_length > 0) |
| 1957 | 2284 Vprint_length = make_int (debug_print_length); |
| 428 | 2285 if (debug_print_level > 0) |
| 1957 | 2286 Vprint_level = make_int (debug_print_level); |
| 2287 Vinhibit_quit = Qt; | |
| 1346 | 2288 |
| 2289 if ((flags & EXT_PRINT_STDOUT) || (flags & EXT_PRINT_STDERR)) | |
| 2290 print_internal (debug_print_obj, Qexternal_debugging_output, 1); | |
| 2291 if (flags & EXT_PRINT_ALTERNATE) | |
| 2292 print_internal (debug_print_obj, Qalternate_debugging_output, 1); | |
| 442 | 2293 #ifdef WIN32_NATIVE |
| 1346 | 2294 if (flags & EXT_PRINT_MSWINDOWS) |
| 2295 { | |
| 2296 /* Write out to the debugger, as well */ | |
| 2297 print_internal (debug_print_obj, Qmswindows_debugging_output, 1); | |
| 2298 } | |
| 442 | 2299 #endif |
| 440 | 2300 |
| 802 | 2301 unbind_to (specdepth); |
| 428 | 2302 } |
| 2303 | |
| 2304 void | |
| 1204 | 2305 debug_p4 (Lisp_Object obj) |
| 2306 { | |
| 2367 | 2307 inhibit_non_essential_conversion_operations = 1; |
| 1204 | 2308 if (STRINGP (obj)) |
| 2309 debug_out ("\"%s\"", XSTRING_DATA (obj)); | |
| 2310 else if (CONSP (obj)) | |
| 2311 { | |
| 2312 int first = 1; | |
| 2313 do { | |
| 2314 debug_out (first ? "(" : " "); | |
| 2315 first = 0; | |
| 2316 debug_p4 (XCAR (obj)); | |
| 2317 obj = XCDR (obj); | |
| 2318 } while (CONSP (obj)); | |
| 2319 if (NILP (obj)) | |
| 2320 debug_out (")"); | |
| 2321 else | |
| 2322 { | |
| 2323 debug_out (" . "); | |
| 2324 debug_p4 (obj); | |
| 2325 debug_out (")"); | |
| 2326 } | |
| 2327 } | |
| 2328 else if (VECTORP (obj)) | |
| 2329 { | |
| 2330 int size = XVECTOR_LENGTH (obj); | |
| 2331 int i; | |
| 2332 int first = 1; | |
| 2333 | |
| 2334 for (i = 0; i < size; i++) | |
| 2335 { | |
| 2336 debug_out (first ? "[" : " "); | |
| 2337 first = 0; | |
| 2338 debug_p4 (XVECTOR_DATA (obj)[i]); | |
| 2339 debug_out ("]"); | |
| 2340 } | |
| 2341 } | |
| 2342 else if (SYMBOLP (obj)) | |
| 2343 { | |
| 2344 Lisp_Object name = XSYMBOL_NAME (obj); | |
| 2345 if (!STRINGP (name)) | |
| 2346 debug_out ("<<bad symbol>>"); | |
| 2347 else | |
| 2348 debug_out ("%s", XSTRING_DATA (name)); | |
| 2349 } | |
| 2350 else if (INTP (obj)) | |
| 2351 { | |
| 2352 debug_out ("%ld", XINT (obj)); | |
| 2353 } | |
| 2354 else if (FLOATP (obj)) | |
| 2355 { | |
| 2356 debug_out ("%g", XFLOAT_DATA (obj)); | |
| 2357 } | |
| 2358 else | |
| 2359 { | |
| 2360 struct lrecord_header *header = | |
| 2361 (struct lrecord_header *) XPNTR (obj); | |
| 2362 | |
| 2363 if (header->type >= lrecord_type_last_built_in_type) | |
| 2364 debug_out ("<< bad object type=%d 0x%lx>>", header->type, | |
| 2365 (EMACS_INT) header); | |
| 2366 else | |
| 3263 | 2367 #ifdef NEW_GC |
| 3063 | 2368 debug_out ("#<%s addr=0x%lx uid=0x%lx>", |
| 2720 | 2369 LHEADER_IMPLEMENTATION (header)->name, |
| 3063 | 2370 (EMACS_INT) header, |
| 2720 | 2371 (EMACS_INT) ((struct lrecord_header *) header)->uid); |
| 3263 | 2372 #else /* not NEW_GC */ |
| 3063 | 2373 debug_out ("#<%s addr=0x%lx uid=0x%lx>", |
| 1204 | 2374 LHEADER_IMPLEMENTATION (header)->name, |
| 3063 | 2375 (EMACS_INT) header, |
| 3092 | 2376 (EMACS_INT) (LHEADER_IMPLEMENTATION (header)->basic_p ? |
| 2377 ((struct lrecord_header *) header)->uid : | |
| 2378 ((struct old_lcrecord_header *) header)->uid)); | |
| 3263 | 2379 #endif /* not NEW_GC */ |
| 1204 | 2380 } |
| 2381 | |
| 2367 | 2382 inhibit_non_essential_conversion_operations = 0; |
| 1204 | 2383 } |
| 2384 | |
| 1346 | 2385 static void |
| 2386 ext_print_begin (int dest) | |
| 2387 { | |
| 2388 if (dest & EXT_PRINT_ALTERNATE) | |
| 2389 alternate_do_pointer = 0; | |
| 2390 if (dest & (EXT_PRINT_STDERR | EXT_PRINT_STDOUT)) | |
| 2391 stdout_clear_before_next_output = 1; | |
| 2392 } | |
| 2393 | |
| 2394 static void | |
| 2395 ext_print_end (int dest) | |
| 2396 { | |
| 2397 if (dest & (EXT_PRINT_MSWINDOWS | EXT_PRINT_STDERR | EXT_PRINT_STDOUT)) | |
| 2398 external_out (dest & (EXT_PRINT_MSWINDOWS | EXT_PRINT_STDERR | | |
| 2399 EXT_PRINT_STDOUT), "\n"); | |
| 2400 } | |
| 2401 | |
| 2402 static void | |
| 2403 external_debug_print (Lisp_Object object, int dest) | |
| 2404 { | |
| 2405 ext_print_begin (dest); | |
| 2406 debug_prin1 (object, dest); | |
| 2407 ext_print_end (dest); | |
| 2408 } | |
| 2409 | |
| 1204 | 2410 void |
| 2411 debug_p3 (Lisp_Object obj) | |
| 2412 { | |
| 2413 debug_p4 (obj); | |
| 2367 | 2414 inhibit_non_essential_conversion_operations = 1; |
| 1204 | 2415 debug_out ("\n"); |
| 2367 | 2416 inhibit_non_essential_conversion_operations = 0; |
| 1204 | 2417 } |
| 2418 | |
| 2419 void | |
| 428 | 2420 debug_print (Lisp_Object debug_print_obj) |
| 2421 { | |
| 1346 | 2422 external_debug_print (debug_print_obj, EXT_PRINT_ALL); |
| 428 | 2423 } |
| 2424 | |
| 1204 | 2425 /* Getting tired of typing debug_print() ... */ |
| 2426 void dp (Lisp_Object debug_print_obj); | |
| 2427 void | |
| 2428 dp (Lisp_Object debug_print_obj) | |
| 2429 { | |
| 2430 debug_print (debug_print_obj); | |
| 2431 } | |
| 2432 | |
| 1346 | 2433 /* Alternate debug printer: Return a char * pointer to the output */ |
| 2434 char *dpa (Lisp_Object debug_print_obj); | |
| 2435 char * | |
| 2436 dpa (Lisp_Object debug_print_obj) | |
| 2437 { | |
| 2438 external_debug_print (debug_print_obj, EXT_PRINT_ALTERNATE); | |
| 2439 | |
| 2440 return alternate_do_string; | |
| 2441 } | |
| 2442 | |
| 428 | 2443 /* Debugging kludge -- unbuffered */ |
| 2444 /* This function provided for the benefit of the debugger. */ | |
| 2445 void | |
| 2446 debug_backtrace (void) | |
| 2447 { | |
| 2448 /* This function can GC */ | |
| 853 | 2449 |
| 2450 /* by doing this, we trick various things that are non-essential | |
| 2451 but might cause crashes into not getting executed. */ | |
| 2452 int specdepth = | |
| 2367 | 2453 internal_bind_int (&inhibit_non_essential_conversion_operations, 1); |
| 853 | 2454 |
| 2455 internal_bind_int (&print_depth, 0); | |
| 802 | 2456 internal_bind_int (&print_readably, 0); |
| 2457 internal_bind_int (&print_unbuffered, print_unbuffered + 1); | |
| 428 | 2458 if (debug_print_length > 0) |
| 802 | 2459 internal_bind_lisp_object (&Vprint_length, make_int (debug_print_length)); |
| 428 | 2460 if (debug_print_level > 0) |
| 802 | 2461 internal_bind_lisp_object (&Vprint_level, make_int (debug_print_level)); |
| 2462 /* #### Do we need this? It was in the old code. */ | |
| 2463 internal_bind_lisp_object (&Vinhibit_quit, Vinhibit_quit); | |
| 428 | 2464 |
| 2465 Fbacktrace (Qexternal_debugging_output, Qt); | |
| 2466 stderr_out ("\n"); | |
| 2467 | |
| 802 | 2468 unbind_to (specdepth); |
| 428 | 2469 } |
| 2470 | |
| 1204 | 2471 /* Getting tired of typing debug_backtrace() ... */ |
| 2472 void db (void); | |
| 2473 void | |
| 2474 db (void) | |
| 2475 { | |
| 2476 debug_backtrace (); | |
| 2477 } | |
| 2478 | |
| 428 | 2479 void |
| 2480 debug_short_backtrace (int length) | |
| 2481 { | |
| 2482 int first = 1; | |
| 2483 struct backtrace *bt = backtrace_list; | |
| 771 | 2484 debug_out (" ["); |
| 428 | 2485 while (length > 0 && bt) |
| 2486 { | |
| 2487 if (!first) | |
| 2488 { | |
| 771 | 2489 debug_out (", "); |
| 428 | 2490 } |
| 2491 if (COMPILED_FUNCTIONP (*bt->function)) | |
| 2492 { | |
| 1346 | 2493 #if defined (COMPILED_FUNCTION_ANNOTATION_HACK) |
| 428 | 2494 Lisp_Object ann = |
| 2495 compiled_function_annotation (XCOMPILED_FUNCTION (*bt->function)); | |
| 2496 #else | |
| 2497 Lisp_Object ann = Qnil; | |
| 2498 #endif | |
| 2499 if (!NILP (ann)) | |
| 2500 { | |
| 771 | 2501 debug_out ("<compiled-function from "); |
| 1346 | 2502 debug_prin1 (ann, EXT_PRINT_ALL); |
| 771 | 2503 debug_out (">"); |
| 428 | 2504 } |
| 2505 else | |
| 2506 { | |
| 771 | 2507 debug_out ("<compiled-function of unknown origin>"); |
| 428 | 2508 } |
| 2509 } | |
| 2510 else | |
| 1346 | 2511 debug_prin1 (*bt->function, EXT_PRINT_ALL); |
| 428 | 2512 first = 0; |
| 2513 length--; | |
| 2514 bt = bt->next; | |
| 2515 } | |
| 771 | 2516 debug_out ("]\n"); |
| 428 | 2517 } |
| 2518 | |
| 2519 | |
| 2520 void | |
| 2521 syms_of_print (void) | |
| 2522 { | |
| 563 | 2523 DEFSYMBOL (Qstandard_output); |
| 428 | 2524 |
| 563 | 2525 DEFSYMBOL (Qprint_length); |
| 428 | 2526 |
| 563 | 2527 DEFSYMBOL (Qprint_string_length); |
| 428 | 2528 |
| 563 | 2529 DEFSYMBOL (Qdisplay_error); |
| 2530 DEFSYMBOL (Qprint_message_label); | |
| 428 | 2531 |
| 2532 DEFSUBR (Fprin1); | |
| 2533 DEFSUBR (Fprin1_to_string); | |
| 2534 DEFSUBR (Fprinc); | |
| 2535 DEFSUBR (Fprint); | |
| 2536 DEFSUBR (Ferror_message_string); | |
| 2537 DEFSUBR (Fdisplay_error); | |
| 2538 DEFSUBR (Fterpri); | |
| 2539 DEFSUBR (Fwrite_char); | |
| 2540 DEFSUBR (Falternate_debugging_output); | |
| 1346 | 2541 DEFSUBR (Fset_device_clear_left_side); |
| 2542 DEFSUBR (Fdevice_left_side_clear_p); | |
| 428 | 2543 DEFSUBR (Fexternal_debugging_output); |
| 2544 DEFSUBR (Fopen_termscript); | |
| 563 | 2545 DEFSYMBOL (Qexternal_debugging_output); |
| 2546 DEFSYMBOL (Qalternate_debugging_output); | |
| 442 | 2547 #ifdef HAVE_MS_WINDOWS |
| 563 | 2548 DEFSYMBOL (Qmswindows_debugging_output); |
| 442 | 2549 #endif |
| 428 | 2550 DEFSUBR (Fwith_output_to_temp_buffer); |
| 2551 } | |
| 2552 | |
| 2553 void | |
| 2554 reinit_vars_of_print (void) | |
| 2555 { | |
| 2556 alternate_do_pointer = 0; | |
| 2557 } | |
| 2558 | |
| 2559 void | |
| 2560 vars_of_print (void) | |
| 2561 { | |
| 2562 DEFVAR_LISP ("standard-output", &Vstandard_output /* | |
| 2563 Output stream `print' uses by default for outputting a character. | |
| 2564 This may be any function of one argument. | |
| 2565 It may also be a buffer (output is inserted before point) | |
| 2566 or a marker (output is inserted and the marker is advanced) | |
| 2567 or the symbol t (output appears in the minibuffer line). | |
| 2568 */ ); | |
| 2569 Vstandard_output = Qt; | |
| 2570 | |
| 2571 DEFVAR_LISP ("float-output-format", &Vfloat_output_format /* | |
| 2572 The format descriptor string that lisp uses to print floats. | |
| 2573 This is a %-spec like those accepted by `printf' in C, | |
| 2574 but with some restrictions. It must start with the two characters `%.'. | |
| 2575 After that comes an integer precision specification, | |
| 2576 and then a letter which controls the format. | |
| 2577 The letters allowed are `e', `f' and `g'. | |
| 2578 Use `e' for exponential notation "DIG.DIGITSeEXPT" | |
| 2579 Use `f' for decimal point notation "DIGITS.DIGITS". | |
| 2580 Use `g' to choose the shorter of those two formats for the number at hand. | |
| 2581 The precision in any of these cases is the number of digits following | |
| 2582 the decimal point. With `f', a precision of 0 means to omit the | |
| 2583 decimal point. 0 is not allowed with `f' or `g'. | |
| 2584 | |
| 2585 A value of nil means to use `%.16g'. | |
| 2586 | |
| 2587 Regardless of the value of `float-output-format', a floating point number | |
| 2588 will never be printed in such a way that it is ambiguous with an integer; | |
| 2589 that is, a floating-point number will always be printed with a decimal | |
| 2590 point and/or an exponent, even if the digits following the decimal point | |
| 2591 are all zero. This is to preserve read-equivalence. | |
| 2592 */ ); | |
| 2593 Vfloat_output_format = Qnil; | |
| 2594 | |
| 2595 DEFVAR_LISP ("print-length", &Vprint_length /* | |
| 2596 Maximum length of list or vector to print before abbreviating. | |
| 2597 A value of nil means no limit. | |
| 2598 */ ); | |
| 2599 Vprint_length = Qnil; | |
| 2600 | |
| 2601 DEFVAR_LISP ("print-string-length", &Vprint_string_length /* | |
| 2602 Maximum length of string to print before abbreviating. | |
| 2603 A value of nil means no limit. | |
| 2604 */ ); | |
| 2605 Vprint_string_length = Qnil; | |
| 2606 | |
| 2607 DEFVAR_LISP ("print-level", &Vprint_level /* | |
| 2608 Maximum depth of list nesting to print before abbreviating. | |
| 2609 A value of nil means no limit. | |
| 2610 */ ); | |
| 2611 Vprint_level = Qnil; | |
| 2612 | |
| 2613 DEFVAR_BOOL ("print-escape-newlines", &print_escape_newlines /* | |
| 2614 Non-nil means print newlines in strings as backslash-n. | |
| 2615 */ ); | |
| 2616 print_escape_newlines = 0; | |
| 2617 | |
| 2618 DEFVAR_BOOL ("print-readably", &print_readably /* | |
| 2619 If non-nil, then all objects will be printed in a readable form. | |
| 2620 If an object has no readable representation, then an error is signalled. | |
| 2621 When print-readably is true, compiled-function objects will be written in | |
| 2622 #[...] form instead of in #<compiled-function [...]> form, and two-element | |
| 2623 lists of the form (quote object) will be written as the equivalent 'object. | |
| 2624 Do not SET this variable; bind it instead. | |
| 2625 */ ); | |
| 2626 print_readably = 0; | |
| 2627 | |
| 2628 /* #### I think this should default to t. But we'd better wait | |
| 2629 until we see that it works out. */ | |
| 2630 DEFVAR_LISP ("print-gensym", &Vprint_gensym /* | |
| 2631 If non-nil, then uninterned symbols will be printed specially. | |
| 2632 Uninterned symbols are those which are not present in `obarray', that is, | |
| 2633 those which were made with `make-symbol' or by calling `intern' with a | |
| 2634 second argument. | |
| 2635 | |
| 2636 When print-gensym is true, such symbols will be preceded by "#:", | |
| 2637 which causes the reader to create a new symbol instead of interning | |
| 2638 and returning an existing one. Beware: the #: syntax creates a new | |
| 2639 symbol each time it is seen, so if you print an object which contains | |
| 2640 two pointers to the same uninterned symbol, `read' will not duplicate | |
| 2641 that structure. | |
| 2642 | |
| 2643 If the value of `print-gensym' is a cons cell, then in addition | |
| 2644 refrain from clearing `print-gensym-alist' on entry to and exit from | |
| 2645 printing functions, so that the use of #...# and #...= can carry over | |
| 2646 for several separately printed objects. | |
| 2647 */ ); | |
| 2648 Vprint_gensym = Qnil; | |
| 2649 | |
| 2650 DEFVAR_LISP ("print-gensym-alist", &Vprint_gensym_alist /* | |
| 2651 Association list of elements (GENSYM . N) to guide use of #N# and #N=. | |
| 2652 In each element, GENSYM is an uninterned symbol that has been associated | |
| 2653 with #N= for the specified value of N. | |
| 2654 */ ); | |
| 2655 Vprint_gensym_alist = Qnil; | |
| 2656 | |
| 2657 DEFVAR_LISP ("print-message-label", &Vprint_message_label /* | |
| 2658 Label for minibuffer messages created with `print'. This should | |
| 2659 generally be bound with `let' rather than set. (See `display-message'.) | |
| 2660 */ ); | |
| 2661 Vprint_message_label = Qprint; | |
| 1957 | 2662 |
| 2663 debug_prin1_bindings = | |
| 2664 make_opaque (OPAQUE_UNINIT, sizeof (struct debug_bindings)); | |
| 2665 staticpro (&debug_prin1_bindings); | |
| 2666 | |
| 2667 alternate_do_size = 5000; | |
| 2668 alternate_do_string = xnew_array(char, 5000); | |
| 428 | 2669 } |