* Removed some more references to SCM_CHARS.
[bpt/guile.git] / libguile / vectors.c
CommitLineData
60c497a3 1/* Copyright (C) 1995, 1996, 1998, 1999, 2000 Free Software Foundation, Inc.
0f2d19dd
JB
2 *
3 * This program is free software; you can redistribute it and/or modify
4 * it under the terms of the GNU General Public License as published by
5 * the Free Software Foundation; either version 2, or (at your option)
6 * any later version.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public License
14 * along with this software; see the file COPYING. If not, write to
82892bed
JB
15 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
16 * Boston, MA 02111-1307 USA
0f2d19dd
JB
17 *
18 * As a special exception, the Free Software Foundation gives permission
19 * for additional uses of the text contained in its release of GUILE.
20 *
21 * The exception is that, if you link the GUILE library with other files
22 * to produce an executable, this does not by itself cause the
23 * resulting executable to be covered by the GNU General Public License.
24 * Your use of that executable is in no way restricted on account of
25 * linking the GUILE library code into it.
26 *
27 * This exception does not however invalidate any other reasons why
28 * the executable file might be covered by the GNU General Public License.
29 *
30 * This exception applies only to the code released by the
31 * Free Software Foundation under the name GUILE. If you copy
32 * code from other Free Software Foundation releases into a copy of
33 * GUILE, as the General Public License permits, the exception does
34 * not apply to the code that you add in this way. To avoid misleading
35 * anyone as to the status of such modified files, you must delete
36 * this exception notice from them.
37 *
38 * If you write modifications of your own for GUILE, it is your choice
39 * whether to permit this exception to apply to your modifications.
82892bed 40 * If you do not wish that, delete this exception notice. */
1bbd0b84
GB
41
42/* Software engineering face-lift by Greg J. Badros, 11-Dec-1999,
43 gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */
44
0f2d19dd
JB
45\f
46
47#include <stdio.h>
a0599745
MD
48#include "libguile/_scm.h"
49#include "libguile/eq.h"
50#include "libguile/root.h"
51#include "libguile/strings.h"
52
53#include "libguile/validate.h"
54#include "libguile/vectors.h"
55#include "libguile/unif.h"
0f2d19dd
JB
56\f
57
afe5177e
GH
58/*
59 * This complicates things too much if allowed on any array.
60 * C code can safely call it on arrays known to be used in a single
61 * threaded manner.
62 *
1bbd0b84 63 * SCM_REGISTER_PROC(s_vector_set_length_x, "vector-set-length!", 2, 0, 0, scm_vector_set_length_x);
afe5177e
GH
64 */
65static char s_vector_set_length_x[] = "vector-set-length!";
66
67
68SCM
1bbd0b84 69scm_vector_set_length_x (SCM vect, SCM len)
afe5177e
GH
70{
71 long l;
72 scm_sizet siz;
73 scm_sizet sz;
74
75 l = SCM_INUM (len);
76 SCM_ASRTGO (SCM_NIMP (vect), badarg1);
77
78#ifdef HAVE_ARRAYS
79 if (SCM_TYP7 (vect) == scm_tc7_bvect)
80 {
81 l = (l + SCM_LONG_BIT - 1) / SCM_LONG_BIT;
82 }
83 sz = scm_uniform_element_size (vect);
84 if (sz == 0)
85#endif
86 switch (SCM_TYP7 (vect))
87 {
88 default:
89 badarg1: scm_wta (vect, (char *) SCM_ARG1, s_vector_set_length_x);
90 case scm_tc7_string:
4260a7fc 91 SCM_ASRTGO (!SCM_EQ_P (vect, scm_nullstr), badarg1);
afe5177e
GH
92 sz = sizeof (char);
93 l++;
94 break;
95 case scm_tc7_vector:
96 case scm_tc7_wvect:
4260a7fc 97 SCM_ASRTGO (!SCM_EQ_P (vect, scm_nullvect), badarg1);
afe5177e
GH
98 sz = sizeof (SCM);
99 break;
100 }
101 SCM_ASSERT (SCM_INUMP (len), len, SCM_ARG2, s_vector_set_length_x);
102 if (!l)
103 l = 1L;
104 siz = l * sz;
105 if (siz != l * sz)
2500356c 106 scm_memory_error (s_vector_set_length_x);
afe5177e
GH
107 SCM_REDEFER_INTS;
108 SCM_SETCHARS (vect,
109 ((char *)
110 scm_must_realloc (SCM_CHARS (vect),
111 (long) SCM_LENGTH (vect) * sz,
112 (long) siz,
113 s_vector_set_length_x)));
114 if (SCM_VECTORP (vect))
115 {
116 sz = SCM_LENGTH (vect);
117 while (l > sz)
118 SCM_VELTS (vect)[--l] = SCM_UNSPECIFIED;
119 }
120 else if (SCM_STRINGP (vect))
121 SCM_CHARS (vect)[l - 1] = 0;
122 SCM_SETLENGTH (vect, SCM_INUM (len), SCM_TYP7 (vect));
123 SCM_REALLOW_INTS;
124 return vect;
125}
0f2d19dd 126
a1ec6916 127SCM_DEFINE (scm_vector_p, "vector?", 1, 0, 0,
5ffe9968
GB
128 (SCM obj),
129 "Returns @t{#t} if @var{obj} is a vector, otherwise returns @t{#f}. (r5rs)")
1bbd0b84 130#define FUNC_NAME s_scm_vector_p
0f2d19dd 131{
5ffe9968 132 if (SCM_IMP (obj))
f172c0b7 133 return SCM_BOOL_F;
5ffe9968 134 return SCM_BOOL (SCM_VECTORP (obj));
0f2d19dd 135}
1bbd0b84 136#undef FUNC_NAME
0f2d19dd 137
f172c0b7 138SCM_GPROC (s_vector_length, "vector-length", 1, 0, 0, scm_vector_length, g_vector_length);
5ffe9968 139/* Returns the number of elements in @var{vector} as an exact integer. (r5rs) */
0f2d19dd 140SCM
f172c0b7 141scm_vector_length (SCM v)
0f2d19dd 142{
f172c0b7
MD
143 SCM_GASSERT1 (SCM_VECTORP(v),
144 g_vector_length, v, SCM_ARG1, s_vector_length);
145 return SCM_MAKINUM (SCM_LENGTH (v));
0f2d19dd
JB
146}
147
f172c0b7 148SCM_REGISTER_PROC (s_list_to_vector, "list->vector", 1, 0, 0, scm_vector);
5ffe9968
GB
149/*
150 "@samp{List->vector} returns a newly\n"
151 "created vector initialized to the elements of the list @var{list}.\n\n"
152 "@format\n"
153 "@t{(vector->list '#(dah dah didah))\n"
154 "=> (dah dah didah)\n"
155 "list->vector '(dididit dah))\n"
156 "=> #(dididit dah)\n"
157 "}\n"
158 "@end format")
159*/
a1ec6916 160SCM_DEFINE (scm_vector, "vector", 0, 0, 1,
f172c0b7 161 (SCM l),
31daeb2d 162 "@deffnx primitive list->vector l\n"
5ffe9968
GB
163 "Returns a newly allocated vector whose elements contain the given\n"
164 "arguments. Analogous to @samp{list}. (r5rs)\n\n"
165 "@format\n"
166 "@t{(vector 'a 'b 'c) ==> #(a b c) }\n"
167 "@end format")
1bbd0b84 168#define FUNC_NAME s_scm_vector
0f2d19dd
JB
169{
170 SCM res;
171 register SCM *data;
1bbd0b84 172 int i;
f172c0b7
MD
173 SCM_VALIDATE_LIST_COPYLEN (1,l,i);
174 res = scm_make_vector (SCM_MAKINUM (i), SCM_UNSPECIFIED);
175 data = SCM_VELTS (res);
176 for(; i && SCM_NIMP(l); --i, l = SCM_CDR (l))
177 *data++ = SCM_CAR (l);
0f2d19dd
JB
178 return res;
179}
1bbd0b84 180#undef FUNC_NAME
0f2d19dd 181
f172c0b7 182SCM_GPROC (s_vector_ref, "vector-ref", 2, 0, 0, scm_vector_ref, g_vector_ref);
1cc91f1b 183
5ffe9968
GB
184/*
185 "@var{k} must be a valid index of @var{vector}.\n"
186 "@samp{Vector-ref} returns the contents of element @var{k} of\n"
187 "@var{vector}.\n\n"
188 "@format\n"
189 "@t{(vector-ref '#(1 1 2 3 5 8 13 21)\n"
190 " 5)\n"
191 " ==> 8\n"
192 "(vector-ref '#(1 1 2 3 5 8 13 21)\n"
193 " (let ((i (round (* 2 (acos -1)))))\n"
194 " (if (inexact? i)\n"
195 " (inexact->exact i)\n"
196 " i))) \n"
197 " ==> 13\n"
198 "}\n"
199 "@end format"
200*/
201
0f2d19dd 202SCM
ea633082 203scm_vector_ref (SCM v, SCM k)
685c0d71 204#define FUNC_NAME s_vector_ref
0f2d19dd 205{
0c95b57d 206 SCM_GASSERT2 (SCM_VECTORP (v),
9eb8500a
MD
207 g_vector_ref, v, k, SCM_ARG1, s_vector_ref);
208 SCM_GASSERT2 (SCM_INUMP (k),
209 g_vector_ref, v, k, SCM_ARG2, s_vector_ref);
685c0d71 210 SCM_ASSERT_RANGE (2, k, SCM_INUM (k) < SCM_LENGTH (v) && SCM_INUM (k) >= 0);
ea633082 211 return SCM_VELTS (v)[(long) SCM_INUM (k)];
0f2d19dd 212}
685c0d71 213#undef FUNC_NAME
0f2d19dd 214
f172c0b7 215SCM_GPROC (s_vector_set_x, "vector-set!", 3, 0, 0, scm_vector_set_x, g_vector_set_x);
1cc91f1b 216
5ffe9968
GB
217/* (r5rs)
218@var{k} must be a valid index of @var{vector}.
219@samp{Vector-set!} stores @var{obj} in element @var{k} of @var{vector}.
220The value returned by @samp{vector-set!} is unspecified.
221@c <!>
222
223
224@format
225@t{(let ((vec (vector 0 '(2 2 2 2) "Anna")))
226 (vector-set! vec 1 '("Sue" "Sue"))
227 vec)
228 ==> #(0 ("Sue" "Sue") "Anna")
229
230(vector-set! '#(0 1 2) 1 "doe")
231 ==> @emph{error} ; constant vector
232}
233@end format
234*/
235
0f2d19dd 236SCM
f172c0b7 237scm_vector_set_x (SCM v, SCM k, SCM obj)
685c0d71 238#define FUNC_NAME s_vector_set_x
0f2d19dd 239{
f172c0b7 240 SCM_GASSERTn (SCM_VECTORP (v),
9eb8500a
MD
241 g_vector_set_x, SCM_LIST3 (v, k, obj),
242 SCM_ARG1, s_vector_set_x);
f172c0b7 243 SCM_GASSERTn (SCM_INUMP (k),
9eb8500a
MD
244 g_vector_set_x, SCM_LIST3 (v, k, obj),
245 SCM_ARG2, s_vector_set_x);
685c0d71 246 SCM_ASSERT_RANGE (2, k, SCM_INUM (k) < SCM_LENGTH (v) && SCM_INUM (k) >= 0);
f172c0b7 247 SCM_VELTS(v)[(long) SCM_INUM(k)] = obj;
60c497a3 248 return SCM_UNSPECIFIED;
0f2d19dd 249}
685c0d71 250#undef FUNC_NAME
0f2d19dd
JB
251
252
a1ec6916 253SCM_DEFINE (scm_make_vector, "make-vector", 1, 1, 0,
1bbd0b84 254 (SCM k, SCM fill),
5ffe9968
GB
255 "Returns a newly allocated vector of @var{k} elements. If a second\n"
256 "argument is given, then each element is initialized to @var{fill}.\n"
257 "Otherwise the initial contents of each element is unspecified. (r5rs)")
1bbd0b84 258#define FUNC_NAME s_scm_make_vector
0f2d19dd
JB
259{
260 SCM v;
0f2d19dd
JB
261 register long i;
262 register long j;
263 register SCM *velts;
264
3b3b36dd 265 SCM_VALIDATE_INUM_MIN (1,k,0);
0f2d19dd 266 if (SCM_UNBNDP(fill))
d60cebe2 267 fill = SCM_UNSPECIFIED;
0f2d19dd
JB
268 i = SCM_INUM(k);
269 SCM_NEWCELL(v);
270 SCM_DEFER_INTS;
1bbd0b84 271 SCM_SETCHARS(v, scm_must_malloc(i?(long)(i*sizeof(SCM)):1L, FUNC_NAME));
0f2d19dd 272 velts = SCM_VELTS(v);
a75923bb
DH
273 for (j = 0; j < i; ++j)
274 velts[j] = fill;
275 SCM_SETLENGTH(v, i, scm_tc7_vector);
0f2d19dd
JB
276 SCM_ALLOW_INTS;
277 return v;
278}
1bbd0b84 279#undef FUNC_NAME
0f2d19dd
JB
280
281
3b3b36dd 282SCM_DEFINE (scm_vector_to_list, "vector->list", 1, 0, 0,
1bbd0b84 283 (SCM v),
5ffe9968
GB
284 "@samp{Vector->list} returns a newly allocated list of the objects contained\n"
285 "in the elements of @var{vector}. (r5rs)\n\n"
286 "@format\n"
287 "@t{(vector->list '#(dah dah didah))\n"
288 "=> (dah dah didah)\n"
289 "list->vector '(dididit dah))\n"
290 "=> #(dididit dah)\n"
291 "}\n"
292 "@end format")
1bbd0b84 293#define FUNC_NAME s_scm_vector_to_list
0f2d19dd
JB
294{
295 SCM res = SCM_EOL;
296 long i;
297 SCM *data;
3b3b36dd 298 SCM_VALIDATE_VECTOR (1,v);
0f2d19dd
JB
299 data = SCM_VELTS(v);
300 for(i = SCM_LENGTH(v)-1;i >= 0;i--) res = scm_cons(data[i], res);
301 return res;
302}
1bbd0b84 303#undef FUNC_NAME
0f2d19dd
JB
304
305
a1ec6916 306SCM_DEFINE (scm_vector_fill_x, "vector-fill!", 2, 0, 0,
1bbd0b84 307 (SCM v, SCM fill_x),
5ffe9968
GB
308 "Stores @var{fill} in every element of @var{vector}.\n"
309 "The value returned by @samp{vector-fill!} is unspecified. (r5rs)")
1bbd0b84 310#define FUNC_NAME s_scm_vector_fill_x
0f2d19dd
JB
311{
312 register long i;
313 register SCM *data;
3b3b36dd 314 SCM_VALIDATE_VECTOR (1,v);
0f2d19dd 315 data = SCM_VELTS(v);
a61ef59b
MD
316 for(i = SCM_LENGTH(v) - 1; i >= 0; i--)
317 data[i] = fill_x;
0f2d19dd
JB
318 return SCM_UNSPECIFIED;
319}
1bbd0b84 320#undef FUNC_NAME
0f2d19dd
JB
321
322
0f2d19dd 323SCM
1bbd0b84 324scm_vector_equal_p(SCM x, SCM y)
0f2d19dd
JB
325{
326 long i;
327 for(i = SCM_LENGTH(x)-1;i >= 0;i--)
328 if (SCM_FALSEP(scm_equal_p(SCM_VELTS(x)[i], SCM_VELTS(y)[i])))
329 return SCM_BOOL_F;
330 return SCM_BOOL_T;
331}
332
333
a1ec6916 334SCM_DEFINE (scm_vector_move_left_x, "vector-move-left!", 5, 0, 0,
1bbd0b84 335 (SCM vec1, SCM start1, SCM end1, SCM vec2, SCM start2),
b380b885 336 "Vector version of @code{substring-move-left!}.")
1bbd0b84 337#define FUNC_NAME s_scm_vector_move_left_x
0f2d19dd
JB
338{
339 long i;
340 long j;
341 long e;
342
3b3b36dd
GB
343 SCM_VALIDATE_VECTOR (1,vec1);
344 SCM_VALIDATE_INUM_COPY (2,start1,i);
345 SCM_VALIDATE_INUM_COPY (3,end1,e);
346 SCM_VALIDATE_VECTOR (4,vec2);
347 SCM_VALIDATE_INUM_COPY (5,start2,j);
685c0d71
DH
348 SCM_ASSERT_RANGE (2, start1, i <= SCM_LENGTH (vec1) && i >= 0);
349 SCM_ASSERT_RANGE (5, start2, j <= SCM_LENGTH (vec2) && j >= 0);
350 SCM_ASSERT_RANGE (3, end1, e <= SCM_LENGTH (vec1) && e >= 0);
351 SCM_ASSERT_RANGE (5, start2, e-i+j <= SCM_LENGTH (vec2));
0f2d19dd
JB
352 while (i<e) SCM_VELTS (vec2)[j++] = SCM_VELTS (vec1)[i++];
353 return SCM_UNSPECIFIED;
354}
1bbd0b84 355#undef FUNC_NAME
0f2d19dd 356
a1ec6916 357SCM_DEFINE (scm_vector_move_right_x, "vector-move-right!", 5, 0, 0,
1bbd0b84 358 (SCM vec1, SCM start1, SCM end1, SCM vec2, SCM start2),
b380b885 359 "Vector version of @code{substring-move-right!}.")
1bbd0b84 360#define FUNC_NAME s_scm_vector_move_right_x
0f2d19dd
JB
361{
362 long i;
363 long j;
364 long e;
365
3b3b36dd
GB
366 SCM_VALIDATE_VECTOR (1,vec1);
367 SCM_VALIDATE_INUM_COPY (2,start1,i);
368 SCM_VALIDATE_INUM_COPY (3,end1,e);
369 SCM_VALIDATE_VECTOR (4,vec2);
370 SCM_VALIDATE_INUM_COPY (5,start2,j);
685c0d71
DH
371 SCM_ASSERT_RANGE (2, start1, i <= SCM_LENGTH (vec1) && i >= 0);
372 SCM_ASSERT_RANGE (5, start2, j <= SCM_LENGTH (vec2) && j >= 0);
373 SCM_ASSERT_RANGE (3, end1, e <= SCM_LENGTH (vec1) && e >= 0);
2cc41672 374 j = e - i + j;
685c0d71 375 SCM_ASSERT_RANGE (5, start2, j <= SCM_LENGTH (vec2));
2cc41672
MD
376 while (i < e)
377 SCM_VELTS (vec2)[--j] = SCM_VELTS (vec1)[--e];
0f2d19dd
JB
378 return SCM_UNSPECIFIED;
379}
1bbd0b84 380#undef FUNC_NAME
0f2d19dd
JB
381
382
1cc91f1b 383
0f2d19dd
JB
384void
385scm_init_vectors ()
0f2d19dd 386{
a0599745 387#include "libguile/vectors.x"
afe5177e
GH
388 /*
389 scm_make_subr (s_resizuve, scm_tc7_subr_2, scm_vector_set_length_x); */
0f2d19dd
JB
390}
391
89e00824
ML
392
393/*
394 Local Variables:
395 c-file-style: "gnu"
396 End:
397*/