*** empty log message ***
[emacs.git] / src / print.c
blob6c85c24cbe538d21768dd656af071ad44046d9b8
1 /* Lisp object printing and output streams.
2 Copyright (C) 1985, 86, 88, 93, 94, 95, 97, 98, 1999, 2000, 2001
3 Free Software Foundation, Inc.
5 This file is part of GNU Emacs.
7 GNU Emacs is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs; see the file COPYING. If not, write to
19 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
23 #include <config.h>
24 #include <stdio.h>
25 #include "lisp.h"
26 #include "buffer.h"
27 #include "charset.h"
28 #include "keyboard.h"
29 #include "frame.h"
30 #include "window.h"
31 #include "process.h"
32 #include "dispextern.h"
33 #include "termchar.h"
34 #include "intervals.h"
36 Lisp_Object Vstandard_output, Qstandard_output;
38 Lisp_Object Qtemp_buffer_setup_hook;
40 /* These are used to print like we read. */
41 extern Lisp_Object Qbackquote, Qcomma, Qcomma_at, Qcomma_dot, Qfunction;
43 Lisp_Object Vfloat_output_format, Qfloat_output_format;
45 /* Work around a problem that happens because math.h on hpux 7
46 defines two static variables--which, in Emacs, are not really static,
47 because `static' is defined as nothing. The problem is that they are
48 defined both here and in lread.c.
49 These macros prevent the name conflict. */
50 #if defined (HPUX) && !defined (HPUX8)
51 #define _MAXLDBL print_maxldbl
52 #define _NMAXLDBL print_nmaxldbl
53 #endif
55 #include <math.h>
57 #if STDC_HEADERS
58 #include <float.h>
59 #endif
61 /* Default to values appropriate for IEEE floating point. */
62 #ifndef FLT_RADIX
63 #define FLT_RADIX 2
64 #endif
65 #ifndef DBL_MANT_DIG
66 #define DBL_MANT_DIG 53
67 #endif
68 #ifndef DBL_DIG
69 #define DBL_DIG 15
70 #endif
71 #ifndef DBL_MIN
72 #define DBL_MIN 2.2250738585072014e-308
73 #endif
75 #ifdef DBL_MIN_REPLACEMENT
76 #undef DBL_MIN
77 #define DBL_MIN DBL_MIN_REPLACEMENT
78 #endif
80 /* Define DOUBLE_DIGITS_BOUND, an upper bound on the number of decimal digits
81 needed to express a float without losing information.
82 The general-case formula is valid for the usual case, IEEE floating point,
83 but many compilers can't optimize the formula to an integer constant,
84 so make a special case for it. */
85 #if FLT_RADIX == 2 && DBL_MANT_DIG == 53
86 #define DOUBLE_DIGITS_BOUND 17 /* IEEE floating point */
87 #else
88 #define DOUBLE_DIGITS_BOUND ((int) ceil (log10 (pow (FLT_RADIX, DBL_MANT_DIG))))
89 #endif
91 /* Avoid actual stack overflow in print. */
92 int print_depth;
94 /* Nonzero if inside outputting backquote in old style. */
95 int old_backquote_output;
97 /* Detect most circularities to print finite output. */
98 #define PRINT_CIRCLE 200
99 Lisp_Object being_printed[PRINT_CIRCLE];
101 /* When printing into a buffer, first we put the text in this
102 block, then insert it all at once. */
103 char *print_buffer;
105 /* Size allocated in print_buffer. */
106 int print_buffer_size;
107 /* Chars stored in print_buffer. */
108 int print_buffer_pos;
109 /* Bytes stored in print_buffer. */
110 int print_buffer_pos_byte;
112 /* Maximum length of list to print in full; noninteger means
113 effectively infinity */
115 Lisp_Object Vprint_length;
117 /* Maximum depth of list to print in full; noninteger means
118 effectively infinity. */
120 Lisp_Object Vprint_level;
122 /* Nonzero means print newlines in strings as \n. */
124 int print_escape_newlines;
126 /* Nonzero means to print single-byte non-ascii characters in strings as
127 octal escapes. */
129 int print_escape_nonascii;
131 /* Nonzero means to print multibyte characters in strings as hex escapes. */
133 int print_escape_multibyte;
135 Lisp_Object Qprint_escape_newlines;
136 Lisp_Object Qprint_escape_multibyte, Qprint_escape_nonascii;
138 /* Nonzero means print (quote foo) forms as 'foo, etc. */
140 int print_quoted;
142 /* Non-nil means print #: before uninterned symbols. */
144 Lisp_Object Vprint_gensym;
146 /* Non-nil means print recursive structures using #n= and #n# syntax. */
148 Lisp_Object Vprint_circle;
150 /* Non-nil means keep continuous number for #n= and #n# syntax
151 between several print functions. */
153 Lisp_Object Vprint_continuous_numbering;
155 /* Vprint_number_table is a vector like [OBJ1 STAT1 OBJ2 STAT2 ...],
156 where OBJn are objects going to be printed, and STATn are their status,
157 which may be different meanings during process. See the comments of
158 the functions print and print_preprocess for details.
159 print_number_index keeps the last position the next object should be added,
160 twice of which is the actual vector position in Vprint_number_table. */
161 int print_number_index;
162 Lisp_Object Vprint_number_table;
164 /* PRINT_NUMBER_OBJECT returns the I'th object in Vprint_number_table TABLE.
165 PRINT_NUMBER_STATUS returns the status of the I'th object in TABLE.
166 See the comment of the variable Vprint_number_table. */
167 #define PRINT_NUMBER_OBJECT(table,i) XVECTOR ((table))->contents[(i) * 2]
168 #define PRINT_NUMBER_STATUS(table,i) XVECTOR ((table))->contents[(i) * 2 + 1]
170 /* Nonzero means print newline to stdout before next minibuffer message.
171 Defined in xdisp.c */
173 extern int noninteractive_need_newline;
175 extern int minibuffer_auto_raise;
177 #ifdef MAX_PRINT_CHARS
178 static int print_chars;
179 static int max_print;
180 #endif /* MAX_PRINT_CHARS */
182 void print_interval ();
185 /* Low level output routines for characters and strings */
187 /* Lisp functions to do output using a stream
188 must have the stream in a variable called printcharfun
189 and must start with PRINTPREPARE, end with PRINTFINISH,
190 and use PRINTDECLARE to declare common variables.
191 Use PRINTCHAR to output one character,
192 or call strout to output a block of characters. */
194 #define PRINTDECLARE \
195 struct buffer *old = current_buffer; \
196 int old_point = -1, start_point = -1; \
197 int old_point_byte = -1, start_point_byte = -1; \
198 int specpdl_count = SPECPDL_INDEX (); \
199 int free_print_buffer = 0; \
200 int multibyte = !NILP (current_buffer->enable_multibyte_characters); \
201 Lisp_Object original
203 #define PRINTPREPARE \
204 original = printcharfun; \
205 if (NILP (printcharfun)) printcharfun = Qt; \
206 if (BUFFERP (printcharfun)) \
208 if (XBUFFER (printcharfun) != current_buffer) \
209 Fset_buffer (printcharfun); \
210 printcharfun = Qnil; \
212 if (MARKERP (printcharfun)) \
214 if (!(XMARKER (original)->buffer)) \
215 error ("Marker does not point anywhere"); \
216 if (XMARKER (original)->buffer != current_buffer) \
217 set_buffer_internal (XMARKER (original)->buffer); \
218 old_point = PT; \
219 old_point_byte = PT_BYTE; \
220 SET_PT_BOTH (marker_position (printcharfun), \
221 marker_byte_position (printcharfun)); \
222 start_point = PT; \
223 start_point_byte = PT_BYTE; \
224 printcharfun = Qnil; \
226 if (NILP (printcharfun)) \
228 Lisp_Object string; \
229 if (NILP (current_buffer->enable_multibyte_characters) \
230 && ! print_escape_multibyte) \
231 specbind (Qprint_escape_multibyte, Qt); \
232 if (! NILP (current_buffer->enable_multibyte_characters) \
233 && ! print_escape_nonascii) \
234 specbind (Qprint_escape_nonascii, Qt); \
235 if (print_buffer != 0) \
237 string = make_string_from_bytes (print_buffer, \
238 print_buffer_pos, \
239 print_buffer_pos_byte); \
240 record_unwind_protect (print_unwind, string); \
242 else \
244 print_buffer_size = 1000; \
245 print_buffer = (char *) xmalloc (print_buffer_size); \
246 free_print_buffer = 1; \
248 print_buffer_pos = 0; \
249 print_buffer_pos_byte = 0; \
251 if (EQ (printcharfun, Qt) && ! noninteractive) \
252 setup_echo_area_for_printing (multibyte);
254 #define PRINTFINISH \
255 if (NILP (printcharfun)) \
257 if (print_buffer_pos != print_buffer_pos_byte \
258 && NILP (current_buffer->enable_multibyte_characters)) \
260 unsigned char *temp \
261 = (unsigned char *) alloca (print_buffer_pos + 1); \
262 copy_text (print_buffer, temp, print_buffer_pos_byte, \
263 1, 0); \
264 insert_1_both (temp, print_buffer_pos, \
265 print_buffer_pos, 0, 1, 0); \
267 else \
268 insert_1_both (print_buffer, print_buffer_pos, \
269 print_buffer_pos_byte, 0, 1, 0); \
271 if (free_print_buffer) \
273 xfree (print_buffer); \
274 print_buffer = 0; \
276 unbind_to (specpdl_count, Qnil); \
277 if (MARKERP (original)) \
278 set_marker_both (original, Qnil, PT, PT_BYTE); \
279 if (old_point >= 0) \
280 SET_PT_BOTH (old_point + (old_point >= start_point \
281 ? PT - start_point : 0), \
282 old_point_byte + (old_point_byte >= start_point_byte \
283 ? PT_BYTE - start_point_byte : 0)); \
284 if (old != current_buffer) \
285 set_buffer_internal (old);
287 #define PRINTCHAR(ch) printchar (ch, printcharfun)
289 /* This is used to restore the saved contents of print_buffer
290 when there is a recursive call to print. */
292 static Lisp_Object
293 print_unwind (saved_text)
294 Lisp_Object saved_text;
296 bcopy (SDATA (saved_text), print_buffer, SCHARS (saved_text));
297 return Qnil;
301 /* Print character CH using method FUN. FUN nil means print to
302 print_buffer. FUN t means print to echo area or stdout if
303 non-interactive. If FUN is neither nil nor t, call FUN with CH as
304 argument. */
306 static void
307 printchar (ch, fun)
308 unsigned int ch;
309 Lisp_Object fun;
311 #ifdef MAX_PRINT_CHARS
312 if (max_print)
313 print_chars++;
314 #endif /* MAX_PRINT_CHARS */
316 if (!NILP (fun) && !EQ (fun, Qt))
317 call1 (fun, make_number (ch));
318 else
320 unsigned char str[MAX_MULTIBYTE_LENGTH];
321 int len = CHAR_STRING (ch, str);
323 QUIT;
325 if (NILP (fun))
327 if (print_buffer_pos_byte + len >= print_buffer_size)
328 print_buffer = (char *) xrealloc (print_buffer,
329 print_buffer_size *= 2);
330 bcopy (str, print_buffer + print_buffer_pos_byte, len);
331 print_buffer_pos += 1;
332 print_buffer_pos_byte += len;
334 else if (noninteractive)
336 fwrite (str, 1, len, stdout);
337 noninteractive_need_newline = 1;
339 else
341 int multibyte_p
342 = !NILP (current_buffer->enable_multibyte_characters);
344 setup_echo_area_for_printing (multibyte_p);
345 insert_char (ch);
346 message_dolog (str, len, 0, multibyte_p);
352 /* Output SIZE characters, SIZE_BYTE bytes from string PTR using
353 method PRINTCHARFUN. If SIZE < 0, use the string length of PTR for
354 both SIZE and SIZE_BYTE. PRINTCHARFUN nil means output to
355 print_buffer. PRINTCHARFUN t means output to the echo area or to
356 stdout if non-interactive. If neither nil nor t, call Lisp
357 function PRINTCHARFUN for each character printed. MULTIBYTE
358 non-zero means PTR contains multibyte characters. */
360 static void
361 strout (ptr, size, size_byte, printcharfun, multibyte)
362 char *ptr;
363 int size, size_byte;
364 Lisp_Object printcharfun;
365 int multibyte;
367 if (size < 0)
368 size_byte = size = strlen (ptr);
370 if (NILP (printcharfun))
372 if (print_buffer_pos_byte + size_byte > print_buffer_size)
374 print_buffer_size = print_buffer_size * 2 + size_byte;
375 print_buffer = (char *) xrealloc (print_buffer,
376 print_buffer_size);
378 bcopy (ptr, print_buffer + print_buffer_pos_byte, size_byte);
379 print_buffer_pos += size;
380 print_buffer_pos_byte += size_byte;
382 #ifdef MAX_PRINT_CHARS
383 if (max_print)
384 print_chars += size;
385 #endif /* MAX_PRINT_CHARS */
387 else if (noninteractive && EQ (printcharfun, Qt))
389 fwrite (ptr, 1, size_byte, stdout);
390 noninteractive_need_newline = 1;
392 else if (EQ (printcharfun, Qt))
394 /* Output to echo area. We're trying to avoid a little overhead
395 here, that's the reason we don't call printchar to do the
396 job. */
397 int i;
398 int multibyte_p
399 = !NILP (current_buffer->enable_multibyte_characters);
401 setup_echo_area_for_printing (multibyte_p);
402 message_dolog (ptr, size_byte, 0, multibyte_p);
404 if (size == size_byte)
406 for (i = 0; i < size; ++i)
407 insert_char ((unsigned char )*ptr++);
409 else
411 int len;
412 for (i = 0; i < size_byte; i += len)
414 int ch = STRING_CHAR_AND_LENGTH (ptr + i, size_byte - i, len);
415 insert_char (ch);
419 #ifdef MAX_PRINT_CHARS
420 if (max_print)
421 print_chars += size;
422 #endif /* MAX_PRINT_CHARS */
424 else
426 /* PRINTCHARFUN is a Lisp function. */
427 int i = 0;
429 if (size == size_byte)
431 while (i < size_byte)
433 int ch = ptr[i++];
434 PRINTCHAR (ch);
437 else
439 while (i < size_byte)
441 /* Here, we must convert each multi-byte form to the
442 corresponding character code before handing it to
443 PRINTCHAR. */
444 int len;
445 int ch = STRING_CHAR_AND_LENGTH (ptr + i, size_byte - i, len);
446 PRINTCHAR (ch);
447 i += len;
453 /* Print the contents of a string STRING using PRINTCHARFUN.
454 It isn't safe to use strout in many cases,
455 because printing one char can relocate. */
457 static void
458 print_string (string, printcharfun)
459 Lisp_Object string;
460 Lisp_Object printcharfun;
462 if (EQ (printcharfun, Qt) || NILP (printcharfun))
464 int chars;
466 if (STRING_MULTIBYTE (string))
467 chars = SCHARS (string);
468 else if (EQ (printcharfun, Qt)
469 ? ! NILP (buffer_defaults.enable_multibyte_characters)
470 : ! NILP (current_buffer->enable_multibyte_characters))
472 /* If unibyte string STRING contains 8-bit codes, we must
473 convert STRING to a multibyte string containing the same
474 character codes. */
475 Lisp_Object newstr;
476 int bytes;
478 chars = SBYTES (string);
479 bytes = parse_str_to_multibyte (SDATA (string), chars);
480 if (chars < bytes)
482 newstr = make_uninit_multibyte_string (chars, bytes);
483 bcopy (SDATA (string), SDATA (newstr), chars);
484 str_to_multibyte (SDATA (newstr), bytes, chars);
485 string = newstr;
488 else
489 chars = SBYTES (string);
491 /* strout is safe for output to a frame (echo area) or to print_buffer. */
492 strout (SDATA (string),
493 chars, SBYTES (string),
494 printcharfun, STRING_MULTIBYTE (string));
496 else
498 /* Otherwise, string may be relocated by printing one char.
499 So re-fetch the string address for each character. */
500 int i;
501 int size = SCHARS (string);
502 int size_byte = SBYTES (string);
503 struct gcpro gcpro1;
504 GCPRO1 (string);
505 if (size == size_byte)
506 for (i = 0; i < size; i++)
507 PRINTCHAR (SREF (string, i));
508 else
509 for (i = 0; i < size_byte; i++)
511 /* Here, we must convert each multi-byte form to the
512 corresponding character code before handing it to PRINTCHAR. */
513 int len;
514 int ch = STRING_CHAR_AND_LENGTH (SDATA (string) + i,
515 size_byte - i, len);
516 if (!CHAR_VALID_P (ch, 0))
518 ch = SREF (string, i);
519 len = 1;
521 PRINTCHAR (ch);
522 i += len;
524 UNGCPRO;
528 DEFUN ("write-char", Fwrite_char, Swrite_char, 1, 2, 0,
529 doc: /* Output character CHARACTER to stream PRINTCHARFUN.
530 PRINTCHARFUN defaults to the value of `standard-output' (which see). */)
531 (character, printcharfun)
532 Lisp_Object character, printcharfun;
534 PRINTDECLARE;
536 if (NILP (printcharfun))
537 printcharfun = Vstandard_output;
538 CHECK_NUMBER (character);
539 PRINTPREPARE;
540 PRINTCHAR (XINT (character));
541 PRINTFINISH;
542 return character;
545 /* Used from outside of print.c to print a block of SIZE
546 single-byte chars at DATA on the default output stream.
547 Do not use this on the contents of a Lisp string. */
549 void
550 write_string (data, size)
551 char *data;
552 int size;
554 PRINTDECLARE;
555 Lisp_Object printcharfun;
557 printcharfun = Vstandard_output;
559 PRINTPREPARE;
560 strout (data, size, size, printcharfun, 0);
561 PRINTFINISH;
564 /* Used from outside of print.c to print a block of SIZE
565 single-byte chars at DATA on a specified stream PRINTCHARFUN.
566 Do not use this on the contents of a Lisp string. */
568 void
569 write_string_1 (data, size, printcharfun)
570 char *data;
571 int size;
572 Lisp_Object printcharfun;
574 PRINTDECLARE;
576 PRINTPREPARE;
577 strout (data, size, size, printcharfun, 0);
578 PRINTFINISH;
582 void
583 temp_output_buffer_setup (bufname)
584 const char *bufname;
586 int count = SPECPDL_INDEX ();
587 register struct buffer *old = current_buffer;
588 register Lisp_Object buf;
590 record_unwind_protect (set_buffer_if_live, Fcurrent_buffer ());
592 Fset_buffer (Fget_buffer_create (build_string (bufname)));
594 Fkill_all_local_variables ();
595 current_buffer->directory = old->directory;
596 current_buffer->read_only = Qnil;
597 current_buffer->filename = Qnil;
598 current_buffer->undo_list = Qt;
599 current_buffer->overlays_before = Qnil;
600 current_buffer->overlays_after = Qnil;
601 current_buffer->enable_multibyte_characters
602 = buffer_defaults.enable_multibyte_characters;
603 Ferase_buffer ();
604 XSETBUFFER (buf, current_buffer);
606 Frun_hooks (1, &Qtemp_buffer_setup_hook);
608 unbind_to (count, Qnil);
610 specbind (Qstandard_output, buf);
613 Lisp_Object
614 internal_with_output_to_temp_buffer (bufname, function, args)
615 const char *bufname;
616 Lisp_Object (*function) P_ ((Lisp_Object));
617 Lisp_Object args;
619 int count = SPECPDL_INDEX ();
620 Lisp_Object buf, val;
621 struct gcpro gcpro1;
623 GCPRO1 (args);
624 record_unwind_protect (Fset_buffer, Fcurrent_buffer ());
625 temp_output_buffer_setup (bufname);
626 buf = Vstandard_output;
627 UNGCPRO;
629 val = (*function) (args);
631 GCPRO1 (val);
632 temp_output_buffer_show (buf);
633 UNGCPRO;
635 return unbind_to (count, val);
638 DEFUN ("with-output-to-temp-buffer",
639 Fwith_output_to_temp_buffer, Swith_output_to_temp_buffer,
640 1, UNEVALLED, 0,
641 doc: /* Bind `standard-output' to buffer BUFNAME, eval BODY, then show that buffer.
642 The buffer is cleared out initially, and marked as unmodified when done.
643 All output done by BODY is inserted in that buffer by default.
644 The buffer is displayed in another window, but not selected.
645 The value of the last form in BODY is returned.
646 If BODY does not finish normally, the buffer BUFNAME is not displayed.
648 The hook `temp-buffer-setup-hook' is run before BODY,
649 with the buffer BUFNAME temporarily current.
650 The hook `temp-buffer-show-hook' is run after the buffer is displayed,
651 with the buffer temporarily current, and the window that was used
652 to display it temporarily selected.
654 If variable `temp-buffer-show-function' is non-nil, call it at the end
655 to get the buffer displayed instead of just displaying the non-selected
656 buffer and calling the hook. It gets one argument, the buffer to display.
658 usage: (with-output-to-temp-buffer BUFFNAME BODY ...) */)
659 (args)
660 Lisp_Object args;
662 struct gcpro gcpro1;
663 Lisp_Object name;
664 int count = SPECPDL_INDEX ();
665 Lisp_Object buf, val;
667 GCPRO1(args);
668 name = Feval (Fcar (args));
669 CHECK_STRING (name);
670 temp_output_buffer_setup (SDATA (name));
671 buf = Vstandard_output;
672 UNGCPRO;
674 val = Fprogn (XCDR (args));
676 GCPRO1 (val);
677 temp_output_buffer_show (buf);
678 UNGCPRO;
680 return unbind_to (count, val);
684 static void print ();
685 static void print_preprocess ();
686 static void print_preprocess_string ();
687 static void print_object ();
689 DEFUN ("terpri", Fterpri, Sterpri, 0, 1, 0,
690 doc: /* Output a newline to stream PRINTCHARFUN.
691 If PRINTCHARFUN is omitted or nil, the value of `standard-output' is used. */)
692 (printcharfun)
693 Lisp_Object printcharfun;
695 PRINTDECLARE;
697 if (NILP (printcharfun))
698 printcharfun = Vstandard_output;
699 PRINTPREPARE;
700 PRINTCHAR ('\n');
701 PRINTFINISH;
702 return Qt;
705 DEFUN ("prin1", Fprin1, Sprin1, 1, 2, 0,
706 doc: /* Output the printed representation of OBJECT, any Lisp object.
707 Quoting characters are printed when needed to make output that `read'
708 can handle, whenever this is possible. For complex objects, the behavior
709 is controlled by `print-level' and `print-length', which see.
711 OBJECT is any of the Lisp data types: a number, a string, a symbol,
712 a list, a buffer, a window, a frame, etc.
714 A printed representation of an object is text which describes that object.
716 Optional argument PRINTCHARFUN is the output stream, which can be one
717 of these:
719 - a buffer, in which case output is inserted into that buffer at point;
720 - a marker, in which case output is inserted at marker's position;
721 - a function, in which case that function is called once for each
722 character of OBJECT's printed representation;
723 - a symbol, in which case that symbol's function definition is called; or
724 - t, in which case the output is displayed in the echo area.
726 If PRINTCHARFUN is omitted, the value of `standard-output' (which see)
727 is used instead. */)
728 (object, printcharfun)
729 Lisp_Object object, printcharfun;
731 PRINTDECLARE;
733 #ifdef MAX_PRINT_CHARS
734 max_print = 0;
735 #endif /* MAX_PRINT_CHARS */
736 if (NILP (printcharfun))
737 printcharfun = Vstandard_output;
738 PRINTPREPARE;
739 print (object, printcharfun, 1);
740 PRINTFINISH;
741 return object;
744 /* a buffer which is used to hold output being built by prin1-to-string */
745 Lisp_Object Vprin1_to_string_buffer;
747 DEFUN ("prin1-to-string", Fprin1_to_string, Sprin1_to_string, 1, 2, 0,
748 doc: /* Return a string containing the printed representation of OBJECT.
749 OBJECT can be any Lisp object. This function outputs quoting characters
750 when necessary to make output that `read' can handle, whenever possible,
751 unless the optional second argument NOESCAPE is non-nil.
753 OBJECT is any of the Lisp data types: a number, a string, a symbol,
754 a list, a buffer, a window, a frame, etc.
756 A printed representation of an object is text which describes that object. */)
757 (object, noescape)
758 Lisp_Object object, noescape;
760 PRINTDECLARE;
761 Lisp_Object printcharfun;
762 struct gcpro gcpro1, gcpro2;
763 Lisp_Object tem;
765 /* Save and restore this--we are altering a buffer
766 but we don't want to deactivate the mark just for that.
767 No need for specbind, since errors deactivate the mark. */
768 tem = Vdeactivate_mark;
769 GCPRO2 (object, tem);
771 printcharfun = Vprin1_to_string_buffer;
772 PRINTPREPARE;
773 print (object, printcharfun, NILP (noescape));
774 /* Make Vprin1_to_string_buffer be the default buffer after PRINTFINSH */
775 PRINTFINISH;
776 set_buffer_internal (XBUFFER (Vprin1_to_string_buffer));
777 object = Fbuffer_string ();
779 Ferase_buffer ();
780 set_buffer_internal (old);
782 Vdeactivate_mark = tem;
783 UNGCPRO;
785 return object;
788 DEFUN ("princ", Fprinc, Sprinc, 1, 2, 0,
789 doc: /* Output the printed representation of OBJECT, any Lisp object.
790 No quoting characters are used; no delimiters are printed around
791 the contents of strings.
793 OBJECT is any of the Lisp data types: a number, a string, a symbol,
794 a list, a buffer, a window, a frame, etc.
796 A printed representation of an object is text which describes that object.
798 Optional argument PRINTCHARFUN is the output stream, which can be one
799 of these:
801 - a buffer, in which case output is inserted into that buffer at point;
802 - a marker, in which case output is inserted at marker's position;
803 - a function, in which case that function is called once for each
804 character of OBJECT's printed representation;
805 - a symbol, in which case that symbol's function definition is called; or
806 - t, in which case the output is displayed in the echo area.
808 If PRINTCHARFUN is omitted, the value of `standard-output' (which see)
809 is used instead. */)
810 (object, printcharfun)
811 Lisp_Object object, printcharfun;
813 PRINTDECLARE;
815 if (NILP (printcharfun))
816 printcharfun = Vstandard_output;
817 PRINTPREPARE;
818 print (object, printcharfun, 0);
819 PRINTFINISH;
820 return object;
823 DEFUN ("print", Fprint, Sprint, 1, 2, 0,
824 doc: /* Output the printed representation of OBJECT, with newlines around it.
825 Quoting characters are printed when needed to make output that `read'
826 can handle, whenever this is possible. For complex objects, the behavior
827 is controlled by `print-level' and `print-length', which see.
829 OBJECT is any of the Lisp data types: a number, a string, a symbol,
830 a list, a buffer, a window, a frame, etc.
832 A printed representation of an object is text which describes that object.
834 Optional argument PRINTCHARFUN is the output stream, which can be one
835 of these:
837 - a buffer, in which case output is inserted into that buffer at point;
838 - a marker, in which case output is inserted at marker's position;
839 - a function, in which case that function is called once for each
840 character of OBJECT's printed representation;
841 - a symbol, in which case that symbol's function definition is called; or
842 - t, in which case the output is displayed in the echo area.
844 If PRINTCHARFUN is omitted, the value of `standard-output' (which see)
845 is used instead. */)
846 (object, printcharfun)
847 Lisp_Object object, printcharfun;
849 PRINTDECLARE;
850 struct gcpro gcpro1;
852 #ifdef MAX_PRINT_CHARS
853 print_chars = 0;
854 max_print = MAX_PRINT_CHARS;
855 #endif /* MAX_PRINT_CHARS */
856 if (NILP (printcharfun))
857 printcharfun = Vstandard_output;
858 GCPRO1 (object);
859 PRINTPREPARE;
860 PRINTCHAR ('\n');
861 print (object, printcharfun, 1);
862 PRINTCHAR ('\n');
863 PRINTFINISH;
864 #ifdef MAX_PRINT_CHARS
865 max_print = 0;
866 print_chars = 0;
867 #endif /* MAX_PRINT_CHARS */
868 UNGCPRO;
869 return object;
872 /* The subroutine object for external-debugging-output is kept here
873 for the convenience of the debugger. */
874 Lisp_Object Qexternal_debugging_output;
876 DEFUN ("external-debugging-output", Fexternal_debugging_output, Sexternal_debugging_output, 1, 1, 0,
877 doc: /* Write CHARACTER to stderr.
878 You can call print while debugging emacs, and pass it this function
879 to make it write to the debugging output. */)
880 (character)
881 Lisp_Object character;
883 CHECK_NUMBER (character);
884 putc (XINT (character), stderr);
886 #ifdef WINDOWSNT
887 /* Send the output to a debugger (nothing happens if there isn't one). */
889 char buf[2] = {(char) XINT (character), '\0'};
890 OutputDebugString (buf);
892 #endif
894 return character;
897 /* This is the interface for debugging printing. */
899 void
900 debug_print (arg)
901 Lisp_Object arg;
903 Fprin1 (arg, Qexternal_debugging_output);
904 fprintf (stderr, "\r\n");
907 DEFUN ("error-message-string", Ferror_message_string, Serror_message_string,
908 1, 1, 0,
909 doc: /* Convert an error value (ERROR-SYMBOL . DATA) to an error message. */)
910 (obj)
911 Lisp_Object obj;
913 struct buffer *old = current_buffer;
914 Lisp_Object value;
915 struct gcpro gcpro1;
917 /* If OBJ is (error STRING), just return STRING.
918 That is not only faster, it also avoids the need to allocate
919 space here when the error is due to memory full. */
920 if (CONSP (obj) && EQ (XCAR (obj), Qerror)
921 && CONSP (XCDR (obj))
922 && STRINGP (XCAR (XCDR (obj)))
923 && NILP (XCDR (XCDR (obj))))
924 return XCAR (XCDR (obj));
926 print_error_message (obj, Vprin1_to_string_buffer, 0, Qnil);
928 set_buffer_internal (XBUFFER (Vprin1_to_string_buffer));
929 value = Fbuffer_string ();
931 GCPRO1 (value);
932 Ferase_buffer ();
933 set_buffer_internal (old);
934 UNGCPRO;
936 return value;
939 /* Print an error message for the error DATA onto Lisp output stream
940 STREAM (suitable for the print functions). */
942 void
943 print_error_message (data, stream, context, caller)
944 Lisp_Object data, stream;
945 char *context;
946 Lisp_Object caller;
948 Lisp_Object errname, errmsg, file_error, tail;
949 struct gcpro gcpro1;
950 int i;
952 if (context != 0)
953 write_string_1 (context, -1, stream);
955 /* If we know from where the error was signaled, show it in
956 *Messages*. */
957 if (!NILP (caller) && SYMBOLP (caller))
959 const char *name = SDATA (SYMBOL_NAME (caller));
960 message_dolog (name, strlen (name), 0, 0);
961 message_dolog (": ", 2, 0, 0);
964 errname = Fcar (data);
966 if (EQ (errname, Qerror))
968 data = Fcdr (data);
969 if (!CONSP (data))
970 data = Qnil;
971 errmsg = Fcar (data);
972 file_error = Qnil;
974 else
976 Lisp_Object error_conditions;
977 errmsg = Fget (errname, Qerror_message);
978 error_conditions = Fget (errname, Qerror_conditions);
979 file_error = Fmemq (Qfile_error, error_conditions);
982 /* Print an error message including the data items. */
984 tail = Fcdr_safe (data);
985 GCPRO1 (tail);
987 /* For file-error, make error message by concatenating
988 all the data items. They are all strings. */
989 if (!NILP (file_error) && CONSP (tail))
990 errmsg = XCAR (tail), tail = XCDR (tail);
992 if (STRINGP (errmsg))
993 Fprinc (errmsg, stream);
994 else
995 write_string_1 ("peculiar error", -1, stream);
997 for (i = 0; CONSP (tail); tail = XCDR (tail), i++)
999 Lisp_Object obj;
1001 write_string_1 (i ? ", " : ": ", 2, stream);
1002 obj = XCAR (tail);
1003 if (!NILP (file_error) || EQ (errname, Qend_of_file))
1004 Fprinc (obj, stream);
1005 else
1006 Fprin1 (obj, stream);
1009 UNGCPRO;
1015 * The buffer should be at least as large as the max string size of the
1016 * largest float, printed in the biggest notation. This is undoubtedly
1017 * 20d float_output_format, with the negative of the C-constant "HUGE"
1018 * from <math.h>.
1020 * On the vax the worst case is -1e38 in 20d format which takes 61 bytes.
1022 * I assume that IEEE-754 format numbers can take 329 bytes for the worst
1023 * case of -1e307 in 20d float_output_format. What is one to do (short of
1024 * re-writing _doprnt to be more sane)?
1025 * -wsr
1028 void
1029 float_to_string (buf, data)
1030 unsigned char *buf;
1031 double data;
1033 unsigned char *cp;
1034 int width;
1036 /* Check for plus infinity in a way that won't lose
1037 if there is no plus infinity. */
1038 if (data == data / 2 && data > 1.0)
1040 strcpy (buf, "1.0e+INF");
1041 return;
1043 /* Likewise for minus infinity. */
1044 if (data == data / 2 && data < -1.0)
1046 strcpy (buf, "-1.0e+INF");
1047 return;
1049 /* Check for NaN in a way that won't fail if there are no NaNs. */
1050 if (! (data * 0.0 >= 0.0))
1052 /* Prepend "-" if the NaN's sign bit is negative.
1053 The sign bit of a double is the bit that is 1 in -0.0. */
1054 int i;
1055 union { double d; char c[sizeof (double)]; } u_data, u_minus_zero;
1056 u_data.d = data;
1057 u_minus_zero.d = - 0.0;
1058 for (i = 0; i < sizeof (double); i++)
1059 if (u_data.c[i] & u_minus_zero.c[i])
1061 *buf++ = '-';
1062 break;
1065 strcpy (buf, "0.0e+NaN");
1066 return;
1069 if (NILP (Vfloat_output_format)
1070 || !STRINGP (Vfloat_output_format))
1071 lose:
1073 /* Generate the fewest number of digits that represent the
1074 floating point value without losing information.
1075 The following method is simple but a bit slow.
1076 For ideas about speeding things up, please see:
1078 Guy L Steele Jr & Jon L White, How to print floating-point numbers
1079 accurately. SIGPLAN notices 25, 6 (June 1990), 112-126.
1081 Robert G Burger & R Kent Dybvig, Printing floating point numbers
1082 quickly and accurately, SIGPLAN notices 31, 5 (May 1996), 108-116. */
1084 width = fabs (data) < DBL_MIN ? 1 : DBL_DIG;
1086 sprintf (buf, "%.*g", width, data);
1087 while (width++ < DOUBLE_DIGITS_BOUND && atof (buf) != data);
1089 else /* oink oink */
1091 /* Check that the spec we have is fully valid.
1092 This means not only valid for printf,
1093 but meant for floats, and reasonable. */
1094 cp = SDATA (Vfloat_output_format);
1096 if (cp[0] != '%')
1097 goto lose;
1098 if (cp[1] != '.')
1099 goto lose;
1101 cp += 2;
1103 /* Check the width specification. */
1104 width = -1;
1105 if ('0' <= *cp && *cp <= '9')
1107 width = 0;
1109 width = (width * 10) + (*cp++ - '0');
1110 while (*cp >= '0' && *cp <= '9');
1112 /* A precision of zero is valid only for %f. */
1113 if (width > DBL_DIG
1114 || (width == 0 && *cp != 'f'))
1115 goto lose;
1118 if (*cp != 'e' && *cp != 'f' && *cp != 'g')
1119 goto lose;
1121 if (cp[1] != 0)
1122 goto lose;
1124 sprintf (buf, SDATA (Vfloat_output_format), data);
1127 /* Make sure there is a decimal point with digit after, or an
1128 exponent, so that the value is readable as a float. But don't do
1129 this with "%.0f"; it's valid for that not to produce a decimal
1130 point. Note that width can be 0 only for %.0f. */
1131 if (width != 0)
1133 for (cp = buf; *cp; cp++)
1134 if ((*cp < '0' || *cp > '9') && *cp != '-')
1135 break;
1137 if (*cp == '.' && cp[1] == 0)
1139 cp[1] = '0';
1140 cp[2] = 0;
1143 if (*cp == 0)
1145 *cp++ = '.';
1146 *cp++ = '0';
1147 *cp++ = 0;
1153 static void
1154 print (obj, printcharfun, escapeflag)
1155 Lisp_Object obj;
1156 register Lisp_Object printcharfun;
1157 int escapeflag;
1159 print_depth = 0;
1160 old_backquote_output = 0;
1162 /* Reset print_number_index and Vprint_number_table only when
1163 the variable Vprint_continuous_numbering is nil. Otherwise,
1164 the values of these variables will be kept between several
1165 print functions. */
1166 if (NILP (Vprint_continuous_numbering))
1168 print_number_index = 0;
1169 Vprint_number_table = Qnil;
1172 /* Construct Vprint_number_table for print-gensym and print-circle. */
1173 if (!NILP (Vprint_gensym) || !NILP (Vprint_circle))
1175 int i, start, index;
1176 start = index = print_number_index;
1177 /* Construct Vprint_number_table.
1178 This increments print_number_index for the objects added. */
1179 print_preprocess (obj);
1181 /* Remove unnecessary objects, which appear only once in OBJ;
1182 that is, whose status is Qnil. Compactify the necessary objects. */
1183 for (i = start; i < print_number_index; i++)
1184 if (!NILP (PRINT_NUMBER_STATUS (Vprint_number_table, i)))
1186 PRINT_NUMBER_OBJECT (Vprint_number_table, index)
1187 = PRINT_NUMBER_OBJECT (Vprint_number_table, i);
1188 index++;
1191 /* Clear out objects outside the active part of the table. */
1192 for (i = index; i < print_number_index; i++)
1193 PRINT_NUMBER_OBJECT (Vprint_number_table, i) = Qnil;
1195 /* Reset the status field for the next print step. Now this
1196 field means whether the object has already been printed. */
1197 for (i = start; i < print_number_index; i++)
1198 PRINT_NUMBER_STATUS (Vprint_number_table, i) = Qnil;
1200 print_number_index = index;
1203 print_object (obj, printcharfun, escapeflag);
1206 /* Construct Vprint_number_table according to the structure of OBJ.
1207 OBJ itself and all its elements will be added to Vprint_number_table
1208 recursively if it is a list, vector, compiled function, char-table,
1209 string (its text properties will be traced), or a symbol that has
1210 no obarray (this is for the print-gensym feature).
1211 The status fields of Vprint_number_table mean whether each object appears
1212 more than once in OBJ: Qnil at the first time, and Qt after that . */
1213 static void
1214 print_preprocess (obj)
1215 Lisp_Object obj;
1217 int i, size;
1219 loop:
1220 if (STRINGP (obj) || CONSP (obj) || VECTORP (obj)
1221 || COMPILEDP (obj) || CHAR_TABLE_P (obj)
1222 || (! NILP (Vprint_gensym)
1223 && SYMBOLP (obj)
1224 && !SYMBOL_INTERNED_P (obj)))
1226 /* In case print-circle is nil and print-gensym is t,
1227 add OBJ to Vprint_number_table only when OBJ is a symbol. */
1228 if (! NILP (Vprint_circle) || SYMBOLP (obj))
1230 for (i = 0; i < print_number_index; i++)
1231 if (EQ (PRINT_NUMBER_OBJECT (Vprint_number_table, i), obj))
1233 /* OBJ appears more than once. Let's remember that. */
1234 PRINT_NUMBER_STATUS (Vprint_number_table, i) = Qt;
1235 return;
1238 /* OBJ is not yet recorded. Let's add to the table. */
1239 if (print_number_index == 0)
1241 /* Initialize the table. */
1242 Vprint_number_table = Fmake_vector (make_number (40), Qnil);
1244 else if (XVECTOR (Vprint_number_table)->size == print_number_index * 2)
1246 /* Reallocate the table. */
1247 int i = print_number_index * 4;
1248 Lisp_Object old_table = Vprint_number_table;
1249 Vprint_number_table = Fmake_vector (make_number (i), Qnil);
1250 for (i = 0; i < print_number_index; i++)
1252 PRINT_NUMBER_OBJECT (Vprint_number_table, i)
1253 = PRINT_NUMBER_OBJECT (old_table, i);
1254 PRINT_NUMBER_STATUS (Vprint_number_table, i)
1255 = PRINT_NUMBER_STATUS (old_table, i);
1258 PRINT_NUMBER_OBJECT (Vprint_number_table, print_number_index) = obj;
1259 /* If Vprint_continuous_numbering is non-nil and OBJ is a gensym,
1260 always print the gensym with a number. This is a special for
1261 the lisp function byte-compile-output-docform. */
1262 if (!NILP (Vprint_continuous_numbering)
1263 && SYMBOLP (obj)
1264 && !SYMBOL_INTERNED_P (obj))
1265 PRINT_NUMBER_STATUS (Vprint_number_table, print_number_index) = Qt;
1266 print_number_index++;
1269 switch (XGCTYPE (obj))
1271 case Lisp_String:
1272 /* A string may have text properties, which can be circular. */
1273 traverse_intervals_noorder (STRING_INTERVALS (obj),
1274 print_preprocess_string, Qnil);
1275 break;
1277 case Lisp_Cons:
1278 print_preprocess (XCAR (obj));
1279 obj = XCDR (obj);
1280 goto loop;
1282 case Lisp_Vectorlike:
1283 size = XVECTOR (obj)->size & PSEUDOVECTOR_SIZE_MASK;
1284 for (i = 0; i < size; i++)
1285 print_preprocess (XVECTOR (obj)->contents[i]);
1286 break;
1288 default:
1289 break;
1294 static void
1295 print_preprocess_string (interval, arg)
1296 INTERVAL interval;
1297 Lisp_Object arg;
1299 print_preprocess (interval->plist);
1302 static void
1303 print_object (obj, printcharfun, escapeflag)
1304 Lisp_Object obj;
1305 register Lisp_Object printcharfun;
1306 int escapeflag;
1308 char buf[30];
1310 QUIT;
1312 /* Detect circularities and truncate them. */
1313 if (STRINGP (obj) || CONSP (obj) || VECTORP (obj)
1314 || COMPILEDP (obj) || CHAR_TABLE_P (obj)
1315 || (! NILP (Vprint_gensym)
1316 && SYMBOLP (obj)
1317 && !SYMBOL_INTERNED_P (obj)))
1319 if (NILP (Vprint_circle) && NILP (Vprint_gensym))
1321 /* Simple but incomplete way. */
1322 int i;
1323 for (i = 0; i < print_depth; i++)
1324 if (EQ (obj, being_printed[i]))
1326 sprintf (buf, "#%d", i);
1327 strout (buf, -1, -1, printcharfun, 0);
1328 return;
1330 being_printed[print_depth] = obj;
1332 else
1334 /* With the print-circle feature. */
1335 int i;
1336 for (i = 0; i < print_number_index; i++)
1337 if (EQ (PRINT_NUMBER_OBJECT (Vprint_number_table, i), obj))
1339 if (NILP (PRINT_NUMBER_STATUS (Vprint_number_table, i)))
1341 /* Add a prefix #n= if OBJ has not yet been printed;
1342 that is, its status field is nil. */
1343 sprintf (buf, "#%d=", i + 1);
1344 strout (buf, -1, -1, printcharfun, 0);
1345 /* OBJ is going to be printed. Set the status to t. */
1346 PRINT_NUMBER_STATUS (Vprint_number_table, i) = Qt;
1347 break;
1349 else
1351 /* Just print #n# if OBJ has already been printed. */
1352 sprintf (buf, "#%d#", i + 1);
1353 strout (buf, -1, -1, printcharfun, 0);
1354 return;
1360 print_depth++;
1362 if (print_depth > PRINT_CIRCLE)
1363 error ("Apparently circular structure being printed");
1364 #ifdef MAX_PRINT_CHARS
1365 if (max_print && print_chars > max_print)
1367 PRINTCHAR ('\n');
1368 print_chars = 0;
1370 #endif /* MAX_PRINT_CHARS */
1372 switch (XGCTYPE (obj))
1374 case Lisp_Int:
1375 if (sizeof (int) == sizeof (EMACS_INT))
1376 sprintf (buf, "%d", XINT (obj));
1377 else if (sizeof (long) == sizeof (EMACS_INT))
1378 sprintf (buf, "%ld", (long) XINT (obj));
1379 else
1380 abort ();
1381 strout (buf, -1, -1, printcharfun, 0);
1382 break;
1384 case Lisp_Float:
1386 char pigbuf[350]; /* see comments in float_to_string */
1388 float_to_string (pigbuf, XFLOAT_DATA (obj));
1389 strout (pigbuf, -1, -1, printcharfun, 0);
1391 break;
1393 case Lisp_String:
1394 if (!escapeflag)
1395 print_string (obj, printcharfun);
1396 else
1398 register int i, i_byte;
1399 struct gcpro gcpro1;
1400 unsigned char *str;
1401 int size_byte;
1402 /* 1 means we must ensure that the next character we output
1403 cannot be taken as part of a hex character escape. */
1404 int need_nonhex = 0;
1405 int multibyte = STRING_MULTIBYTE (obj);
1407 GCPRO1 (obj);
1409 if (!NULL_INTERVAL_P (STRING_INTERVALS (obj)))
1411 PRINTCHAR ('#');
1412 PRINTCHAR ('(');
1415 PRINTCHAR ('\"');
1416 str = SDATA (obj);
1417 size_byte = SBYTES (obj);
1419 for (i = 0, i_byte = 0; i_byte < size_byte;)
1421 /* Here, we must convert each multi-byte form to the
1422 corresponding character code before handing it to PRINTCHAR. */
1423 int len;
1424 int c;
1426 if (multibyte)
1428 c = STRING_CHAR_AND_LENGTH (str + i_byte,
1429 size_byte - i_byte, len);
1430 if (CHAR_VALID_P (c, 0))
1431 i_byte += len;
1432 else
1433 c = str[i_byte++];
1435 else
1436 c = str[i_byte++];
1438 QUIT;
1440 if (c == '\n' && print_escape_newlines)
1442 PRINTCHAR ('\\');
1443 PRINTCHAR ('n');
1445 else if (c == '\f' && print_escape_newlines)
1447 PRINTCHAR ('\\');
1448 PRINTCHAR ('f');
1450 else if (multibyte
1451 && ! ASCII_BYTE_P (c)
1452 && (SINGLE_BYTE_CHAR_P (c) || print_escape_multibyte))
1454 /* When multibyte is disabled,
1455 print multibyte string chars using hex escapes.
1456 For a char code that could be in a unibyte string,
1457 when found in a multibyte string, always use a hex escape
1458 so it reads back as multibyte. */
1459 unsigned char outbuf[50];
1460 sprintf (outbuf, "\\x%x", c);
1461 strout (outbuf, -1, -1, printcharfun, 0);
1462 need_nonhex = 1;
1464 else if (! multibyte
1465 && SINGLE_BYTE_CHAR_P (c) && ! ASCII_BYTE_P (c)
1466 && print_escape_nonascii)
1468 /* When printing in a multibyte buffer
1469 or when explicitly requested,
1470 print single-byte non-ASCII string chars
1471 using octal escapes. */
1472 unsigned char outbuf[5];
1473 sprintf (outbuf, "\\%03o", c);
1474 strout (outbuf, -1, -1, printcharfun, 0);
1476 else
1478 /* If we just had a hex escape, and this character
1479 could be taken as part of it,
1480 output `\ ' to prevent that. */
1481 if (need_nonhex)
1483 need_nonhex = 0;
1484 if ((c >= 'a' && c <= 'f')
1485 || (c >= 'A' && c <= 'F')
1486 || (c >= '0' && c <= '9'))
1487 strout ("\\ ", -1, -1, printcharfun, 0);
1490 if (c == '\"' || c == '\\')
1491 PRINTCHAR ('\\');
1492 PRINTCHAR (c);
1495 PRINTCHAR ('\"');
1497 if (!NULL_INTERVAL_P (STRING_INTERVALS (obj)))
1499 traverse_intervals (STRING_INTERVALS (obj),
1500 0, print_interval, printcharfun);
1501 PRINTCHAR (')');
1504 UNGCPRO;
1506 break;
1508 case Lisp_Symbol:
1510 register int confusing;
1511 register unsigned char *p = SDATA (SYMBOL_NAME (obj));
1512 register unsigned char *end = p + SBYTES (SYMBOL_NAME (obj));
1513 register int c;
1514 int i, i_byte, size_byte;
1515 Lisp_Object name;
1517 name = SYMBOL_NAME (obj);
1519 if (p != end && (*p == '-' || *p == '+')) p++;
1520 if (p == end)
1521 confusing = 0;
1522 /* If symbol name begins with a digit, and ends with a digit,
1523 and contains nothing but digits and `e', it could be treated
1524 as a number. So set CONFUSING.
1526 Symbols that contain periods could also be taken as numbers,
1527 but periods are always escaped, so we don't have to worry
1528 about them here. */
1529 else if (*p >= '0' && *p <= '9'
1530 && end[-1] >= '0' && end[-1] <= '9')
1532 while (p != end && ((*p >= '0' && *p <= '9')
1533 /* Needed for \2e10. */
1534 || *p == 'e'))
1535 p++;
1536 confusing = (end == p);
1538 else
1539 confusing = 0;
1541 if (! NILP (Vprint_gensym) && !SYMBOL_INTERNED_P (obj))
1543 PRINTCHAR ('#');
1544 PRINTCHAR (':');
1547 size_byte = SBYTES (name);
1549 for (i = 0, i_byte = 0; i_byte < size_byte;)
1551 /* Here, we must convert each multi-byte form to the
1552 corresponding character code before handing it to PRINTCHAR. */
1553 FETCH_STRING_CHAR_ADVANCE (c, name, i, i_byte);
1554 QUIT;
1556 if (escapeflag)
1558 if (c == '\"' || c == '\\' || c == '\''
1559 || c == ';' || c == '#' || c == '(' || c == ')'
1560 || c == ',' || c =='.' || c == '`'
1561 || c == '[' || c == ']' || c == '?' || c <= 040
1562 || confusing)
1563 PRINTCHAR ('\\'), confusing = 0;
1565 PRINTCHAR (c);
1568 break;
1570 case Lisp_Cons:
1571 /* If deeper than spec'd depth, print placeholder. */
1572 if (INTEGERP (Vprint_level)
1573 && print_depth > XINT (Vprint_level))
1574 strout ("...", -1, -1, printcharfun, 0);
1575 else if (print_quoted && CONSP (XCDR (obj)) && NILP (XCDR (XCDR (obj)))
1576 && (EQ (XCAR (obj), Qquote)))
1578 PRINTCHAR ('\'');
1579 print_object (XCAR (XCDR (obj)), printcharfun, escapeflag);
1581 else if (print_quoted && CONSP (XCDR (obj)) && NILP (XCDR (XCDR (obj)))
1582 && (EQ (XCAR (obj), Qfunction)))
1584 PRINTCHAR ('#');
1585 PRINTCHAR ('\'');
1586 print_object (XCAR (XCDR (obj)), printcharfun, escapeflag);
1588 else if (print_quoted && CONSP (XCDR (obj)) && NILP (XCDR (XCDR (obj)))
1589 && ! old_backquote_output
1590 && ((EQ (XCAR (obj), Qbackquote)
1591 || EQ (XCAR (obj), Qcomma)
1592 || EQ (XCAR (obj), Qcomma_at)
1593 || EQ (XCAR (obj), Qcomma_dot))))
1595 print_object (XCAR (obj), printcharfun, 0);
1596 print_object (XCAR (XCDR (obj)), printcharfun, escapeflag);
1598 else
1600 PRINTCHAR ('(');
1602 /* If the first element is a backquote form,
1603 print it old-style so it won't be misunderstood. */
1604 if (print_quoted && CONSP (XCAR (obj))
1605 && CONSP (XCDR (XCAR (obj)))
1606 && NILP (XCDR (XCDR (XCAR (obj))))
1607 && EQ (XCAR (XCAR (obj)), Qbackquote))
1609 Lisp_Object tem;
1610 tem = XCAR (obj);
1611 PRINTCHAR ('(');
1613 print_object (Qbackquote, printcharfun, 0);
1614 PRINTCHAR (' ');
1616 ++old_backquote_output;
1617 print_object (XCAR (XCDR (tem)), printcharfun, 0);
1618 --old_backquote_output;
1619 PRINTCHAR (')');
1621 obj = XCDR (obj);
1625 int print_length, i;
1626 Lisp_Object halftail = obj;
1628 /* Negative values of print-length are invalid in CL.
1629 Treat them like nil, as CMUCL does. */
1630 if (NATNUMP (Vprint_length))
1631 print_length = XFASTINT (Vprint_length);
1632 else
1633 print_length = 0;
1635 i = 0;
1636 while (CONSP (obj))
1638 /* Detect circular list. */
1639 if (NILP (Vprint_circle))
1641 /* Simple but imcomplete way. */
1642 if (i != 0 && EQ (obj, halftail))
1644 sprintf (buf, " . #%d", i / 2);
1645 strout (buf, -1, -1, printcharfun, 0);
1646 goto end_of_list;
1649 else
1651 /* With the print-circle feature. */
1652 if (i != 0)
1654 int i;
1655 for (i = 0; i < print_number_index; i++)
1656 if (EQ (PRINT_NUMBER_OBJECT (Vprint_number_table, i),
1657 obj))
1659 if (NILP (PRINT_NUMBER_STATUS (Vprint_number_table, i)))
1661 strout (" . ", 3, 3, printcharfun, 0);
1662 print_object (obj, printcharfun, escapeflag);
1664 else
1666 sprintf (buf, " . #%d#", i + 1);
1667 strout (buf, -1, -1, printcharfun, 0);
1669 goto end_of_list;
1674 if (i++)
1675 PRINTCHAR (' ');
1677 if (print_length && i > print_length)
1679 strout ("...", 3, 3, printcharfun, 0);
1680 goto end_of_list;
1683 print_object (XCAR (obj), printcharfun, escapeflag);
1685 obj = XCDR (obj);
1686 if (!(i & 1))
1687 halftail = XCDR (halftail);
1691 /* OBJ non-nil here means it's the end of a dotted list. */
1692 if (!NILP (obj))
1694 strout (" . ", 3, 3, printcharfun, 0);
1695 print_object (obj, printcharfun, escapeflag);
1698 end_of_list:
1699 PRINTCHAR (')');
1701 break;
1703 case Lisp_Vectorlike:
1704 if (PROCESSP (obj))
1706 if (escapeflag)
1708 strout ("#<process ", -1, -1, printcharfun, 0);
1709 print_string (XPROCESS (obj)->name, printcharfun);
1710 PRINTCHAR ('>');
1712 else
1713 print_string (XPROCESS (obj)->name, printcharfun);
1715 else if (BOOL_VECTOR_P (obj))
1717 register int i;
1718 register unsigned char c;
1719 struct gcpro gcpro1;
1720 int size_in_chars
1721 = (XBOOL_VECTOR (obj)->size + BITS_PER_CHAR - 1) / BITS_PER_CHAR;
1723 GCPRO1 (obj);
1725 PRINTCHAR ('#');
1726 PRINTCHAR ('&');
1727 sprintf (buf, "%d", XBOOL_VECTOR (obj)->size);
1728 strout (buf, -1, -1, printcharfun, 0);
1729 PRINTCHAR ('\"');
1731 /* Don't print more characters than the specified maximum.
1732 Negative values of print-length are invalid. Treat them
1733 like a print-length of nil. */
1734 if (NATNUMP (Vprint_length)
1735 && XFASTINT (Vprint_length) < size_in_chars)
1736 size_in_chars = XFASTINT (Vprint_length);
1738 for (i = 0; i < size_in_chars; i++)
1740 QUIT;
1741 c = XBOOL_VECTOR (obj)->data[i];
1742 if (c == '\n' && print_escape_newlines)
1744 PRINTCHAR ('\\');
1745 PRINTCHAR ('n');
1747 else if (c == '\f' && print_escape_newlines)
1749 PRINTCHAR ('\\');
1750 PRINTCHAR ('f');
1752 else
1754 if (c == '\"' || c == '\\')
1755 PRINTCHAR ('\\');
1756 PRINTCHAR (c);
1759 PRINTCHAR ('\"');
1761 UNGCPRO;
1763 else if (SUBRP (obj))
1765 strout ("#<subr ", -1, -1, printcharfun, 0);
1766 strout (XSUBR (obj)->symbol_name, -1, -1, printcharfun, 0);
1767 PRINTCHAR ('>');
1769 else if (WINDOWP (obj))
1771 strout ("#<window ", -1, -1, printcharfun, 0);
1772 sprintf (buf, "%d", XFASTINT (XWINDOW (obj)->sequence_number));
1773 strout (buf, -1, -1, printcharfun, 0);
1774 if (!NILP (XWINDOW (obj)->buffer))
1776 strout (" on ", -1, -1, printcharfun, 0);
1777 print_string (XBUFFER (XWINDOW (obj)->buffer)->name, printcharfun);
1779 PRINTCHAR ('>');
1781 else if (HASH_TABLE_P (obj))
1783 struct Lisp_Hash_Table *h = XHASH_TABLE (obj);
1784 strout ("#<hash-table", -1, -1, printcharfun, 0);
1785 if (SYMBOLP (h->test))
1787 PRINTCHAR (' ');
1788 PRINTCHAR ('\'');
1789 strout (SDATA (SYMBOL_NAME (h->test)), -1, -1, printcharfun, 0);
1790 PRINTCHAR (' ');
1791 strout (SDATA (SYMBOL_NAME (h->weak)), -1, -1, printcharfun, 0);
1792 PRINTCHAR (' ');
1793 sprintf (buf, "%d/%d", XFASTINT (h->count),
1794 XVECTOR (h->next)->size);
1795 strout (buf, -1, -1, printcharfun, 0);
1797 sprintf (buf, " 0x%lx", (unsigned long) h);
1798 strout (buf, -1, -1, printcharfun, 0);
1799 PRINTCHAR ('>');
1801 else if (BUFFERP (obj))
1803 if (NILP (XBUFFER (obj)->name))
1804 strout ("#<killed buffer>", -1, -1, printcharfun, 0);
1805 else if (escapeflag)
1807 strout ("#<buffer ", -1, -1, printcharfun, 0);
1808 print_string (XBUFFER (obj)->name, printcharfun);
1809 PRINTCHAR ('>');
1811 else
1812 print_string (XBUFFER (obj)->name, printcharfun);
1814 else if (WINDOW_CONFIGURATIONP (obj))
1816 strout ("#<window-configuration>", -1, -1, printcharfun, 0);
1818 else if (FRAMEP (obj))
1820 strout ((FRAME_LIVE_P (XFRAME (obj))
1821 ? "#<frame " : "#<dead frame "),
1822 -1, -1, printcharfun, 0);
1823 print_string (XFRAME (obj)->name, printcharfun);
1824 sprintf (buf, " 0x%lx", (unsigned long) (XFRAME (obj)));
1825 strout (buf, -1, -1, printcharfun, 0);
1826 PRINTCHAR ('>');
1828 else
1830 int size = XVECTOR (obj)->size;
1831 if (COMPILEDP (obj))
1833 PRINTCHAR ('#');
1834 size &= PSEUDOVECTOR_SIZE_MASK;
1836 if (CHAR_TABLE_P (obj))
1838 /* We print a char-table as if it were a vector,
1839 lumping the parent and default slots in with the
1840 character slots. But we add #^ as a prefix. */
1841 PRINTCHAR ('#');
1842 PRINTCHAR ('^');
1843 if (SUB_CHAR_TABLE_P (obj))
1844 PRINTCHAR ('^');
1845 size &= PSEUDOVECTOR_SIZE_MASK;
1847 if (size & PSEUDOVECTOR_FLAG)
1848 goto badtype;
1850 PRINTCHAR ('[');
1852 register int i;
1853 register Lisp_Object tem;
1854 int real_size = size;
1856 /* Don't print more elements than the specified maximum. */
1857 if (NATNUMP (Vprint_length)
1858 && XFASTINT (Vprint_length) < size)
1859 size = XFASTINT (Vprint_length);
1861 for (i = 0; i < size; i++)
1863 if (i) PRINTCHAR (' ');
1864 tem = XVECTOR (obj)->contents[i];
1865 print_object (tem, printcharfun, escapeflag);
1867 if (size < real_size)
1868 strout (" ...", 4, 4, printcharfun, 0);
1870 PRINTCHAR (']');
1872 break;
1874 case Lisp_Misc:
1875 switch (XMISCTYPE (obj))
1877 case Lisp_Misc_Marker:
1878 strout ("#<marker ", -1, -1, printcharfun, 0);
1879 /* Do you think this is necessary? */
1880 if (XMARKER (obj)->insertion_type != 0)
1881 strout ("(moves after insertion) ", -1, -1, printcharfun, 0);
1882 if (!(XMARKER (obj)->buffer))
1883 strout ("in no buffer", -1, -1, printcharfun, 0);
1884 else
1886 sprintf (buf, "at %d", marker_position (obj));
1887 strout (buf, -1, -1, printcharfun, 0);
1888 strout (" in ", -1, -1, printcharfun, 0);
1889 print_string (XMARKER (obj)->buffer->name, printcharfun);
1891 PRINTCHAR ('>');
1892 break;
1894 case Lisp_Misc_Overlay:
1895 strout ("#<overlay ", -1, -1, printcharfun, 0);
1896 if (!(XMARKER (OVERLAY_START (obj))->buffer))
1897 strout ("in no buffer", -1, -1, printcharfun, 0);
1898 else
1900 sprintf (buf, "from %d to %d in ",
1901 marker_position (OVERLAY_START (obj)),
1902 marker_position (OVERLAY_END (obj)));
1903 strout (buf, -1, -1, printcharfun, 0);
1904 print_string (XMARKER (OVERLAY_START (obj))->buffer->name,
1905 printcharfun);
1907 PRINTCHAR ('>');
1908 break;
1910 /* Remaining cases shouldn't happen in normal usage, but let's print
1911 them anyway for the benefit of the debugger. */
1912 case Lisp_Misc_Free:
1913 strout ("#<misc free cell>", -1, -1, printcharfun, 0);
1914 break;
1916 case Lisp_Misc_Intfwd:
1917 sprintf (buf, "#<intfwd to %d>", *XINTFWD (obj)->intvar);
1918 strout (buf, -1, -1, printcharfun, 0);
1919 break;
1921 case Lisp_Misc_Boolfwd:
1922 sprintf (buf, "#<boolfwd to %s>",
1923 (*XBOOLFWD (obj)->boolvar ? "t" : "nil"));
1924 strout (buf, -1, -1, printcharfun, 0);
1925 break;
1927 case Lisp_Misc_Objfwd:
1928 strout ("#<objfwd to ", -1, -1, printcharfun, 0);
1929 print_object (*XOBJFWD (obj)->objvar, printcharfun, escapeflag);
1930 PRINTCHAR ('>');
1931 break;
1933 case Lisp_Misc_Buffer_Objfwd:
1934 strout ("#<buffer_objfwd to ", -1, -1, printcharfun, 0);
1935 print_object (PER_BUFFER_VALUE (current_buffer,
1936 XBUFFER_OBJFWD (obj)->offset),
1937 printcharfun, escapeflag);
1938 PRINTCHAR ('>');
1939 break;
1941 case Lisp_Misc_Kboard_Objfwd:
1942 strout ("#<kboard_objfwd to ", -1, -1, printcharfun, 0);
1943 print_object (*(Lisp_Object *)((char *) current_kboard
1944 + XKBOARD_OBJFWD (obj)->offset),
1945 printcharfun, escapeflag);
1946 PRINTCHAR ('>');
1947 break;
1949 case Lisp_Misc_Buffer_Local_Value:
1950 strout ("#<buffer_local_value ", -1, -1, printcharfun, 0);
1951 goto do_buffer_local;
1952 case Lisp_Misc_Some_Buffer_Local_Value:
1953 strout ("#<some_buffer_local_value ", -1, -1, printcharfun, 0);
1954 do_buffer_local:
1955 strout ("[realvalue] ", -1, -1, printcharfun, 0);
1956 print_object (XBUFFER_LOCAL_VALUE (obj)->realvalue,
1957 printcharfun, escapeflag);
1958 if (XBUFFER_LOCAL_VALUE (obj)->found_for_buffer)
1959 strout ("[local in buffer] ", -1, -1, printcharfun, 0);
1960 else
1961 strout ("[buffer] ", -1, -1, printcharfun, 0);
1962 print_object (XBUFFER_LOCAL_VALUE (obj)->buffer,
1963 printcharfun, escapeflag);
1964 if (XBUFFER_LOCAL_VALUE (obj)->check_frame)
1966 if (XBUFFER_LOCAL_VALUE (obj)->found_for_frame)
1967 strout ("[local in frame] ", -1, -1, printcharfun, 0);
1968 else
1969 strout ("[frame] ", -1, -1, printcharfun, 0);
1970 print_object (XBUFFER_LOCAL_VALUE (obj)->frame,
1971 printcharfun, escapeflag);
1973 strout ("[alist-elt] ", -1, -1, printcharfun, 0);
1974 print_object (XCAR (XBUFFER_LOCAL_VALUE (obj)->cdr),
1975 printcharfun, escapeflag);
1976 strout ("[default-value] ", -1, -1, printcharfun, 0);
1977 print_object (XCDR (XBUFFER_LOCAL_VALUE (obj)->cdr),
1978 printcharfun, escapeflag);
1979 PRINTCHAR ('>');
1980 break;
1982 default:
1983 goto badtype;
1985 break;
1987 default:
1988 badtype:
1990 /* We're in trouble if this happens!
1991 Probably should just abort () */
1992 strout ("#<EMACS BUG: INVALID DATATYPE ", -1, -1, printcharfun, 0);
1993 if (MISCP (obj))
1994 sprintf (buf, "(MISC 0x%04x)", (int) XMISCTYPE (obj));
1995 else if (VECTORLIKEP (obj))
1996 sprintf (buf, "(PVEC 0x%08x)", (int) XVECTOR (obj)->size);
1997 else
1998 sprintf (buf, "(0x%02x)", (int) XTYPE (obj));
1999 strout (buf, -1, -1, printcharfun, 0);
2000 strout (" Save your buffers immediately and please report this bug>",
2001 -1, -1, printcharfun, 0);
2005 print_depth--;
2009 /* Print a description of INTERVAL using PRINTCHARFUN.
2010 This is part of printing a string that has text properties. */
2012 void
2013 print_interval (interval, printcharfun)
2014 INTERVAL interval;
2015 Lisp_Object printcharfun;
2017 PRINTCHAR (' ');
2018 print_object (make_number (interval->position), printcharfun, 1);
2019 PRINTCHAR (' ');
2020 print_object (make_number (interval->position + LENGTH (interval)),
2021 printcharfun, 1);
2022 PRINTCHAR (' ');
2023 print_object (interval->plist, printcharfun, 1);
2027 void
2028 syms_of_print ()
2030 Qtemp_buffer_setup_hook = intern ("temp-buffer-setup-hook");
2031 staticpro (&Qtemp_buffer_setup_hook);
2033 DEFVAR_LISP ("standard-output", &Vstandard_output,
2034 doc: /* Output stream `print' uses by default for outputting a character.
2035 This may be any function of one argument.
2036 It may also be a buffer (output is inserted before point)
2037 or a marker (output is inserted and the marker is advanced)
2038 or the symbol t (output appears in the echo area). */);
2039 Vstandard_output = Qt;
2040 Qstandard_output = intern ("standard-output");
2041 staticpro (&Qstandard_output);
2043 DEFVAR_LISP ("float-output-format", &Vfloat_output_format,
2044 doc: /* The format descriptor string used to print floats.
2045 This is a %-spec like those accepted by `printf' in C,
2046 but with some restrictions. It must start with the two characters `%.'.
2047 After that comes an integer precision specification,
2048 and then a letter which controls the format.
2049 The letters allowed are `e', `f' and `g'.
2050 Use `e' for exponential notation \"DIG.DIGITSeEXPT\"
2051 Use `f' for decimal point notation \"DIGITS.DIGITS\".
2052 Use `g' to choose the shorter of those two formats for the number at hand.
2053 The precision in any of these cases is the number of digits following
2054 the decimal point. With `f', a precision of 0 means to omit the
2055 decimal point. 0 is not allowed with `e' or `g'.
2057 A value of nil means to use the shortest notation
2058 that represents the number without losing information. */);
2059 Vfloat_output_format = Qnil;
2060 Qfloat_output_format = intern ("float-output-format");
2061 staticpro (&Qfloat_output_format);
2063 DEFVAR_LISP ("print-length", &Vprint_length,
2064 doc: /* Maximum length of list to print before abbreviating.
2065 A value of nil means no limit. See also `eval-expression-print-length'. */);
2066 Vprint_length = Qnil;
2068 DEFVAR_LISP ("print-level", &Vprint_level,
2069 doc: /* Maximum depth of list nesting to print before abbreviating.
2070 A value of nil means no limit. See also `eval-expression-print-level'. */);
2071 Vprint_level = Qnil;
2073 DEFVAR_BOOL ("print-escape-newlines", &print_escape_newlines,
2074 doc: /* Non-nil means print newlines in strings as `\\n'.
2075 Also print formfeeds as `\\f'. */);
2076 print_escape_newlines = 0;
2078 DEFVAR_BOOL ("print-escape-nonascii", &print_escape_nonascii,
2079 doc: /* Non-nil means print unibyte non-ASCII chars in strings as \\OOO.
2080 \(OOO is the octal representation of the character code.)
2081 Only single-byte characters are affected, and only in `prin1'. */);
2082 print_escape_nonascii = 0;
2084 DEFVAR_BOOL ("print-escape-multibyte", &print_escape_multibyte,
2085 doc: /* Non-nil means print multibyte characters in strings as \\xXXXX.
2086 \(XXXX is the hex representation of the character code.)
2087 This affects only `prin1'. */);
2088 print_escape_multibyte = 0;
2090 DEFVAR_BOOL ("print-quoted", &print_quoted,
2091 doc: /* Non-nil means print quoted forms with reader syntax.
2092 I.e., (quote foo) prints as 'foo, (function foo) as #'foo, and backquoted
2093 forms print as in the new syntax. */);
2094 print_quoted = 0;
2096 DEFVAR_LISP ("print-gensym", &Vprint_gensym,
2097 doc: /* Non-nil means print uninterned symbols so they will read as uninterned.
2098 I.e., the value of (make-symbol \"foobar\") prints as #:foobar.
2099 When the uninterned symbol appears within a recursive data structure,
2100 and the symbol appears more than once, in addition use the #N# and #N=
2101 constructs as needed, so that multiple references to the same symbol are
2102 shared once again when the text is read back. */);
2103 Vprint_gensym = Qnil;
2105 DEFVAR_LISP ("print-circle", &Vprint_circle,
2106 doc: /* *Non-nil means print recursive structures using #N= and #N# syntax.
2107 If nil, printing proceeds recursively and may lead to
2108 `max-lisp-eval-depth' being exceeded or an error may occur:
2109 \"Apparently circular structure being printed.\" Also see
2110 `print-length' and `print-level'.
2111 If non-nil, shared substructures anywhere in the structure are printed
2112 with `#N=' before the first occurrence (in the order of the print
2113 representation) and `#N#' in place of each subsequent occurrence,
2114 where N is a positive decimal integer. */);
2115 Vprint_circle = Qnil;
2117 DEFVAR_LISP ("print-continuous-numbering", &Vprint_continuous_numbering,
2118 doc: /* *Non-nil means number continuously across print calls.
2119 This affects the numbers printed for #N= labels and #M# references.
2120 See also `print-circle', `print-gensym', and `print-number-table'.
2121 This variable should not be set with `setq'; bind it with a `let' instead. */);
2122 Vprint_continuous_numbering = Qnil;
2124 DEFVAR_LISP ("print-number-table", &Vprint_number_table,
2125 doc: /* A vector used internally to produce `#N=' labels and `#N#' references.
2126 The Lisp printer uses this vector to detect Lisp objects referenced more
2127 than once.
2129 When you bind `print-continuous-numbering' to t, you should probably
2130 also bind `print-number-table' to nil. This ensures that the value of
2131 `print-number-table' can be garbage-collected once the printing is
2132 done. If all elements of `print-number-table' are nil, it means that
2133 the printing done so far has not found any shared structure or objects
2134 that need to be recorded in the table. */);
2135 Vprint_number_table = Qnil;
2137 /* prin1_to_string_buffer initialized in init_buffer_once in buffer.c */
2138 staticpro (&Vprin1_to_string_buffer);
2140 defsubr (&Sprin1);
2141 defsubr (&Sprin1_to_string);
2142 defsubr (&Serror_message_string);
2143 defsubr (&Sprinc);
2144 defsubr (&Sprint);
2145 defsubr (&Sterpri);
2146 defsubr (&Swrite_char);
2147 defsubr (&Sexternal_debugging_output);
2149 Qexternal_debugging_output = intern ("external-debugging-output");
2150 staticpro (&Qexternal_debugging_output);
2152 Qprint_escape_newlines = intern ("print-escape-newlines");
2153 staticpro (&Qprint_escape_newlines);
2155 Qprint_escape_multibyte = intern ("print-escape-multibyte");
2156 staticpro (&Qprint_escape_multibyte);
2158 Qprint_escape_nonascii = intern ("print-escape-nonascii");
2159 staticpro (&Qprint_escape_nonascii);
2161 defsubr (&Swith_output_to_temp_buffer);