Add stringbuf printer
[bpt/guile.git] / libguile / print.c
1 /* Copyright (C) 1995-1999, 2000, 2001, 2002, 2003, 2004, 2006, 2008,
2 * 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
3 *
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public License
6 * as published by the Free Software Foundation; either version 3 of
7 * the License, or (at your option) any later version.
8 *
9 * This library is distributed in the hope that it will be useful, but
10 * WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
13 *
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, write to the Free Software
16 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
17 * 02110-1301 USA
18 */
19
20
21 \f
22 #ifdef HAVE_CONFIG_H
23 # include <config.h>
24 #endif
25
26 #include <errno.h>
27 #include <iconv.h>
28 #include <stdio.h>
29 #include <assert.h>
30
31 #include <uniconv.h>
32 #include <unictype.h>
33
34 #include "libguile/_scm.h"
35 #include "libguile/chars.h"
36 #include "libguile/continuations.h"
37 #include "libguile/smob.h"
38 #include "libguile/control.h"
39 #include "libguile/eval.h"
40 #include "libguile/macros.h"
41 #include "libguile/procprop.h"
42 #include "libguile/read.h"
43 #include "libguile/programs.h"
44 #include "libguile/alist.h"
45 #include "libguile/struct.h"
46 #include "libguile/ports.h"
47 #include "libguile/ports-internal.h"
48 #include "libguile/root.h"
49 #include "libguile/strings.h"
50 #include "libguile/strports.h"
51 #include "libguile/vectors.h"
52 #include "libguile/numbers.h"
53 #include "libguile/vm.h"
54
55 #include "libguile/validate.h"
56 #include "libguile/print.h"
57
58 #include "libguile/private-options.h"
59
60 \f
61
62 /* Character printers. */
63
64 #define PORT_CONVERSION_HANDLER(port) \
65 SCM_PTAB_ENTRY (port)->ilseq_handler
66
67 static size_t display_string (const void *, int, size_t, SCM,
68 scm_t_string_failed_conversion_handler);
69
70 static int display_character (scm_t_wchar, SCM,
71 scm_t_string_failed_conversion_handler);
72
73 static void write_character (scm_t_wchar, SCM, int);
74
75 static void write_character_escaped (scm_t_wchar, int, SCM);
76
77 \f
78
79 /* {Names of immediate symbols}
80 *
81 * This table must agree with the declarations in scm.h: {Immediate Symbols}.
82 */
83
84 /* This table must agree with the list of flags in tags.h. */
85 static const char *iflagnames[] =
86 {
87 "#f",
88 "#nil", /* Elisp nil value. Should print from elisp as symbol `nil'. */
89 "#<XXX UNUSED LISP FALSE -- DO NOT USE -- SHOULD NEVER BE SEEN XXX>",
90 "()",
91 "#t",
92 "#<XXX UNUSED BOOLEAN 0 -- DO NOT USE -- SHOULD NEVER BE SEEN XXX>",
93 "#<XXX UNUSED BOOLEAN 1 -- DO NOT USE -- SHOULD NEVER BE SEEN XXX>",
94 "#<XXX UNUSED BOOLEAN 2 -- DO NOT USE -- SHOULD NEVER BE SEEN XXX>",
95 "#<unspecified>",
96 "#<undefined>",
97 "#<eof>",
98
99 /* Unbound slot marker for GOOPS. For internal use in GOOPS only. */
100 "#<unbound>",
101 };
102
103 SCM_SYMBOL (sym_reader, "reader");
104
105 scm_t_option scm_print_opts[] = {
106 { SCM_OPTION_SCM, "highlight-prefix", (scm_t_bits)SCM_BOOL_F_BITS,
107 "The string to print before highlighted values." },
108 { SCM_OPTION_SCM, "highlight-suffix", (scm_t_bits)SCM_BOOL_F_BITS,
109 "The string to print after highlighted values." },
110 { SCM_OPTION_SCM, "quote-keywordish-symbols", (scm_t_bits)SCM_BOOL_F_BITS,
111 "How to print symbols that have a colon as their first or last character. "
112 "The value '#f' does not quote the colons; '#t' quotes them; "
113 "'reader' quotes them when the reader option 'keywords' is not '#f'." },
114 { SCM_OPTION_BOOLEAN, "escape-newlines", 1,
115 "Render newlines as \\n when printing using `write'." },
116 { 0 },
117 };
118
119 SCM_DEFINE (scm_print_options, "print-options-interface", 0, 1, 0,
120 (SCM setting),
121 "Option interface for the print options. Instead of using\n"
122 "this procedure directly, use the procedures\n"
123 "@code{print-enable}, @code{print-disable}, @code{print-set!}\n"
124 "and @code{print-options}.")
125 #define FUNC_NAME s_scm_print_options
126 {
127 SCM ans = scm_options (setting,
128 scm_print_opts,
129 FUNC_NAME);
130 return ans;
131 }
132 #undef FUNC_NAME
133
134 \f
135 /* {Printing of Scheme Objects}
136 */
137
138 /* Detection of circular references.
139 *
140 * Due to other constraints in the implementation, this code has bad
141 * time complexity (O (depth * N)), The printer code can be
142 * rewritten to be O(N).
143 */
144 #define PUSH_REF(pstate, obj) \
145 do \
146 { \
147 PSTATE_STACK_SET (pstate, pstate->top, obj); \
148 pstate->top++; \
149 if (pstate->top == pstate->ceiling) \
150 grow_ref_stack (pstate); \
151 } while(0)
152
153 #define ENTER_NESTED_DATA(pstate, obj, label) \
154 do \
155 { \
156 register unsigned long i; \
157 for (i = 0; i < pstate->top; ++i) \
158 if (scm_is_eq (PSTATE_STACK_REF (pstate, i), (obj))) \
159 goto label; \
160 if (pstate->fancyp) \
161 { \
162 if (pstate->top - pstate->list_offset >= pstate->level) \
163 { \
164 scm_putc_unlocked ('#', port); \
165 return; \
166 } \
167 } \
168 PUSH_REF(pstate, obj); \
169 } while(0)
170
171 #define EXIT_NESTED_DATA(pstate) \
172 do \
173 { \
174 --pstate->top; \
175 PSTATE_STACK_SET (pstate, pstate->top, SCM_UNDEFINED); \
176 } \
177 while (0)
178
179 SCM scm_print_state_vtable = SCM_BOOL_F;
180 static SCM print_state_pool = SCM_EOL;
181 scm_i_pthread_mutex_t print_state_mutex = SCM_I_PTHREAD_MUTEX_INITIALIZER;
182
183 #ifdef GUILE_DEBUG /* Used for debugging purposes */
184
185 SCM_DEFINE (scm_current_pstate, "current-pstate", 0, 0, 0,
186 (),
187 "Return the current-pstate -- the car of the\n"
188 "@code{print_state_pool}. @code{current-pstate} is only\n"
189 "included in @code{--enable-guile-debug} builds.")
190 #define FUNC_NAME s_scm_current_pstate
191 {
192 if (!scm_is_null (print_state_pool))
193 return SCM_CAR (print_state_pool);
194 else
195 return SCM_BOOL_F;
196 }
197 #undef FUNC_NAME
198
199 #endif
200
201 #define PSTATE_SIZE 50L
202
203 static SCM
204 make_print_state (void)
205 {
206 SCM print_state
207 = scm_make_struct (scm_print_state_vtable, SCM_INUM0, SCM_EOL);
208 scm_print_state *pstate = SCM_PRINT_STATE (print_state);
209 pstate->ref_vect = scm_c_make_vector (PSTATE_SIZE, SCM_UNDEFINED);
210 pstate->ceiling = SCM_SIMPLE_VECTOR_LENGTH (pstate->ref_vect);
211 pstate->highlight_objects = SCM_EOL;
212 return print_state;
213 }
214
215 SCM
216 scm_make_print_state ()
217 {
218 SCM answer = SCM_BOOL_F;
219
220 /* First try to allocate a print state from the pool */
221 scm_i_pthread_mutex_lock (&print_state_mutex);
222 if (!scm_is_null (print_state_pool))
223 {
224 answer = SCM_CAR (print_state_pool);
225 print_state_pool = SCM_CDR (print_state_pool);
226 }
227 scm_i_pthread_mutex_unlock (&print_state_mutex);
228
229 return scm_is_false (answer) ? make_print_state () : answer;
230 }
231
232 void
233 scm_free_print_state (SCM print_state)
234 {
235 SCM handle;
236 scm_print_state *pstate = SCM_PRINT_STATE (print_state);
237 /* Cleanup before returning print state to pool.
238 * It is better to do it here. Doing it in scm_prin1
239 * would cost more since that function is called much more
240 * often.
241 */
242 pstate->fancyp = 0;
243 pstate->revealed = 0;
244 pstate->highlight_objects = SCM_EOL;
245 scm_i_pthread_mutex_lock (&print_state_mutex);
246 handle = scm_cons (print_state, print_state_pool);
247 print_state_pool = handle;
248 scm_i_pthread_mutex_unlock (&print_state_mutex);
249 }
250
251 SCM
252 scm_i_port_with_print_state (SCM port, SCM print_state)
253 {
254 if (SCM_UNBNDP (print_state))
255 {
256 if (SCM_PORT_WITH_PS_P (port))
257 return port;
258 else
259 print_state = scm_make_print_state ();
260 /* port does not need to be coerced since it doesn't have ps */
261 }
262 else
263 port = SCM_COERCE_OUTPORT (port);
264 SCM_RETURN_NEWSMOB (scm_tc16_port_with_ps,
265 SCM_UNPACK (scm_cons (port, print_state)));
266 }
267
268 static void
269 grow_ref_stack (scm_print_state *pstate)
270 {
271 SCM old_vect = pstate->ref_vect;
272 size_t old_size = SCM_SIMPLE_VECTOR_LENGTH (old_vect);
273 size_t new_size = 2 * pstate->ceiling;
274 SCM new_vect = scm_c_make_vector (new_size, SCM_UNDEFINED);
275 unsigned long int i;
276
277 for (i = 0; i != old_size; ++i)
278 SCM_SIMPLE_VECTOR_SET (new_vect, i, SCM_SIMPLE_VECTOR_REF (old_vect, i));
279
280 pstate->ref_vect = new_vect;
281 pstate->ceiling = new_size;
282 }
283
284 #define PSTATE_STACK_REF(p,i) SCM_SIMPLE_VECTOR_REF((p)->ref_vect, (i))
285 #define PSTATE_STACK_SET(p,i,v) SCM_SIMPLE_VECTOR_SET((p)->ref_vect, (i), (v))
286
287 static void
288 print_circref (SCM port, scm_print_state *pstate, SCM ref)
289 {
290 register long i;
291 long self = pstate->top - 1;
292 i = pstate->top - 1;
293 if (scm_is_pair (PSTATE_STACK_REF (pstate, i)))
294 {
295 while (i > 0)
296 {
297 if (!scm_is_pair (PSTATE_STACK_REF (pstate, i-1))
298 || !scm_is_eq (SCM_CDR (PSTATE_STACK_REF (pstate, i-1)),
299 SCM_CDR (PSTATE_STACK_REF (pstate, i))))
300 break;
301 --i;
302 }
303 self = i;
304 }
305 for (i = pstate->top - 1; 1; --i)
306 if (scm_is_eq (PSTATE_STACK_REF(pstate, i), ref))
307 break;
308 scm_putc_unlocked ('#', port);
309 scm_intprint (i - self, 10, port);
310 scm_putc_unlocked ('#', port);
311 }
312
313 /* Print the name of a symbol. */
314
315 static int
316 quote_keywordish_symbols (void)
317 {
318 SCM option = SCM_PRINT_KEYWORD_STYLE;
319
320 if (scm_is_false (option))
321 return 0;
322 if (scm_is_eq (option, sym_reader))
323 return scm_is_true (SCM_PACK (SCM_KEYWORD_STYLE));
324 return 1;
325 }
326
327 #define INITIAL_IDENTIFIER_MASK \
328 (UC_CATEGORY_MASK_Lu | UC_CATEGORY_MASK_Ll | UC_CATEGORY_MASK_Lt \
329 | UC_CATEGORY_MASK_Lm | UC_CATEGORY_MASK_Lo | UC_CATEGORY_MASK_Mn \
330 | UC_CATEGORY_MASK_Nl | UC_CATEGORY_MASK_No | UC_CATEGORY_MASK_Pd \
331 | UC_CATEGORY_MASK_Pc | UC_CATEGORY_MASK_Po | UC_CATEGORY_MASK_Sc \
332 | UC_CATEGORY_MASK_Sm | UC_CATEGORY_MASK_Sk | UC_CATEGORY_MASK_So \
333 | UC_CATEGORY_MASK_Co)
334
335 #define SUBSEQUENT_IDENTIFIER_MASK \
336 (INITIAL_IDENTIFIER_MASK \
337 | UC_CATEGORY_MASK_Nd | UC_CATEGORY_MASK_Mc | UC_CATEGORY_MASK_Me)
338
339 /* FIXME: Cache this information on the symbol, somehow. */
340 static int
341 symbol_has_extended_read_syntax (SCM sym)
342 {
343 size_t pos, len = scm_i_symbol_length (sym);
344 scm_t_wchar c;
345
346 /* The empty symbol. */
347 if (len == 0)
348 return 1;
349
350 c = scm_i_symbol_ref (sym, 0);
351
352 switch (c)
353 {
354 case '\'':
355 case '`':
356 case ',':
357 case '"':
358 case ';':
359 case '#':
360 /* Some initial-character constraints. */
361 return 1;
362
363 case ':':
364 /* Symbols that look like keywords. */
365 return quote_keywordish_symbols ();
366
367 case '.':
368 /* Single dot conflicts with dotted-pair notation. */
369 if (len == 1)
370 return 1;
371 /* Fall through to check numbers. */
372 case '+':
373 case '-':
374 case '0':
375 case '1':
376 case '2':
377 case '3':
378 case '4':
379 case '5':
380 case '6':
381 case '7':
382 case '8':
383 case '9':
384 /* Number-ish symbols. Numbers with radixes already caught be #
385 above. */
386 if (scm_is_true (scm_i_string_to_number (scm_symbol_to_string (sym), 10)))
387 return 1;
388 break;
389
390 default:
391 break;
392 }
393
394 /* Other disallowed first characters. */
395 if (!uc_is_general_category_withtable (c, INITIAL_IDENTIFIER_MASK))
396 return 1;
397
398 /* Keywords can be identified by trailing colons too. */
399 if (scm_i_symbol_ref (sym, len - 1) == ':')
400 return quote_keywordish_symbols ();
401
402 /* Otherwise, any character that's in the identifier category mask is
403 fine to pass through as-is, provided it's not one of the ASCII
404 delimiters like `;'. */
405 for (pos = 1; pos < len; pos++)
406 {
407 c = scm_i_symbol_ref (sym, pos);
408 if (!uc_is_general_category_withtable (c, SUBSEQUENT_IDENTIFIER_MASK))
409 return 1;
410 else if (c == '"' || c == ';' || c == '#')
411 return 1;
412 }
413
414 return 0;
415 }
416
417 static void
418 print_normal_symbol (SCM sym, SCM port)
419 {
420 size_t len;
421 scm_t_string_failed_conversion_handler strategy;
422
423 len = scm_i_symbol_length (sym);
424 strategy = SCM_PTAB_ENTRY (port)->ilseq_handler;
425
426 if (scm_i_is_narrow_symbol (sym))
427 display_string (scm_i_symbol_chars (sym), 1, len, port, strategy);
428 else
429 display_string (scm_i_symbol_wide_chars (sym), 0, len, port, strategy);
430 }
431
432 static void
433 print_extended_symbol (SCM sym, SCM port)
434 {
435 size_t pos, len;
436 scm_t_string_failed_conversion_handler strategy;
437
438 len = scm_i_symbol_length (sym);
439 strategy = PORT_CONVERSION_HANDLER (port);
440
441 scm_lfwrite_unlocked ("#{", 2, port);
442
443 for (pos = 0; pos < len; pos++)
444 {
445 scm_t_wchar c = scm_i_symbol_ref (sym, pos);
446
447 if (uc_is_general_category_withtable (c,
448 SUBSEQUENT_IDENTIFIER_MASK
449 | UC_CATEGORY_MASK_Zs))
450 {
451 if (!display_character (c, port, strategy)
452 || (c == '\\' && !display_character (c, port, strategy)))
453 scm_encoding_error ("print_extended_symbol", errno,
454 "cannot convert to output locale",
455 port, SCM_MAKE_CHAR (c));
456 }
457 else
458 {
459 display_string ("\\x", 1, 2, port, iconveh_question_mark);
460 scm_intprint (c, 16, port);
461 display_character (';', port, iconveh_question_mark);
462 }
463 }
464
465 scm_lfwrite_unlocked ("}#", 2, port);
466 }
467
468 /* FIXME: allow R6RS hex escapes instead of #{...}#. */
469 static void
470 print_symbol (SCM sym, SCM port)
471 {
472 if (symbol_has_extended_read_syntax (sym))
473 print_extended_symbol (sym, port);
474 else
475 print_normal_symbol (sym, port);
476 }
477
478 void
479 scm_print_symbol_name (const char *str, size_t len, SCM port)
480 {
481 SCM symbol = scm_from_utf8_symboln (str, len);
482 print_symbol (symbol, port);
483 }
484
485 /* Print generally. Handles both write and display according to PSTATE.
486 */
487 SCM_GPROC(s_write, "write", 1, 1, 0, scm_write, g_write);
488 SCM_GPROC(s_display, "display", 1, 1, 0, scm_display, g_display);
489
490 static void iprin1 (SCM exp, SCM port, scm_print_state *pstate);
491
492
493 /* Print a character as an octal or hex escape. */
494 #define PRINT_CHAR_ESCAPE(i, port) \
495 do \
496 { \
497 if (!SCM_R6RS_ESCAPES_P) \
498 scm_intprint (i, 8, port); \
499 else \
500 { \
501 scm_puts_unlocked ("x", port); \
502 scm_intprint (i, 16, port); \
503 } \
504 } \
505 while (0)
506
507
508 void
509 scm_iprin1 (SCM exp, SCM port, scm_print_state *pstate)
510 {
511 if (pstate->fancyp
512 && scm_is_true (scm_memq (exp, pstate->highlight_objects)))
513 {
514 scm_display (SCM_PRINT_HIGHLIGHT_PREFIX, port);
515 iprin1 (exp, port, pstate);
516 scm_display (SCM_PRINT_HIGHLIGHT_SUFFIX, port);
517 }
518 else
519 iprin1 (exp, port, pstate);
520 }
521
522 static void
523 iprin1 (SCM exp, SCM port, scm_print_state *pstate)
524 {
525 switch (SCM_ITAG3 (exp))
526 {
527 case scm_tc3_tc7_1:
528 case scm_tc3_tc7_2:
529 /* These tc3 tags should never occur in an immediate value. They are
530 * only used in cell types of non-immediates, i. e. the value returned
531 * by SCM_CELL_TYPE (exp) can use these tags.
532 */
533 scm_ipruk ("immediate", exp, port);
534 break;
535 case scm_tc3_int_1:
536 case scm_tc3_int_2:
537 scm_intprint (SCM_I_INUM (exp), 10, port);
538 break;
539 case scm_tc3_imm24:
540 if (SCM_CHARP (exp))
541 {
542 if (SCM_WRITINGP (pstate))
543 write_character (SCM_CHAR (exp), port, 0);
544 else
545 {
546 if (!display_character (SCM_CHAR (exp), port,
547 PORT_CONVERSION_HANDLER (port)))
548 scm_encoding_error (__func__, errno,
549 "cannot convert to output locale",
550 port, exp);
551 }
552 }
553 else if (SCM_IFLAGP (exp)
554 && ((size_t) SCM_IFLAGNUM (exp) < (sizeof iflagnames / sizeof (char *))))
555 {
556 scm_puts_unlocked (iflagnames [SCM_IFLAGNUM (exp)], port);
557 }
558 else
559 {
560 /* unknown immediate value */
561 scm_ipruk ("immediate", exp, port);
562 }
563 break;
564 case scm_tc3_cons:
565 switch (SCM_TYP7 (exp))
566 {
567 case scm_tcs_struct:
568 {
569 ENTER_NESTED_DATA (pstate, exp, circref);
570 if (SCM_OBJ_CLASS_FLAGS (exp) & SCM_CLASSF_GOOPS)
571 {
572 SCM pwps, print = pstate->writingp ? g_write : g_display;
573 if (SCM_UNPACK (print) == 0)
574 goto print_struct;
575 pwps = scm_i_port_with_print_state (port, pstate->handle);
576 pstate->revealed = 1;
577 scm_call_2 (print, exp, pwps);
578 }
579 else
580 {
581 print_struct:
582 scm_print_struct (exp, port, pstate);
583 }
584 EXIT_NESTED_DATA (pstate);
585 }
586 break;
587 case scm_tcs_cons_imcar:
588 case scm_tcs_cons_nimcar:
589 ENTER_NESTED_DATA (pstate, exp, circref);
590 scm_iprlist ("(", exp, ')', port, pstate);
591 EXIT_NESTED_DATA (pstate);
592 break;
593 circref:
594 print_circref (port, pstate, exp);
595 break;
596 case scm_tc7_number:
597 switch SCM_TYP16 (exp) {
598 case scm_tc16_big:
599 scm_bigprint (exp, port, pstate);
600 break;
601 case scm_tc16_real:
602 scm_print_real (exp, port, pstate);
603 break;
604 case scm_tc16_complex:
605 scm_print_complex (exp, port, pstate);
606 break;
607 case scm_tc16_fraction:
608 scm_i_print_fraction (exp, port, pstate);
609 break;
610 }
611 break;
612 case scm_tc7_stringbuf:
613 scm_i_print_stringbuf (exp, port, pstate);
614 break;
615 case scm_tc7_string:
616 if (SCM_WRITINGP (pstate))
617 {
618 size_t len, i;
619
620 display_character ('"', port, iconveh_question_mark);
621 len = scm_i_string_length (exp);
622 for (i = 0; i < len; ++i)
623 write_character (scm_i_string_ref (exp, i), port, 1);
624
625 display_character ('"', port, iconveh_question_mark);
626 scm_remember_upto_here_1 (exp);
627 }
628 else
629 {
630 size_t len, printed;
631
632 len = scm_i_string_length (exp);
633 printed = display_string (scm_i_string_data (exp),
634 scm_i_is_narrow_string (exp),
635 len, port,
636 PORT_CONVERSION_HANDLER (port));
637 if (SCM_UNLIKELY (printed < len))
638 scm_encoding_error (__func__, errno,
639 "cannot convert to output locale",
640 port, scm_c_string_ref (exp, printed));
641 }
642
643 scm_remember_upto_here_1 (exp);
644 break;
645 case scm_tc7_symbol:
646 if (scm_i_symbol_is_interned (exp))
647 {
648 print_symbol (exp, port);
649 scm_remember_upto_here_1 (exp);
650 }
651 else
652 {
653 scm_puts_unlocked ("#<uninterned-symbol ", port);
654 print_symbol (exp, port);
655 scm_putc_unlocked (' ', port);
656 scm_uintprint (SCM_UNPACK (exp), 16, port);
657 scm_putc_unlocked ('>', port);
658 }
659 break;
660 case scm_tc7_variable:
661 scm_i_variable_print (exp, port, pstate);
662 break;
663 case scm_tc7_rtl_program:
664 case scm_tc7_program:
665 scm_i_program_print (exp, port, pstate);
666 break;
667 case scm_tc7_pointer:
668 scm_i_pointer_print (exp, port, pstate);
669 break;
670 case scm_tc7_hashtable:
671 scm_i_hashtable_print (exp, port, pstate);
672 break;
673 case scm_tc7_weak_set:
674 scm_i_weak_set_print (exp, port, pstate);
675 break;
676 case scm_tc7_weak_table:
677 scm_i_weak_table_print (exp, port, pstate);
678 break;
679 case scm_tc7_fluid:
680 scm_i_fluid_print (exp, port, pstate);
681 break;
682 case scm_tc7_dynamic_state:
683 scm_i_dynamic_state_print (exp, port, pstate);
684 break;
685 case scm_tc7_frame:
686 scm_i_frame_print (exp, port, pstate);
687 break;
688 case scm_tc7_objcode:
689 scm_i_objcode_print (exp, port, pstate);
690 break;
691 case scm_tc7_vm:
692 scm_i_vm_print (exp, port, pstate);
693 break;
694 case scm_tc7_vm_cont:
695 scm_i_vm_cont_print (exp, port, pstate);
696 break;
697 case scm_tc7_array:
698 ENTER_NESTED_DATA (pstate, exp, circref);
699 scm_i_print_array (exp, port, pstate);
700 EXIT_NESTED_DATA (pstate);
701 break;
702 case scm_tc7_bytevector:
703 scm_i_print_bytevector (exp, port, pstate);
704 break;
705 case scm_tc7_bitvector:
706 scm_i_print_bitvector (exp, port, pstate);
707 break;
708 case scm_tc7_wvect:
709 ENTER_NESTED_DATA (pstate, exp, circref);
710 scm_puts_unlocked ("#w(", port);
711 goto common_vector_printer;
712 case scm_tc7_vector:
713 ENTER_NESTED_DATA (pstate, exp, circref);
714 scm_puts_unlocked ("#(", port);
715 common_vector_printer:
716 {
717 register long i;
718 long last = SCM_SIMPLE_VECTOR_LENGTH (exp) - 1;
719 int cutp = 0;
720 if (pstate->fancyp
721 && SCM_SIMPLE_VECTOR_LENGTH (exp) > pstate->length)
722 {
723 last = pstate->length - 1;
724 cutp = 1;
725 }
726 for (i = 0; i < last; ++i)
727 {
728 scm_iprin1 (scm_c_vector_ref (exp, i), port, pstate);
729 scm_putc_unlocked (' ', port);
730 }
731 if (i == last)
732 {
733 /* CHECK_INTS; */
734 scm_iprin1 (scm_c_vector_ref (exp, i), port, pstate);
735 }
736 if (cutp)
737 scm_puts_unlocked (" ...", port);
738 scm_putc_unlocked (')', port);
739 }
740 EXIT_NESTED_DATA (pstate);
741 break;
742 case scm_tc7_port:
743 {
744 scm_t_ptob_descriptor *ptob = SCM_PORT_DESCRIPTOR (exp);
745 if (ptob->print && ptob->print (exp, port, pstate))
746 break;
747 goto punk;
748 }
749 case scm_tc7_smob:
750 ENTER_NESTED_DATA (pstate, exp, circref);
751 SCM_SMOB_DESCRIPTOR (exp).print (exp, port, pstate);
752 EXIT_NESTED_DATA (pstate);
753 break;
754 default:
755 /* case scm_tcs_closures: */
756 punk:
757 scm_ipruk ("type", exp, port);
758 }
759 }
760 }
761
762 /* Print states are necessary for circular reference safe printing.
763 * They are also expensive to allocate. Therefore print states are
764 * kept in a pool so that they can be reused.
765 */
766
767 /* The PORT argument can also be a print-state/port pair, which will
768 * then be used instead of allocating a new print state. This is
769 * useful for continuing a chain of print calls from Scheme. */
770
771 void
772 scm_prin1 (SCM exp, SCM port, int writingp)
773 {
774 SCM handle = SCM_BOOL_F; /* Will GC protect the handle whilst unlinked */
775 SCM pstate_scm;
776 scm_print_state *pstate;
777 int old_writingp;
778
779 /* If PORT is a print-state/port pair, use that. Else create a new
780 print-state. */
781
782 if (SCM_PORT_WITH_PS_P (port))
783 {
784 pstate_scm = SCM_PORT_WITH_PS_PS (port);
785 port = SCM_PORT_WITH_PS_PORT (port);
786 }
787 else
788 {
789 /* First try to allocate a print state from the pool */
790 scm_i_pthread_mutex_lock (&print_state_mutex);
791 if (!scm_is_null (print_state_pool))
792 {
793 handle = print_state_pool;
794 print_state_pool = SCM_CDR (print_state_pool);
795 }
796 scm_i_pthread_mutex_unlock (&print_state_mutex);
797 if (scm_is_false (handle))
798 handle = scm_list_1 (make_print_state ());
799 pstate_scm = SCM_CAR (handle);
800 }
801
802 pstate = SCM_PRINT_STATE (pstate_scm);
803 old_writingp = pstate->writingp;
804 pstate->writingp = writingp;
805 scm_iprin1 (exp, port, pstate);
806 pstate->writingp = old_writingp;
807
808 /* Return print state to pool if it has been created above and
809 hasn't escaped to Scheme. */
810
811 if (scm_is_true (handle) && !pstate->revealed)
812 {
813 scm_i_pthread_mutex_lock (&print_state_mutex);
814 SCM_SETCDR (handle, print_state_pool);
815 print_state_pool = handle;
816 scm_i_pthread_mutex_unlock (&print_state_mutex);
817 }
818 }
819
820 /* Convert codepoint CH to UTF-8 and store the result in UTF8. Return
821 the number of bytes of the UTF-8-encoded string. */
822 static size_t
823 codepoint_to_utf8 (scm_t_wchar ch, scm_t_uint8 utf8[4])
824 {
825 size_t len;
826 scm_t_uint32 codepoint;
827
828 codepoint = (scm_t_uint32) ch;
829
830 if (codepoint <= 0x7f)
831 {
832 len = 1;
833 utf8[0] = (scm_t_uint8) codepoint;
834 }
835 else if (codepoint <= 0x7ffUL)
836 {
837 len = 2;
838 utf8[0] = 0xc0 | (codepoint >> 6);
839 utf8[1] = 0x80 | (codepoint & 0x3f);
840 }
841 else if (codepoint <= 0xffffUL)
842 {
843 len = 3;
844 utf8[0] = 0xe0 | (codepoint >> 12);
845 utf8[1] = 0x80 | ((codepoint >> 6) & 0x3f);
846 utf8[2] = 0x80 | (codepoint & 0x3f);
847 }
848 else
849 {
850 len = 4;
851 utf8[0] = 0xf0 | (codepoint >> 18);
852 utf8[1] = 0x80 | ((codepoint >> 12) & 0x3f);
853 utf8[2] = 0x80 | ((codepoint >> 6) & 0x3f);
854 utf8[3] = 0x80 | (codepoint & 0x3f);
855 }
856
857 return len;
858 }
859
860 #define STR_REF(s, x) \
861 (narrow_p \
862 ? (scm_t_wchar) ((unsigned char *) (s))[x] \
863 : ((scm_t_wchar *) (s))[x])
864
865 /* Write STR to PORT as UTF-8. STR is a LEN-codepoint string; it is
866 narrow if NARROW_P is true, wide otherwise. Return LEN. */
867 static size_t
868 display_string_as_utf8 (const void *str, int narrow_p, size_t len,
869 SCM port)
870 {
871 size_t printed = 0;
872
873 while (len > printed)
874 {
875 size_t utf8_len, i;
876 char *input, utf8_buf[256];
877
878 /* Convert STR to UTF-8. */
879 for (i = printed, utf8_len = 0, input = utf8_buf;
880 i < len && utf8_len + 4 < sizeof (utf8_buf);
881 i++)
882 {
883 utf8_len += codepoint_to_utf8 (STR_REF (str, i),
884 (scm_t_uint8 *) input);
885 input = utf8_buf + utf8_len;
886 }
887
888 /* INPUT was successfully converted, entirely; print the
889 result. */
890 scm_lfwrite_unlocked (utf8_buf, utf8_len, port);
891 printed += i - printed;
892 }
893
894 assert (printed == len);
895
896 return len;
897 }
898
899 /* Write STR to PORT as ISO-8859-1. STR is a LEN-codepoint string; it
900 is narrow if NARROW_P is true, wide otherwise. Return LEN. */
901 static size_t
902 display_string_as_latin1 (const void *str, int narrow_p, size_t len,
903 SCM port,
904 scm_t_string_failed_conversion_handler strategy)
905 {
906 size_t printed = 0;
907
908 if (narrow_p)
909 {
910 scm_lfwrite_unlocked (str, len, port);
911 return len;
912 }
913
914 while (printed < len)
915 {
916 char buf[256];
917 size_t i;
918
919 for (i = 0; i < sizeof(buf) && printed < len; i++, printed++)
920 {
921 scm_t_wchar c = STR_REF (str, printed);
922
923 if (c < 256)
924 buf[i] = c;
925 else
926 break;
927 }
928
929 scm_lfwrite_unlocked (buf, i, port);
930
931 if (i < sizeof(buf) && printed < len)
932 {
933 if (strategy == SCM_FAILED_CONVERSION_ERROR)
934 break;
935 else if (strategy == SCM_FAILED_CONVERSION_ESCAPE_SEQUENCE)
936 write_character_escaped (STR_REF (str, printed), 1, port);
937 else
938 /* STRATEGY is `SCM_FAILED_CONVERSION_QUESTION_MARK'. */
939 display_string ("?", 1, 1, port, strategy);
940 printed++;
941 }
942 }
943
944 return printed;
945 }
946
947 /* Convert STR through PORT's output conversion descriptor and write the
948 output to PORT. Return the number of codepoints written. */
949 static size_t
950 display_string_using_iconv (const void *str, int narrow_p, size_t len,
951 SCM port,
952 scm_t_string_failed_conversion_handler strategy)
953 {
954 size_t printed;
955 scm_t_iconv_descriptors *id;
956 scm_t_port_internal *pti = SCM_PORT_GET_INTERNAL (port);
957
958 id = scm_i_port_iconv_descriptors (port, SCM_PORT_WRITE);
959
960 if (SCM_UNLIKELY (pti->at_stream_start_for_bom_write && len > 0))
961 {
962 scm_t_port *pt = SCM_PTAB_ENTRY (port);
963
964 /* Record that we're no longer at stream start. */
965 pti->at_stream_start_for_bom_write = 0;
966 if (pt->rw_random)
967 pti->at_stream_start_for_bom_read = 0;
968
969 /* Write a BOM if appropriate. */
970 if (SCM_UNLIKELY (strcmp(pt->encoding, "UTF-16") == 0
971 || strcmp(pt->encoding, "UTF-32") == 0))
972 display_character (SCM_UNICODE_BOM, port, iconveh_error);
973 }
974
975 printed = 0;
976
977 while (len > printed)
978 {
979 size_t done, utf8_len, input_left, output_left, i;
980 size_t codepoints_read, output_len;
981 char *input, *output;
982 char utf8_buf[256], encoded_output[256];
983 size_t offsets[256];
984
985 /* Convert STR to UTF-8. */
986 for (i = printed, utf8_len = 0, input = utf8_buf;
987 i < len && utf8_len + 4 < sizeof (utf8_buf);
988 i++)
989 {
990 offsets[utf8_len] = i;
991 utf8_len += codepoint_to_utf8 (STR_REF (str, i),
992 (scm_t_uint8 *) input);
993 input = utf8_buf + utf8_len;
994 }
995
996 input = utf8_buf;
997 input_left = utf8_len;
998
999 output = encoded_output;
1000 output_left = sizeof (encoded_output);
1001
1002 done = iconv (id->output_cd, &input, &input_left,
1003 &output, &output_left);
1004
1005 output_len = sizeof (encoded_output) - output_left;
1006
1007 if (SCM_UNLIKELY (done == (size_t) -1))
1008 {
1009 int errno_save = errno;
1010
1011 /* Reset the `iconv' state. */
1012 iconv (id->output_cd, NULL, NULL, NULL, NULL);
1013
1014 /* Print the OUTPUT_LEN bytes successfully converted. */
1015 scm_lfwrite_unlocked (encoded_output, output_len, port);
1016
1017 /* See how many input codepoints these OUTPUT_LEN bytes
1018 corresponds to. */
1019 codepoints_read = offsets[input - utf8_buf] - printed;
1020 printed += codepoints_read;
1021
1022 if (errno_save == EILSEQ &&
1023 strategy != SCM_FAILED_CONVERSION_ERROR)
1024 {
1025 /* Conversion failed somewhere in INPUT and we want to
1026 escape or substitute the offending input character. */
1027
1028 if (strategy == SCM_FAILED_CONVERSION_ESCAPE_SEQUENCE)
1029 {
1030 scm_t_wchar ch;
1031
1032 /* Find CH, the offending codepoint, and escape it. */
1033 ch = STR_REF (str, offsets[input - utf8_buf]);
1034 write_character_escaped (ch, 1, port);
1035 }
1036 else
1037 /* STRATEGY is `SCM_FAILED_CONVERSION_QUESTION_MARK'. */
1038 display_string ("?", 1, 1, port, strategy);
1039
1040 printed++;
1041 }
1042 else
1043 /* Something bad happened that we can't handle: bail out. */
1044 break;
1045 }
1046 else
1047 {
1048 /* INPUT was successfully converted, entirely; print the
1049 result. */
1050 scm_lfwrite_unlocked (encoded_output, output_len, port);
1051 codepoints_read = i - printed;
1052 printed += codepoints_read;
1053 }
1054 }
1055
1056 return printed;
1057 }
1058
1059 #undef STR_REF
1060
1061 /* Display the LEN codepoints in STR to PORT according to STRATEGY;
1062 return the number of codepoints successfully displayed. If NARROW_P,
1063 then STR is interpreted as a sequence of `char', denoting a Latin-1
1064 string; otherwise it's interpreted as a sequence of
1065 `scm_t_wchar'. */
1066 static size_t
1067 display_string (const void *str, int narrow_p,
1068 size_t len, SCM port,
1069 scm_t_string_failed_conversion_handler strategy)
1070 {
1071 scm_t_port_internal *pti;
1072
1073 pti = SCM_PORT_GET_INTERNAL (port);
1074
1075 if (pti->encoding_mode == SCM_PORT_ENCODING_MODE_UTF8)
1076 return display_string_as_utf8 (str, narrow_p, len, port);
1077 else if (pti->encoding_mode == SCM_PORT_ENCODING_MODE_LATIN1)
1078 return display_string_as_latin1 (str, narrow_p, len, port, strategy);
1079 else
1080 return display_string_using_iconv (str, narrow_p, len, port, strategy);
1081 }
1082
1083 /* Attempt to display CH to PORT according to STRATEGY. Return non-zero
1084 if CH was successfully displayed, zero otherwise (e.g., if it was not
1085 representable in PORT's encoding.) */
1086 static int
1087 display_character (scm_t_wchar ch, SCM port,
1088 scm_t_string_failed_conversion_handler strategy)
1089 {
1090 return display_string (&ch, 0, 1, port, strategy) == 1;
1091 }
1092
1093 /* Attempt to pretty-print CH, a combining character, to PORT. Return
1094 zero upon failure, non-zero otherwise. The idea is to print CH above
1095 a dotted circle to make it more visible. */
1096 static int
1097 write_combining_character (scm_t_wchar ch, SCM port)
1098 {
1099 scm_t_wchar str[2];
1100
1101 str[0] = SCM_CODEPOINT_DOTTED_CIRCLE;
1102 str[1] = ch;
1103
1104 return display_string (str, 0, 2, port, iconveh_error) == 2;
1105 }
1106
1107 /* Write CH to PORT in its escaped form, using the string escape syntax
1108 if STRING_ESCAPES_P is non-zero. */
1109 static void
1110 write_character_escaped (scm_t_wchar ch, int string_escapes_p, SCM port)
1111 {
1112 if (string_escapes_p)
1113 {
1114 /* Represent CH using the in-string escape syntax. */
1115
1116 static const char hex[] = "0123456789abcdef";
1117 static const char escapes[7] = "abtnvfr";
1118 char buf[9];
1119
1120 if (ch >= 0x07 && ch <= 0x0D && ch != 0x0A)
1121 {
1122 /* Use special escapes for some C0 controls. */
1123 buf[0] = '\\';
1124 buf[1] = escapes[ch - 0x07];
1125 scm_lfwrite_unlocked (buf, 2, port);
1126 }
1127 else if (!SCM_R6RS_ESCAPES_P)
1128 {
1129 if (ch <= 0xFF)
1130 {
1131 buf[0] = '\\';
1132 buf[1] = 'x';
1133 buf[2] = hex[ch / 16];
1134 buf[3] = hex[ch % 16];
1135 scm_lfwrite_unlocked (buf, 4, port);
1136 }
1137 else if (ch <= 0xFFFF)
1138 {
1139 buf[0] = '\\';
1140 buf[1] = 'u';
1141 buf[2] = hex[(ch & 0xF000) >> 12];
1142 buf[3] = hex[(ch & 0xF00) >> 8];
1143 buf[4] = hex[(ch & 0xF0) >> 4];
1144 buf[5] = hex[(ch & 0xF)];
1145 scm_lfwrite_unlocked (buf, 6, port);
1146 }
1147 else if (ch > 0xFFFF)
1148 {
1149 buf[0] = '\\';
1150 buf[1] = 'U';
1151 buf[2] = hex[(ch & 0xF00000) >> 20];
1152 buf[3] = hex[(ch & 0xF0000) >> 16];
1153 buf[4] = hex[(ch & 0xF000) >> 12];
1154 buf[5] = hex[(ch & 0xF00) >> 8];
1155 buf[6] = hex[(ch & 0xF0) >> 4];
1156 buf[7] = hex[(ch & 0xF)];
1157 scm_lfwrite_unlocked (buf, 8, port);
1158 }
1159 }
1160 else
1161 {
1162 /* Print an R6RS variable-length hex escape: "\xNNNN;". */
1163 scm_t_wchar ch2 = ch;
1164
1165 int i = 8;
1166 buf[i] = ';';
1167 i --;
1168 if (ch == 0)
1169 buf[i--] = '0';
1170 else
1171 while (ch2 > 0)
1172 {
1173 buf[i] = hex[ch2 & 0xF];
1174 ch2 >>= 4;
1175 i --;
1176 }
1177 buf[i] = 'x';
1178 i --;
1179 buf[i] = '\\';
1180 scm_lfwrite_unlocked (buf + i, 9 - i, port);
1181 }
1182 }
1183 else
1184 {
1185 /* Represent CH using the character escape syntax. */
1186 const char *name;
1187
1188 name = scm_i_charname (SCM_MAKE_CHAR (ch));
1189 if (name != NULL)
1190 scm_puts_unlocked (name, port);
1191 else
1192 PRINT_CHAR_ESCAPE (ch, port);
1193 }
1194 }
1195
1196 /* Write CH to PORT, escaping it if it's non-graphic or not
1197 representable in PORT's encoding. If STRING_ESCAPES_P is true and CH
1198 needs to be escaped, it is escaped using the in-string escape syntax;
1199 otherwise the character escape syntax is used. */
1200 static void
1201 write_character (scm_t_wchar ch, SCM port, int string_escapes_p)
1202 {
1203 int printed = 0;
1204 scm_t_string_failed_conversion_handler strategy;
1205
1206 strategy = PORT_CONVERSION_HANDLER (port);
1207
1208 if (string_escapes_p)
1209 {
1210 /* Check if CH deserves special treatment. */
1211 if (ch == '"' || ch == '\\')
1212 {
1213 display_character ('\\', port, iconveh_question_mark);
1214 display_character (ch, port, strategy);
1215 printed = 1;
1216 }
1217 else if (ch == '\n' && SCM_PRINT_ESCAPE_NEWLINES_P)
1218 {
1219 display_character ('\\', port, iconveh_question_mark);
1220 display_character ('n', port, strategy);
1221 printed = 1;
1222 }
1223 else if (ch == ' ' || ch == '\n')
1224 {
1225 display_character (ch, port, strategy);
1226 printed = 1;
1227 }
1228 }
1229 else
1230 {
1231 display_string ("#\\", 1, 2, port, iconveh_question_mark);
1232
1233 if (uc_combining_class (ch) != UC_CCC_NR)
1234 /* Character is a combining character, so attempt to
1235 pretty-print it. */
1236 printed = write_combining_character (ch, port);
1237 }
1238
1239 if (!printed
1240 && uc_is_general_category_withtable (ch,
1241 UC_CATEGORY_MASK_L |
1242 UC_CATEGORY_MASK_M |
1243 UC_CATEGORY_MASK_N |
1244 UC_CATEGORY_MASK_P |
1245 UC_CATEGORY_MASK_S))
1246 /* CH is graphic; attempt to display it. */
1247 printed = display_character (ch, port, iconveh_error);
1248
1249 if (!printed)
1250 /* CH isn't graphic or cannot be represented in PORT's encoding. */
1251 write_character_escaped (ch, string_escapes_p, port);
1252 }
1253
1254 /* Display STR to PORT from START inclusive to END exclusive. */
1255 void
1256 scm_i_display_substring (SCM str, size_t start, size_t end, SCM port)
1257 {
1258 int narrow_p;
1259 const char *buf;
1260 size_t len, printed;
1261
1262 buf = scm_i_string_data (str);
1263 len = end - start;
1264 narrow_p = scm_i_is_narrow_string (str);
1265 buf += start * (narrow_p ? sizeof (char) : sizeof (scm_t_wchar));
1266
1267 printed = display_string (buf, narrow_p, end - start, port,
1268 PORT_CONVERSION_HANDLER (port));
1269
1270 if (SCM_UNLIKELY (printed < len))
1271 scm_encoding_error (__func__, errno,
1272 "cannot convert to output locale",
1273 port, scm_c_string_ref (str, printed + start));
1274 }
1275
1276 \f
1277 /* Print an integer.
1278 */
1279
1280 void
1281 scm_intprint (scm_t_intmax n, int radix, SCM port)
1282 {
1283 char num_buf[SCM_INTBUFLEN];
1284 scm_lfwrite_unlocked (num_buf, scm_iint2str (n, radix, num_buf), port);
1285 }
1286
1287 void
1288 scm_uintprint (scm_t_uintmax n, int radix, SCM port)
1289 {
1290 char num_buf[SCM_INTBUFLEN];
1291 scm_lfwrite_unlocked (num_buf, scm_iuint2str (n, radix, num_buf), port);
1292 }
1293
1294 /* Print an object of unrecognized type.
1295 */
1296
1297 void
1298 scm_ipruk (char *hdr, SCM ptr, SCM port)
1299 {
1300 scm_puts_unlocked ("#<unknown-", port);
1301 scm_puts_unlocked (hdr, port);
1302 if (1) /* (scm_in_heap_p (ptr)) */ /* FIXME */
1303 {
1304 scm_puts_unlocked (" (0x", port);
1305 scm_uintprint (SCM_CELL_WORD_0 (ptr), 16, port);
1306 scm_puts_unlocked (" . 0x", port);
1307 scm_uintprint (SCM_CELL_WORD_1 (ptr), 16, port);
1308 scm_puts_unlocked (") @", port);
1309 }
1310 scm_puts_unlocked (" 0x", port);
1311 scm_uintprint (SCM_UNPACK (ptr), 16, port);
1312 scm_putc_unlocked ('>', port);
1313 }
1314
1315
1316 /* Print a list.
1317 */
1318 void
1319 scm_iprlist (char *hdr, SCM exp, int tlr, SCM port, scm_print_state *pstate)
1320 {
1321 register SCM hare, tortoise;
1322 long floor = pstate->top - 2;
1323 scm_puts_unlocked (hdr, port);
1324 /* CHECK_INTS; */
1325 if (pstate->fancyp)
1326 goto fancy_printing;
1327
1328 /* Run a hare and tortoise so that total time complexity will be
1329 O(depth * N) instead of O(N^2). */
1330 hare = SCM_CDR (exp);
1331 tortoise = exp;
1332 while (scm_is_pair (hare))
1333 {
1334 if (scm_is_eq (hare, tortoise))
1335 goto fancy_printing;
1336 hare = SCM_CDR (hare);
1337 if (!scm_is_pair (hare))
1338 break;
1339 hare = SCM_CDR (hare);
1340 tortoise = SCM_CDR (tortoise);
1341 }
1342
1343 /* No cdr cycles intrinsic to this list */
1344 scm_iprin1 (SCM_CAR (exp), port, pstate);
1345 for (exp = SCM_CDR (exp); scm_is_pair (exp); exp = SCM_CDR (exp))
1346 {
1347 register long i;
1348
1349 for (i = floor; i >= 0; --i)
1350 if (scm_is_eq (PSTATE_STACK_REF(pstate, i), exp))
1351 goto circref;
1352 PUSH_REF (pstate, exp);
1353 scm_putc_unlocked (' ', port);
1354 /* CHECK_INTS; */
1355 scm_iprin1 (SCM_CAR (exp), port, pstate);
1356 }
1357 if (!SCM_NULL_OR_NIL_P (exp))
1358 {
1359 scm_puts_unlocked (" . ", port);
1360 scm_iprin1 (exp, port, pstate);
1361 }
1362
1363 end:
1364 scm_putc_unlocked (tlr, port);
1365 pstate->top = floor + 2;
1366 return;
1367
1368 fancy_printing:
1369 {
1370 long n = pstate->length;
1371
1372 scm_iprin1 (SCM_CAR (exp), port, pstate);
1373 exp = SCM_CDR (exp); --n;
1374 for (; scm_is_pair (exp); exp = SCM_CDR (exp))
1375 {
1376 register unsigned long i;
1377
1378 for (i = 0; i < pstate->top; ++i)
1379 if (scm_is_eq (PSTATE_STACK_REF(pstate, i), exp))
1380 goto fancy_circref;
1381 if (pstate->fancyp)
1382 {
1383 if (n == 0)
1384 {
1385 scm_puts_unlocked (" ...", port);
1386 goto skip_tail;
1387 }
1388 else
1389 --n;
1390 }
1391 PUSH_REF(pstate, exp);
1392 ++pstate->list_offset;
1393 scm_putc_unlocked (' ', port);
1394 /* CHECK_INTS; */
1395 scm_iprin1 (SCM_CAR (exp), port, pstate);
1396 }
1397 }
1398 if (!SCM_NULL_OR_NIL_P (exp))
1399 {
1400 scm_puts_unlocked (" . ", port);
1401 scm_iprin1 (exp, port, pstate);
1402 }
1403 skip_tail:
1404 pstate->list_offset -= pstate->top - floor - 2;
1405 goto end;
1406
1407 fancy_circref:
1408 pstate->list_offset -= pstate->top - floor - 2;
1409
1410 circref:
1411 scm_puts_unlocked (" . ", port);
1412 print_circref (port, pstate, exp);
1413 goto end;
1414 }
1415
1416 \f
1417
1418 int
1419 scm_valid_oport_value_p (SCM val)
1420 {
1421 return (SCM_OPOUTPORTP (val)
1422 || (SCM_PORT_WITH_PS_P (val)
1423 && SCM_OPOUTPORTP (SCM_PORT_WITH_PS_PORT (val))));
1424 }
1425
1426 /* SCM_GPROC(s_write, "write", 1, 1, 0, scm_write, g_write); */
1427
1428 SCM
1429 scm_write (SCM obj, SCM port)
1430 {
1431 if (SCM_UNBNDP (port))
1432 port = scm_current_output_port ();
1433
1434 SCM_ASSERT (scm_valid_oport_value_p (port), port, SCM_ARG2, s_write);
1435
1436 scm_dynwind_begin (0);
1437 scm_dynwind_lock_port (SCM_COERCE_OUTPORT (port));
1438 scm_prin1 (obj, port, 1);
1439 scm_dynwind_end ();
1440
1441 return SCM_UNSPECIFIED;
1442 }
1443
1444
1445 /* SCM_GPROC(s_display, "display", 1, 1, 0, scm_display, g_display); */
1446
1447 SCM
1448 scm_display (SCM obj, SCM port)
1449 {
1450 if (SCM_UNBNDP (port))
1451 port = scm_current_output_port ();
1452
1453 SCM_ASSERT (scm_valid_oport_value_p (port), port, SCM_ARG2, s_display);
1454
1455 scm_dynwind_begin (0);
1456 scm_dynwind_lock_port (SCM_COERCE_OUTPORT (port));
1457 scm_prin1 (obj, port, 0);
1458 scm_dynwind_end ();
1459
1460 return SCM_UNSPECIFIED;
1461 }
1462
1463
1464 SCM_DEFINE (scm_simple_format, "simple-format", 2, 0, 1,
1465 (SCM destination, SCM message, SCM args),
1466 "Write @var{message} to @var{destination}, defaulting to\n"
1467 "the current output port.\n"
1468 "@var{message} can contain @code{~A} (was @code{%s}) and\n"
1469 "@code{~S} (was @code{%S}) escapes. When printed,\n"
1470 "the escapes are replaced with corresponding members of\n"
1471 "@var{args}:\n"
1472 "@code{~A} formats using @code{display} and @code{~S} formats\n"
1473 "using @code{write}.\n"
1474 "If @var{destination} is @code{#t}, then use the current output\n"
1475 "port, if @var{destination} is @code{#f}, then return a string\n"
1476 "containing the formatted text. Does not add a trailing newline.")
1477 #define FUNC_NAME s_scm_simple_format
1478 {
1479 SCM port, answer = SCM_UNSPECIFIED;
1480 int fReturnString = 0;
1481 int writingp;
1482 size_t start, p, end;
1483
1484 if (scm_is_eq (destination, SCM_BOOL_T))
1485 {
1486 destination = port = scm_current_output_port ();
1487 }
1488 else if (scm_is_false (destination))
1489 {
1490 fReturnString = 1;
1491 port = scm_mkstrport (SCM_INUM0, SCM_BOOL_F,
1492 SCM_OPN | SCM_WRTNG,
1493 FUNC_NAME);
1494 destination = port;
1495 }
1496 else
1497 {
1498 SCM_VALIDATE_OPORT_VALUE (1, destination);
1499 port = SCM_COERCE_OUTPORT (destination);
1500 }
1501 SCM_VALIDATE_STRING (2, message);
1502 SCM_VALIDATE_REST_ARGUMENT (args);
1503
1504 p = 0;
1505 start = 0;
1506 end = scm_i_string_length (message);
1507 for (p = start; p != end; ++p)
1508 if (scm_i_string_ref (message, p) == '~')
1509 {
1510 if (++p == end)
1511 break;
1512
1513 switch (scm_i_string_ref (message, p))
1514 {
1515 case 'A': case 'a':
1516 writingp = 0;
1517 break;
1518 case 'S': case 's':
1519 writingp = 1;
1520 break;
1521 case '~':
1522 scm_lfwrite_substr (message, start, p, port);
1523 start = p + 1;
1524 continue;
1525 case '%':
1526 scm_lfwrite_substr (message, start, p - 1, port);
1527 scm_newline (port);
1528 start = p + 1;
1529 continue;
1530 default:
1531 SCM_MISC_ERROR ("FORMAT: Unsupported format option ~~~A - use (ice-9 format) instead",
1532 scm_list_1 (SCM_MAKE_CHAR (scm_i_string_ref (message, p))));
1533
1534 }
1535
1536
1537 if (!scm_is_pair (args))
1538 SCM_MISC_ERROR ("FORMAT: Missing argument for ~~~A",
1539 scm_list_1 (SCM_MAKE_CHAR (scm_i_string_ref (message, p))));
1540
1541 scm_lfwrite_substr (message, start, p - 1, port);
1542 /* we pass destination here */
1543 scm_prin1 (SCM_CAR (args), destination, writingp);
1544 args = SCM_CDR (args);
1545 start = p + 1;
1546 }
1547
1548 scm_lfwrite_substr (message, start, p, port);
1549 if (!scm_is_eq (args, SCM_EOL))
1550 SCM_MISC_ERROR ("FORMAT: ~A superfluous arguments",
1551 scm_list_1 (scm_length (args)));
1552
1553 if (fReturnString)
1554 answer = scm_strport_to_string (destination);
1555
1556 return scm_return_first (answer, message);
1557 }
1558 #undef FUNC_NAME
1559
1560
1561 SCM_DEFINE (scm_newline, "newline", 0, 1, 0,
1562 (SCM port),
1563 "Send a newline to @var{port}.\n"
1564 "If @var{port} is omitted, send to the current output port.")
1565 #define FUNC_NAME s_scm_newline
1566 {
1567 if (SCM_UNBNDP (port))
1568 port = scm_current_output_port ();
1569
1570 SCM_VALIDATE_OPORT_VALUE (1, port);
1571
1572 scm_putc_unlocked ('\n', SCM_COERCE_OUTPORT (port));
1573 return SCM_UNSPECIFIED;
1574 }
1575 #undef FUNC_NAME
1576
1577 SCM_DEFINE (scm_write_char, "write-char", 1, 1, 0,
1578 (SCM chr, SCM port),
1579 "Send character @var{chr} to @var{port}.")
1580 #define FUNC_NAME s_scm_write_char
1581 {
1582 if (SCM_UNBNDP (port))
1583 port = scm_current_output_port ();
1584
1585 SCM_VALIDATE_CHAR (1, chr);
1586 SCM_VALIDATE_OPORT_VALUE (2, port);
1587
1588 port = SCM_COERCE_OUTPORT (port);
1589 if (!display_character (SCM_CHAR (chr), port,
1590 PORT_CONVERSION_HANDLER (port)))
1591 scm_encoding_error (__func__, errno,
1592 "cannot convert to output locale",
1593 port, chr);
1594
1595 return SCM_UNSPECIFIED;
1596 }
1597 #undef FUNC_NAME
1598
1599 \f
1600
1601 /* Call back to Scheme code to do the printing of special objects
1602 * (like structs). SCM_PRINTER_APPLY applies PROC to EXP and a smob
1603 * containing PORT and PSTATE. This object can be used as the port for
1604 * display/write etc to continue the current print chain. The REVEALED
1605 * field of PSTATE is set to true to indicate that the print state has
1606 * escaped to Scheme and thus has to be freed by the GC.
1607 */
1608
1609 scm_t_bits scm_tc16_port_with_ps;
1610
1611 /* Print exactly as the port itself would */
1612
1613 static int
1614 port_with_ps_print (SCM obj, SCM port, scm_print_state *pstate)
1615 {
1616 obj = SCM_PORT_WITH_PS_PORT (obj);
1617 return SCM_PORT_DESCRIPTOR (obj)->print (obj, port, pstate);
1618 }
1619
1620 SCM
1621 scm_printer_apply (SCM proc, SCM exp, SCM port, scm_print_state *pstate)
1622 {
1623 pstate->revealed = 1;
1624 return scm_call_2 (proc, exp,
1625 scm_i_port_with_print_state (port, pstate->handle));
1626 }
1627
1628 SCM_DEFINE (scm_port_with_print_state, "port-with-print-state", 1, 1, 0,
1629 (SCM port, SCM pstate),
1630 "Create a new port which behaves like @var{port}, but with an\n"
1631 "included print state @var{pstate}. @var{pstate} is optional.\n"
1632 "If @var{pstate} isn't supplied and @var{port} already has\n"
1633 "a print state, the old print state is reused.")
1634 #define FUNC_NAME s_scm_port_with_print_state
1635 {
1636 SCM_VALIDATE_OPORT_VALUE (1, port);
1637 if (!SCM_UNBNDP (pstate))
1638 SCM_VALIDATE_PRINTSTATE (2, pstate);
1639 return scm_i_port_with_print_state (port, pstate);
1640 }
1641 #undef FUNC_NAME
1642
1643 SCM_DEFINE (scm_get_print_state, "get-print-state", 1, 0, 0,
1644 (SCM port),
1645 "Return the print state of the port @var{port}. If @var{port}\n"
1646 "has no associated print state, @code{#f} is returned.")
1647 #define FUNC_NAME s_scm_get_print_state
1648 {
1649 if (SCM_PORT_WITH_PS_P (port))
1650 return SCM_PORT_WITH_PS_PS (port);
1651 if (SCM_OUTPUT_PORT_P (port))
1652 return SCM_BOOL_F;
1653 SCM_WRONG_TYPE_ARG (1, port);
1654 }
1655 #undef FUNC_NAME
1656
1657 \f
1658
1659 void
1660 scm_init_print ()
1661 {
1662 SCM type;
1663
1664 type = scm_make_vtable (scm_from_locale_string (SCM_PRINT_STATE_LAYOUT),
1665 SCM_BOOL_F);
1666 scm_set_struct_vtable_name_x (type, scm_from_latin1_symbol ("print-state"));
1667 scm_print_state_vtable = type;
1668
1669 /* Don't want to bind a wrapper class in GOOPS, so pass 0 as arg1. */
1670 scm_tc16_port_with_ps = scm_make_smob_type (0, 0);
1671 scm_set_smob_print (scm_tc16_port_with_ps, port_with_ps_print);
1672
1673 #include "libguile/print.x"
1674
1675 scm_init_opts (scm_print_options, scm_print_opts);
1676 scm_print_opts[SCM_PRINT_HIGHLIGHT_PREFIX_I].val =
1677 SCM_UNPACK (scm_from_locale_string ("{"));
1678 scm_print_opts[SCM_PRINT_HIGHLIGHT_SUFFIX_I].val =
1679 SCM_UNPACK (scm_from_locale_string ("}"));
1680 scm_print_opts[SCM_PRINT_KEYWORD_STYLE_I].val = SCM_UNPACK (sym_reader);
1681 }
1682
1683 /*
1684 Local Variables:
1685 c-file-style: "gnu"
1686 End:
1687 */