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