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