Zero-offset branches are backward branches; fix "br" backward branches
[bpt/guile.git] / libguile / strports.c
CommitLineData
478848cb 1/* Copyright (C) 1995, 1996, 1998, 1999, 2000, 2001, 2002, 2003, 2005, 2006,
08467a7e 2 * 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
478848cb 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
JB
21\f
22
dbb605f5 23#ifdef HAVE_CONFIG_H
c986274f
RB
24# include <config.h>
25#endif
26
a0599745 27#include "libguile/_scm.h"
681b9005
MD
28
29#include <stdio.h>
30#ifdef HAVE_UNISTD_H
31#include <unistd.h>
32#endif
33
691fcf66 34#include "libguile/bytevectors.h"
a0599745
MD
35#include "libguile/eval.h"
36#include "libguile/ports.h"
37#include "libguile/read.h"
38#include "libguile/root.h"
39#include "libguile/strings.h"
07bcf91d 40#include "libguile/modules.h"
fe78b6c0 41#include "libguile/validate.h"
ca13a04a 42#include "libguile/deprecation.h"
889975e5 43#include "libguile/srfi-4.h"
20e6290e 44
a0599745 45#include "libguile/strports.h"
0f2d19dd 46
95b88819
GH
47#ifdef HAVE_STRING_H
48#include <string.h>
49#endif
50
0f2d19dd
JB
51\f
52
53/* {Ports - string ports}
54 *
55 */
56
3fe6190f 57/* NOTES:
cc95e00a 58
691fcf66 59 write_buf/write_end point to the ends of the allocated bytevector.
ca2ec018
AW
60 read_buf/read_end point to the part of the bytevector which has been
61 written to. read_pos and write_pos are always equal.
bf5ad0da
KR
62
63 ENHANCE-ME - output blocks:
64
65 The current code keeps an output string as a single block. That means
66 when the size is increased the entire old contents must be copied. It'd
67 be more efficient to begin a new block when the old one is full, so
68 there's no re-copying of previous data.
69
70 To make seeking efficient, keeping the pieces in a vector might be best,
71 though appending is probably the most common operation. The size of each
72 block could be progressively increased, so the bigger the string the
73 bigger the blocks.
74
75 When `get-output-string' is called the blocks have to be coalesced into a
76 string, the result could be kept as a single big block. If blocks were
77 strings then `get-output-string' could notice when there's just one and
78 return that with a copy-on-write (though repeated calls to
79 `get-output-string' are probably unlikely).
80
81 Another possibility would be to extend the port mechanism to let SCM
82 strings come through directly from `display' and friends. That way if a
83 big string is written it can be kept as a copy-on-write, saving time
84 copying and maybe saving some space. */
85
1cc91f1b 86
92c2555f 87scm_t_bits scm_tc16_strport;
a98bddfd
DH
88
89
ee149d03 90static int
ca2ec018 91st_fill_input (SCM port)
0f2d19dd 92{
92c2555f 93 scm_t_port *pt = SCM_PTAB_ENTRY (port);
ee149d03 94
ee149d03
JB
95 if (pt->read_pos >= pt->read_end)
96 return EOF;
97 else
ca2ec018 98 return *pt->read_pos;
0f2d19dd
JB
99}
100
691fcf66
LC
101/* Change the size of a port's bytevector to NEW_SIZE. This doesn't
102 change `read_buf_size'. */
103static void
f1ce9199 104st_resize_port (scm_t_port *pt, scm_t_off new_size)
754c9491 105{
94115ae3 106 SCM old_stream = SCM_PACK (pt->stream);
691fcf66
LC
107 const signed char *src = SCM_BYTEVECTOR_CONTENTS (old_stream);
108 SCM new_stream = scm_c_make_bytevector (new_size);
109 signed char *dst = SCM_BYTEVECTOR_CONTENTS (new_stream);
110 unsigned long int old_size = SCM_BYTEVECTOR_LENGTH (old_stream);
c014a02e 111 unsigned long int min_size = min (old_size, new_size);
74a16888 112
ca2ec018 113 scm_t_off offset = pt->write_pos - pt->write_buf;
3fe6190f
GH
114
115 pt->write_buf_size = new_size;
116
691fcf66 117 memcpy (dst, src, min_size);
8824ac88
MV
118
119 scm_remember_upto_here_1 (old_stream);
754c9491 120
94115ae3 121 /* reset buffer. */
754c9491 122 {
729dbac3 123 pt->stream = SCM_UNPACK (new_stream);
5a6d139b 124 pt->read_buf = pt->write_buf = (unsigned char *)dst;
ca2ec018 125 pt->read_pos = pt->write_pos = pt->write_buf + offset;
3fe6190f
GH
126 pt->write_end = pt->write_buf + pt->write_buf_size;
127 pt->read_end = pt->read_buf + pt->read_buf_size;
754c9491
JB
128 }
129}
130
ee149d03 131static void
ca2ec018 132st_write (SCM port, const void *data, size_t size)
0f2d19dd 133{
92c2555f 134 scm_t_port *pt = SCM_PTAB_ENTRY (port);
ee149d03 135
ca2ec018
AW
136 if (size > pt->write_end - pt->write_pos)
137 st_resize_port (pt, max (pt->write_buf_size * 2,
138 pt->write_end - pt->write_pos + size));
139
140 memcpy ((char *) pt->write_pos, data, size);
141 pt->read_pos = (pt->write_pos += size);
d8f1c216 142
3fe6190f
GH
143 if (pt->read_pos > pt->read_end)
144 {
145 pt->read_end = (unsigned char *) pt->read_pos;
146 pt->read_buf_size = pt->read_end - pt->read_buf;
147 }
31703ab8
GH
148}
149
754c9491 150static void
affc96b5 151st_end_input (SCM port, int offset)
754c9491 152{
92c2555f 153 scm_t_port *pt = SCM_PTAB_ENTRY (port);
7dcb364d 154
cd19d608
GH
155 if (pt->read_pos - pt->read_buf < offset)
156 scm_misc_error ("st_end_input", "negative position", SCM_EOL);
157
a3c8b9fc 158 pt->write_pos = (unsigned char *) (pt->read_pos = pt->read_pos - offset);
61e452ba 159 pt->rw_active = SCM_PORT_NEITHER;
754c9491
JB
160}
161
f1ce9199
LC
162static scm_t_off
163st_seek (SCM port, scm_t_off offset, int whence)
754c9491 164{
92c2555f 165 scm_t_port *pt = SCM_PTAB_ENTRY (port);
f1ce9199 166 scm_t_off target;
754c9491 167
7dcb364d
GH
168 if (pt->rw_active == SCM_PORT_READ && offset == 0 && whence == SEEK_CUR)
169 /* special case to avoid disturbing the unread-char buffer. */
754c9491 170 {
7dcb364d
GH
171 if (pt->read_buf == pt->putback_buf)
172 {
173 target = pt->saved_read_pos - pt->saved_read_buf
174 - (pt->read_end - pt->read_pos);
175 }
176 else
177 {
178 target = pt->read_pos - pt->read_buf;
179 }
754c9491 180 }
7dcb364d
GH
181 else
182 /* all other cases. */
754c9491 183 {
7dcb364d 184 if (pt->rw_active == SCM_PORT_READ)
4251ae2e 185 scm_end_input_unlocked (port);
7dcb364d 186
ca2ec018
AW
187 pt->rw_active = SCM_PORT_NEITHER;
188
7dcb364d
GH
189 switch (whence)
190 {
191 case SEEK_CUR:
192 target = pt->read_pos - pt->read_buf + offset;
193 break;
194 case SEEK_END:
195 target = pt->read_end - pt->read_buf + offset;
196 break;
197 default: /* SEEK_SET */
198 target = offset;
199 break;
200 }
201
202 if (target < 0)
203 scm_misc_error ("st_seek", "negative offset", SCM_EOL);
204
205 if (target >= pt->write_buf_size)
3fe6190f 206 {
206d3de3 207 if (!(SCM_CELL_WORD_0 (port) & SCM_WRTNG))
3fe6190f 208 {
7dcb364d
GH
209 if (target > pt->write_buf_size)
210 {
211 scm_misc_error ("st_seek",
212 "seek past end of read-only strport",
213 SCM_EOL);
214 }
215 }
d8f1c216
LC
216 else if (target == pt->write_buf_size)
217 st_resize_port (pt, target * 2);
3fe6190f 218 }
7dcb364d
GH
219 pt->read_pos = pt->write_pos = pt->read_buf + target;
220 if (pt->read_pos > pt->read_end)
3fe6190f 221 {
7dcb364d
GH
222 pt->read_end = (unsigned char *) pt->read_pos;
223 pt->read_buf_size = pt->read_end - pt->read_buf;
3fe6190f 224 }
ee149d03 225 }
754c9491
JB
226 return target;
227}
228
229static void
f1ce9199 230st_truncate (SCM port, scm_t_off length)
754c9491 231{
92c2555f 232 scm_t_port *pt = SCM_PTAB_ENTRY (port);
3fe6190f
GH
233
234 if (length > pt->write_buf_size)
235 st_resize_port (pt, length);
236
237 pt->read_buf_size = length;
238 pt->read_end = pt->read_buf + length;
239 if (pt->read_pos > pt->read_end)
ca2ec018 240 pt->read_pos = pt->write_pos = pt->read_end;
0f2d19dd
JB
241}
242
0b2c2ba3
LC
243/* The initial size in bytes of a string port's buffer. */
244#define INITIAL_BUFFER_SIZE 128
245
246/* Return a new string port with MODES. If STR is #f, a new backing
247 buffer is allocated; otherwise STR must be a string and a copy of it
248 serves as the buffer for the new port. */
7b041912
LC
249SCM
250scm_mkstrport (SCM pos, SCM str, long modes, const char *caller)
0f2d19dd 251{
691fcf66 252 SCM z, buf;
92c2555f 253 scm_t_port *pt;
6dce942c 254 size_t read_buf_size, num_bytes, c_byte_pos;
691fcf66 255 char *c_buf;
e11e83f3 256
754c9491
JB
257 if (!((modes & SCM_WRTNG) || (modes & SCM_RDNG)))
258 scm_misc_error ("scm_mkstrport", "port must read or write", SCM_EOL);
5f16b897 259
0b2c2ba3
LC
260 if (scm_is_false (str))
261 {
262 /* Allocate a new buffer to write to. */
6dce942c
MW
263 num_bytes = INITIAL_BUFFER_SIZE;
264 buf = scm_c_make_bytevector (num_bytes);
0b2c2ba3
LC
265 c_buf = (char *) SCM_BYTEVECTOR_CONTENTS (buf);
266
267 /* Reset `read_buf_size'. It will contain the actual number of
2721f918
AW
268 bytes written to the port. */
269 read_buf_size = 0;
6dce942c 270 c_byte_pos = 0;
0b2c2ba3
LC
271 }
272 else
273 {
0b2c2ba3 274 char *copy;
691fcf66 275
0b2c2ba3 276 SCM_ASSERT (scm_is_string (str), str, SCM_ARG1, caller);
691fcf66 277
6dce942c
MW
278 /* STR is a string. */
279 /* Create a copy of STR in UTF-8. */
280 copy = scm_to_utf8_stringn (str, &num_bytes);
281 buf = scm_c_make_bytevector (num_bytes);
0b2c2ba3 282 c_buf = (char *) SCM_BYTEVECTOR_CONTENTS (buf);
6dce942c 283 memcpy (c_buf, copy, num_bytes);
0b2c2ba3 284 free (copy);
691fcf66 285
6dce942c
MW
286 read_buf_size = num_bytes;
287
288 if (scm_is_eq (pos, SCM_INUM0))
289 c_byte_pos = 0;
290 else
291 /* Inefficient but simple way to convert the character position
292 POS into a byte position C_BYTE_POS. */
293 free (scm_to_utf8_stringn (scm_substring (str, SCM_INUM0, pos),
294 &c_byte_pos));
0b2c2ba3 295 }
691fcf66 296
2721f918 297 z = scm_c_make_port_with_encoding (scm_tc16_strport, modes,
6dce942c 298 "UTF-8",
0dd7c540 299 scm_i_default_port_conversion_handler (),
789dd40b 300 SCM_UNPACK (buf));
7b041912 301
2721f918 302 pt = SCM_PTAB_ENTRY (z);
03fcf93b 303
691fcf66 304 pt->write_buf = pt->read_buf = (unsigned char *) c_buf;
6dce942c 305 pt->read_pos = pt->write_pos = pt->read_buf + c_byte_pos;
2721f918 306 pt->read_buf_size = read_buf_size;
6dce942c 307 pt->write_buf_size = num_bytes;
754c9491 308 pt->write_end = pt->read_end = pt->read_buf + pt->read_buf_size;
0de97b83 309 pt->rw_random = 1;
3fe6190f 310
0f2d19dd
JB
311 return z;
312}
313
7b041912
LC
314/* Create a new string from the buffer of PORT, a string port, converting from
315 PORT's encoding to the standard string representation. */
316SCM
317scm_strport_to_string (SCM port)
3fe6190f 318{
7b041912
LC
319 scm_t_port *pt = SCM_PTAB_ENTRY (port);
320
fac32b51
MG
321 if (pt->read_buf_size == 0)
322 return scm_nullstr;
323
08467a7e 324 return scm_from_port_stringn ((char *)pt->read_buf, pt->read_buf_size, port);
3fe6190f
GH
325}
326
fe78b6c0
KN
327SCM_DEFINE (scm_object_to_string, "object->string", 1, 1, 0,
328 (SCM obj, SCM printer),
329 "Return a Scheme string obtained by printing @var{obj}.\n"
330 "Printing function can be specified by the optional second\n"
331 "argument @var{printer} (default: @code{write}).")
1f3908c4
KN
332#define FUNC_NAME s_scm_object_to_string
333{
8b263377 334 SCM port, result;
fe78b6c0
KN
335
336 if (!SCM_UNBNDP (printer))
337 SCM_VALIDATE_PROC (2, printer);
1f3908c4 338
0b2c2ba3
LC
339 port = scm_mkstrport (SCM_INUM0, SCM_BOOL_F,
340 SCM_OPN | SCM_WRTNG, FUNC_NAME);
fe78b6c0
KN
341
342 if (SCM_UNBNDP (printer))
343 scm_write (obj, port);
344 else
fdc28395 345 scm_call_2 (printer, obj, port);
fe78b6c0 346
8b263377
LC
347 result = scm_strport_to_string (port);
348
349 /* Explicitly close PORT so that the iconv CDs associated with it are
350 deallocated right away. This is important because CDs use a lot of
351 memory that's not visible to the GC, so not freeing them can lead
352 to almost large heap usage. See
353 <http://wingolog.org/archives/2011/02/25/ports-weaks-gc-and-dark-matter>
354 for details. */
355 scm_close_port (port);
356
357 return result;
1f3908c4
KN
358}
359#undef FUNC_NAME
360
a62b5c3d
AW
361SCM
362scm_call_with_output_string (SCM proc)
0f2d19dd 363{
a62b5c3d 364 static SCM var = SCM_BOOL_F;
754c9491 365
a62b5c3d
AW
366 if (scm_is_false (var))
367 var = scm_c_private_lookup ("guile", "call-with-output-string");
3fe6190f 368
a62b5c3d 369 return scm_call_1 (scm_variable_ref (var), proc);
0f2d19dd
JB
370}
371
a62b5c3d
AW
372SCM
373scm_call_with_input_string (SCM string, SCM proc)
0f2d19dd 374{
a62b5c3d
AW
375 static SCM var = SCM_BOOL_F;
376
377 if (scm_is_false (var))
378 var = scm_c_private_lookup ("guile", "call-with-input-string");
379
380 return scm_call_2 (scm_variable_ref (var), string, proc);
0f2d19dd
JB
381}
382
e87a03fc
MG
383SCM_DEFINE (scm_open_input_string, "open-input-string", 1, 0, 0,
384 (SCM str),
1e6808ea
MG
385 "Take a string and return an input port that delivers characters\n"
386 "from the string. The port can be closed by\n"
e87a03fc
MG
387 "@code{close-input-port}, though its storage will be reclaimed\n"
388 "by the garbage collector if it becomes inaccessible.")
389#define FUNC_NAME s_scm_open_input_string
390{
391 SCM p = scm_mkstrport(SCM_INUM0, str, SCM_OPN | SCM_RDNG, FUNC_NAME);
392 return p;
393}
394#undef FUNC_NAME
395
396SCM_DEFINE (scm_open_output_string, "open-output-string", 0, 0, 0,
397 (void),
1e6808ea 398 "Return an output port that will accumulate characters for\n"
e87a03fc
MG
399 "retrieval by @code{get-output-string}. The port can be closed\n"
400 "by the procedure @code{close-output-port}, though its storage\n"
401 "will be reclaimed by the garbage collector if it becomes\n"
402 "inaccessible.")
403#define FUNC_NAME s_scm_open_output_string
404{
405 SCM p;
406
0b2c2ba3 407 p = scm_mkstrport (SCM_INUM0, SCM_BOOL_F,
e87a03fc
MG
408 SCM_OPN | SCM_WRTNG,
409 FUNC_NAME);
410 return p;
411}
412#undef FUNC_NAME
413
414SCM_DEFINE (scm_get_output_string, "get-output-string", 1, 0, 0,
415 (SCM port),
416 "Given an output port created by @code{open-output-string},\n"
1e6808ea 417 "return a string consisting of the characters that have been\n"
e87a03fc
MG
418 "output to the port so far.")
419#define FUNC_NAME s_scm_get_output_string
420{
421 SCM_VALIDATE_OPOUTSTRPORT (1, port);
422 return scm_strport_to_string (port);
423}
424#undef FUNC_NAME
1cc91f1b 425
cd07a097 426
a8aa30d8
MD
427/* Given a null-terminated string EXPR containing a Scheme expression
428 read it, and return it as an SCM value. */
429SCM
ca13a04a 430scm_c_read_string (const char *expr)
a8aa30d8 431{
3fe6190f 432 SCM port = scm_mkstrport (SCM_INUM0,
cc95e00a 433 scm_from_locale_string (expr),
a8aa30d8 434 SCM_OPN | SCM_RDNG,
ca13a04a 435 "scm_c_read_string");
a8aa30d8
MD
436 SCM form;
437
deca31e1 438 form = scm_read (port);
a8aa30d8
MD
439
440 scm_close_port (port);
441 return form;
442}
443
cd07a097 444/* Given a null-terminated string EXPR containing Scheme program text,
a8aa30d8
MD
445 evaluate it, and return the result of the last expression evaluated. */
446SCM
ca13a04a 447scm_c_eval_string (const char *expr)
cd07a097 448{
cc95e00a 449 return scm_eval_string (scm_from_locale_string (expr));
b377f53e
JB
450}
451
209b52fe
MV
452SCM
453scm_c_eval_string_in_module (const char *expr, SCM module)
454{
cc95e00a 455 return scm_eval_string_in_module (scm_from_locale_string (expr), module);
209b52fe
MV
456}
457
458
60617d81
MW
459static SCM eval_string_var;
460static SCM k_module;
461
462static void
463init_eval_string_var_and_k_module (void)
464{
465 eval_string_var = scm_c_public_variable ("ice-9 eval-string", "eval-string");
466 k_module = scm_from_locale_keyword ("module");
467}
468
209b52fe
MV
469SCM_DEFINE (scm_eval_string_in_module, "eval-string", 1, 1, 0,
470 (SCM string, SCM module),
96e83482
MV
471 "Evaluate @var{string} as the text representation of a Scheme\n"
472 "form or forms, and return whatever value they produce.\n"
209b52fe
MV
473 "Evaluation takes place in the given module, or the current\n"
474 "module when no module is given.\n"
475 "While the code is evaluated, the given module is made the\n"
476 "current one. The current module is restored when this\n"
477 "procedure returns.")
478#define FUNC_NAME s_scm_eval_string_in_module
96e83482 479{
60617d81
MW
480 static scm_i_pthread_once_t once = SCM_I_PTHREAD_ONCE_INIT;
481 scm_i_pthread_once (&once, init_eval_string_var_and_k_module);
0b0e066a 482
209b52fe
MV
483 if (SCM_UNBNDP (module))
484 module = scm_current_module ();
aeec5be1
MV
485 else
486 SCM_VALIDATE_MODULE (2, module);
0b0e066a 487
60617d81
MW
488 return scm_call_3 (scm_variable_ref (eval_string_var),
489 string, k_module, module);
96e83482 490}
1bbd0b84 491#undef FUNC_NAME
cd07a097 492
209b52fe
MV
493SCM
494scm_eval_string (SCM string)
495{
496 return scm_eval_string_in_module (string, SCM_UNDEFINED);
497}
498
92c2555f 499static scm_t_bits
0b6881fa 500scm_make_stptob ()
0f2d19dd 501{
ca2ec018 502 scm_t_bits tc = scm_make_port_type ("string", st_fill_input, st_write);
a98bddfd 503
affc96b5 504 scm_set_port_end_input (tc, st_end_input);
6c747373 505 scm_set_port_seek (tc, st_seek);
affc96b5 506 scm_set_port_truncate (tc, st_truncate);
a98bddfd
DH
507
508 return tc;
0f2d19dd
JB
509}
510
0f2d19dd
JB
511void
512scm_init_strports ()
0f2d19dd 513{
a98bddfd
DH
514 scm_tc16_strport = scm_make_stptob ();
515
a0599745 516#include "libguile/strports.x"
0f2d19dd
JB
517}
518
89e00824
ML
519
520/*
521 Local Variables:
522 c-file-style: "gnu"
523 End:
524*/