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