1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-01 12:20:26 +02:00
guile/libguile/vectors.c
Marius Vollmer 1d0df896c9 (scm_c_vector_set_x): Make return type
void.
(scm_is_vector, scm_vector_p, scm_vector_length,
scm_c_vector_length, scm_vector_ref, scm_c_vector_ref,
scm_vector_set_x, scm_c_vector_set_x, scm_vector_to_list,
scm_vector_move_left_x, scm_vector_move_right_x,
scm_vector_fill_x): handle one-dimensional arrays.
(scm_vector_elements, scm_vector_release_elements,
scm_vector_frame_release_elements, scm_vector_writable_elements,
scm_vector_release_writable_elements,
scm_vector_frame_release_writable_elements): New.
(scm_list_to_vector, scm_vector_to_list, scm_vector_fill,
scm_vector_move_left_x, scm_vector_move_right_x): Use them.
2004-12-27 02:01:21 +00:00

588 lines
16 KiB
C
Raw Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

/* Copyright (C) 1995,1996,1998,1999,2000,2001 Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*/
#include "libguile/_scm.h"
#include "libguile/eq.h"
#include "libguile/root.h"
#include "libguile/strings.h"
#include "libguile/lang.h"
#include "libguile/validate.h"
#include "libguile/vectors.h"
#include "libguile/unif.h"
#include "libguile/ramap.h"
#include "libguile/srfi-4.h"
#include "libguile/strings.h"
#include "libguile/srfi-13.h"
#include "libguile/dynwind.h"
int
scm_is_vector (SCM obj)
{
return (SCM_VECTORP (obj)
|| (SCM_ARRAYP (obj) && SCM_ARRAY_NDIM (obj) == 1));
}
SCM *
scm_vector_writable_elements (SCM vec)
{
if (SCM_VECTORP (vec))
return SCM_WRITABLE_VELTS (vec);
else
scm_wrong_type_arg_msg (NULL, 0, vec, "simple vector");
}
const SCM *
scm_vector_elements (SCM vec)
{
if (SCM_VECTORP (vec))
return SCM_VELTS (vec);
else
scm_wrong_type_arg_msg (NULL, 0, vec, "simple vector");
}
void
scm_vector_release_writable_elements (SCM vec)
{
scm_remember_upto_here_1 (vec);
}
void
scm_vector_release_elements (SCM vec)
{
scm_remember_upto_here_1 (vec);
}
void
scm_frame_vector_release_writable_elements (SCM vec)
{
scm_frame_unwind_handler_with_scm
(scm_vector_release_writable_elements, vec,
SCM_F_WIND_EXPLICITLY);
}
void
scm_frame_vector_release_elements (SCM vec)
{
scm_frame_unwind_handler_with_scm
(scm_vector_release_elements, vec,
SCM_F_WIND_EXPLICITLY);
}
SCM_DEFINE (scm_vector_p, "vector?", 1, 0, 0,
(SCM obj),
"Return @code{#t} if @var{obj} is a vector, otherwise return\n"
"@code{#f}.")
#define FUNC_NAME s_scm_vector_p
{
return scm_from_bool (scm_is_vector (obj));
}
#undef FUNC_NAME
SCM_GPROC (s_vector_length, "vector-length", 1, 0, 0, scm_vector_length, g_vector_length);
/* Returns the number of elements in @var{vector} as an exact integer. */
SCM
scm_vector_length (SCM v)
{
if (SCM_VECTORP (v))
return scm_from_size_t (SCM_VECTOR_LENGTH (v));
else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
{
scm_t_array_dim *dim = SCM_ARRAY_DIMS (v);
return scm_from_size_t (dim->ubnd - dim->lbnd + 1);
}
else
SCM_WTA_DISPATCH_1 (g_vector_length, v, 1, NULL);
}
size_t
scm_c_vector_length (SCM v)
{
if (SCM_VECTORP (v))
return SCM_VECTOR_LENGTH (v);
else
return scm_to_size_t (scm_vector_length (v));
}
SCM_REGISTER_PROC (s_list_to_vector, "list->vector", 1, 0, 0, scm_vector);
/*
"Return a newly created vector initialized to the elements of"
"the list @var{list}.\n\n"
"@lisp\n"
"(vector->list '#(dah dah didah)) @result{} (dah dah didah)\n"
"(list->vector '(dididit dah)) @result{} #(dididit dah)\n"
"@end lisp")
*/
SCM_DEFINE (scm_vector, "vector", 0, 0, 1,
(SCM l),
"@deffnx {Scheme Procedure} list->vector l\n"
"Return a newly allocated vector composed of the\n"
"given arguments. Analogous to @code{list}.\n"
"\n"
"@lisp\n"
"(vector 'a 'b 'c) @result{} #(a b c)\n"
"@end lisp")
#define FUNC_NAME s_scm_vector
{
SCM res;
SCM *data;
long i, len;
SCM_VALIDATE_LIST_COPYLEN (1, l, len);
res = scm_c_make_vector (len, SCM_UNSPECIFIED);
data = scm_vector_writable_elements (res);
i = 0;
while (!SCM_NULL_OR_NIL_P (l) && i < len)
{
data[i] = SCM_CAR (l);
l = SCM_CDR (l);
i++;
}
scm_vector_release_writable_elements (res);
return res;
}
#undef FUNC_NAME
SCM_GPROC (s_vector_ref, "vector-ref", 2, 0, 0, scm_vector_ref, g_vector_ref);
/*
"@var{k} must be a valid index of @var{vector}.\n"
"@samp{Vector-ref} returns the contents of element @var{k} of\n"
"@var{vector}.\n\n"
"@lisp\n"
"(vector-ref '#(1 1 2 3 5 8 13 21) 5) @result{} 8\n"
"(vector-ref '#(1 1 2 3 5 8 13 21)\n"
" (let ((i (round (* 2 (acos -1)))))\n"
" (if (inexact? i)\n"
" (inexact->exact i)\n"
" i))) @result{} 13\n"
"@end lisp"
*/
SCM
scm_vector_ref (SCM v, SCM k)
#define FUNC_NAME s_vector_ref
{
return scm_c_vector_ref (v, scm_to_size_t (k));
}
#undef FUNC_NAME
SCM
scm_c_vector_ref (SCM v, size_t k)
{
if (SCM_VECTORP (v))
{
if (k >= SCM_VECTOR_LENGTH (v))
scm_out_of_range (NULL, scm_from_size_t (k));
return SCM_VECTOR_REF (v, k);
}
else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
{
scm_t_array_dim *dim = SCM_ARRAY_DIMS (v);
if (k >= dim->ubnd - dim->lbnd + 1)
scm_out_of_range (NULL, scm_from_size_t (k));
k = SCM_ARRAY_BASE (v) + k*dim->inc;
return scm_c_generalized_vector_ref (SCM_ARRAY_V (v), k);
}
else
SCM_WTA_DISPATCH_2 (g_vector_ref, v, scm_from_size_t (k), 2, NULL);
}
SCM_GPROC (s_vector_set_x, "vector-set!", 3, 0, 0, scm_vector_set_x, g_vector_set_x);
/* "@var{k} must be a valid index of @var{vector}.\n"
"@code{Vector-set!} stores @var{obj} in element @var{k} of @var{vector}.\n"
"The value returned by @samp{vector-set!} is unspecified.\n"
"@lisp\n"
"(let ((vec (vector 0 '(2 2 2 2) "Anna")))\n"
" (vector-set! vec 1 '("Sue" "Sue"))\n"
" vec) @result{} #(0 ("Sue" "Sue") "Anna")\n"
"(vector-set! '#(0 1 2) 1 "doe") @result{} @emph{error} ; constant vector\n"
"@end lisp"
*/
SCM
scm_vector_set_x (SCM v, SCM k, SCM obj)
#define FUNC_NAME s_vector_set_x
{
scm_c_vector_set_x (v, scm_to_size_t (k), obj);
return SCM_UNSPECIFIED;
}
#undef FUNC_NAME
void
scm_c_vector_set_x (SCM v, size_t k, SCM obj)
{
if (SCM_VECTORP (v))
{
if (k >= SCM_VECTOR_LENGTH (v))
scm_out_of_range (NULL, scm_from_size_t (k));
SCM_VECTOR_SET (v, k, obj);
}
else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
{
scm_t_array_dim *dim = SCM_ARRAY_DIMS (v);
if (k >= dim->ubnd - dim->lbnd + 1)
scm_out_of_range (NULL, scm_from_size_t (k));
k = SCM_ARRAY_BASE (v) + k*dim->inc;
scm_c_generalized_vector_set_x (SCM_ARRAY_V (v), k, obj);
}
else
{
if (SCM_UNPACK (g_vector_set_x))
scm_apply_generic (g_vector_set_x,
scm_list_3 (v, scm_from_size_t (k), obj));
else
scm_wrong_type_arg_msg (NULL, 0, v, "vector");
}
}
SCM_DEFINE (scm_make_vector, "make-vector", 1, 1, 0,
(SCM k, SCM fill),
"Return a newly allocated vector of @var{k} elements. If a\n"
"second argument is given, then each position is initialized to\n"
"@var{fill}. Otherwise the initial contents of each position is\n"
"unspecified.")
#define FUNC_NAME s_scm_make_vector
{
size_t l = scm_to_unsigned_integer (k, 0, SCM_VECTOR_MAX_LENGTH);
if (SCM_UNBNDP (fill))
fill = SCM_UNSPECIFIED;
return scm_c_make_vector (l, fill);
}
#undef FUNC_NAME
SCM
scm_c_make_vector (size_t k, SCM fill)
#define FUNC_NAME s_scm_make_vector
{
SCM v;
scm_t_bits *base;
if (k > 0)
{
unsigned long int j;
SCM_ASSERT_RANGE (1, scm_from_ulong (k), k <= SCM_VECTOR_MAX_LENGTH);
base = scm_gc_malloc (k * sizeof (scm_t_bits), "vector");
for (j = 0; j != k; ++j)
base[j] = SCM_UNPACK (fill);
}
else
base = NULL;
v = scm_cell (SCM_MAKE_VECTOR_TAG (k, scm_tc7_vector), (scm_t_bits) base);
scm_remember_upto_here_1 (fill);
return v;
}
#undef FUNC_NAME
SCM_DEFINE (scm_vector_to_list, "vector->list", 1, 0, 0,
(SCM v),
"Return a newly allocated list composed of the elements of @var{v}.\n"
"\n"
"@lisp\n"
"(vector->list '#(dah dah didah)) @result{} (dah dah didah)\n"
"(list->vector '(dididit dah)) @result{} #(dididit dah)\n"
"@end lisp")
#define FUNC_NAME s_scm_vector_to_list
{
if (SCM_VECTORP (v))
{
SCM res = SCM_EOL;
long i;
const SCM *data;
data = scm_vector_elements (v);
for(i = SCM_VECTOR_LENGTH(v)-1; i >= 0; i--)
res = scm_cons (data[i], res);
scm_vector_release_elements (v);
return res;
}
else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
return scm_array_to_list (v);
else
scm_wrong_type_arg_msg (NULL, 0, v, "vector");
}
#undef FUNC_NAME
SCM_DEFINE (scm_vector_fill_x, "vector-fill!", 2, 0, 0,
(SCM v, SCM fill),
"Store @var{fill} in every position of @var{vector}. The value\n"
"returned by @code{vector-fill!} is unspecified.")
#define FUNC_NAME s_scm_vector_fill_x
{
if (SCM_VECTORP (v))
{
size_t i, len;
SCM *elts = scm_vector_writable_elements (v);
for (i = 0, len = SCM_VECTOR_LENGTH (v); i < len; i++)
elts[i] = fill;
return SCM_UNSPECIFIED;
}
else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
return scm_array_fill_x (v, fill);
else
scm_wrong_type_arg_msg (NULL, 0, v, "vector");
}
#undef FUNC_NAME
SCM
scm_vector_equal_p (SCM x, SCM y)
{
long i;
for (i = SCM_VECTOR_LENGTH (x) - 1; i >= 0; i--)
if (scm_is_false (scm_equal_p (SCM_VELTS (x)[i], SCM_VELTS (y)[i])))
return SCM_BOOL_F;
return SCM_BOOL_T;
}
SCM_DEFINE (scm_vector_move_left_x, "vector-move-left!", 5, 0, 0,
(SCM vec1, SCM start1, SCM end1, SCM vec2, SCM start2),
"Copy elements from @var{vec1}, positions @var{start1} to @var{end1},\n"
"to @var{vec2} starting at position @var{start2}. @var{start1} and\n"
"@var{start2} are inclusive indices; @var{end1} is exclusive.\n\n"
"@code{vector-move-left!} copies elements in leftmost order.\n"
"Therefore, in the case where @var{vec1} and @var{vec2} refer to the\n"
"same vector, @code{vector-move-left!} is usually appropriate when\n"
"@var{start1} is greater than @var{start2}.")
#define FUNC_NAME s_scm_vector_move_left_x
{
size_t len1, len2;
size_t i, j, e;
len1 = scm_c_vector_length (vec1);
len2 = scm_c_vector_length (vec2);
i = scm_to_unsigned_integer (start1, 0, len1);
e = scm_to_unsigned_integer (end1, i, len1);
j = scm_to_unsigned_integer (start2, 0, len2 - (i-e));
/* Optimize common case of two simple vectors.
*/
if (SCM_VECTORP (vec1) && SCM_VECTORP (vec2))
{
const SCM *elts1 = scm_vector_elements (vec1);
SCM *elts2 = scm_vector_writable_elements (vec2);
for (; i < e; i++, j++)
elts2[j] = elts1[i];
scm_vector_release_elements (vec1);
scm_vector_release_writable_elements (vec2);
}
else
{
for (; i < e; i++, j++)
scm_c_vector_set_x (vec2, j, scm_c_vector_ref (vec1, i));
}
return SCM_UNSPECIFIED;
}
#undef FUNC_NAME
SCM_DEFINE (scm_vector_move_right_x, "vector-move-right!", 5, 0, 0,
(SCM vec1, SCM start1, SCM end1, SCM vec2, SCM start2),
"Copy elements from @var{vec1}, positions @var{start1} to @var{end1},\n"
"to @var{vec2} starting at position @var{start2}. @var{start1} and\n"
"@var{start2} are inclusive indices; @var{end1} is exclusive.\n\n"
"@code{vector-move-right!} copies elements in rightmost order.\n"
"Therefore, in the case where @var{vec1} and @var{vec2} refer to the\n"
"same vector, @code{vector-move-right!} is usually appropriate when\n"
"@var{start1} is less than @var{start2}.")
#define FUNC_NAME s_scm_vector_move_right_x
{
size_t len1, len2;
size_t i, j, e;
len1 = scm_c_vector_length (vec1);
len2 = scm_c_vector_length (vec2);
i = scm_to_unsigned_integer (start1, 0, len1);
e = scm_to_unsigned_integer (end1, i, len1);
j = scm_to_unsigned_integer (start2, 0, len2 - (i-e));
/* Optimize common case of two regular vectors.
*/
j += e - i;
if (SCM_VECTORP (vec1) && SCM_VECTORP (vec2))
{
const SCM *elts1 = scm_vector_elements (vec1);
SCM *elts2 = scm_vector_writable_elements (vec2);
while (i < e)
{
e--, j--;
elts2[j] = elts1[e];
}
scm_vector_release_elements (vec1);
scm_vector_release_writable_elements (vec2);
}
else
{
while (i < e)
{
e--, j--;
scm_c_vector_set_x (vec2, j, scm_c_vector_ref (vec1, e));
}
}
return SCM_UNSPECIFIED;
}
#undef FUNC_NAME
/* Generalized vectors. */
int
scm_is_generalized_vector (SCM obj)
{
return (scm_is_vector (obj)
|| scm_is_string (obj)
|| scm_is_bitvector (obj)
|| scm_is_uniform_vector (obj));
}
SCM_DEFINE (scm_generalized_vector_p, "generalized-vector?", 1, 0, 0,
(SCM obj),
"Return @code{#t} if @var{obj} is a vector, string,\n"
"bitvector, or uniform numeric vector.")
#define FUNC_NAME s_scm_generalized_vector_p
{
return scm_from_bool (scm_is_generalized_vector (obj));
}
#undef FUNC_NAME
size_t
scm_c_generalized_vector_length (SCM v)
{
if (scm_is_vector (v))
return scm_c_vector_length (v);
else if (scm_is_string (v))
return scm_c_string_length (v);
else if (scm_is_bitvector (v))
return scm_c_bitvector_length (v);
else if (scm_is_uniform_vector (v))
return scm_c_uniform_vector_length (v);
else
scm_wrong_type_arg_msg (NULL, 0, v, "generalized vector");
}
SCM_DEFINE (scm_generalized_vector_length, "generalized-vector-length", 1, 0, 0,
(SCM v),
"Return the length of the generalized vector @var{v}.")
#define FUNC_NAME s_scm_generalized_vector_length
{
return scm_from_size_t (scm_c_generalized_vector_length (v));
}
#undef FUNC_NAME
SCM
scm_c_generalized_vector_ref (SCM v, size_t idx)
{
if (scm_is_vector (v))
return scm_c_vector_ref (v, idx);
else if (scm_is_string (v))
return scm_c_string_ref (v, idx);
else if (scm_is_bitvector (v))
return scm_c_bitvector_ref (v, idx);
else if (scm_is_uniform_vector (v))
return scm_c_uniform_vector_ref (v, idx);
else
scm_wrong_type_arg_msg (NULL, 0, v, "generalized vector");
}
SCM_DEFINE (scm_generalized_vector_ref, "generalized-vector-ref", 2, 0, 0,
(SCM v, SCM idx),
"Return the element at index @var{idx} of the\n"
"generalized vector @var{v}.")
#define FUNC_NAME s_scm_generalized_vector_ref
{
return scm_c_generalized_vector_ref (v, scm_to_size_t (idx));
}
#undef FUNC_NAME
void
scm_c_generalized_vector_set_x (SCM v, size_t idx, SCM val)
{
if (scm_is_vector (v))
scm_c_vector_set_x (v, idx, val);
else if (scm_is_string (v))
scm_c_string_set_x (v, idx, val);
else if (scm_is_bitvector (v))
scm_c_bitvector_set_x (v, idx, val);
else if (scm_is_uniform_vector (v))
scm_c_uniform_vector_set_x (v, idx, val);
else
scm_wrong_type_arg_msg (NULL, 0, v, "generalized vector");
}
SCM_DEFINE (scm_generalized_vector_set_x, "generalized-vector-set!", 3, 0, 0,
(SCM v, SCM idx, SCM val),
"Set the element at index @var{idx} of the\n"
"generalized vector @var{v} to @var{val}.")
#define FUNC_NAME s_scm_generalized_vector_set_x
{
scm_c_generalized_vector_set_x (v, scm_to_size_t (idx), val);
return SCM_UNSPECIFIED;
}
#undef FUNC_NAME
SCM_DEFINE (scm_generalized_vector_to_list, "generalized-vector->list", 1, 0, 0,
(SCM v),
"Return a new list whose elements are the elements of the\n"
"generalized vector @var{v}.")
#define FUNC_NAME s_scm_generalized_vector_to_list
{
if (scm_is_vector (v))
return scm_vector_to_list (v);
else if (scm_is_string (v))
return scm_string_to_list (v);
else if (scm_is_bitvector (v))
return scm_bitvector_to_list (v);
else if (scm_is_uniform_vector (v))
return scm_uniform_vector_to_list (v);
else
scm_wrong_type_arg_msg (NULL, 0, v, "generalized vector");
}
#undef FUNC_NAME
void
scm_init_vectors ()
{
scm_nullvect = scm_c_make_vector (0, SCM_UNDEFINED);
#include "libguile/vectors.x"
}
/*
Local Variables:
c-file-style: "gnu"
End:
*/