*** empty log message ***
[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),
5ffe9968
GB
162 "Returns a newly allocated vector whose elements contain the given\n"
163 "arguments. Analogous to @samp{list}. (r5rs)\n\n"
164 "@format\n"
165 "@t{(vector 'a 'b 'c) ==> #(a b c) }\n"
166 "@end format")
1bbd0b84 167#define FUNC_NAME s_scm_vector
0f2d19dd
JB
168{
169 SCM res;
170 register SCM *data;
1bbd0b84 171 int i;
f172c0b7
MD
172 SCM_VALIDATE_LIST_COPYLEN (1,l,i);
173 res = scm_make_vector (SCM_MAKINUM (i), SCM_UNSPECIFIED);
174 data = SCM_VELTS (res);
175 for(; i && SCM_NIMP(l); --i, l = SCM_CDR (l))
176 *data++ = SCM_CAR (l);
0f2d19dd
JB
177 return res;
178}
1bbd0b84 179#undef FUNC_NAME
0f2d19dd 180
f172c0b7 181SCM_GPROC (s_vector_ref, "vector-ref", 2, 0, 0, scm_vector_ref, g_vector_ref);
1cc91f1b 182
5ffe9968
GB
183/*
184 "@var{k} must be a valid index of @var{vector}.\n"
185 "@samp{Vector-ref} returns the contents of element @var{k} of\n"
186 "@var{vector}.\n\n"
187 "@format\n"
188 "@t{(vector-ref '#(1 1 2 3 5 8 13 21)\n"
189 " 5)\n"
190 " ==> 8\n"
191 "(vector-ref '#(1 1 2 3 5 8 13 21)\n"
192 " (let ((i (round (* 2 (acos -1)))))\n"
193 " (if (inexact? i)\n"
194 " (inexact->exact i)\n"
195 " i))) \n"
196 " ==> 13\n"
197 "}\n"
198 "@end format"
199*/
200
0f2d19dd 201SCM
ea633082 202scm_vector_ref (SCM v, SCM k)
685c0d71 203#define FUNC_NAME s_vector_ref
0f2d19dd 204{
0c95b57d 205 SCM_GASSERT2 (SCM_VECTORP (v),
9eb8500a
MD
206 g_vector_ref, v, k, SCM_ARG1, s_vector_ref);
207 SCM_GASSERT2 (SCM_INUMP (k),
208 g_vector_ref, v, k, SCM_ARG2, s_vector_ref);
685c0d71 209 SCM_ASSERT_RANGE (2, k, SCM_INUM (k) < SCM_LENGTH (v) && SCM_INUM (k) >= 0);
ea633082 210 return SCM_VELTS (v)[(long) SCM_INUM (k)];
0f2d19dd 211}
685c0d71 212#undef FUNC_NAME
0f2d19dd 213
f172c0b7 214SCM_GPROC (s_vector_set_x, "vector-set!", 3, 0, 0, scm_vector_set_x, g_vector_set_x);
1cc91f1b 215
5ffe9968
GB
216/* (r5rs)
217@var{k} must be a valid index of @var{vector}.
218@samp{Vector-set!} stores @var{obj} in element @var{k} of @var{vector}.
219The value returned by @samp{vector-set!} is unspecified.
220@c <!>
221
222
223@format
224@t{(let ((vec (vector 0 '(2 2 2 2) "Anna")))
225 (vector-set! vec 1 '("Sue" "Sue"))
226 vec)
227 ==> #(0 ("Sue" "Sue") "Anna")
228
229(vector-set! '#(0 1 2) 1 "doe")
230 ==> @emph{error} ; constant vector
231}
232@end format
233*/
234
0f2d19dd 235SCM
f172c0b7 236scm_vector_set_x (SCM v, SCM k, SCM obj)
685c0d71 237#define FUNC_NAME s_vector_set_x
0f2d19dd 238{
f172c0b7 239 SCM_GASSERTn (SCM_VECTORP (v),
9eb8500a
MD
240 g_vector_set_x, SCM_LIST3 (v, k, obj),
241 SCM_ARG1, s_vector_set_x);
f172c0b7 242 SCM_GASSERTn (SCM_INUMP (k),
9eb8500a
MD
243 g_vector_set_x, SCM_LIST3 (v, k, obj),
244 SCM_ARG2, s_vector_set_x);
685c0d71 245 SCM_ASSERT_RANGE (2, k, SCM_INUM (k) < SCM_LENGTH (v) && SCM_INUM (k) >= 0);
f172c0b7 246 SCM_VELTS(v)[(long) SCM_INUM(k)] = obj;
60c497a3 247 return SCM_UNSPECIFIED;
0f2d19dd 248}
685c0d71 249#undef FUNC_NAME
0f2d19dd
JB
250
251
a1ec6916 252SCM_DEFINE (scm_make_vector, "make-vector", 1, 1, 0,
1bbd0b84 253 (SCM k, SCM fill),
5ffe9968
GB
254 "Returns a newly allocated vector of @var{k} elements. If a second\n"
255 "argument is given, then each element is initialized to @var{fill}.\n"
256 "Otherwise the initial contents of each element is unspecified. (r5rs)")
1bbd0b84 257#define FUNC_NAME s_scm_make_vector
0f2d19dd
JB
258{
259 SCM v;
0f2d19dd
JB
260 register long i;
261 register long j;
262 register SCM *velts;
263
3b3b36dd 264 SCM_VALIDATE_INUM_MIN (1,k,0);
0f2d19dd 265 if (SCM_UNBNDP(fill))
d60cebe2 266 fill = SCM_UNSPECIFIED;
0f2d19dd
JB
267 i = SCM_INUM(k);
268 SCM_NEWCELL(v);
269 SCM_DEFER_INTS;
1bbd0b84 270 SCM_SETCHARS(v, scm_must_malloc(i?(long)(i*sizeof(SCM)):1L, FUNC_NAME));
0f2d19dd 271 velts = SCM_VELTS(v);
a75923bb
DH
272 for (j = 0; j < i; ++j)
273 velts[j] = fill;
274 SCM_SETLENGTH(v, i, scm_tc7_vector);
0f2d19dd
JB
275 SCM_ALLOW_INTS;
276 return v;
277}
1bbd0b84 278#undef FUNC_NAME
0f2d19dd
JB
279
280
3b3b36dd 281SCM_DEFINE (scm_vector_to_list, "vector->list", 1, 0, 0,
1bbd0b84 282 (SCM v),
5ffe9968
GB
283 "@samp{Vector->list} returns a newly allocated list of the objects contained\n"
284 "in the elements of @var{vector}. (r5rs)\n\n"
285 "@format\n"
286 "@t{(vector->list '#(dah dah didah))\n"
287 "=> (dah dah didah)\n"
288 "list->vector '(dididit dah))\n"
289 "=> #(dididit dah)\n"
290 "}\n"
291 "@end format")
1bbd0b84 292#define FUNC_NAME s_scm_vector_to_list
0f2d19dd
JB
293{
294 SCM res = SCM_EOL;
295 long i;
296 SCM *data;
3b3b36dd 297 SCM_VALIDATE_VECTOR (1,v);
0f2d19dd
JB
298 data = SCM_VELTS(v);
299 for(i = SCM_LENGTH(v)-1;i >= 0;i--) res = scm_cons(data[i], res);
300 return res;
301}
1bbd0b84 302#undef FUNC_NAME
0f2d19dd
JB
303
304
a1ec6916 305SCM_DEFINE (scm_vector_fill_x, "vector-fill!", 2, 0, 0,
1bbd0b84 306 (SCM v, SCM fill_x),
5ffe9968
GB
307 "Stores @var{fill} in every element of @var{vector}.\n"
308 "The value returned by @samp{vector-fill!} is unspecified. (r5rs)")
1bbd0b84 309#define FUNC_NAME s_scm_vector_fill_x
0f2d19dd
JB
310{
311 register long i;
312 register SCM *data;
3b3b36dd 313 SCM_VALIDATE_VECTOR (1,v);
0f2d19dd 314 data = SCM_VELTS(v);
a61ef59b
MD
315 for(i = SCM_LENGTH(v) - 1; i >= 0; i--)
316 data[i] = fill_x;
0f2d19dd
JB
317 return SCM_UNSPECIFIED;
318}
1bbd0b84 319#undef FUNC_NAME
0f2d19dd
JB
320
321
0f2d19dd 322SCM
1bbd0b84 323scm_vector_equal_p(SCM x, SCM y)
0f2d19dd
JB
324{
325 long i;
326 for(i = SCM_LENGTH(x)-1;i >= 0;i--)
327 if (SCM_FALSEP(scm_equal_p(SCM_VELTS(x)[i], SCM_VELTS(y)[i])))
328 return SCM_BOOL_F;
329 return SCM_BOOL_T;
330}
331
332
a1ec6916 333SCM_DEFINE (scm_vector_move_left_x, "vector-move-left!", 5, 0, 0,
1bbd0b84 334 (SCM vec1, SCM start1, SCM end1, SCM vec2, SCM start2),
b380b885 335 "Vector version of @code{substring-move-left!}.")
1bbd0b84 336#define FUNC_NAME s_scm_vector_move_left_x
0f2d19dd
JB
337{
338 long i;
339 long j;
340 long e;
341
3b3b36dd
GB
342 SCM_VALIDATE_VECTOR (1,vec1);
343 SCM_VALIDATE_INUM_COPY (2,start1,i);
344 SCM_VALIDATE_INUM_COPY (3,end1,e);
345 SCM_VALIDATE_VECTOR (4,vec2);
346 SCM_VALIDATE_INUM_COPY (5,start2,j);
685c0d71
DH
347 SCM_ASSERT_RANGE (2, start1, i <= SCM_LENGTH (vec1) && i >= 0);
348 SCM_ASSERT_RANGE (5, start2, j <= SCM_LENGTH (vec2) && j >= 0);
349 SCM_ASSERT_RANGE (3, end1, e <= SCM_LENGTH (vec1) && e >= 0);
350 SCM_ASSERT_RANGE (5, start2, e-i+j <= SCM_LENGTH (vec2));
0f2d19dd
JB
351 while (i<e) SCM_VELTS (vec2)[j++] = SCM_VELTS (vec1)[i++];
352 return SCM_UNSPECIFIED;
353}
1bbd0b84 354#undef FUNC_NAME
0f2d19dd 355
a1ec6916 356SCM_DEFINE (scm_vector_move_right_x, "vector-move-right!", 5, 0, 0,
1bbd0b84 357 (SCM vec1, SCM start1, SCM end1, SCM vec2, SCM start2),
b380b885 358 "Vector version of @code{substring-move-right!}.")
1bbd0b84 359#define FUNC_NAME s_scm_vector_move_right_x
0f2d19dd
JB
360{
361 long i;
362 long j;
363 long e;
364
3b3b36dd
GB
365 SCM_VALIDATE_VECTOR (1,vec1);
366 SCM_VALIDATE_INUM_COPY (2,start1,i);
367 SCM_VALIDATE_INUM_COPY (3,end1,e);
368 SCM_VALIDATE_VECTOR (4,vec2);
369 SCM_VALIDATE_INUM_COPY (5,start2,j);
685c0d71
DH
370 SCM_ASSERT_RANGE (2, start1, i <= SCM_LENGTH (vec1) && i >= 0);
371 SCM_ASSERT_RANGE (5, start2, j <= SCM_LENGTH (vec2) && j >= 0);
372 SCM_ASSERT_RANGE (3, end1, e <= SCM_LENGTH (vec1) && e >= 0);
2cc41672 373 j = e - i + j;
685c0d71 374 SCM_ASSERT_RANGE (5, start2, j <= SCM_LENGTH (vec2));
2cc41672
MD
375 while (i < e)
376 SCM_VELTS (vec2)[--j] = SCM_VELTS (vec1)[--e];
0f2d19dd
JB
377 return SCM_UNSPECIFIED;
378}
1bbd0b84 379#undef FUNC_NAME
0f2d19dd
JB
380
381
1cc91f1b 382
0f2d19dd
JB
383void
384scm_init_vectors ()
0f2d19dd 385{
a0599745 386#include "libguile/vectors.x"
afe5177e
GH
387 /*
388 scm_make_subr (s_resizuve, scm_tc7_subr_2, scm_vector_set_length_x); */
0f2d19dd
JB
389}
390
89e00824
ML
391
392/*
393 Local Variables:
394 c-file-style: "gnu"
395 End:
396*/