1 /* Lisp object printing and output streams.
2 Copyright (C) 1985, 1986, 1988, 1992-1995 Free Software Foundation, Inc.
3 Copyright (C) 1995, 1996 Ben Wing.
5 This file is part of XEmacs.
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
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
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. */
22 /* Synched up with: Not synched with FSF. */
24 /* This file has been Mule-ized. */
26 /* Seriously hacked on by Ben Wing for Mule. */
31 #include "backtrace.h"
34 #include "console-tty.h"
35 #include "console-stream.h"
44 /* Define if not in float.h */
49 Lisp_Object Vstandard_output, Qstandard_output;
51 /* The subroutine object for external-debugging-output is kept here
52 for the convenience of the debugger. */
53 Lisp_Object Qexternal_debugging_output;
54 Lisp_Object Qalternate_debugging_output;
56 /* Avoid actual stack overflow in print. */
57 static int print_depth;
59 /* Detect most circularities to print finite output. */
60 #define PRINT_CIRCLE 200
61 Lisp_Object being_printed[PRINT_CIRCLE];
63 /* Maximum length of list or vector to print in full; noninteger means
64 effectively infinity */
66 Lisp_Object Vprint_length;
67 Lisp_Object Qprint_length;
69 /* Maximum length of string to print in full; noninteger means
70 effectively infinity */
72 Lisp_Object Vprint_string_length;
73 Lisp_Object Qprint_string_length;
75 /* Maximum depth of list to print in full; noninteger means
76 effectively infinity. */
78 Lisp_Object Vprint_level;
80 /* Label to use when making echo-area messages. */
82 Lisp_Object Vprint_message_label;
84 /* Nonzero means print newlines in strings as \n. */
86 int print_escape_newlines;
89 /* Non-nil means print #: before uninterned symbols.
90 Neither t nor nil means so that and don't clear Vprint_gensym_alist
91 on entry to and exit from print functions. */
92 Lisp_Object Vprint_gensym;
93 Lisp_Object Vprint_gensym_alist;
95 Lisp_Object Qprint_escape_newlines;
96 Lisp_Object Qprint_readably;
98 Lisp_Object Qdisplay_error;
99 Lisp_Object Qprint_message_label;
101 /* Force immediate output of all printed data. Used for debugging. */
102 int print_unbuffered;
104 FILE *termscript; /* Stdio stream being used for copy of all output. */
108 int stdout_needs_newline;
110 /* Write a string (in internal format) to stdio stream STREAM. */
113 write_string_to_stdio_stream (FILE *stream, struct console *con,
115 Bytecount offset, Bytecount len,
116 enum external_data_format fmt)
119 CONST Extbyte *extptr;
121 GET_CHARPTR_EXT_DATA_ALLOCA (str + offset, len, fmt, extptr, extlen);
124 fwrite (extptr, 1, extlen, stream);
126 /* Q122442 says that pipes are "treated as files, not as
127 devices", and that this is a feature. Before I found that
128 article, I thought it was a bug. Thanks MS, I feel much
130 if (stream == stdout || stream == stderr)
136 assert (CONSOLE_TTY_P (con));
137 Lstream_write (XLSTREAM (CONSOLE_TTY_DATA (con)->outstream),
140 if (stream == stdout || stream == stderr ||
141 (!stream && CONSOLE_TTY_DATA (con)->is_stdio))
145 fwrite (extptr, 1, extlen, termscript);
148 stdout_needs_newline = (extptr[extlen - 1] != '\n');
152 /* Write a string to the output location specified in FUNCTION.
153 Arguments NONRELOC, RELOC, OFFSET, and LEN are as in
154 buffer_insert_string_1() in insdel.c. */
157 output_string (Lisp_Object function, CONST Bufbyte *nonreloc,
158 Lisp_Object reloc, Bytecount offset, Bytecount len)
160 /* This function can GC */
162 /* We change the value of nonreloc (fetching it from reloc as
163 necessary), but we don't want to pass this changed value on to
164 other functions that take both a nonreloc and a reloc, or things
165 may get confused and an assertion failure in
166 fixup_internal_substring() may get triggered. */
167 CONST Bufbyte *newnonreloc = nonreloc;
168 struct gcpro gcpro1, gcpro2;
170 /* Emacs won't print while GCing, but an external debugger might */
171 if (gc_in_progress) return;
173 /* Perhaps not necessary but probably safer. */
174 GCPRO2 (function, reloc);
176 fixup_internal_substring (newnonreloc, reloc, offset, &len);
179 newnonreloc = XSTRING_DATA (reloc);
181 cclen = bytecount_to_charcount (newnonreloc + offset, len);
183 if (LSTREAMP (function))
187 /* Protect against Lstream_write() causing a GC and
188 relocating the string. For small strings, we do it by
189 alloc'ing the string and using a copy; for large strings,
193 Bufbyte *copied = alloca_array (Bufbyte, len);
194 memcpy (copied, newnonreloc + offset, len);
195 Lstream_write (XLSTREAM (function), copied, len);
199 int speccount = specpdl_depth ();
200 record_unwind_protect (restore_gc_inhibit,
201 make_int (gc_currently_forbidden));
202 gc_currently_forbidden = 1;
203 Lstream_write (XLSTREAM (function), newnonreloc + offset, len);
204 unbind_to (speccount, Qnil);
208 Lstream_write (XLSTREAM (function), newnonreloc + offset, len);
210 if (print_unbuffered)
211 Lstream_flush (XLSTREAM (function));
213 else if (BUFFERP (function))
215 CHECK_LIVE_BUFFER (function);
216 buffer_insert_string (XBUFFER (function), nonreloc, reloc, offset, len);
218 else if (MARKERP (function))
220 /* marker_position() will err if marker doesn't point anywhere. */
221 Bufpos spoint = marker_position (function);
223 buffer_insert_string_1 (XMARKER (function)->buffer,
224 spoint, nonreloc, reloc, offset, len,
226 Fset_marker (function, make_int (spoint + cclen),
227 Fmarker_buffer (function));
229 else if (FRAMEP (function))
231 /* This gets used by functions not invoking print_prepare(),
232 such as Fwrite_char, Fterpri, etc.. */
233 struct frame *f = XFRAME (function);
234 CHECK_LIVE_FRAME (function);
236 if (!EQ (Vprint_message_label, echo_area_status (f)))
237 clear_echo_area_from_print (f, Qnil, 1);
238 echo_area_append (f, nonreloc, reloc, offset, len, Vprint_message_label);
240 else if (EQ (function, Qt) || EQ (function, Qnil))
242 write_string_to_stdio_stream (stdout, 0, newnonreloc, offset, len,
247 Charcount ccoff = bytecount_to_charcount (newnonreloc, offset);
250 for (iii = ccoff; iii < cclen + ccoff; iii++)
253 make_char (charptr_emchar_n (newnonreloc, iii)));
255 newnonreloc = XSTRING_DATA (reloc);
262 #define RESET_PRINT_GENSYM do { \
263 if (!CONSP (Vprint_gensym)) \
264 Vprint_gensym_alist = Qnil; \
268 canonicalize_printcharfun (Lisp_Object printcharfun)
270 if (NILP (printcharfun))
271 printcharfun = Vstandard_output;
273 if (EQ (printcharfun, Qt) || NILP (printcharfun))
274 printcharfun = Fselected_frame (Qnil); /* print to minibuffer */
280 print_prepare (Lisp_Object printcharfun, Lisp_Object *frame_kludge)
282 /* Emacs won't print while GCing, but an external debugger might */
288 printcharfun = canonicalize_printcharfun (printcharfun);
290 /* Here we could safely return the canonicalized PRINTCHARFUN.
291 However, if PRINTCHARFUN is a frame, printing of complex
292 structures becomes very expensive, because `append-message'
293 (called by echo_area_append) gets called as many times as
294 output_string() is called (and that's a *lot*). append-message
295 tries to keep top of the message-stack in sync with the contents
296 of " *Echo Area" buffer, consing a new string for each component
297 of the printed structure. For instance, if you print (a a),
298 append-message will cons up the following strings:
306 and will use only the last one. With larger objects, this turns
307 into an O(n^2) consing frenzy that locks up XEmacs in incessant
310 We prevent this by creating a resizing_buffer stream and letting
311 the printer write into it. print_finish() will notice this
312 stream, and invoke echo_area_append() with the stream's buffer,
314 if (FRAMEP (printcharfun))
316 CHECK_LIVE_FRAME (printcharfun);
317 *frame_kludge = printcharfun;
318 printcharfun = make_resizing_buffer_output_stream ();
325 print_finish (Lisp_Object stream, Lisp_Object frame_kludge)
327 /* Emacs won't print while GCing, but an external debugger might */
333 /* See the comment in print_prepare(). */
334 if (FRAMEP (frame_kludge))
336 struct frame *f = XFRAME (frame_kludge);
337 Lstream *str = XLSTREAM (stream);
338 CHECK_LIVE_FRAME (frame_kludge);
341 if (!EQ (Vprint_message_label, echo_area_status (f)))
342 clear_echo_area_from_print (f, Qnil, 1);
343 echo_area_append (f, resizing_buffer_stream_ptr (str),
344 Qnil, 0, Lstream_byte_count (str),
345 Vprint_message_label);
346 Lstream_delete (str);
350 /* Used for printing a single-byte character (*not* any Emchar). */
351 #define write_char_internal(string_of_length_1, stream) \
352 output_string (stream, (CONST Bufbyte *) (string_of_length_1), \
355 /* NOTE: Do not call this with the data of a Lisp_String, as
356 printcharfun might cause a GC, which might cause the string's data
357 to be relocated. To princ a Lisp string, use:
359 print_internal (string, printcharfun, 0);
361 Also note that STREAM should be the result of
362 canonicalize_printcharfun() (i.e. Qnil means stdout, not
363 Vstandard_output, etc.) */
365 write_string_1 (CONST Bufbyte *str, Bytecount size, Lisp_Object stream)
367 /* This function can GC */
368 #ifdef ERROR_CHECK_BUFPOS
371 output_string (stream, str, Qnil, 0, size);
375 write_c_string (CONST char *str, Lisp_Object stream)
377 /* This function can GC */
378 write_string_1 ((CONST Bufbyte *) str, strlen (str), stream);
382 DEFUN ("write-char", Fwrite_char, 1, 2, 0, /*
383 Output character CH to stream STREAM.
384 STREAM defaults to the value of `standard-output' (which see).
388 /* This function can GC */
389 Bufbyte str[MAX_EMCHAR_LEN];
392 CHECK_CHAR_COERCE_INT (ch);
393 len = set_charptr_emchar (str, XCHAR (ch));
394 output_string (canonicalize_printcharfun (stream), str, Qnil, 0, len);
399 temp_output_buffer_setup (Lisp_Object bufname)
401 /* This function can GC */
402 struct buffer *old = current_buffer;
406 /* #### This function should accept a Lisp_Object instead of a char *,
407 so that proper translation on the buffer name can occur. */
410 Fset_buffer (Fget_buffer_create (bufname));
412 current_buffer->read_only = Qnil;
413 Ferase_buffer (Qnil);
415 XSETBUFFER (buf, current_buffer);
416 specbind (Qstandard_output, buf);
418 set_buffer_internal (old);
422 internal_with_output_to_temp_buffer (Lisp_Object bufname,
423 Lisp_Object (*function) (Lisp_Object arg),
425 Lisp_Object same_frame)
427 int speccount = specpdl_depth ();
428 struct gcpro gcpro1, gcpro2, gcpro3;
429 Lisp_Object buf = Qnil;
431 GCPRO3 (buf, arg, same_frame);
433 temp_output_buffer_setup (bufname);
434 buf = Vstandard_output;
436 arg = (*function) (arg);
438 temp_output_buffer_show (buf, same_frame);
441 return unbind_to (speccount, arg);
444 DEFUN ("with-output-to-temp-buffer", Fwith_output_to_temp_buffer, 1, UNEVALLED, 0, /*
445 Bind `standard-output' to buffer BUFNAME, eval BODY, then show that buffer.
446 The buffer is cleared out initially, and marked as unmodified when done.
447 All output done by BODY is inserted in that buffer by default.
448 The buffer is displayed in another window, but not selected.
449 The value of the last form in BODY is returned.
450 If BODY does not finish normally, the buffer BUFNAME is not displayed.
452 If variable `temp-buffer-show-function' is non-nil, call it at the end
453 to get the buffer displayed. It gets one argument, the buffer to display.
457 /* This function can GC */
458 Lisp_Object name = Qnil;
459 int speccount = specpdl_depth ();
460 struct gcpro gcpro1, gcpro2;
461 Lisp_Object val = Qnil;
464 /* #### should set the buffer to be translating. See print_internal(). */
468 name = Feval (XCAR (args));
472 temp_output_buffer_setup (name);
475 val = Fprogn (XCDR (args));
477 temp_output_buffer_show (Vstandard_output, Qnil);
479 return unbind_to (speccount, val);
482 DEFUN ("terpri", Fterpri, 0, 1, 0, /*
483 Output a newline to STREAM.
484 If STREAM is omitted or nil, the value of `standard-output' is used.
488 /* This function can GC */
489 write_char_internal ("\n", canonicalize_printcharfun (stream));
493 DEFUN ("prin1", Fprin1, 1, 2, 0, /*
494 Output the printed representation of OBJECT, any Lisp object.
495 Quoting characters are printed when needed to make output that `read'
496 can handle, whenever this is possible.
497 Output stream is STREAM, or value of `standard-output' (which see).
501 /* This function can GC */
502 Lisp_Object frame = Qnil;
503 struct gcpro gcpro1, gcpro2;
504 GCPRO2 (object, stream);
507 stream = print_prepare (stream, &frame);
508 print_internal (object, stream, 1);
509 print_finish (stream, frame);
515 DEFUN ("prin1-to-string", Fprin1_to_string, 1, 2, 0, /*
516 Return a string containing the printed representation of OBJECT,
517 any Lisp object. Quoting characters are used when needed to make output
518 that `read' can handle, whenever this is possible, unless the optional
519 second argument NOESCAPE is non-nil.
523 /* This function can GC */
524 Lisp_Object result = Qnil;
525 Lisp_Object stream = make_resizing_buffer_output_stream ();
526 Lstream *str = XLSTREAM (stream);
527 /* gcpro OBJECT in case a caller forgot to do so */
528 struct gcpro gcpro1, gcpro2, gcpro3;
529 GCPRO3 (object, stream, result);
533 print_internal (object, stream, NILP (noescape));
537 result = make_string (resizing_buffer_stream_ptr (str),
538 Lstream_byte_count (str));
539 Lstream_delete (str);
543 DEFUN ("princ", Fprinc, 1, 2, 0, /*
544 Output the printed representation of OBJECT, any Lisp object.
545 No quoting characters are used; no delimiters are printed around
546 the contents of strings.
547 Output stream is STREAM, or value of standard-output (which see).
551 /* This function can GC */
552 Lisp_Object frame = Qnil;
553 struct gcpro gcpro1, gcpro2;
555 GCPRO2 (object, stream);
556 stream = print_prepare (stream, &frame);
558 print_internal (object, stream, 0);
559 print_finish (stream, frame);
564 DEFUN ("print", Fprint, 1, 2, 0, /*
565 Output the printed representation of OBJECT, with newlines around it.
566 Quoting characters are printed when needed to make output that `read'
567 can handle, whenever this is possible.
568 Output stream is STREAM, or value of `standard-output' (which see).
572 /* This function can GC */
573 Lisp_Object frame = Qnil;
574 struct gcpro gcpro1, gcpro2;
576 GCPRO2 (object, stream);
577 stream = print_prepare (stream, &frame);
579 write_char_internal ("\n", stream);
580 print_internal (object, stream, 1);
581 write_char_internal ("\n", stream);
582 print_finish (stream, frame);
587 /* Print an error message for the error DATA to STREAM. This is a
588 complete implementation of `display-error', which used to be in
589 Lisp (see prim/cmdloop.el). It was ported to C so it can be used
590 efficiently by Ferror_message_string. Fdisplay_error and
591 Ferror_message_string are trivial wrappers around this function.
593 STREAM should be the result of canonicalize_printcharfun(). */
595 print_error_message (Lisp_Object error_object, Lisp_Object stream)
597 /* This function can GC */
598 Lisp_Object type = Fcar_safe (error_object);
599 Lisp_Object method = Qnil;
602 /* No need to GCPRO anything under the assumption that ERROR_OBJECT
605 if (! (CONSP (error_object) && SYMBOLP (type)
606 && CONSP (Fget (type, Qerror_conditions, Qnil))))
609 tail = XCDR (error_object);
617 tail = Fget (type, Qerror_conditions, Qnil);
620 if (!(CONSP (tail) && SYMBOLP (XCAR (tail))))
622 else if (!NILP (Fget (XCAR (tail), Qdisplay_error, Qnil)))
624 method = Fget (XCAR (tail), Qdisplay_error, Qnil);
633 int speccount = specpdl_depth ();
635 specbind (Qprint_message_label, Qerror);
636 tail = Fcdr (error_object);
637 if (EQ (type, Qerror))
639 print_internal (Fcar (tail), stream, 0);
644 Lisp_Object errmsg = Fget (type, Qerror_message, Qnil);
646 print_internal (type, stream, 0);
648 print_internal (LISP_GETTEXT (errmsg), stream, 0);
652 write_c_string (first ? ": " : ", ", stream);
653 print_internal (Fcar (tail), stream, 1);
657 unbind_to (speccount, Qnil);
665 write_c_string (GETTEXT ("Peculiar error "), stream);
666 print_internal (error_object, stream, 1);
671 call2 (method, error_object, stream);
675 DEFUN ("error-message-string", Ferror_message_string, 1, 1, 0, /*
676 Convert ERROR-OBJECT to an error message, and return it.
678 The format of ERROR-OBJECT should be (ERROR-SYMBOL . DATA). The
679 message is equivalent to the one that would be issued by
680 `display-error' with the same argument.
684 /* This function can GC */
685 Lisp_Object result = Qnil;
686 Lisp_Object stream = make_resizing_buffer_output_stream ();
690 print_error_message (error_object, stream);
691 Lstream_flush (XLSTREAM (stream));
692 result = make_string (resizing_buffer_stream_ptr (XLSTREAM (stream)),
693 Lstream_byte_count (XLSTREAM (stream)));
694 Lstream_delete (XLSTREAM (stream));
700 DEFUN ("display-error", Fdisplay_error, 2, 2, 0, /*
701 Display ERROR-OBJECT on STREAM in a user-friendly way.
703 (error_object, stream))
705 /* This function can GC */
706 print_error_message (error_object, canonicalize_printcharfun (stream));
711 #ifdef LISP_FLOAT_TYPE
713 Lisp_Object Vfloat_output_format;
714 Lisp_Object Qfloat_output_format;
717 * This buffer should be at least as large as the max string size of the
718 * largest float, printed in the biggest notation. This is undoubtably
719 * 20d float_output_format, with the negative of the C-constant "HUGE"
722 * On the vax the worst case is -1e38 in 20d format which takes 61 bytes.
724 * I assume that IEEE-754 format numbers can take 329 bytes for the worst
725 * case of -1e307 in 20d float_output_format. What is one to do (short of
726 * re-writing _doprnt to be more sane)?
730 float_to_string (char *buf, double data)
735 if (NILP (Vfloat_output_format)
736 || !STRINGP (Vfloat_output_format))
738 sprintf (buf, "%.16g", data);
741 /* Check that the spec we have is fully valid.
742 This means not only valid for printf,
743 but meant for floats, and reasonable. */
744 cp = XSTRING_DATA (Vfloat_output_format);
752 for (width = 0; (c = *cp, isdigit (c)); cp++)
758 if (*cp != 'e' && *cp != 'f' && *cp != 'g' && *cp != 'E' && *cp != 'G')
761 if (width < (int) (*cp != 'e' && *cp != 'E') || width > DBL_DIG)
767 sprintf (buf, (char *) XSTRING_DATA (Vfloat_output_format),
771 /* added by jwz: don't allow "1.0" to print as "1"; that destroys
772 the read-equivalence of lisp objects. (* x 1) and (* x 1.0) do
773 not do the same thing, so it's important that the printed
774 representation of that form not be corrupted by the printer.
777 Bufbyte *s = (Bufbyte *) buf; /* don't use signed chars here!
778 isdigit() can't hack them! */
781 /* if there's a non-digit, then there is a decimal point, or
782 it's in exponential notation, both of which are ok. */
785 /* otherwise, we need to hack it. */
792 /* Some machines print "0.4" as ".4". I don't like that. */
793 if (buf [0] == '.' || (buf [0] == '-' && buf [1] == '.'))
796 for (i = strlen (buf) + 1; i >= 0; i--)
798 buf [(buf [0] == '-' ? 1 : 0)] = '0';
801 #endif /* LISP_FLOAT_TYPE */
803 /* Print NUMBER to BUFFER. The digits are first written in reverse
804 order (the least significant digit first), and are then reversed.
805 This is equivalent to sprintf(buffer, "%ld", number), only much
808 BUFFER should accept 24 bytes. This should suffice for the longest
809 numbers on 64-bit machines. */
811 long_to_string (char *buffer, long number)
823 /* Print the digits to the string. */
826 *p++ = number % 10 + '0';
831 /* And reverse them. */
832 len = p - buffer - 1;
833 for (i = len / 2; i >= 0; i--)
836 buffer[i] = buffer[len - i];
839 buffer[len + 1] = '\0';
843 print_vector_internal (CONST char *start, CONST char *end,
845 Lisp_Object printcharfun, int escapeflag)
847 /* This function can GC */
849 int len = XVECTOR_LENGTH (obj);
851 struct gcpro gcpro1, gcpro2;
852 GCPRO2 (obj, printcharfun);
854 if (INTP (Vprint_length))
856 int max = XINT (Vprint_length);
857 if (max < len) last = max;
860 write_c_string (start, printcharfun);
861 for (i = 0; i < last; i++)
863 Lisp_Object elt = XVECTOR_DATA (obj)[i];
864 if (i != 0) write_char_internal (" ", printcharfun);
865 print_internal (elt, printcharfun, escapeflag);
869 write_c_string (" ...", printcharfun);
870 write_c_string (end, printcharfun);
874 print_cons (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag)
876 /* This function can GC */
877 struct gcpro gcpro1, gcpro2;
879 /* If print_readably is on, print (quote -foo-) as '-foo-
880 (Yeah, this should really be what print-pretty does, but we
881 don't have the rest of a pretty printer, and this actually
882 has non-negligible impact on size/speed of .elc files.)
884 if (print_readably &&
885 EQ (XCAR (obj), Qquote) &&
886 CONSP (XCDR (obj)) &&
887 NILP (XCDR (XCDR (obj))))
889 obj = XCAR (XCDR (obj));
890 GCPRO2 (obj, printcharfun);
891 write_char_internal ("\'", printcharfun);
893 print_internal (obj, printcharfun, escapeflag);
897 GCPRO2 (obj, printcharfun);
898 write_char_internal ("(", printcharfun);
902 int max = INTP (Vprint_length) ? XINT (Vprint_length) : INT_MAX;
903 Lisp_Object tortoise;
904 /* Use tortoise/hare to make sure circular lists don't infloop */
906 for (tortoise = obj, len = 0;
908 obj = XCDR (obj), len++)
911 write_char_internal (" ", printcharfun);
912 if (EQ (obj, tortoise) && len > 0)
915 error ("printing unreadable circular list");
917 write_c_string ("... <circular list>", printcharfun);
921 tortoise = XCDR (tortoise);
924 write_c_string ("...", printcharfun);
927 print_internal (XCAR (obj), printcharfun, escapeflag);
932 write_c_string (" . ", printcharfun);
933 print_internal (obj, printcharfun, escapeflag);
937 write_char_internal (")", printcharfun);
942 print_vector (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag)
944 print_vector_internal ("[", "]", obj, printcharfun, escapeflag);
948 print_string (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag)
950 struct Lisp_String *s = XSTRING (obj);
951 /* We distinguish between Bytecounts and Charcounts, to make
952 Vprint_string_length work correctly under Mule. */
953 Charcount size = string_char_length (s);
954 Charcount max = size;
955 Bytecount bcmax = string_length (s);
956 struct gcpro gcpro1, gcpro2;
957 GCPRO2 (obj, printcharfun);
959 if (INTP (Vprint_string_length) &&
960 XINT (Vprint_string_length) < max)
962 max = XINT (Vprint_string_length);
963 bcmax = charcount_to_bytecount (string_data (s), max);
973 /* This deals with GC-relocation and Mule. */
974 output_string (printcharfun, 0, obj, 0, bcmax);
976 write_c_string (" ...", printcharfun);
980 Bytecount i, last = 0;
982 write_char_internal ("\"", printcharfun);
983 for (i = 0; i < bcmax; i++)
985 Bufbyte ch = string_byte (s, i);
986 if (ch == '\"' || ch == '\\'
987 || (ch == '\n' && print_escape_newlines))
991 output_string (printcharfun, 0, obj, last,
996 write_c_string ("\\n", printcharfun);
1000 write_char_internal ("\\", printcharfun);
1001 /* This is correct for Mule because the
1002 character is either \ or " */
1003 write_char_internal (string_data (s) + i, printcharfun);
1010 output_string (printcharfun, 0, obj, last,
1014 write_c_string (" ...", printcharfun);
1015 write_char_internal ("\"", printcharfun);
1021 default_object_printer (Lisp_Object obj, Lisp_Object printcharfun,
1024 struct lcrecord_header *header =
1025 (struct lcrecord_header *) XPNTR (obj);
1029 error ("printing unreadable object #<%s 0x%x>",
1030 LHEADER_IMPLEMENTATION (&header->lheader)->name,
1033 sprintf (buf, "#<%s 0x%x>",
1034 LHEADER_IMPLEMENTATION (&header->lheader)->name,
1036 write_c_string (buf, printcharfun);
1040 internal_object_printer (Lisp_Object obj, Lisp_Object printcharfun,
1044 sprintf (buf, "#<INTERNAL OBJECT (XEmacs bug?) (%s) 0x%lx>",
1045 XRECORD_LHEADER_IMPLEMENTATION (obj)->name,
1046 (unsigned long) XPNTR (obj));
1047 write_c_string (buf, printcharfun);
1051 print_internal (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag)
1053 /* This function can GC */
1057 /* Emacs won't print while GCing, but an external debugger might */
1058 if (gc_in_progress) return;
1061 /* #### Both input and output streams should have a flag associated
1062 with them indicating whether output to that stream, or strings
1063 read from the stream, get translated using Fgettext(). Such a
1064 stream is called a "translating stream". For the minibuffer and
1065 external-debugging-output this is always true on output, and
1066 with-output-to-temp-buffer sets the flag to true for the buffer
1067 it creates. This flag should also be user-settable. Perhaps it
1068 should be split up into two flags, one for input and one for
1072 /* Detect circularities and truncate them.
1073 No need to offer any alternative--this is better than an error. */
1074 if (CONSP (obj) || VECTORP (obj) || COMPILED_FUNCTIONP (obj))
1077 for (i = 0; i < print_depth; i++)
1078 if (EQ (obj, being_printed[i]))
1082 long_to_string (buf + 1, i);
1083 write_c_string (buf, printcharfun);
1088 being_printed[print_depth] = obj;
1091 if (print_depth > PRINT_CIRCLE)
1092 error ("Apparently circular structure being printed");
1094 switch (XTYPE (obj))
1096 case Lisp_Type_Int_Even:
1097 case Lisp_Type_Int_Odd:
1100 long_to_string (buf, XINT (obj));
1101 write_c_string (buf, printcharfun);
1105 case Lisp_Type_Char:
1107 /* God intended that this be #\..., you know. */
1109 Emchar ch = XCHAR (obj);
1113 *p++ = '\\', *p++ = 'n';
1114 else if (ch == '\r')
1115 *p++ = '\\', *p++ = 'r';
1116 else if (ch == '\t')
1117 *p++ = '\\', *p++ = 't';
1120 *p++ = '\\', *p++ = '^';
1122 if ((ch + 64) == '\\')
1126 *p++ = '\\', *p++ = '^', *p++ = '?';
1127 else if (ch >= 128 && ch < 160)
1129 *p++ = '\\', *p++ = '^';
1130 p += set_charptr_emchar ((Bufbyte *)p, ch + 64);
1135 && ch != '^') /* must not backslash this or it will
1136 be interpreted as the start of a
1138 *p++ = '\\', *p++ = ch;
1140 p += set_charptr_emchar ((Bufbyte *)p, ch);
1141 output_string (printcharfun, (Bufbyte *)buf, Qnil, 0, p - buf);
1145 case Lisp_Type_Record:
1147 struct lrecord_header *lheader = XRECORD_LHEADER (obj);
1148 struct gcpro gcpro1, gcpro2;
1150 if (CONSP (obj) || VECTORP(obj))
1152 /* If deeper than spec'd depth, print placeholder. */
1153 if (INTP (Vprint_level)
1154 && print_depth > XINT (Vprint_level))
1156 GCPRO2 (obj, printcharfun);
1157 write_c_string ("...", printcharfun);
1163 GCPRO2 (obj, printcharfun);
1164 if (LHEADER_IMPLEMENTATION (lheader)->printer)
1165 ((LHEADER_IMPLEMENTATION (lheader)->printer)
1166 (obj, printcharfun, escapeflag));
1168 default_object_printer (obj, printcharfun, escapeflag);
1175 #ifdef ERROR_CHECK_TYPECHECK
1177 #else /* not ERROR_CHECK_TYPECHECK */
1179 /* We're in trouble if this happens! */
1181 error ("printing illegal data type #o%03o",
1183 write_c_string ("#<EMACS BUG: ILLEGAL DATATYPE ",
1185 sprintf (buf, "(#o%3o)", (int) XTYPE (obj));
1186 write_c_string (buf, printcharfun);
1188 (" Save your buffers immediately and please report this bug>",
1190 #endif /* not ERROR_CHECK_TYPECHECK */
1199 #ifdef LISP_FLOAT_TYPE
1201 print_float (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag)
1203 char pigbuf[350]; /* see comments in float_to_string */
1205 float_to_string (pigbuf, XFLOAT_DATA (obj));
1206 write_c_string (pigbuf, printcharfun);
1208 #endif /* LISP_FLOAT_TYPE */
1211 print_symbol (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag)
1213 /* This function can GC */
1214 /* #### Bug!! (intern "") isn't printed in some distinguished way */
1215 /* #### (the reader also loses on it) */
1216 struct Lisp_String *name = symbol_name (XSYMBOL (obj));
1217 Bytecount size = string_length (name);
1218 struct gcpro gcpro1, gcpro2;
1222 /* This deals with GC-relocation */
1223 Lisp_Object nameobj;
1224 XSETSTRING (nameobj, name);
1225 output_string (printcharfun, 0, nameobj, 0, size);
1228 GCPRO2 (obj, printcharfun);
1230 /* If we print an uninterned symbol as part of a complex object and
1231 the flag print-gensym is non-nil, prefix it with #n= to read the
1232 object back with the #n# reader syntax later if needed. */
1233 if (!NILP (Vprint_gensym)
1234 /* #### Test whether this produces a noticable slow-down for
1235 printing when print-gensym is non-nil. */
1236 && !EQ (obj, oblookup (Vobarray,
1237 string_data (symbol_name (XSYMBOL (obj))),
1238 string_length (symbol_name (XSYMBOL (obj))))))
1240 if (print_depth > 1)
1242 Lisp_Object tem = Fassq (obj, Vprint_gensym_alist);
1245 write_char_internal ("#", printcharfun);
1246 print_internal (XCDR (tem), printcharfun, escapeflag);
1247 write_char_internal ("#", printcharfun);
1252 if (CONSP (Vprint_gensym_alist))
1254 /* Vprint_gensym_alist is exposed to Lisp, so we
1255 have to be careful. */
1256 CHECK_CONS (XCAR (Vprint_gensym_alist));
1257 CHECK_INT (XCDR (XCAR (Vprint_gensym_alist)));
1258 XSETINT (tem, XINT (XCDR (XCAR (Vprint_gensym_alist))) + 1);
1262 Vprint_gensym_alist = Fcons (Fcons (obj, tem), Vprint_gensym_alist);
1264 write_char_internal ("#", printcharfun);
1265 print_internal (tem, printcharfun, escapeflag);
1266 write_char_internal ("=", printcharfun);
1269 write_c_string ("#:", printcharfun);
1272 /* Does it look like an integer or a float? */
1274 Bufbyte *data = string_data (name);
1275 Bytecount confusing = 0;
1278 goto not_yet_confused; /* Really confusing */
1279 else if (isdigit (data[0]))
1282 goto not_yet_confused;
1283 else if (data[0] == '-' || data[0] == '+')
1286 goto not_yet_confused;
1288 for (; confusing < size; confusing++)
1290 if (!isdigit (data[confusing]))
1298 #ifdef LISP_FLOAT_TYPE
1300 /* #### Ugh, this is needlessly complex and slow for what we
1301 need here. It might be a good idea to copy equivalent code
1302 from FSF. --hniksic */
1303 confusing = isfloat_string ((char *) data);
1306 write_char_internal ("\\", printcharfun);
1310 Lisp_Object nameobj;
1314 XSETSTRING (nameobj, name);
1315 for (i = 0; i < size; i++)
1317 switch (string_byte (name, i))
1319 case 0: case 1: case 2: case 3:
1320 case 4: case 5: case 6: case 7:
1321 case 8: case 9: case 10: case 11:
1322 case 12: case 13: case 14: case 15:
1323 case 16: case 17: case 18: case 19:
1324 case 20: case 21: case 22: case 23:
1325 case 24: case 25: case 26: case 27:
1326 case 28: case 29: case 30: case 31:
1327 case ' ': case '\"': case '\\': case '\'':
1328 case ';': case '#' : case '(' : case ')':
1329 case ',': case '.' : case '`' :
1330 case '[': case ']' : case '?' :
1332 output_string (printcharfun, 0, nameobj, last, i - last);
1333 write_char_internal ("\\", printcharfun);
1337 output_string (printcharfun, 0, nameobj, last, size - last);
1342 /* #ifdef DEBUG_XEMACS */
1344 /* I don't like seeing `Note: Strange doc (not fboundp) for function
1345 alternate-debugging-output @ 429542' -slb */
1346 /* #### Eek! Any clue how to get rid of it? In fact, how about
1347 getting rid of this function altogether? Does anything actually
1348 *use* it? --hniksic */
1350 int alternate_do_pointer;
1351 char alternate_do_string[5000];
1353 DEFUN ("alternate-debugging-output", Falternate_debugging_output, 1, 1, 0, /*
1354 Append CHARACTER to the array `alternate_do_string'.
1355 This can be used in place of `external-debugging-output' as a function
1356 to be passed to `print'. Before calling `print', set `alternate_do_pointer'
1361 Bufbyte str[MAX_EMCHAR_LEN];
1364 CONST Extbyte *extptr;
1366 CHECK_CHAR_COERCE_INT (character);
1367 len = set_charptr_emchar (str, XCHAR (character));
1368 GET_CHARPTR_EXT_DATA_ALLOCA (str, len, FORMAT_TERMINAL, extptr, extlen);
1369 memcpy (alternate_do_string + alternate_do_pointer, extptr, extlen);
1370 alternate_do_pointer += extlen;
1371 alternate_do_string[alternate_do_pointer] = 0;
1374 /* #endif / * DEBUG_XEMACS */
1376 DEFUN ("external-debugging-output", Fexternal_debugging_output, 1, 3, 0, /*
1377 Write CHAR-OR-STRING to stderr or stdout.
1378 If optional arg STDOUT-P is non-nil, write to stdout; otherwise, write
1379 to stderr. You can use this function to write directly to the terminal.
1380 This function can be used as the STREAM argument of Fprint() or the like.
1382 If you have opened a termscript file (using `open-termscript'), then
1383 the output also will be logged to this file.
1385 (char_or_string, stdout_p, device))
1388 struct console *con = 0;
1392 if (!NILP (stdout_p))
1399 CHECK_LIVE_DEVICE (device);
1400 if (!DEVICE_TTY_P (XDEVICE (device)) &&
1401 !DEVICE_STREAM_P (XDEVICE (device)))
1402 signal_simple_error ("Must be tty or stream device", device);
1403 con = XCONSOLE (DEVICE_CONSOLE (XDEVICE (device)));
1404 if (DEVICE_TTY_P (XDEVICE (device)))
1406 else if (!NILP (stdout_p))
1407 file = CONSOLE_STREAM_DATA (con)->out;
1409 file = CONSOLE_STREAM_DATA (con)->err;
1412 if (STRINGP (char_or_string))
1413 write_string_to_stdio_stream (file, con,
1414 XSTRING_DATA (char_or_string),
1415 0, XSTRING_LENGTH (char_or_string),
1419 Bufbyte str[MAX_EMCHAR_LEN];
1422 CHECK_CHAR_COERCE_INT (char_or_string);
1423 len = set_charptr_emchar (str, XCHAR (char_or_string));
1424 write_string_to_stdio_stream (file, con, str, 0, len, FORMAT_TERMINAL);
1427 return char_or_string;
1430 DEFUN ("open-termscript", Fopen_termscript, 1, 1, "FOpen termscript file: ", /*
1431 Start writing all terminal output to FILE as well as the terminal.
1432 FILE = nil means just close any termscript file currently open.
1436 /* This function can GC */
1437 if (termscript != 0)
1438 fclose (termscript);
1443 file = Fexpand_file_name (file, Qnil);
1444 termscript = fopen ((char *) XSTRING_DATA (file), "w");
1445 if (termscript == NULL)
1446 report_file_error ("Opening termscript", list1 (file));
1452 /* Debugging kludge -- unbuffered */
1453 static int debug_print_length = 50;
1454 static int debug_print_level = 15;
1455 Lisp_Object debug_temp;
1458 debug_print_no_newline (Lisp_Object debug_print_obj)
1460 /* This function can GC */
1461 int old_print_readably = print_readably;
1462 int old_print_depth = print_depth;
1463 Lisp_Object old_print_length = Vprint_length;
1464 Lisp_Object old_print_level = Vprint_level;
1465 Lisp_Object old_inhibit_quit = Vinhibit_quit;
1466 struct gcpro gcpro1, gcpro2, gcpro3;
1467 GCPRO3 (old_print_level, old_print_length, old_inhibit_quit);
1470 stderr_out ("** gc-in-progress! Bad idea to print anything! **\n");
1475 /* Could use unwind-protect, but why bother? */
1476 if (debug_print_length > 0)
1477 Vprint_length = make_int (debug_print_length);
1478 if (debug_print_level > 0)
1479 Vprint_level = make_int (debug_print_level);
1480 print_internal (debug_print_obj, Qexternal_debugging_output, 1);
1481 Vinhibit_quit = old_inhibit_quit;
1482 Vprint_level = old_print_level;
1483 Vprint_length = old_print_length;
1484 print_depth = old_print_depth;
1485 print_readably = old_print_readably;
1491 debug_print (Lisp_Object debug_print_obj)
1493 debug_print_no_newline (debug_print_obj);
1498 /* Debugging kludge -- unbuffered */
1499 /* This function provided for the benefit of the debugger. */
1500 void debug_backtrace (void);
1502 debug_backtrace (void)
1504 /* This function can GC */
1505 int old_print_readably = print_readably;
1506 int old_print_depth = print_depth;
1507 Lisp_Object old_print_length = Vprint_length;
1508 Lisp_Object old_print_level = Vprint_level;
1509 Lisp_Object old_inhibit_quit = Vinhibit_quit;
1511 struct gcpro gcpro1, gcpro2, gcpro3;
1512 GCPRO3 (old_print_level, old_print_length, old_inhibit_quit);
1515 stderr_out ("** gc-in-progress! Bad idea to print anything! **\n");
1520 /* Could use unwind-protect, but why bother? */
1521 if (debug_print_length > 0)
1522 Vprint_length = make_int (debug_print_length);
1523 if (debug_print_level > 0)
1524 Vprint_level = make_int (debug_print_level);
1526 Fbacktrace (Qexternal_debugging_output, Qt);
1530 Vinhibit_quit = old_inhibit_quit;
1531 Vprint_level = old_print_level;
1532 Vprint_length = old_print_length;
1533 print_depth = old_print_depth;
1534 print_readably = old_print_readably;
1541 debug_short_backtrace (int length)
1544 struct backtrace *bt = backtrace_list;
1547 while (length > 0 && bt)
1554 if (COMPILED_FUNCTIONP (*bt->function))
1556 #if defined(COMPILED_FUNCTION_ANNOTATION_HACK)
1558 compiled_function_annotation (XCOMPILED_FUNCTION (*bt->function));
1560 Lisp_Object ann = Qnil;
1564 stderr_out ("<compiled-function from ");
1566 debug_print_no_newline (ann);
1572 stderr_out ("<compiled-function of unknown origin>");
1577 debug_print_no_newline (*bt->function);
1586 #endif /* debugging kludge */
1590 syms_of_print (void)
1592 defsymbol (&Qprint_escape_newlines, "print-escape-newlines");
1593 defsymbol (&Qprint_readably, "print-readably");
1595 defsymbol (&Qstandard_output, "standard-output");
1597 #ifdef LISP_FLOAT_TYPE
1598 defsymbol (&Qfloat_output_format, "float-output-format");
1601 defsymbol (&Qprint_length, "print-length");
1603 defsymbol (&Qprint_string_length, "print-string-length");
1605 defsymbol (&Qdisplay_error, "display-error");
1606 defsymbol (&Qprint_message_label, "print-message-label");
1609 DEFSUBR (Fprin1_to_string);
1612 DEFSUBR (Ferror_message_string);
1613 DEFSUBR (Fdisplay_error);
1615 DEFSUBR (Fwrite_char);
1616 DEFSUBR (Falternate_debugging_output);
1617 defsymbol (&Qalternate_debugging_output, "alternate-debugging-output");
1618 DEFSUBR (Fexternal_debugging_output);
1619 DEFSUBR (Fopen_termscript);
1620 defsymbol (&Qexternal_debugging_output, "external-debugging-output");
1621 DEFSUBR (Fwith_output_to_temp_buffer);
1625 vars_of_print (void)
1627 alternate_do_pointer = 0;
1629 DEFVAR_LISP ("standard-output", &Vstandard_output /*
1630 Output stream `print' uses by default for outputting a character.
1631 This may be any function of one argument.
1632 It may also be a buffer (output is inserted before point)
1633 or a marker (output is inserted and the marker is advanced)
1634 or the symbol t (output appears in the minibuffer line).
1636 Vstandard_output = Qt;
1638 #ifdef LISP_FLOAT_TYPE
1639 DEFVAR_LISP ("float-output-format", &Vfloat_output_format /*
1640 The format descriptor string that lisp uses to print floats.
1641 This is a %-spec like those accepted by `printf' in C,
1642 but with some restrictions. It must start with the two characters `%.'.
1643 After that comes an integer precision specification,
1644 and then a letter which controls the format.
1645 The letters allowed are `e', `f' and `g'.
1646 Use `e' for exponential notation "DIG.DIGITSeEXPT"
1647 Use `f' for decimal point notation "DIGITS.DIGITS".
1648 Use `g' to choose the shorter of those two formats for the number at hand.
1649 The precision in any of these cases is the number of digits following
1650 the decimal point. With `f', a precision of 0 means to omit the
1651 decimal point. 0 is not allowed with `f' or `g'.
1653 A value of nil means to use `%.16g'.
1655 Regardless of the value of `float-output-format', a floating point number
1656 will never be printed in such a way that it is ambiguous with an integer;
1657 that is, a floating-point number will always be printed with a decimal
1658 point and/or an exponent, even if the digits following the decimal point
1659 are all zero. This is to preserve read-equivalence.
1661 Vfloat_output_format = Qnil;
1662 #endif /* LISP_FLOAT_TYPE */
1664 DEFVAR_LISP ("print-length", &Vprint_length /*
1665 Maximum length of list or vector to print before abbreviating.
1666 A value of nil means no limit.
1668 Vprint_length = Qnil;
1670 DEFVAR_LISP ("print-string-length", &Vprint_string_length /*
1671 Maximum length of string to print before abbreviating.
1672 A value of nil means no limit.
1674 Vprint_string_length = Qnil;
1676 DEFVAR_LISP ("print-level", &Vprint_level /*
1677 Maximum depth of list nesting to print before abbreviating.
1678 A value of nil means no limit.
1680 Vprint_level = Qnil;
1682 DEFVAR_BOOL ("print-escape-newlines", &print_escape_newlines /*
1683 Non-nil means print newlines in strings as backslash-n.
1685 print_escape_newlines = 0;
1687 DEFVAR_BOOL ("print-readably", &print_readably /*
1688 If non-nil, then all objects will be printed in a readable form.
1689 If an object has no readable representation, then an error is signalled.
1690 When print-readably is true, compiled-function objects will be written in
1691 #[...] form instead of in #<compiled-function [...]> form, and two-element
1692 lists of the form (quote object) will be written as the equivalent 'object.
1693 Do not SET this variable; bind it instead.
1697 /* #### I think this should default to t. But we'd better wait
1698 until we see that it works out. */
1699 DEFVAR_LISP ("print-gensym", &Vprint_gensym /*
1700 If non-nil, then uninterned symbols will be printed specially.
1701 Uninterned symbols are those which are not present in `obarray', that is,
1702 those which were made with `make-symbol' or by calling `intern' with a
1705 When print-gensym is true, such symbols will be preceded by "#:",
1706 which causes the reader to create a new symbol instead of interning
1707 and returning an existing one. Beware: the #: syntax creates a new
1708 symbol each time it is seen, so if you print an object which contains
1709 two pointers to the same uninterned symbol, `read' will not duplicate
1712 If the value of `print-gensym' is a cons cell, then in addition
1713 refrain from clearing `print-gensym-alist' on entry to and exit from
1714 printing functions, so that the use of #...# and #...= can carry over
1715 for several separately printed objects.
1717 Vprint_gensym = Qnil;
1719 DEFVAR_LISP ("print-gensym-alist", &Vprint_gensym_alist /*
1720 Association list of elements (GENSYM . N) to guide use of #N# and #N=.
1721 In each element, GENSYM is an uninterned symbol that has been associated
1722 with #N= for the specified value of N.
1724 Vprint_gensym_alist = Qnil;
1726 DEFVAR_LISP ("print-message-label", &Vprint_message_label /*
1727 Label for minibuffer messages created with `print'. This should
1728 generally be bound with `let' rather than set. (See `display-message'.)
1730 Vprint_message_label = Qprint;