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