2012-07-04 16:53:12 -05:00
|
|
|
//! Vectors
|
2012-03-15 20:58:14 -05:00
|
|
|
|
2012-10-03 16:52:09 -05:00
|
|
|
#[forbid(deprecated_mode)];
|
|
|
|
#[forbid(deprecated_pattern)];
|
2012-09-28 00:20:47 -05:00
|
|
|
#[warn(non_camel_case_types)];
|
|
|
|
|
2012-09-04 13:12:17 -05:00
|
|
|
use cmp::{Eq, Ord};
|
|
|
|
use option::{Some, None};
|
2012-10-01 14:47:02 -05:00
|
|
|
use ptr::addr_of;
|
2012-09-04 13:12:17 -05:00
|
|
|
use libc::size_t;
|
2011-12-13 18:25:51 -06:00
|
|
|
|
|
|
|
#[abi = "cdecl"]
|
2012-07-03 18:11:00 -05:00
|
|
|
extern mod rustrt {
|
2012-08-13 18:20:27 -05:00
|
|
|
fn vec_reserve_shared(++t: *sys::TypeDesc,
|
2012-09-12 19:45:23 -05:00
|
|
|
++v: **raw::VecRepr,
|
2012-06-01 21:47:04 -05:00
|
|
|
++n: libc::size_t);
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-06-14 13:38:45 -05:00
|
|
|
#[abi = "rust-intrinsic"]
|
2012-07-03 18:11:00 -05:00
|
|
|
extern mod rusti {
|
2012-10-05 16:58:42 -05:00
|
|
|
fn move_val_init<T>(dst: &mut T, -src: T);
|
2012-06-14 13:38:45 -05:00
|
|
|
}
|
|
|
|
|
2012-10-05 16:58:42 -05:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if a vector contains no elements
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn is_empty<T>(v: &[const T]) -> bool {
|
2012-07-24 14:35:34 -05:00
|
|
|
as_const_buf(v, |_p, len| len == 0u)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if a vector contains some elements
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn is_not_empty<T>(v: &[const T]) -> bool {
|
2012-07-24 14:35:34 -05:00
|
|
|
as_const_buf(v, |_p, len| len > 0u)
|
2012-06-02 21:03:28 -05:00
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if two vectors have the same length
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn same_length<T, U>(xs: &[const T], ys: &[const U]) -> bool {
|
2012-06-02 21:03:28 -05:00
|
|
|
len(xs) == len(ys)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Reserves capacity for exactly `n` elements in the given vector.
|
|
|
|
*
|
|
|
|
* If the capacity for `v` is already equal to or greater than the requested
|
|
|
|
* capacity, then no action is taken.
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * v - A vector
|
|
|
|
* * n - The number of elements to reserve space for
|
|
|
|
*/
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn reserve<T>(v: &mut ~[T], n: uint) {
|
2012-03-29 01:18:36 -05:00
|
|
|
// Only make the (slow) call into the runtime if we have to
|
2012-09-28 00:20:47 -05:00
|
|
|
if capacity(v) < n {
|
2012-09-21 20:43:30 -05:00
|
|
|
unsafe {
|
|
|
|
let ptr: **raw::VecRepr = cast::transmute(v);
|
|
|
|
rustrt::vec_reserve_shared(sys::get_type_desc::<T>(),
|
|
|
|
ptr, n as size_t);
|
|
|
|
}
|
2012-03-29 01:18:36 -05:00
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Reserves capacity for at least `n` elements in the given vector.
|
|
|
|
*
|
|
|
|
* This function will over-allocate in order to amortize the allocation costs
|
|
|
|
* in scenarios where the caller may need to repeatedly reserve additional
|
|
|
|
* space.
|
|
|
|
*
|
|
|
|
* If the capacity for `v` is already equal to or greater than the requested
|
|
|
|
* capacity, then no action is taken.
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * v - A vector
|
|
|
|
* * n - The number of elements to reserve space for
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn reserve_at_least<T>(v: &mut ~[T], n: uint) {
|
2012-03-29 00:49:28 -05:00
|
|
|
reserve(v, uint::next_power_of_two(n));
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns the number of elements the vector can hold without reallocating
|
2012-03-29 10:57:34 -05:00
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn capacity<T>(v: &const ~[T]) -> uint {
|
2012-06-24 22:18:18 -05:00
|
|
|
unsafe {
|
2012-09-28 00:20:47 -05:00
|
|
|
let repr: **raw::VecRepr = ::cast::transmute(v);
|
2012-09-14 21:09:38 -05:00
|
|
|
(**repr).unboxed.alloc / sys::size_of::<T>()
|
2012-06-24 22:18:18 -05:00
|
|
|
}
|
2012-03-29 01:10:58 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns the length of a vector
|
2012-03-02 22:06:08 -06:00
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn len<T>(v: &[const T]) -> uint {
|
2012-07-24 14:35:34 -05:00
|
|
|
as_const_buf(v, |_p, len| len)
|
2012-03-21 08:55:36 -05:00
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Creates and initializes an immutable vector.
|
|
|
|
*
|
|
|
|
* Creates an immutable vector of size `n_elts` and initializes the elements
|
|
|
|
* to the value returned by the function `op`.
|
|
|
|
*/
|
2012-10-05 16:58:42 -05:00
|
|
|
pub pure fn from_fn<T>(n_elts: uint, op: iter::InitOp<T>) -> ~[T] {
|
|
|
|
unsafe {
|
|
|
|
let mut v = with_capacity(n_elts);
|
|
|
|
do as_mut_buf(v) |p, _len| {
|
|
|
|
let mut i: uint = 0u;
|
|
|
|
while i < n_elts {
|
|
|
|
rusti::move_val_init(&mut(*ptr::mut_offset(p, i)), op(i));
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
raw::set_len(&mut v, n_elts);
|
|
|
|
return move v;
|
|
|
|
}
|
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Creates and initializes an immutable vector.
|
|
|
|
*
|
|
|
|
* Creates an immutable vector of size `n_elts` and initializes the elements
|
|
|
|
* to the value `t`.
|
|
|
|
*/
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn from_elem<T: Copy>(n_elts: uint, t: T) -> ~[T] {
|
2012-09-28 00:20:47 -05:00
|
|
|
from_fn(n_elts, |_i| copy t)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-08-08 14:58:22 -05:00
|
|
|
/// Creates a new unique vector with the same contents as the slice
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn from_slice<T: Copy>(t: &[T]) -> ~[T] {
|
2012-08-08 14:58:22 -05:00
|
|
|
from_fn(t.len(), |i| t[i])
|
|
|
|
}
|
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn with_capacity<T>(capacity: uint) -> ~[T] {
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut vec = ~[];
|
|
|
|
unsafe { reserve(&mut vec, capacity); }
|
|
|
|
return move vec;
|
|
|
|
}
|
|
|
|
|
2012-07-17 18:31:19 -05:00
|
|
|
/**
|
|
|
|
* Builds a vector by calling a provided function with an argument
|
|
|
|
* function that pushes an element to the back of a vector.
|
|
|
|
* This version takes an initial size for the vector.
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * size - An initial size of the vector to reserve
|
|
|
|
* * builder - A function that will construct the vector. It recieves
|
|
|
|
* as an argument a function that will push an element
|
|
|
|
* onto the vector being constructed.
|
|
|
|
*/
|
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn build_sized<A>(size: uint,
|
2012-10-02 13:37:37 -05:00
|
|
|
builder: fn(push: pure fn(v: A))) -> ~[A] {
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut vec = with_capacity(size);
|
2012-10-02 13:37:37 -05:00
|
|
|
builder(|x| unsafe { vec.push(move x) });
|
2012-09-10 13:14:24 -05:00
|
|
|
move vec
|
2012-07-17 18:31:19 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Builds a vector by calling a provided function with an argument
|
|
|
|
* function that pushes an element to the back of a vector.
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * builder - A function that will construct the vector. It recieves
|
|
|
|
* as an argument a function that will push an element
|
|
|
|
* onto the vector being constructed.
|
|
|
|
*/
|
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn build<A>(builder: fn(push: pure fn(v: A))) -> ~[A] {
|
2012-07-17 18:31:19 -05:00
|
|
|
build_sized(4, builder)
|
|
|
|
}
|
|
|
|
|
2012-08-23 12:22:14 -05:00
|
|
|
/**
|
|
|
|
* Builds a vector by calling a provided function with an argument
|
|
|
|
* function that pushes an element to the back of a vector.
|
|
|
|
* This version takes an initial size for the vector.
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * size - An option, maybe containing initial size of the vector to reserve
|
|
|
|
* * builder - A function that will construct the vector. It recieves
|
|
|
|
* as an argument a function that will push an element
|
|
|
|
* onto the vector being constructed.
|
|
|
|
*/
|
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn build_sized_opt<A>(size: Option<uint>,
|
2012-10-02 13:37:37 -05:00
|
|
|
builder: fn(push: pure fn(v: A))) -> ~[A] {
|
2012-08-23 12:22:14 -05:00
|
|
|
build_sized(size.get_default(4), builder)
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Produces a mut vector from an immutable vector.
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn to_mut<T>(v: ~[T]) -> ~[mut T] {
|
2012-09-18 19:34:08 -05:00
|
|
|
unsafe { ::cast::transmute(move v) }
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Produces an immutable vector from a mut vector.
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn from_mut<T>(v: ~[mut T]) -> ~[T] {
|
2012-09-18 19:34:08 -05:00
|
|
|
unsafe { ::cast::transmute(move v) }
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
// Accessors
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns the first element of a vector
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn head<T: Copy>(v: &[const T]) -> T { v[0] }
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns a vector containing all but the first element of a slice
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn tail<T: Copy>(v: &[const T]) -> ~[T] {
|
2012-08-01 19:30:05 -05:00
|
|
|
return slice(v, 1u, len(v));
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Returns a vector containing all but the first `n` \
|
|
|
|
* elements of a slice
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn tailn<T: Copy>(v: &[const T], n: uint) -> ~[T] {
|
2012-01-06 03:23:55 -06:00
|
|
|
slice(v, n, len(v))
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns a vector containing all but the last element of a slice
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn init<T: Copy>(v: &[const T]) -> ~[T] {
|
2011-12-13 18:25:51 -06:00
|
|
|
assert len(v) != 0u;
|
|
|
|
slice(v, 0u, len(v) - 1u)
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns the last element of the slice `v`, failing if the slice is empty.
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn last<T: Copy>(v: &[const T]) -> T {
|
2012-07-14 00:57:48 -05:00
|
|
|
if len(v) == 0u { fail ~"last_unsafe: empty vector" }
|
2012-03-08 17:24:27 -06:00
|
|
|
v[len(v) - 1u]
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
2012-08-20 14:23:37 -05:00
|
|
|
* Returns `Some(x)` where `x` is the last element of the slice `v`,
|
2012-07-04 16:53:12 -05:00
|
|
|
* or `none` if the vector is empty.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn last_opt<T: Copy>(v: &[const T]) -> Option<T> {
|
2012-08-20 14:23:37 -05:00
|
|
|
if len(v) == 0u { return None; }
|
|
|
|
Some(v[len(v) - 1u])
|
2012-03-08 14:08:47 -06:00
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns a copy of the elements from [`start`..`end`) from `v`.
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn slice<T: Copy>(v: &[const T], start: uint, end: uint) -> ~[T] {
|
2011-12-13 18:25:51 -06:00
|
|
|
assert (start <= end);
|
|
|
|
assert (end <= len(v));
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut result = ~[];
|
2012-09-18 13:17:40 -05:00
|
|
|
unsafe {
|
2012-09-26 19:33:34 -05:00
|
|
|
for uint::range(start, end) |i| { result.push(v[i]) }
|
2012-06-25 19:08:06 -05:00
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move result
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-20 21:18:41 -05:00
|
|
|
/// Return a slice that points into another slice.
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn view<T>(v: &r/[T], start: uint, end: uint) -> &r/[T] {
|
2012-05-18 18:55:22 -05:00
|
|
|
assert (start <= end);
|
|
|
|
assert (end <= len(v));
|
2012-09-13 13:46:10 -05:00
|
|
|
do as_imm_buf(v) |p, _len| {
|
2012-05-18 18:55:22 -05:00
|
|
|
unsafe {
|
2012-09-18 19:34:08 -05:00
|
|
|
::cast::reinterpret_cast(
|
2012-09-12 12:38:17 -05:00
|
|
|
&(ptr::offset(p, start),
|
|
|
|
(end - start) * sys::size_of::<T>()))
|
2012-05-18 18:55:22 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-20 21:19:44 -05:00
|
|
|
/// Return a slice that points into another slice.
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn mut_view<T>(v: &r/[mut T], start: uint, end: uint) -> &r/[mut T] {
|
2012-07-20 21:19:44 -05:00
|
|
|
assert (start <= end);
|
|
|
|
assert (end <= len(v));
|
2012-09-12 12:38:17 -05:00
|
|
|
do as_mut_buf(v) |p, _len| {
|
2012-07-20 21:19:44 -05:00
|
|
|
unsafe {
|
2012-09-18 19:34:08 -05:00
|
|
|
::cast::reinterpret_cast(
|
2012-09-12 12:38:17 -05:00
|
|
|
&(ptr::mut_offset(p, start),
|
|
|
|
(end - start) * sys::size_of::<T>()))
|
2012-07-20 21:19:44 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Return a slice that points into another slice.
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn const_view<T>(v: &r/[const T], start: uint,
|
2012-09-26 23:19:57 -05:00
|
|
|
end: uint) -> &r/[const T] {
|
2012-07-20 21:19:44 -05:00
|
|
|
assert (start <= end);
|
|
|
|
assert (end <= len(v));
|
2012-09-12 12:38:17 -05:00
|
|
|
do as_const_buf(v) |p, _len| {
|
2012-07-20 21:19:44 -05:00
|
|
|
unsafe {
|
2012-09-18 19:34:08 -05:00
|
|
|
::cast::reinterpret_cast(
|
2012-09-12 12:38:17 -05:00
|
|
|
&(ptr::const_offset(p, start),
|
|
|
|
(end - start) * sys::size_of::<T>()))
|
2012-07-20 21:19:44 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Split the vector `v` by applying each element against the predicate `f`.
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn split<T: Copy>(v: &[T], f: fn(t: &T) -> bool) -> ~[~[T]] {
|
2012-01-26 20:13:43 -06:00
|
|
|
let ln = len(v);
|
2012-08-01 19:30:05 -05:00
|
|
|
if (ln == 0u) { return ~[] }
|
2012-01-26 20:13:43 -06:00
|
|
|
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut start = 0u;
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut result = ~[];
|
2012-01-26 20:13:43 -06:00
|
|
|
while start < ln {
|
2012-08-06 14:34:08 -05:00
|
|
|
match position_between(v, start, ln, f) {
|
2012-09-26 19:33:34 -05:00
|
|
|
None => break,
|
|
|
|
Some(i) => {
|
|
|
|
result.push(slice(v, start, i));
|
|
|
|
start = i + 1u;
|
|
|
|
}
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
}
|
2012-09-26 19:33:34 -05:00
|
|
|
result.push(slice(v, start, ln));
|
2012-09-10 13:14:24 -05:00
|
|
|
move result
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Split the vector `v` by applying each element against the predicate `f` up
|
|
|
|
* to `n` times.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn splitn<T: Copy>(v: &[T], n: uint, f: fn(t: &T) -> bool) -> ~[~[T]] {
|
2012-01-26 20:13:43 -06:00
|
|
|
let ln = len(v);
|
2012-08-01 19:30:05 -05:00
|
|
|
if (ln == 0u) { return ~[] }
|
2012-01-26 20:13:43 -06:00
|
|
|
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut start = 0u;
|
|
|
|
let mut count = n;
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut result = ~[];
|
2012-01-26 20:13:43 -06:00
|
|
|
while start < ln && count > 0u {
|
2012-08-06 14:34:08 -05:00
|
|
|
match position_between(v, start, ln, f) {
|
2012-09-26 19:33:34 -05:00
|
|
|
None => break,
|
|
|
|
Some(i) => {
|
|
|
|
result.push(slice(v, start, i));
|
|
|
|
// Make sure to skip the separator.
|
|
|
|
start = i + 1u;
|
|
|
|
count -= 1u;
|
|
|
|
}
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
}
|
2012-09-26 19:33:34 -05:00
|
|
|
result.push(slice(v, start, ln));
|
2012-09-10 13:14:24 -05:00
|
|
|
move result
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Reverse split the vector `v` by applying each element against the predicate
|
|
|
|
* `f`.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn rsplit<T: Copy>(v: &[T], f: fn(t: &T) -> bool) -> ~[~[T]] {
|
2012-01-26 20:13:43 -06:00
|
|
|
let ln = len(v);
|
2012-08-01 19:30:05 -05:00
|
|
|
if (ln == 0u) { return ~[] }
|
2012-01-26 20:13:43 -06:00
|
|
|
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut end = ln;
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut result = ~[];
|
2012-01-26 20:13:43 -06:00
|
|
|
while end > 0u {
|
2012-08-06 14:34:08 -05:00
|
|
|
match rposition_between(v, 0u, end, f) {
|
2012-09-26 19:33:34 -05:00
|
|
|
None => break,
|
|
|
|
Some(i) => {
|
|
|
|
result.push(slice(v, i + 1u, end));
|
|
|
|
end = i;
|
|
|
|
}
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
}
|
2012-09-26 19:33:34 -05:00
|
|
|
result.push(slice(v, 0u, end));
|
2012-09-02 17:37:15 -05:00
|
|
|
reverse(result);
|
2012-09-21 20:43:30 -05:00
|
|
|
return move result;
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Reverse split the vector `v` by applying each element against the predicate
|
|
|
|
* `f` up to `n times.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn rsplitn<T: Copy>(v: &[T], n: uint, f: fn(t: &T) -> bool) -> ~[~[T]] {
|
2012-01-26 20:13:43 -06:00
|
|
|
let ln = len(v);
|
2012-08-01 19:30:05 -05:00
|
|
|
if (ln == 0u) { return ~[] }
|
2012-01-26 20:13:43 -06:00
|
|
|
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut end = ln;
|
|
|
|
let mut count = n;
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut result = ~[];
|
2012-01-26 20:13:43 -06:00
|
|
|
while end > 0u && count > 0u {
|
2012-08-06 14:34:08 -05:00
|
|
|
match rposition_between(v, 0u, end, f) {
|
2012-09-26 19:33:34 -05:00
|
|
|
None => break,
|
|
|
|
Some(i) => {
|
|
|
|
result.push(slice(v, i + 1u, end));
|
|
|
|
// Make sure to skip the separator.
|
|
|
|
end = i;
|
|
|
|
count -= 1u;
|
|
|
|
}
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
}
|
2012-09-26 19:33:34 -05:00
|
|
|
result.push(slice(v, 0u, end));
|
2012-09-02 17:37:15 -05:00
|
|
|
reverse(result);
|
2012-09-21 20:43:30 -05:00
|
|
|
move result
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
|
|
|
// Mutators
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Removes the first element from a vector and return it
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn shift<T>(v: &mut ~[T]) -> T {
|
2012-09-28 00:20:47 -05:00
|
|
|
let ln = v.len();
|
2012-07-03 19:33:20 -05:00
|
|
|
assert (ln > 0);
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut vv = ~[];
|
2012-09-28 00:20:47 -05:00
|
|
|
*v <-> vv;
|
2012-06-07 14:18:34 -05:00
|
|
|
|
|
|
|
unsafe {
|
2012-06-14 21:32:55 -05:00
|
|
|
let mut rr;
|
|
|
|
{
|
2012-09-12 19:45:23 -05:00
|
|
|
let vv = raw::to_ptr(vv);
|
2012-06-26 13:13:02 -05:00
|
|
|
rr <- *vv;
|
2012-06-14 21:32:55 -05:00
|
|
|
|
2012-07-03 19:33:20 -05:00
|
|
|
for uint::range(1, ln) |i| {
|
2012-06-14 21:32:55 -05:00
|
|
|
let r <- *ptr::offset(vv, i);
|
2012-09-26 19:33:34 -05:00
|
|
|
v.push(move r);
|
2012-06-14 21:32:55 -05:00
|
|
|
}
|
2012-06-07 14:18:34 -05:00
|
|
|
}
|
2012-09-28 00:20:47 -05:00
|
|
|
raw::set_len(&mut vv, 0);
|
2012-06-07 14:18:34 -05:00
|
|
|
|
2012-09-10 13:14:24 -05:00
|
|
|
move rr
|
2012-06-07 14:18:34 -05:00
|
|
|
}
|
2012-03-18 18:16:47 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Prepend an element to the vector
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn unshift<T>(v: &mut ~[T], x: T) {
|
2012-09-10 13:14:24 -05:00
|
|
|
let mut vv = ~[move x];
|
2012-09-28 00:20:47 -05:00
|
|
|
*v <-> vv;
|
|
|
|
v.push_all_move(vv);
|
2012-06-22 18:31:57 -05:00
|
|
|
}
|
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn consume<T>(v: ~[T], f: fn(uint, v: T)) unsafe {
|
2012-09-28 00:20:47 -05:00
|
|
|
let mut v = move v; // FIXME(#3488)
|
|
|
|
|
2012-09-13 13:46:10 -05:00
|
|
|
do as_imm_buf(v) |p, ln| {
|
2012-07-03 19:33:20 -05:00
|
|
|
for uint::range(0, ln) |i| {
|
|
|
|
let x <- *ptr::offset(p, i);
|
2012-09-10 13:14:24 -05:00
|
|
|
f(i, move x);
|
2012-07-03 19:33:20 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
raw::set_len(&mut v, 0);
|
2012-07-03 19:33:20 -05:00
|
|
|
}
|
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn consume_mut<T>(v: ~[mut T], f: fn(uint, v: T)) {
|
2012-09-28 00:20:47 -05:00
|
|
|
consume(vec::from_mut(v), f)
|
2012-08-02 20:55:31 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Remove the last element from a vector and return it
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn pop<T>(v: &mut ~[T]) -> T {
|
2012-09-28 00:20:47 -05:00
|
|
|
let ln = v.len();
|
2012-08-22 21:09:34 -05:00
|
|
|
if ln == 0 {
|
|
|
|
fail ~"sorry, cannot vec::pop an empty vector"
|
|
|
|
}
|
2012-09-28 00:20:47 -05:00
|
|
|
let valptr = ptr::to_mut_unsafe_ptr(&mut v[ln - 1u]);
|
2012-06-24 22:18:18 -05:00
|
|
|
unsafe {
|
2012-09-28 00:20:47 -05:00
|
|
|
let val = move *valptr;
|
2012-09-12 19:45:23 -05:00
|
|
|
raw::set_len(v, ln - 1u);
|
2012-09-10 13:14:24 -05:00
|
|
|
move val
|
2012-06-24 22:18:18 -05:00
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-08-22 21:09:34 -05:00
|
|
|
/**
|
|
|
|
* Remove an element from anywhere in the vector and return it, replacing it
|
|
|
|
* with the last element. This does not preserve ordering, but is O(1).
|
|
|
|
*
|
|
|
|
* Fails if index >= length.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn swap_remove<T>(v: &mut ~[T], index: uint) -> T {
|
2012-09-28 00:20:47 -05:00
|
|
|
let ln = v.len();
|
2012-08-22 21:09:34 -05:00
|
|
|
if index >= ln {
|
2012-08-27 15:50:40 -05:00
|
|
|
fail fmt!("vec::swap_remove - index %u >= length %u", index, ln);
|
2012-08-22 21:09:34 -05:00
|
|
|
}
|
2012-09-28 00:20:47 -05:00
|
|
|
if index < ln - 1 {
|
|
|
|
v[index] <-> v[ln - 1];
|
2012-08-22 21:09:34 -05:00
|
|
|
}
|
2012-09-28 00:20:47 -05:00
|
|
|
vec::pop(v)
|
2012-08-22 21:09:34 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Append an element to a vector
|
2012-06-13 18:14:01 -05:00
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn push<T>(v: &mut ~[T], initval: T) {
|
2012-06-13 18:14:01 -05:00
|
|
|
unsafe {
|
2012-09-26 19:33:34 -05:00
|
|
|
let repr: **raw::VecRepr = ::cast::transmute(copy v);
|
2012-09-14 21:09:38 -05:00
|
|
|
let fill = (**repr).unboxed.fill;
|
|
|
|
if (**repr).unboxed.alloc > fill {
|
2012-09-10 13:14:24 -05:00
|
|
|
push_fast(v, move initval);
|
2012-06-14 13:38:45 -05:00
|
|
|
}
|
|
|
|
else {
|
2012-09-10 13:14:24 -05:00
|
|
|
push_slow(v, move initval);
|
2012-06-14 13:38:45 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-10-05 16:58:42 -05:00
|
|
|
// This doesn't bother to make sure we have space.
|
|
|
|
#[inline(always)] // really pretty please
|
|
|
|
unsafe fn push_fast<T>(v: &mut ~[T], initval: T) {
|
|
|
|
let repr: **raw::VecRepr = ::cast::transmute(v);
|
|
|
|
let fill = (**repr).unboxed.fill;
|
|
|
|
(**repr).unboxed.fill += sys::size_of::<T>();
|
|
|
|
let p = addr_of(&((**repr).unboxed.data));
|
|
|
|
let p = ptr::offset(p, fill) as *mut T;
|
|
|
|
rusti::move_val_init(&mut(*p), move initval);
|
|
|
|
}
|
2012-07-25 19:29:34 -05:00
|
|
|
|
|
|
|
#[inline(never)]
|
2012-10-02 13:37:37 -05:00
|
|
|
fn push_slow<T>(v: &mut ~[T], initval: T) {
|
2012-09-26 19:33:34 -05:00
|
|
|
reserve_at_least(v, v.len() + 1u);
|
2012-09-10 13:14:24 -05:00
|
|
|
unsafe { push_fast(v, move initval) }
|
2011-12-19 11:48:30 -06:00
|
|
|
}
|
|
|
|
|
2012-06-13 18:14:01 -05:00
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn push_all<T: Copy>(v: &mut ~[T], rhs: &[const T]) {
|
2012-09-26 19:33:34 -05:00
|
|
|
reserve(v, v.len() + rhs.len());
|
2012-06-25 22:00:46 -05:00
|
|
|
|
2012-06-30 18:19:07 -05:00
|
|
|
for uint::range(0u, rhs.len()) |i| {
|
2012-09-12 19:45:23 -05:00
|
|
|
push(v, unsafe { raw::get(rhs, i) })
|
2012-06-13 18:14:01 -05:00
|
|
|
}
|
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-06-27 17:21:50 -05:00
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn push_all_move<T>(v: &mut ~[T], rhs: ~[T]) {
|
2012-09-28 00:20:47 -05:00
|
|
|
let mut rhs = move rhs; // FIXME(#3488)
|
2012-09-26 19:33:34 -05:00
|
|
|
reserve(v, v.len() + rhs.len());
|
2012-06-27 17:21:50 -05:00
|
|
|
unsafe {
|
2012-09-13 13:46:10 -05:00
|
|
|
do as_imm_buf(rhs) |p, len| {
|
2012-06-30 18:19:07 -05:00
|
|
|
for uint::range(0, len) |i| {
|
2012-06-27 17:21:50 -05:00
|
|
|
let x <- *ptr::offset(p, i);
|
2012-09-10 13:14:24 -05:00
|
|
|
push(v, move x);
|
2012-06-27 17:21:50 -05:00
|
|
|
}
|
|
|
|
}
|
2012-09-28 00:20:47 -05:00
|
|
|
raw::set_len(&mut rhs, 0);
|
2012-06-27 17:21:50 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-29 03:21:49 -05:00
|
|
|
/// Shorten a vector, dropping excess elements.
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn truncate<T>(v: &mut ~[T], newlen: uint) {
|
2012-09-28 00:20:47 -05:00
|
|
|
do as_imm_buf(*v) |p, oldlen| {
|
2012-08-29 03:21:49 -05:00
|
|
|
assert(newlen <= oldlen);
|
|
|
|
unsafe {
|
|
|
|
// This loop is optimized out for non-drop types.
|
|
|
|
for uint::range(newlen, oldlen) |i| {
|
|
|
|
let _dropped <- *ptr::offset(p, i);
|
|
|
|
}
|
2012-09-12 19:45:23 -05:00
|
|
|
raw::set_len(v, newlen);
|
2012-08-29 03:21:49 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-01 14:11:54 -05:00
|
|
|
/**
|
|
|
|
* Remove consecutive repeated elements from a vector; if the vector is
|
|
|
|
* sorted, this removes all duplicates.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn dedup<T: Eq>(v: &mut ~[T]) unsafe {
|
2012-09-01 14:11:54 -05:00
|
|
|
if v.len() < 1 { return; }
|
|
|
|
let mut last_written = 0, next_to_read = 1;
|
2012-09-28 00:20:47 -05:00
|
|
|
do as_const_buf(*v) |p, ln| {
|
2012-09-01 14:11:54 -05:00
|
|
|
// We have a mutable reference to v, so we can make arbitrary changes.
|
|
|
|
// (cf. push and pop)
|
|
|
|
let p = p as *mut T;
|
|
|
|
// last_written < next_to_read <= ln
|
|
|
|
while next_to_read < ln {
|
|
|
|
// last_written < next_to_read < ln
|
|
|
|
if *ptr::mut_offset(p, next_to_read) ==
|
|
|
|
*ptr::mut_offset(p, last_written) {
|
|
|
|
let _dropped <- *ptr::mut_offset(p, next_to_read);
|
|
|
|
} else {
|
|
|
|
last_written += 1;
|
|
|
|
// last_written <= next_to_read < ln
|
|
|
|
if next_to_read != last_written {
|
|
|
|
*ptr::mut_offset(p, last_written) <-
|
|
|
|
*ptr::mut_offset(p, next_to_read);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// last_written <= next_to_read < ln
|
|
|
|
next_to_read += 1;
|
|
|
|
// last_written < next_to_read <= ln
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// last_written < next_to_read == ln
|
2012-09-12 19:45:23 -05:00
|
|
|
raw::set_len(v, last_written + 1);
|
2012-09-01 14:11:54 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2011-12-13 18:25:51 -06:00
|
|
|
// Appending
|
2012-06-13 18:14:01 -05:00
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn append<T: Copy>(lhs: ~[T], rhs: &[const T]) -> ~[T] {
|
2012-06-27 18:08:22 -05:00
|
|
|
let mut v <- lhs;
|
2012-09-18 13:17:40 -05:00
|
|
|
unsafe {
|
2012-09-26 19:33:34 -05:00
|
|
|
v.push_all(rhs);
|
2012-06-13 18:14:01 -05:00
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move v
|
2012-06-13 18:14:01 -05:00
|
|
|
}
|
|
|
|
|
2012-06-28 15:52:13 -05:00
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn append_one<T>(lhs: ~[T], x: T) -> ~[T] {
|
2012-06-28 15:52:13 -05:00
|
|
|
let mut v <- lhs;
|
2012-09-26 19:33:34 -05:00
|
|
|
unsafe { v.push(move x); }
|
2012-09-10 13:14:24 -05:00
|
|
|
move v
|
2012-06-28 15:52:13 -05:00
|
|
|
}
|
|
|
|
|
2012-06-13 18:14:01 -05:00
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pure fn append_mut<T: Copy>(lhs: ~[mut T], rhs: &[const T]) -> ~[mut T] {
|
2012-09-21 20:43:30 -05:00
|
|
|
to_mut(append(from_mut(lhs), rhs))
|
2012-06-13 18:14:01 -05:00
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Expands a vector in place, initializing the new elements to a given value
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * v - The vector to grow
|
|
|
|
* * n - The number of elements to add
|
|
|
|
* * initval - The value for the new elements
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn grow<T: Copy>(v: &mut ~[T], n: uint, initval: &T) {
|
2012-09-28 00:20:47 -05:00
|
|
|
reserve_at_least(v, v.len() + n);
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut i: uint = 0u;
|
2012-06-13 18:14:01 -05:00
|
|
|
|
2012-09-26 19:33:34 -05:00
|
|
|
while i < n {
|
2012-09-28 00:20:47 -05:00
|
|
|
v.push(*initval);
|
2012-09-26 19:33:34 -05:00
|
|
|
i += 1u;
|
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Expands a vector in place, initializing the new elements to the result of
|
|
|
|
* a function
|
|
|
|
*
|
|
|
|
* Function `init_op` is called `n` times with the values [0..`n`)
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * v - The vector to grow
|
|
|
|
* * n - The number of elements to add
|
|
|
|
* * init_op - A function to call to retreive each appended element's
|
|
|
|
* value
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn grow_fn<T>(v: &mut ~[T], n: uint, op: iter::InitOp<T>) {
|
2012-09-28 00:20:47 -05:00
|
|
|
reserve_at_least(v, v.len() + n);
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut i: uint = 0u;
|
2012-09-26 19:33:34 -05:00
|
|
|
while i < n {
|
|
|
|
v.push(op(i));
|
|
|
|
i += 1u;
|
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Sets the value of a vector element at a given index, growing the vector as
|
|
|
|
* needed
|
|
|
|
*
|
|
|
|
* Sets the element at position `index` to `val`. If `index` is past the end
|
|
|
|
* of the vector, expands the vector by replicating `initval` to fill the
|
|
|
|
* intervening space.
|
|
|
|
*/
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn grow_set<T: Copy>(v: &mut ~[T], index: uint, initval: &T, val: T) {
|
2012-09-28 00:20:47 -05:00
|
|
|
let l = v.len();
|
|
|
|
if index >= l { grow(v, index - l + 1u, initval); }
|
|
|
|
v[index] = move val;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
// Functional utilities
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Apply a function to each element of a vector and return the results
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn map<T, U>(v: &[T], f: fn(t: &T) -> U) -> ~[U] {
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut result = with_capacity(len(v));
|
2012-09-26 19:33:34 -05:00
|
|
|
for each(v) |elem| {
|
|
|
|
unsafe {
|
|
|
|
result.push(f(elem));
|
|
|
|
}
|
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move result
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
pub fn map_consume<T, U>(v: ~[T], f: fn(v: T) -> U) -> ~[U] {
|
2012-07-03 19:33:20 -05:00
|
|
|
let mut result = ~[];
|
2012-09-10 13:14:24 -05:00
|
|
|
do consume(move v) |_i, x| {
|
2012-09-26 19:33:34 -05:00
|
|
|
result.push(f(move x));
|
2012-07-03 19:33:20 -05:00
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move result
|
2012-07-03 19:33:20 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Apply a function to each element of a vector and return the results
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn mapi<T, U>(v: &[T], f: fn(uint, t: &T) -> U) -> ~[U] {
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut i = 0;
|
|
|
|
do map(v) |e| {
|
|
|
|
i += 1;
|
|
|
|
f(i - 1, e)
|
|
|
|
}
|
2012-05-18 12:40:54 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Apply a function to each element of a vector and return a concatenation
|
|
|
|
* of each result vector
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn flat_map<T, U>(v: &[T], f: fn(t: &T) -> ~[U]) -> ~[U] {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut result = ~[];
|
2012-09-28 00:20:47 -05:00
|
|
|
for each(v) |elem| { unsafe{ result.push_all_move(f(elem)); } }
|
2012-09-10 13:14:24 -05:00
|
|
|
move result
|
2012-03-02 16:36:22 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Apply a function to each pair of elements and return the results
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn map2<T: Copy, U: Copy, V>(v0: &[T], v1: &[U],
|
2012-09-28 00:20:47 -05:00
|
|
|
f: fn(t: &T, v: &U) -> V) -> ~[V] {
|
2011-12-13 18:25:51 -06:00
|
|
|
let v0_len = len(v0);
|
|
|
|
if v0_len != len(v1) { fail; }
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut u: ~[V] = ~[];
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut i = 0u;
|
2012-06-13 18:14:01 -05:00
|
|
|
while i < v0_len {
|
2012-09-28 00:20:47 -05:00
|
|
|
unsafe { u.push(f(&v0[i], &v1[i])) };
|
2012-06-13 18:14:01 -05:00
|
|
|
i += 1u;
|
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move u
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Apply a function to each element of a vector and return the results
|
|
|
|
*
|
|
|
|
* If function `f` returns `none` then that element is excluded from
|
|
|
|
* the resulting vector.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn filter_map<T, U: Copy>(v: &[T], f: fn(t: &T) -> Option<U>)
|
2012-06-29 18:26:56 -05:00
|
|
|
-> ~[U] {
|
|
|
|
let mut result = ~[];
|
2012-06-30 18:19:07 -05:00
|
|
|
for each(v) |elem| {
|
2012-09-28 00:20:47 -05:00
|
|
|
match f(elem) {
|
2012-08-20 14:23:37 -05:00
|
|
|
None => {/* no-op */ }
|
2012-09-28 15:00:07 -05:00
|
|
|
Some(move result_elem) => unsafe { result.push(result_elem); }
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move result
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Construct a new vector from the elements of a vector for which some
|
|
|
|
* predicate holds.
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` and return a vector containing
|
|
|
|
* only those elements for which `f` returned true.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn filter<T: Copy>(v: &[T], f: fn(t: &T) -> bool) -> ~[T] {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut result = ~[];
|
2012-06-30 18:19:07 -05:00
|
|
|
for each(v) |elem| {
|
2012-09-28 00:20:47 -05:00
|
|
|
if f(elem) { unsafe { result.push(*elem); } }
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move result
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Concatenate a vector of vectors.
|
|
|
|
*
|
|
|
|
* Flattens a vector of vectors of T into a single vector of T.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn concat<T: Copy>(v: &[~[T]]) -> ~[T] {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut r = ~[];
|
2012-09-26 19:33:34 -05:00
|
|
|
for each(v) |inner| { unsafe { r.push_all(*inner); } }
|
2012-09-10 13:14:24 -05:00
|
|
|
move r
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Concatenate a vector of vectors, placing a given separator between each
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn connect<T: Copy>(v: &[~[T]], sep: &T) -> ~[T] {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut r: ~[T] = ~[];
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut first = true;
|
2012-06-30 18:19:07 -05:00
|
|
|
for each(v) |inner| {
|
2012-09-28 00:20:47 -05:00
|
|
|
if first { first = false; } else { unsafe { r.push(*sep); } }
|
2012-09-26 19:33:34 -05:00
|
|
|
unsafe { r.push_all(*inner) };
|
2012-01-28 17:41:53 -06:00
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move r
|
2012-01-28 17:41:53 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Reduce a vector from left to right
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn foldl<T: Copy, U>(z: T, v: &[U], p: fn(t: T, u: &U) -> T) -> T {
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut accum = z;
|
2012-09-18 23:41:37 -05:00
|
|
|
for each(v) |elt| {
|
2012-09-28 00:20:47 -05:00
|
|
|
// it should be possible to move accum in, but the liveness analysis
|
|
|
|
// is not smart enough.
|
|
|
|
accum = p(accum, elt);
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
2012-08-01 19:30:05 -05:00
|
|
|
return accum;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Reduce a vector from right to left
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn foldr<T, U: Copy>(v: &[T], z: U, p: fn(t: &T, u: U) -> U) -> U {
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut accum = z;
|
2012-09-21 20:43:30 -05:00
|
|
|
for rev_each(v) |elt| {
|
2012-09-28 00:20:47 -05:00
|
|
|
accum = p(elt, accum);
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
2012-08-01 19:30:05 -05:00
|
|
|
return accum;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Return true if a predicate matches any elements
|
|
|
|
*
|
|
|
|
* If the vector contains no elements then false is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn any<T>(v: &[T], f: fn(t: &T) -> bool) -> bool {
|
2012-09-28 00:20:47 -05:00
|
|
|
for each(v) |elem| { if f(elem) { return true; } }
|
2012-08-01 19:30:05 -05:00
|
|
|
return false;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Return true if a predicate matches any elements in both vectors.
|
|
|
|
*
|
|
|
|
* If the vectors contains no elements then false is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn any2<T, U>(v0: &[T], v1: &[U],
|
2012-09-28 00:20:47 -05:00
|
|
|
f: fn(a: &T, b: &U) -> bool) -> bool {
|
2011-12-19 11:46:09 -06:00
|
|
|
let v0_len = len(v0);
|
|
|
|
let v1_len = len(v1);
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut i = 0u;
|
2011-12-19 11:46:09 -06:00
|
|
|
while i < v0_len && i < v1_len {
|
2012-09-28 00:20:47 -05:00
|
|
|
if f(&v0[i], &v1[i]) { return true; };
|
2011-12-19 11:46:09 -06:00
|
|
|
i += 1u;
|
|
|
|
}
|
2012-08-01 19:30:05 -05:00
|
|
|
return false;
|
2011-12-19 11:46:09 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Return true if a predicate matches all elements
|
|
|
|
*
|
|
|
|
* If the vector contains no elements then true is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn all<T>(v: &[T], f: fn(t: &T) -> bool) -> bool {
|
2012-09-28 00:20:47 -05:00
|
|
|
for each(v) |elem| { if !f(elem) { return false; } }
|
2012-08-01 19:30:05 -05:00
|
|
|
return true;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Return true if a predicate matches all elements
|
|
|
|
*
|
|
|
|
* If the vector contains no elements then true is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn alli<T>(v: &[T], f: fn(uint, t: &T) -> bool) -> bool {
|
2012-09-28 00:20:47 -05:00
|
|
|
for eachi(v) |i, elem| { if !f(i, elem) { return false; } }
|
2012-08-01 19:30:05 -05:00
|
|
|
return true;
|
2012-05-15 16:51:33 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Return true if a predicate matches all elements in both vectors.
|
|
|
|
*
|
|
|
|
* If the vectors are not the same size then false is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn all2<T, U>(v0: &[T], v1: &[U],
|
2012-09-28 00:20:47 -05:00
|
|
|
f: fn(t: &T, u: &U) -> bool) -> bool {
|
2011-12-19 11:46:09 -06:00
|
|
|
let v0_len = len(v0);
|
2012-08-01 19:30:05 -05:00
|
|
|
if v0_len != len(v1) { return false; }
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut i = 0u;
|
2012-09-28 00:20:47 -05:00
|
|
|
while i < v0_len { if !f(&v0[i], &v1[i]) { return false; }; i += 1u; }
|
2012-08-01 19:30:05 -05:00
|
|
|
return true;
|
2011-12-19 11:46:09 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Return true if a vector contains an element with the given value
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn contains<T: Eq>(v: &[T], x: &T) -> bool {
|
2012-09-28 00:20:47 -05:00
|
|
|
for each(v) |elt| { if *x == *elt { return true; } }
|
2012-08-01 19:30:05 -05:00
|
|
|
return false;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns the number of elements that are equal to a given value
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn count<T: Eq>(v: &[T], x: &T) -> uint {
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut cnt = 0u;
|
2012-09-28 00:20:47 -05:00
|
|
|
for each(v) |elt| { if *x == *elt { cnt += 1u; } }
|
2012-08-01 19:30:05 -05:00
|
|
|
return cnt;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Search for the first element that matches a given predicate
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v`, starting from the first.
|
|
|
|
* When function `f` returns true then an option containing the element
|
|
|
|
* is returned. If `f` matches no elements then none is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn find<T: Copy>(v: &[T], f: fn(t: &T) -> bool) -> Option<T> {
|
2012-03-18 19:19:41 -05:00
|
|
|
find_between(v, 0u, len(v), f)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Search for the first element that matches a given predicate within a range
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` within the range
|
|
|
|
* [`start`, `end`). When function `f` returns true then an option containing
|
|
|
|
* the element is returned. If `f` matches no elements then none is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn find_between<T: Copy>(v: &[T], start: uint, end: uint,
|
2012-09-28 00:20:47 -05:00
|
|
|
f: fn(t: &T) -> bool) -> Option<T> {
|
2012-09-26 18:27:12 -05:00
|
|
|
position_between(v, start, end, f).map(|i| v[*i])
|
2012-01-26 20:14:27 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Search for the last element that matches a given predicate
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` in reverse order. When function
|
|
|
|
* `f` returns true then an option containing the element is returned. If `f`
|
|
|
|
* matches no elements then none is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn rfind<T: Copy>(v: &[T], f: fn(t: &T) -> bool) -> Option<T> {
|
2012-03-18 19:19:41 -05:00
|
|
|
rfind_between(v, 0u, len(v), f)
|
2012-01-26 20:14:27 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Search for the last element that matches a given predicate within a range
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` in reverse order within the range
|
|
|
|
* [`start`, `end`). When function `f` returns true then an option containing
|
2012-09-28 00:20:47 -05:00
|
|
|
* the element is returned. If `f` matches no elements then none is return.
|
2012-07-04 16:53:12 -05:00
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn rfind_between<T: Copy>(v: &[T], start: uint, end: uint,
|
2012-09-28 00:20:47 -05:00
|
|
|
f: fn(t: &T) -> bool) -> Option<T> {
|
2012-09-26 18:27:12 -05:00
|
|
|
rposition_between(v, start, end, f).map(|i| v[*i])
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Find the first index containing a matching value
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn position_elem<T: Eq>(v: &[T], x: &T) -> Option<uint> {
|
2012-09-28 00:20:47 -05:00
|
|
|
position(v, |y| *x == *y)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Find the first index matching some predicate
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v`. When function `f` returns true
|
|
|
|
* then an option containing the index is returned. If `f` matches no elements
|
|
|
|
* then none is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn position<T>(v: &[T], f: fn(t: &T) -> bool) -> Option<uint> {
|
2012-03-18 19:19:41 -05:00
|
|
|
position_between(v, 0u, len(v), f)
|
2012-01-26 10:42:50 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Find the first index matching some predicate within a range
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` between the range
|
|
|
|
* [`start`, `end`). When function `f` returns true then an option containing
|
|
|
|
* the index is returned. If `f` matches no elements then none is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn position_between<T>(v: &[T], start: uint, end: uint,
|
2012-09-28 00:20:47 -05:00
|
|
|
f: fn(t: &T) -> bool) -> Option<uint> {
|
2012-01-26 10:42:50 -06:00
|
|
|
assert start <= end;
|
|
|
|
assert end <= len(v);
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut i = start;
|
2012-09-28 00:20:47 -05:00
|
|
|
while i < end { if f(&v[i]) { return Some::<uint>(i); } i += 1u; }
|
2012-08-20 14:23:37 -05:00
|
|
|
return None;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Find the last index containing a matching value
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn rposition_elem<T: Eq>(v: &[T], x: &T) -> Option<uint> {
|
|
|
|
rposition(v, |y| *x == *y)
|
2012-01-26 10:42:50 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Find the last index matching some predicate
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` in reverse order. When function
|
|
|
|
* `f` returns true then an option containing the index is returned. If `f`
|
|
|
|
* matches no elements then none is returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn rposition<T>(v: &[T], f: fn(t: &T) -> bool) -> Option<uint> {
|
2012-03-18 19:19:41 -05:00
|
|
|
rposition_between(v, 0u, len(v), f)
|
2012-01-26 10:42:50 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Find the last index matching some predicate within a range
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` in reverse order between the
|
|
|
|
* range [`start`, `end`). When function `f` returns true then an option
|
|
|
|
* containing the index is returned. If `f` matches no elements then none is
|
|
|
|
* returned.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn rposition_between<T>(v: &[T], start: uint, end: uint,
|
2012-09-28 00:20:47 -05:00
|
|
|
f: fn(t: &T) -> bool) -> Option<uint> {
|
2012-01-26 10:42:50 -06:00
|
|
|
assert start <= end;
|
|
|
|
assert end <= len(v);
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut i = end;
|
2012-01-26 10:42:50 -06:00
|
|
|
while i > start {
|
2012-09-28 00:20:47 -05:00
|
|
|
if f(&v[i - 1u]) { return Some::<uint>(i - 1u); }
|
2012-01-26 10:42:50 -06:00
|
|
|
i -= 1u;
|
|
|
|
}
|
2012-08-20 14:23:37 -05:00
|
|
|
return None;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME: if issue #586 gets implemented, could have a postcondition
|
|
|
|
// saying the two result lists have the same length -- or, could
|
|
|
|
// return a nominal record with a constraint saying that, instead of
|
|
|
|
// returning a tuple (contingent on issue #869)
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
2012-08-23 19:51:34 -05:00
|
|
|
* Convert a vector of pairs into a pair of vectors, by reference. As unzip().
|
2012-07-04 16:53:12 -05:00
|
|
|
*/
|
2012-09-07 16:52:28 -05:00
|
|
|
pure fn unzip_slice<T: Copy, U: Copy>(v: &[(T, U)]) -> (~[T], ~[U]) {
|
2012-09-26 19:33:34 -05:00
|
|
|
let mut ts = ~[], us = ~[];
|
2012-06-30 18:19:07 -05:00
|
|
|
for each(v) |p| {
|
2012-09-26 19:33:34 -05:00
|
|
|
let (t, u) = *p;
|
2012-09-18 13:17:40 -05:00
|
|
|
unsafe {
|
2012-09-26 19:33:34 -05:00
|
|
|
ts.push(t);
|
|
|
|
us.push(u);
|
2012-06-27 17:21:50 -05:00
|
|
|
}
|
|
|
|
}
|
2012-09-26 19:33:34 -05:00
|
|
|
return (move ts, move us);
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
2012-08-23 19:51:34 -05:00
|
|
|
* Convert a vector of pairs into a pair of vectors.
|
2012-07-04 16:53:12 -05:00
|
|
|
*
|
2012-08-23 19:51:34 -05:00
|
|
|
* Returns a tuple containing two vectors where the i-th element of the first
|
|
|
|
* vector contains the first element of the i-th tuple of the input vector,
|
|
|
|
* and the i-th element of the second vector contains the second element
|
|
|
|
* of the i-th tuple of the input vector.
|
|
|
|
*/
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn unzip<T,U>(v: ~[(T, U)]) -> (~[T], ~[U]) {
|
2012-08-23 19:51:34 -05:00
|
|
|
let mut ts = ~[], us = ~[];
|
2012-09-18 13:17:40 -05:00
|
|
|
unsafe {
|
2012-09-10 13:14:24 -05:00
|
|
|
do consume(move v) |_i, p| {
|
2012-09-26 19:33:34 -05:00
|
|
|
let (t, u) = move p;
|
|
|
|
ts.push(move t);
|
|
|
|
us.push(move u);
|
2012-08-23 19:51:34 -05:00
|
|
|
}
|
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
(move ts, move us)
|
2012-08-23 19:51:34 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Convert two vectors to a vector of pairs, by reference. As zip().
|
2012-07-04 16:53:12 -05:00
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn zip_slice<T: Copy, U: Copy>(v: &[const T], u: &[const U])
|
2012-08-23 19:51:34 -05:00
|
|
|
-> ~[(T, U)] {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut zipped = ~[];
|
2012-03-06 22:48:40 -06:00
|
|
|
let sz = len(v);
|
|
|
|
let mut i = 0u;
|
2012-02-22 04:44:11 -06:00
|
|
|
assert sz == len(u);
|
2012-09-26 19:33:34 -05:00
|
|
|
while i < sz unsafe { zipped.push((v[i], u[i])); i += 1u; }
|
2012-09-10 13:14:24 -05:00
|
|
|
move zipped
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-08-23 19:51:34 -05:00
|
|
|
/**
|
|
|
|
* Convert two vectors to a vector of pairs.
|
|
|
|
*
|
|
|
|
* Returns a vector of tuples, where the i-th tuple contains contains the
|
|
|
|
* i-th elements from each of the input vectors.
|
|
|
|
*/
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn zip<T, U>(v: ~[T], u: ~[U]) -> ~[(T, U)] {
|
2012-09-28 00:20:47 -05:00
|
|
|
let mut v = move v, u = move u; // FIXME(#3488)
|
|
|
|
let mut i = len(v);
|
2012-08-23 19:51:34 -05:00
|
|
|
assert i == len(u);
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut w = with_capacity(i);
|
2012-08-23 19:51:34 -05:00
|
|
|
while i > 0 {
|
2012-09-28 00:20:47 -05:00
|
|
|
unsafe { w.push((v.pop(),u.pop())); }
|
2012-08-23 19:51:34 -05:00
|
|
|
i -= 1;
|
|
|
|
}
|
2012-09-18 13:17:40 -05:00
|
|
|
unsafe { reverse(w); }
|
2012-09-21 20:43:30 -05:00
|
|
|
move w
|
2012-08-23 19:51:34 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Swaps two elements in a vector
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * v The input vector
|
|
|
|
* * a - The index of the first element
|
|
|
|
* * b - The index of the second element
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn swap<T>(v: &[mut T], a: uint, b: uint) {
|
2011-12-13 18:25:51 -06:00
|
|
|
v[a] <-> v[b];
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Reverse the order of elements in a vector, in place
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn reverse<T>(v: &[mut T]) {
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut i: uint = 0u;
|
2011-12-13 18:25:51 -06:00
|
|
|
let ln = len::<T>(v);
|
|
|
|
while i < ln / 2u { v[i] <-> v[ln - i - 1u]; i += 1u; }
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns a vector with the order of elements reversed
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn reversed<T: Copy>(v: &[const T]) -> ~[T] {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut rs: ~[T] = ~[];
|
2012-03-06 22:48:40 -06:00
|
|
|
let mut i = len::<T>(v);
|
2012-09-10 13:14:24 -05:00
|
|
|
if i == 0 { return (move rs); } else { i -= 1; }
|
2012-09-18 13:17:40 -05:00
|
|
|
unsafe {
|
2012-09-26 19:33:34 -05:00
|
|
|
while i != 0 { rs.push(v[i]); i -= 1; }
|
|
|
|
rs.push(v[0]);
|
2012-06-27 17:21:50 -05:00
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move rs
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Iterates over a vector, with option to break
|
|
|
|
*
|
|
|
|
* Return true to continue, false to break.
|
|
|
|
*/
|
2012-03-27 05:45:42 -05:00
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn each<T>(v: &r/[T], f: fn((&r/T)) -> bool) {
|
2012-09-12 12:38:17 -05:00
|
|
|
// ^^^^
|
|
|
|
// NB---this CANNOT be &[const T]! The reason
|
|
|
|
// is that you are passing it to `f()` using
|
|
|
|
// an immutable.
|
|
|
|
|
2012-09-13 13:46:10 -05:00
|
|
|
do vec::as_imm_buf(v) |p, n| {
|
2012-04-25 19:18:06 -05:00
|
|
|
let mut n = n;
|
|
|
|
let mut p = p;
|
|
|
|
while n > 0u {
|
2012-06-24 22:18:18 -05:00
|
|
|
unsafe {
|
2012-09-18 23:41:37 -05:00
|
|
|
let q = cast::copy_lifetime_vec(v, &*p);
|
|
|
|
if !f(q) { break; }
|
2012-06-24 22:18:18 -05:00
|
|
|
p = ptr::offset(p, 1u);
|
|
|
|
}
|
2012-04-25 19:18:06 -05:00
|
|
|
n -= 1u;
|
|
|
|
}
|
2012-03-27 05:45:42 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-23 16:46:59 -05:00
|
|
|
/// Like `each()`, but for the case where you have
|
|
|
|
/// a vector with mutable contents and you would like
|
|
|
|
/// to mutate the contents as you iterate.
|
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn each_mut<T>(v: &[mut T], f: fn(elem: &mut T) -> bool) {
|
2012-09-12 12:38:17 -05:00
|
|
|
let mut i = 0;
|
|
|
|
let n = v.len();
|
|
|
|
while i < n {
|
|
|
|
if !f(&mut v[i]) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-13 13:46:10 -05:00
|
|
|
/// Like `each()`, but for the case where you have a vector that *may or may
|
|
|
|
/// not* have mutable contents.
|
2012-09-12 12:38:17 -05:00
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn each_const<T>(v: &[const T], f: fn(elem: &const T) -> bool) {
|
2012-09-12 12:38:17 -05:00
|
|
|
let mut i = 0;
|
|
|
|
let n = v.len();
|
|
|
|
while i < n {
|
|
|
|
if !f(&const v[i]) {
|
|
|
|
return;
|
2012-08-23 16:46:59 -05:00
|
|
|
}
|
2012-09-12 12:38:17 -05:00
|
|
|
i += 1;
|
2012-08-23 16:46:59 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Iterates over a vector's elements and indices
|
|
|
|
*
|
|
|
|
* Return true to continue, false to break.
|
|
|
|
*/
|
2012-03-27 05:45:42 -05:00
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn eachi<T>(v: &r/[T], f: fn(uint, v: &r/T) -> bool) {
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut i = 0;
|
|
|
|
for each(v) |p| {
|
|
|
|
if !f(i, p) { return; }
|
|
|
|
i += 1;
|
2012-03-27 05:45:42 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-17 12:24:04 -05:00
|
|
|
/**
|
|
|
|
* Iterates over a vector's elements in reverse
|
|
|
|
*
|
|
|
|
* Return true to continue, false to break.
|
|
|
|
*/
|
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn rev_each<T>(v: &r/[T], blk: fn(v: &r/T) -> bool) {
|
2012-09-21 20:43:30 -05:00
|
|
|
rev_eachi(v, |_i, v| blk(v))
|
2012-07-17 12:24:04 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Iterates over a vector's elements and indices in reverse
|
|
|
|
*
|
|
|
|
* Return true to continue, false to break.
|
|
|
|
*/
|
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn rev_eachi<T>(v: &r/[T], blk: fn(i: uint, v: &r/T) -> bool) {
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut i = v.len();
|
|
|
|
while i > 0 {
|
|
|
|
i -= 1;
|
|
|
|
if !blk(i, &v[i]) {
|
|
|
|
return;
|
2012-07-17 12:24:04 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Iterates over two vectors simultaneously
|
|
|
|
*
|
|
|
|
* # Failure
|
|
|
|
*
|
|
|
|
* Both vectors must have the same length
|
|
|
|
*/
|
2012-03-02 22:06:08 -06:00
|
|
|
#[inline]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn each2<U, T>(v1: &[U], v2: &[T], f: fn(u: &U, t: &T) -> bool) {
|
2012-03-18 17:41:03 -05:00
|
|
|
assert len(v1) == len(v2);
|
2012-06-30 18:19:07 -05:00
|
|
|
for uint::range(0u, len(v1)) |i| {
|
2012-09-28 17:48:25 -05:00
|
|
|
if !f(&v1[i], &v2[i]) {
|
|
|
|
return;
|
|
|
|
}
|
2012-03-18 17:41:03 -05:00
|
|
|
}
|
2012-01-04 04:32:26 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Iterate over all permutations of vector `v`.
|
|
|
|
*
|
|
|
|
* Permutations are produced in lexicographic order with respect to the order
|
|
|
|
* of elements in `v` (so if `v` is sorted then the permutations are
|
|
|
|
* lexicographically sorted).
|
|
|
|
*
|
|
|
|
* The total number of permutations produced is `len(v)!`. If `v` contains
|
|
|
|
* repeated elements, then some permutations are repeated.
|
|
|
|
*/
|
2012-10-02 13:37:37 -05:00
|
|
|
pure fn each_permutation<T: Copy>(v: &[T], put: fn(ts: &[T]) -> bool) {
|
2012-06-27 17:21:50 -05:00
|
|
|
let ln = len(v);
|
2012-09-28 00:20:47 -05:00
|
|
|
if ln <= 1 {
|
|
|
|
put(v);
|
2012-06-27 17:21:50 -05:00
|
|
|
} else {
|
2012-09-28 00:20:47 -05:00
|
|
|
// This does not seem like the most efficient implementation. You
|
|
|
|
// could make far fewer copies if you put your mind to it.
|
2012-06-27 17:21:50 -05:00
|
|
|
let mut i = 0u;
|
|
|
|
while i < ln {
|
|
|
|
let elt = v[i];
|
|
|
|
let mut rest = slice(v, 0u, i);
|
2012-09-18 13:17:40 -05:00
|
|
|
unsafe {
|
2012-09-26 19:33:34 -05:00
|
|
|
rest.push_all(const_view(v, i+1u, ln));
|
2012-09-28 00:20:47 -05:00
|
|
|
for each_permutation(rest) |permutation| {
|
|
|
|
if !put(append(~[elt], permutation)) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
2012-06-27 17:21:50 -05:00
|
|
|
}
|
|
|
|
i += 1u;
|
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn windowed<TT: Copy>(nn: uint, xx: &[TT]) -> ~[~[TT]] {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut ww = ~[];
|
2012-05-25 10:14:49 -05:00
|
|
|
assert 1u <= nn;
|
2012-09-18 23:41:37 -05:00
|
|
|
for vec::eachi (xx) |ii, _x| {
|
2012-05-25 10:14:49 -05:00
|
|
|
let len = vec::len(xx);
|
2012-09-18 13:17:40 -05:00
|
|
|
if ii+nn <= len unsafe {
|
2012-09-26 19:33:34 -05:00
|
|
|
ww.push(vec::slice(xx, ii, ii+nn));
|
2012-05-25 10:14:49 -05:00
|
|
|
}
|
2012-09-18 23:41:37 -05:00
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move ww
|
2012-01-23 04:41:40 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Work with the buffer of a vector.
|
|
|
|
*
|
|
|
|
* Allows for unsafe manipulation of vector contents, which is useful for
|
|
|
|
* foreign interop.
|
|
|
|
*/
|
2012-04-25 19:18:06 -05:00
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn as_imm_buf<T,U>(s: &[T],
|
|
|
|
/* NB---this CANNOT be const, see below */
|
|
|
|
f: fn(*T, uint) -> U) -> U {
|
2012-09-12 12:38:17 -05:00
|
|
|
|
2012-09-13 13:46:10 -05:00
|
|
|
// NB---Do not change the type of s to `&[const T]`. This is
|
2012-09-12 12:38:17 -05:00
|
|
|
// unsound. The reason is that we are going to create immutable pointers
|
|
|
|
// into `s` and pass them to `f()`, but in fact they are potentially
|
|
|
|
// pointing at *mutable memory*. Use `as_const_buf` or `as_mut_buf`
|
|
|
|
// instead!
|
|
|
|
|
2012-06-24 22:18:18 -05:00
|
|
|
unsafe {
|
2012-09-12 12:38:17 -05:00
|
|
|
let v : *(*T,uint) =
|
2012-09-28 23:51:14 -05:00
|
|
|
::cast::reinterpret_cast(&addr_of(&s));
|
2012-06-24 22:18:18 -05:00
|
|
|
let (buf,len) = *v;
|
|
|
|
f(buf, len / sys::size_of::<T>())
|
|
|
|
}
|
2012-04-20 19:37:17 -05:00
|
|
|
}
|
|
|
|
|
2012-09-13 13:46:10 -05:00
|
|
|
/// Similar to `as_imm_buf` but passing a `*const T`
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn as_const_buf<T,U>(s: &[const T],
|
2012-07-24 14:35:34 -05:00
|
|
|
f: fn(*const T, uint) -> U) -> U {
|
2012-09-12 12:38:17 -05:00
|
|
|
|
|
|
|
unsafe {
|
|
|
|
let v : *(*const T,uint) =
|
2012-09-28 23:51:14 -05:00
|
|
|
::cast::reinterpret_cast(&addr_of(&s));
|
2012-09-12 12:38:17 -05:00
|
|
|
let (buf,len) = *v;
|
|
|
|
f(buf, len / sys::size_of::<T>())
|
2012-06-24 22:18:18 -05:00
|
|
|
}
|
2012-06-02 21:03:28 -05:00
|
|
|
}
|
|
|
|
|
2012-09-13 13:46:10 -05:00
|
|
|
/// Similar to `as_imm_buf` but passing a `*mut T`
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn as_mut_buf<T,U>(s: &[mut T],
|
2012-07-24 14:35:34 -05:00
|
|
|
f: fn(*mut T, uint) -> U) -> U {
|
2012-09-12 12:38:17 -05:00
|
|
|
|
|
|
|
unsafe {
|
|
|
|
let v : *(*mut T,uint) =
|
2012-09-28 23:51:14 -05:00
|
|
|
::cast::reinterpret_cast(&addr_of(&s));
|
2012-09-12 12:38:17 -05:00
|
|
|
let (buf,len) = *v;
|
|
|
|
f(buf, len / sys::size_of::<T>())
|
2012-06-24 22:18:18 -05:00
|
|
|
}
|
2012-06-02 21:03:28 -05:00
|
|
|
}
|
|
|
|
|
2012-08-27 19:15:54 -05:00
|
|
|
// Equality
|
|
|
|
|
|
|
|
pure fn eq<T: Eq>(a: &[T], b: &[T]) -> bool {
|
|
|
|
let (a_len, b_len) = (a.len(), b.len());
|
|
|
|
if a_len != b_len { return false; }
|
|
|
|
|
|
|
|
let mut i = 0;
|
|
|
|
while i < a_len {
|
|
|
|
if a[i] != b[i] { return false; }
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2012-09-19 20:00:26 -05:00
|
|
|
impl<T: Eq> &[T] : Eq {
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn eq(other: & &[T]) -> bool { eq(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn ne(other: & &[T]) -> bool { !self.eq(other) }
|
|
|
|
}
|
2012-08-27 19:15:54 -05:00
|
|
|
|
2012-09-19 20:00:26 -05:00
|
|
|
impl<T: Eq> ~[T] : Eq {
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn eq(other: &~[T]) -> bool { eq(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn ne(other: &~[T]) -> bool { !self.eq(other) }
|
|
|
|
}
|
2012-08-27 19:15:54 -05:00
|
|
|
|
2012-09-19 20:00:26 -05:00
|
|
|
impl<T: Eq> @[T] : Eq {
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn eq(other: &@[T]) -> bool { eq(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn ne(other: &@[T]) -> bool { !self.eq(other) }
|
|
|
|
}
|
2012-08-27 19:15:54 -05:00
|
|
|
|
|
|
|
// Lexicographical comparison
|
|
|
|
|
|
|
|
pure fn lt<T: Ord>(a: &[T], b: &[T]) -> bool {
|
|
|
|
let (a_len, b_len) = (a.len(), b.len());
|
2012-08-30 14:54:50 -05:00
|
|
|
let mut end = uint::min(a_len, b_len);
|
2012-08-27 19:15:54 -05:00
|
|
|
|
|
|
|
let mut i = 0;
|
|
|
|
while i < end {
|
|
|
|
let (c_a, c_b) = (&a[i], &b[i]);
|
|
|
|
if *c_a < *c_b { return true; }
|
|
|
|
if *c_a > *c_b { return false; }
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
return a_len < b_len;
|
|
|
|
}
|
|
|
|
|
2012-08-30 12:39:28 -05:00
|
|
|
pure fn le<T: Ord>(a: &[T], b: &[T]) -> bool { !lt(b, a) }
|
|
|
|
pure fn ge<T: Ord>(a: &[T], b: &[T]) -> bool { !lt(a, b) }
|
|
|
|
pure fn gt<T: Ord>(a: &[T], b: &[T]) -> bool { lt(b, a) }
|
2012-08-29 21:23:15 -05:00
|
|
|
|
2012-09-19 20:00:26 -05:00
|
|
|
impl<T: Ord> &[T] : Ord {
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn lt(other: & &[T]) -> bool { lt(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn le(other: & &[T]) -> bool { le(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn ge(other: & &[T]) -> bool { ge(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn gt(other: & &[T]) -> bool { gt(self, (*other)) }
|
|
|
|
}
|
2012-08-27 19:15:54 -05:00
|
|
|
|
2012-09-19 20:00:26 -05:00
|
|
|
impl<T: Ord> ~[T] : Ord {
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn lt(other: &~[T]) -> bool { lt(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn le(other: &~[T]) -> bool { le(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn ge(other: &~[T]) -> bool { ge(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn gt(other: &~[T]) -> bool { gt(self, (*other)) }
|
|
|
|
}
|
2012-08-27 19:15:54 -05:00
|
|
|
|
2012-09-19 20:00:26 -05:00
|
|
|
impl<T: Ord> @[T] : Ord {
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn lt(other: &@[T]) -> bool { lt(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn le(other: &@[T]) -> bool { le(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn ge(other: &@[T]) -> bool { ge(self, (*other)) }
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn gt(other: &@[T]) -> bool { gt(self, (*other)) }
|
|
|
|
}
|
2012-08-27 19:15:54 -05:00
|
|
|
|
2012-07-28 18:05:38 -05:00
|
|
|
#[cfg(notest)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub mod traits {
|
2012-09-19 20:00:26 -05:00
|
|
|
impl<T: Copy> ~[T] : Add<&[const T],~[T]> {
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn add(rhs: & &[const T]) -> ~[T] {
|
|
|
|
append(copy self, (*rhs))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: Copy> ~[mut T] : Add<&[const T],~[mut T]> {
|
|
|
|
#[inline(always)]
|
|
|
|
pure fn add(rhs: & &[const T]) -> ~[mut T] {
|
2012-09-21 20:43:30 -05:00
|
|
|
append_mut(copy self, (*rhs))
|
2012-09-19 20:00:26 -05:00
|
|
|
}
|
2012-07-27 16:51:19 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-19 20:00:26 -05:00
|
|
|
#[cfg(test)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub mod traits {}
|
2012-09-19 20:00:26 -05:00
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub trait ConstVector {
|
2012-07-11 14:45:54 -05:00
|
|
|
pure fn is_empty() -> bool;
|
|
|
|
pure fn is_not_empty() -> bool;
|
|
|
|
pure fn len() -> uint;
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Extension methods for vectors
|
2012-08-14 18:54:13 -05:00
|
|
|
impl<T> &[const T]: ConstVector {
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if a vector contains no elements
|
2012-03-17 20:02:45 -05:00
|
|
|
#[inline]
|
2012-06-04 09:59:02 -05:00
|
|
|
pure fn is_empty() -> bool { is_empty(self) }
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if a vector contains some elements
|
2012-03-17 20:02:45 -05:00
|
|
|
#[inline]
|
2012-06-04 09:59:02 -05:00
|
|
|
pure fn is_not_empty() -> bool { is_not_empty(self) }
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns the length of a vector
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline]
|
|
|
|
pure fn len() -> uint { len(self) }
|
|
|
|
}
|
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub trait CopyableVector<T> {
|
2012-07-11 14:45:54 -05:00
|
|
|
pure fn head() -> T;
|
|
|
|
pure fn init() -> ~[T];
|
|
|
|
pure fn last() -> T;
|
|
|
|
pure fn slice(start: uint, end: uint) -> ~[T];
|
|
|
|
pure fn tail() -> ~[T];
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Extension methods for vectors
|
2012-09-07 16:52:28 -05:00
|
|
|
impl<T: Copy> &[const T]: CopyableVector<T> {
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns the first element of a vector
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline]
|
2012-06-04 09:59:02 -05:00
|
|
|
pure fn head() -> T { head(self) }
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns all but the last elemnt of a vector
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline]
|
2012-06-29 18:26:56 -05:00
|
|
|
pure fn init() -> ~[T] { init(self) }
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns the last element of a `v`, failing if the vector is empty.
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline]
|
2012-06-04 09:59:02 -05:00
|
|
|
pure fn last() -> T { last(self) }
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns a copy of the elements from [`start`..`end`) from `v`.
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline]
|
2012-06-29 18:26:56 -05:00
|
|
|
pure fn slice(start: uint, end: uint) -> ~[T] { slice(self, start, end) }
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns all but the first element of a vector
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline]
|
2012-06-29 18:26:56 -05:00
|
|
|
pure fn tail() -> ~[T] { tail(self) }
|
2012-06-02 21:03:28 -05:00
|
|
|
}
|
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub trait ImmutableVector<T> {
|
2012-09-26 23:19:57 -05:00
|
|
|
pure fn view(start: uint, end: uint) -> &self/[T];
|
2012-10-02 13:37:37 -05:00
|
|
|
pure fn foldr<U: Copy>(z: U, p: fn(t: &T, u: U) -> U) -> U;
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn map<U>(f: fn(t: &T) -> U) -> ~[U];
|
|
|
|
pure fn mapi<U>(f: fn(uint, t: &T) -> U) -> ~[U];
|
2012-07-18 12:17:40 -05:00
|
|
|
fn map_r<U>(f: fn(x: &T) -> U) -> ~[U];
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn alli(f: fn(uint, t: &T) -> bool) -> bool;
|
|
|
|
pure fn flat_map<U>(f: fn(t: &T) -> ~[U]) -> ~[U];
|
|
|
|
pure fn filter_map<U: Copy>(f: fn(t: &T) -> Option<U>) -> ~[U];
|
2012-07-11 14:45:54 -05:00
|
|
|
}
|
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub trait ImmutableEqVector<T: Eq> {
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn position(f: fn(t: &T) -> bool) -> Option<uint>;
|
|
|
|
pure fn position_elem(t: &T) -> Option<uint>;
|
|
|
|
pure fn rposition(f: fn(t: &T) -> bool) -> Option<uint>;
|
|
|
|
pure fn rposition_elem(t: &T) -> Option<uint>;
|
2012-08-27 18:26:35 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Extension methods for vectors
|
2012-08-14 18:54:13 -05:00
|
|
|
impl<T> &[T]: ImmutableVector<T> {
|
2012-09-18 15:46:53 -05:00
|
|
|
/// Return a slice that points into another slice.
|
2012-09-26 23:19:57 -05:00
|
|
|
pure fn view(start: uint, end: uint) -> &self/[T] {
|
2012-09-18 15:46:53 -05:00
|
|
|
view(self, start, end)
|
|
|
|
}
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Reduce a vector from right to left
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline]
|
2012-10-02 13:37:37 -05:00
|
|
|
pure fn foldr<U: Copy>(z: U, p: fn(t: &T, u: U) -> U) -> U {
|
2012-09-28 00:20:47 -05:00
|
|
|
foldr(self, z, p)
|
|
|
|
}
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Apply a function to each element of a vector and return the results
|
2012-03-17 20:02:45 -05:00
|
|
|
#[inline]
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn map<U>(f: fn(t: &T) -> U) -> ~[U] { map(self, f) }
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Apply a function to the index and value of each element in the vector
|
|
|
|
* and return the results
|
|
|
|
*/
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn mapi<U>(f: fn(uint, t: &T) -> U) -> ~[U] {
|
2012-05-18 12:40:54 -05:00
|
|
|
mapi(self, f)
|
2012-05-04 14:33:04 -05:00
|
|
|
}
|
2012-07-03 19:33:20 -05:00
|
|
|
|
|
|
|
#[inline]
|
2012-07-18 12:17:40 -05:00
|
|
|
fn map_r<U>(f: fn(x: &T) -> U) -> ~[U] {
|
2012-07-03 19:33:20 -05:00
|
|
|
let mut r = ~[];
|
|
|
|
let mut i = 0;
|
|
|
|
while i < self.len() {
|
2012-09-26 19:33:34 -05:00
|
|
|
r.push(f(&self[i]));
|
2012-07-03 19:33:20 -05:00
|
|
|
i += 1;
|
|
|
|
}
|
2012-09-10 13:14:24 -05:00
|
|
|
move r
|
2012-07-03 19:33:20 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Returns true if the function returns true for all elements.
|
|
|
|
*
|
|
|
|
* If the vector is empty, true is returned.
|
|
|
|
*/
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn alli(f: fn(uint, t: &T) -> bool) -> bool {
|
2012-05-15 16:51:33 -05:00
|
|
|
alli(self, f)
|
|
|
|
}
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Apply a function to each element of a vector and return a concatenation
|
|
|
|
* of each result vector
|
|
|
|
*/
|
2012-03-17 20:02:45 -05:00
|
|
|
#[inline]
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn flat_map<U>(f: fn(t: &T) -> ~[U]) -> ~[U] {
|
|
|
|
flat_map(self, f)
|
|
|
|
}
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Apply a function to each element of a vector and return the results
|
|
|
|
*
|
|
|
|
* If function `f` returns `none` then that element is excluded from
|
|
|
|
* the resulting vector.
|
|
|
|
*/
|
2012-03-17 20:02:45 -05:00
|
|
|
#[inline]
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn filter_map<U: Copy>(f: fn(t: &T) -> Option<U>) -> ~[U] {
|
2012-03-17 20:02:45 -05:00
|
|
|
filter_map(self, f)
|
|
|
|
}
|
2012-02-14 02:10:47 -06:00
|
|
|
}
|
2012-02-07 20:55:02 -06:00
|
|
|
|
2012-08-27 18:26:35 -05:00
|
|
|
impl<T: Eq> &[T]: ImmutableEqVector<T> {
|
|
|
|
/**
|
|
|
|
* Find the first index matching some predicate
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v`. When function `f` returns
|
|
|
|
* true then an option containing the index is returned. If `f` matches no
|
|
|
|
* elements then none is returned.
|
|
|
|
*/
|
|
|
|
#[inline]
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn position(f: fn(t: &T) -> bool) -> Option<uint> {
|
|
|
|
position(self, f)
|
|
|
|
}
|
|
|
|
|
2012-08-27 18:26:35 -05:00
|
|
|
/// Find the first index containing a matching value
|
|
|
|
#[inline]
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn position_elem(x: &T) -> Option<uint> {
|
|
|
|
position_elem(self, x)
|
|
|
|
}
|
|
|
|
|
2012-08-27 18:26:35 -05:00
|
|
|
/**
|
|
|
|
* Find the last index matching some predicate
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` in reverse order. When
|
|
|
|
* function `f` returns true then an option containing the index is
|
|
|
|
* returned. If `f` matches no elements then none is returned.
|
|
|
|
*/
|
|
|
|
#[inline]
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn rposition(f: fn(t: &T) -> bool) -> Option<uint> {
|
|
|
|
rposition(self, f)
|
|
|
|
}
|
|
|
|
|
2012-08-27 18:26:35 -05:00
|
|
|
/// Find the last index containing a matching value
|
|
|
|
#[inline]
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn rposition_elem(t: &T) -> Option<uint> {
|
|
|
|
rposition_elem(self, t)
|
|
|
|
}
|
2012-08-27 18:26:35 -05:00
|
|
|
}
|
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub trait ImmutableCopyableVector<T> {
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn filter(f: fn(t: &T) -> bool) -> ~[T];
|
|
|
|
|
|
|
|
pure fn rfind(f: fn(t: &T) -> bool) -> Option<T>;
|
2012-07-11 14:45:54 -05:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Extension methods for vectors
|
2012-09-07 16:52:28 -05:00
|
|
|
impl<T: Copy> &[T]: ImmutableCopyableVector<T> {
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Construct a new vector from the elements of a vector for which some
|
|
|
|
* predicate holds.
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` and return a vector
|
|
|
|
* containing only those elements for which `f` returned true.
|
|
|
|
*/
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline]
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn filter(f: fn(t: &T) -> bool) -> ~[T] {
|
|
|
|
filter(self, f)
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Search for the last element that matches a given predicate
|
|
|
|
*
|
|
|
|
* Apply function `f` to each element of `v` in reverse order. When
|
|
|
|
* function `f` returns true then an option containing the element is
|
|
|
|
* returned. If `f` matches no elements then none is returned.
|
|
|
|
*/
|
2012-06-02 21:03:28 -05:00
|
|
|
#[inline]
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn rfind(f: fn(t: &T) -> bool) -> Option<T> { rfind(self, f) }
|
2012-06-02 21:03:28 -05:00
|
|
|
}
|
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub trait MutableVector<T> {
|
2012-10-02 13:37:37 -05:00
|
|
|
fn push(&mut self, t: T);
|
|
|
|
fn push_all_move(&mut self, rhs: ~[T]);
|
2012-09-28 00:20:47 -05:00
|
|
|
fn pop(&mut self) -> T;
|
|
|
|
fn shift(&mut self) -> T;
|
2012-10-02 13:37:37 -05:00
|
|
|
fn unshift(&mut self, x: T);
|
2012-09-28 00:20:47 -05:00
|
|
|
fn swap_remove(&mut self, index: uint) -> T;
|
|
|
|
fn truncate(&mut self, newlen: uint);
|
2012-09-26 19:33:34 -05:00
|
|
|
}
|
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub trait MutableCopyableVector<T: Copy> {
|
2012-09-26 19:33:34 -05:00
|
|
|
fn push_all(&mut self, rhs: &[const T]);
|
2012-09-28 00:20:47 -05:00
|
|
|
fn grow(&mut self, n: uint, initval: &T);
|
|
|
|
fn grow_fn(&mut self, n: uint, op: iter::InitOp<T>);
|
2012-10-02 13:37:37 -05:00
|
|
|
fn grow_set(&mut self, index: uint, initval: &T, val: T);
|
2012-09-28 00:20:47 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
trait MutableEqVector<T: Eq> {
|
|
|
|
fn dedup(&mut self);
|
2012-09-26 19:33:34 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> ~[T]: MutableVector<T> {
|
2012-10-02 13:37:37 -05:00
|
|
|
fn push(&mut self, t: T) {
|
2012-09-26 19:33:34 -05:00
|
|
|
push(self, move t);
|
|
|
|
}
|
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
fn push_all_move(&mut self, rhs: ~[T]) {
|
2012-09-26 19:33:34 -05:00
|
|
|
push_all_move(self, move rhs);
|
|
|
|
}
|
2012-09-28 00:20:47 -05:00
|
|
|
|
|
|
|
fn pop(&mut self) -> T {
|
|
|
|
pop(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn shift(&mut self) -> T {
|
|
|
|
shift(self)
|
|
|
|
}
|
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
fn unshift(&mut self, x: T) {
|
2012-09-28 00:20:47 -05:00
|
|
|
unshift(self, x)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn swap_remove(&mut self, index: uint) -> T {
|
|
|
|
swap_remove(self, index)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn truncate(&mut self, newlen: uint) {
|
|
|
|
truncate(self, newlen);
|
|
|
|
}
|
2012-09-26 19:33:34 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: Copy> ~[T]: MutableCopyableVector<T> {
|
|
|
|
fn push_all(&mut self, rhs: &[const T]) {
|
|
|
|
push_all(self, rhs);
|
|
|
|
}
|
2012-09-28 00:20:47 -05:00
|
|
|
|
|
|
|
fn grow(&mut self, n: uint, initval: &T) {
|
|
|
|
grow(self, n, initval);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn grow_fn(&mut self, n: uint, op: iter::InitOp<T>) {
|
|
|
|
grow_fn(self, n, op);
|
|
|
|
}
|
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
fn grow_set(&mut self, index: uint, initval: &T, val: T) {
|
2012-09-28 00:20:47 -05:00
|
|
|
grow_set(self, index, initval, val);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: Eq> ~[T]: MutableEqVector<T> {
|
|
|
|
fn dedup(&mut self) {
|
|
|
|
dedup(self)
|
|
|
|
}
|
2012-09-26 19:33:34 -05:00
|
|
|
}
|
|
|
|
|
2012-10-11 17:37:37 -05:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Constructs a vector from an unsafe pointer to a buffer
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * ptr - An unsafe pointer to a buffer of `T`
|
|
|
|
* * elts - The number of elements in the buffer
|
|
|
|
*/
|
|
|
|
// Wrapper for fn in raw: needs to be called by net_tcp::on_tcp_read_cb
|
|
|
|
pub unsafe fn from_buf<T>(ptr: *T, elts: uint) -> ~[T] {
|
|
|
|
raw::from_buf_raw(ptr, elts)
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Unsafe operations
|
2012-10-11 17:37:37 -05:00
|
|
|
mod raw {
|
2012-09-14 21:09:38 -05:00
|
|
|
|
|
|
|
/// The internal representation of a (boxed) vector
|
2012-10-01 17:45:34 -05:00
|
|
|
pub struct VecRepr {
|
2012-09-14 21:09:38 -05:00
|
|
|
box_header: box::raw::BoxHeaderRepr,
|
|
|
|
unboxed: UnboxedVecRepr
|
|
|
|
}
|
|
|
|
|
|
|
|
/// The internal 'unboxed' representation of a vector
|
2012-10-01 17:45:34 -05:00
|
|
|
pub struct UnboxedVecRepr {
|
2012-05-21 20:35:35 -05:00
|
|
|
mut fill: uint,
|
|
|
|
mut alloc: uint,
|
|
|
|
data: u8
|
2012-09-14 21:09:38 -05:00
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-10-01 17:45:34 -05:00
|
|
|
pub type SliceRepr = {
|
2012-07-12 21:44:00 -05:00
|
|
|
mut data: *u8,
|
|
|
|
mut len: uint
|
|
|
|
};
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Sets the length of a vector
|
|
|
|
*
|
|
|
|
* This will explicitly set the size of the vector, without actually
|
|
|
|
* modifing its buffers, so it is up to the caller to ensure that
|
|
|
|
* the vector is actually the specified size.
|
|
|
|
*/
|
2012-03-02 22:06:08 -06:00
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub unsafe fn set_len<T>(v: &mut ~[T], new_len: uint) {
|
2012-09-28 00:20:47 -05:00
|
|
|
let repr: **VecRepr = ::cast::transmute(v);
|
2012-09-14 21:09:38 -05:00
|
|
|
(**repr).unboxed.fill = new_len * sys::size_of::<T>();
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Returns an unsafe pointer to the vector's buffer
|
|
|
|
*
|
|
|
|
* The caller must ensure that the vector outlives the pointer this
|
|
|
|
* function returns, or else it will end up pointing to garbage.
|
|
|
|
*
|
|
|
|
* Modifying the vector may cause its buffer to be reallocated, which
|
|
|
|
* would also make any pointers to it invalid.
|
|
|
|
*/
|
2012-03-02 22:06:08 -06:00
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub unsafe fn to_ptr<T>(v: &[T]) -> *T {
|
2012-09-28 00:20:47 -05:00
|
|
|
let repr: **SliceRepr = ::cast::transmute(&v);
|
2012-09-28 23:51:14 -05:00
|
|
|
return ::cast::reinterpret_cast(&addr_of(&((**repr).data)));
|
2012-07-12 21:44:00 -05:00
|
|
|
}
|
|
|
|
|
2012-09-12 12:38:17 -05:00
|
|
|
/** see `to_ptr()` */
|
2012-07-12 21:44:00 -05:00
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub unsafe fn to_const_ptr<T>(v: &[const T]) -> *const T {
|
2012-09-28 00:20:47 -05:00
|
|
|
let repr: **SliceRepr = ::cast::transmute(&v);
|
2012-09-28 23:51:14 -05:00
|
|
|
return ::cast::reinterpret_cast(&addr_of(&((**repr).data)));
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
2012-04-25 19:18:06 -05:00
|
|
|
|
2012-09-12 12:38:17 -05:00
|
|
|
/** see `to_ptr()` */
|
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub unsafe fn to_mut_ptr<T>(v: &[mut T]) -> *mut T {
|
2012-09-28 00:20:47 -05:00
|
|
|
let repr: **SliceRepr = ::cast::transmute(&v);
|
2012-09-28 23:51:14 -05:00
|
|
|
return ::cast::reinterpret_cast(&addr_of(&((**repr).data)));
|
2012-09-12 12:38:17 -05:00
|
|
|
}
|
2012-04-25 19:18:06 -05:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
|
|
|
* Form a slice from a pointer and length (as a number of units,
|
|
|
|
* not bytes).
|
|
|
|
*/
|
2012-04-25 19:18:06 -05:00
|
|
|
#[inline(always)]
|
2012-09-26 23:35:42 -05:00
|
|
|
pub unsafe fn buf_as_slice<T,U>(p: *T,
|
|
|
|
len: uint,
|
|
|
|
f: fn(v: &[T]) -> U) -> U {
|
2012-04-25 19:18:06 -05:00
|
|
|
let pair = (p, len * sys::size_of::<T>());
|
2012-07-18 12:17:40 -05:00
|
|
|
let v : *(&blk/[T]) =
|
2012-09-28 23:51:14 -05:00
|
|
|
::cast::reinterpret_cast(&addr_of(&pair));
|
2012-04-25 19:18:06 -05:00
|
|
|
f(*v)
|
|
|
|
}
|
2012-07-20 21:20:13 -05:00
|
|
|
|
2012-08-01 14:37:13 -05:00
|
|
|
/**
|
|
|
|
* Unchecked vector indexing.
|
|
|
|
*/
|
|
|
|
#[inline(always)]
|
2012-10-01 17:45:34 -05:00
|
|
|
pub unsafe fn get<T: Copy>(v: &[const T], i: uint) -> T {
|
2012-09-12 12:38:17 -05:00
|
|
|
as_const_buf(v, |p, _len| *ptr::const_offset(p, i))
|
2012-08-01 14:37:13 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2012-09-28 00:20:47 -05:00
|
|
|
* Unchecked vector index assignment. Does not drop the
|
|
|
|
* old value and hence is only suitable when the vector
|
|
|
|
* is newly allocated.
|
2012-08-01 14:37:13 -05:00
|
|
|
*/
|
|
|
|
#[inline(always)]
|
2012-10-02 13:37:37 -05:00
|
|
|
pub unsafe fn init_elem<T>(v: &[mut T], i: uint, val: T) {
|
2012-09-10 13:14:24 -05:00
|
|
|
let mut box = Some(move val);
|
2012-08-01 14:37:13 -05:00
|
|
|
do as_mut_buf(v) |p, _len| {
|
2012-08-20 14:23:37 -05:00
|
|
|
let mut box2 = None;
|
2012-08-01 14:37:13 -05:00
|
|
|
box2 <-> box;
|
2012-10-05 16:58:42 -05:00
|
|
|
rusti::move_val_init(&mut(*ptr::mut_offset(p, i)),
|
2012-09-11 19:17:54 -05:00
|
|
|
option::unwrap(move box2));
|
2012-08-01 14:37:13 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-10-11 17:37:37 -05:00
|
|
|
/**
|
|
|
|
* Constructs a vector from an unsafe pointer to a buffer
|
|
|
|
*
|
|
|
|
* # Arguments
|
|
|
|
*
|
|
|
|
* * ptr - An unsafe pointer to a buffer of `T`
|
|
|
|
* * elts - The number of elements in the buffer
|
|
|
|
*/
|
|
|
|
// Was in raw, but needs to be called by net_tcp::on_tcp_read_cb
|
|
|
|
#[inline(always)]
|
|
|
|
pub unsafe fn from_buf_raw<T>(ptr: *T, elts: uint) -> ~[T] {
|
|
|
|
let mut dst = with_capacity(elts);
|
|
|
|
set_len(&mut dst, elts);
|
|
|
|
as_mut_buf(dst, |p_dst, _len_dst| ptr::memcpy(p_dst, ptr, elts));
|
|
|
|
move dst
|
|
|
|
}
|
|
|
|
|
2012-07-20 21:20:13 -05:00
|
|
|
/**
|
|
|
|
* Copies data from one vector to another.
|
|
|
|
*
|
|
|
|
* Copies `count` bytes from `src` to `dst`. The source and destination
|
|
|
|
* may overlap.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub unsafe fn memcpy<T>(dst: &[mut T], src: &[const T], count: uint) {
|
2012-09-12 12:38:17 -05:00
|
|
|
do as_mut_buf(dst) |p_dst, _len_dst| {
|
|
|
|
do as_const_buf(src) |p_src, _len_src| {
|
2012-07-20 21:20:13 -05:00
|
|
|
ptr::memcpy(p_dst, p_src, count)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Copies data from one vector to another.
|
|
|
|
*
|
|
|
|
* Copies `count` bytes from `src` to `dst`. The source and destination
|
|
|
|
* may overlap.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub unsafe fn memmove<T>(dst: &[mut T], src: &[const T], count: uint) {
|
2012-09-12 12:38:17 -05:00
|
|
|
do as_mut_buf(dst) |p_dst, _len_dst| {
|
|
|
|
do as_const_buf(src) |p_src, _len_src| {
|
2012-07-20 21:20:13 -05:00
|
|
|
ptr::memmove(p_dst, p_src, count)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Operations on `[u8]`
|
2012-10-01 17:45:34 -05:00
|
|
|
pub mod bytes {
|
2012-01-06 09:36:56 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Bytewise string comparison
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn cmp(a: &~[u8], b: &~[u8]) -> int {
|
2012-08-02 17:42:56 -05:00
|
|
|
let a_len = len(*a);
|
|
|
|
let b_len = len(*b);
|
2012-08-30 14:54:50 -05:00
|
|
|
let n = uint::min(a_len, b_len) as libc::size_t;
|
2012-06-24 22:18:18 -05:00
|
|
|
let r = unsafe {
|
2012-09-12 19:45:23 -05:00
|
|
|
libc::memcmp(raw::to_ptr(*a) as *libc::c_void,
|
|
|
|
raw::to_ptr(*b) as *libc::c_void, n) as int
|
2012-06-24 22:18:18 -05:00
|
|
|
};
|
2012-01-06 09:36:56 -06:00
|
|
|
|
|
|
|
if r != 0 { r } else {
|
|
|
|
if a_len == b_len {
|
|
|
|
0
|
|
|
|
} else if a_len < b_len {
|
|
|
|
-1
|
|
|
|
} else {
|
|
|
|
1
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Bytewise less than or equal
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn lt(a: &~[u8], b: &~[u8]) -> bool { cmp(a, b) < 0 }
|
2012-01-06 09:36:56 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Bytewise less than or equal
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn le(a: &~[u8], b: &~[u8]) -> bool { cmp(a, b) <= 0 }
|
2012-01-06 09:36:56 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Bytewise equality
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn eq(a: &~[u8], b: &~[u8]) -> bool { cmp(a, b) == 0 }
|
2012-01-06 09:36:56 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Bytewise inequality
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn ne(a: &~[u8], b: &~[u8]) -> bool { cmp(a, b) != 0 }
|
2012-01-06 09:36:56 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Bytewise greater than or equal
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn ge(a: &~[u8], b: &~[u8]) -> bool { cmp(a, b) >= 0 }
|
2012-01-06 09:36:56 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Bytewise greater than
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn gt(a: &~[u8], b: &~[u8]) -> bool { cmp(a, b) > 0 }
|
2012-01-06 09:36:56 -06:00
|
|
|
|
2012-07-20 21:20:13 -05:00
|
|
|
/**
|
|
|
|
* Copies data from one vector to another.
|
|
|
|
*
|
|
|
|
* Copies `count` bytes from `src` to `dst`. The source and destination
|
|
|
|
* may not overlap.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn memcpy(dst: &[mut u8], src: &[const u8], count: uint) {
|
2012-07-20 21:20:13 -05:00
|
|
|
assert dst.len() >= count;
|
|
|
|
assert src.len() >= count;
|
|
|
|
|
2012-09-12 19:45:23 -05:00
|
|
|
unsafe { vec::raw::memcpy(dst, src, count) }
|
2012-07-20 21:20:13 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Copies data from one vector to another.
|
|
|
|
*
|
|
|
|
* Copies `count` bytes from `src` to `dst`. The source and destination
|
|
|
|
* may overlap.
|
|
|
|
*/
|
2012-10-01 17:45:34 -05:00
|
|
|
pub fn memmove(dst: &[mut u8], src: &[const u8], count: uint) {
|
2012-07-20 21:20:13 -05:00
|
|
|
assert dst.len() >= count;
|
|
|
|
assert src.len() >= count;
|
|
|
|
|
2012-09-12 19:45:23 -05:00
|
|
|
unsafe { vec::raw::memmove(dst, src, count) }
|
2012-07-20 21:20:13 -05:00
|
|
|
}
|
2012-01-06 09:36:56 -06:00
|
|
|
}
|
|
|
|
|
2012-06-02 21:03:28 -05:00
|
|
|
// ___________________________________________________________________________
|
|
|
|
// ITERATION TRAIT METHODS
|
|
|
|
//
|
|
|
|
// This cannot be used with iter-trait.rs because of the region pointer
|
|
|
|
// required in the slice.
|
2012-07-18 12:17:40 -05:00
|
|
|
|
2012-09-12 12:38:17 -05:00
|
|
|
impl<A> &[A]: iter::BaseIter<A> {
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn each(blk: fn(v: &A) -> bool) {
|
2012-09-21 20:43:30 -05:00
|
|
|
// FIXME(#2263)---should be able to call each(self, blk)
|
2012-09-18 23:41:37 -05:00
|
|
|
for each(self) |e| {
|
2012-09-19 18:55:01 -05:00
|
|
|
if (!blk(e)) {
|
2012-09-18 23:41:37 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2012-08-20 14:23:37 -05:00
|
|
|
pure fn size_hint() -> Option<uint> { Some(len(self)) }
|
2012-07-11 17:00:40 -05:00
|
|
|
}
|
|
|
|
|
2012-09-12 12:38:17 -05:00
|
|
|
impl<A> &[A]: iter::ExtendedIter<A> {
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn eachi(blk: fn(uint, v: &A) -> bool) {
|
|
|
|
iter::eachi(&self, blk)
|
|
|
|
}
|
|
|
|
pub pure fn all(blk: fn(&A) -> bool) -> bool { iter::all(&self, blk) }
|
|
|
|
pub pure fn any(blk: fn(&A) -> bool) -> bool { iter::any(&self, blk) }
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn foldl<B>(b0: B, blk: fn(&B, &A) -> B) -> B {
|
2012-09-28 18:37:14 -05:00
|
|
|
iter::foldl(&self, move b0, blk)
|
2012-06-02 21:03:28 -05:00
|
|
|
}
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn position(f: fn(&A) -> bool) -> Option<uint> {
|
2012-09-28 23:51:14 -05:00
|
|
|
iter::position(&self, f)
|
2012-09-13 11:13:03 -05:00
|
|
|
}
|
2012-08-27 18:26:35 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<A: Eq> &[A]: iter::EqIter<A> {
|
2012-10-01 17:45:34 -05:00
|
|
|
pub pure fn contains(x: &A) -> bool { iter::contains(&self, x) }
|
|
|
|
pub pure fn count(x: &A) -> uint { iter::count(&self, x) }
|
2012-07-11 14:45:54 -05:00
|
|
|
}
|
|
|
|
|
2012-09-07 16:52:28 -05:00
|
|
|
impl<A: Copy> &[A]: iter::CopyableIter<A> {
|
2012-10-02 13:37:37 -05:00
|
|
|
pure fn filter_to_vec(pred: fn(a: A) -> bool) -> ~[A] {
|
2012-09-28 19:04:39 -05:00
|
|
|
iter::filter_to_vec(&self, pred)
|
2012-06-02 21:03:28 -05:00
|
|
|
}
|
2012-10-02 13:37:37 -05:00
|
|
|
pure fn map_to_vec<B>(op: fn(v: A) -> B) -> ~[B] {
|
2012-09-28 19:04:39 -05:00
|
|
|
iter::map_to_vec(&self, op)
|
2012-08-23 12:22:14 -05:00
|
|
|
}
|
2012-09-28 18:37:14 -05:00
|
|
|
pure fn to_vec() -> ~[A] { iter::to_vec(&self) }
|
2012-06-02 21:03:28 -05:00
|
|
|
|
2012-10-04 21:43:10 -05:00
|
|
|
pure fn flat_map_to_vec<B:Copy,IB:BaseIter<B>>(op: fn(A) -> IB) -> ~[B] {
|
|
|
|
iter::flat_map_to_vec(&self, op)
|
|
|
|
}
|
2012-06-02 21:03:28 -05:00
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
pub pure fn find(p: fn(a: A) -> bool) -> Option<A> {
|
2012-10-01 17:45:34 -05:00
|
|
|
iter::find(&self, p)
|
|
|
|
}
|
2012-08-27 18:26:35 -05:00
|
|
|
}
|
|
|
|
|
2012-09-07 16:52:28 -05:00
|
|
|
impl<A: Copy Ord> &[A]: iter::CopyableOrderedIter<A> {
|
2012-09-28 18:37:14 -05:00
|
|
|
pure fn min() -> A { iter::min(&self) }
|
|
|
|
pure fn max() -> A { iter::max(&self) }
|
2012-06-02 21:03:28 -05:00
|
|
|
}
|
|
|
|
// ___________________________________________________________________________
|
|
|
|
|
2012-01-17 19:28:21 -06:00
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
|
2012-08-01 19:30:05 -05:00
|
|
|
fn square(n: uint) -> uint { return n * n; }
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-09-21 20:43:30 -05:00
|
|
|
fn square_ref(n: &uint) -> uint { return square(*n); }
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn is_three(n: &uint) -> bool { return *n == 3u; }
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn is_odd(n: &uint) -> bool { return *n % 2u == 1u; }
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
pure fn is_equal(x: &uint, y:&uint) -> bool { return *x == *y; }
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
fn square_if_odd(n: &uint) -> Option<uint> {
|
|
|
|
return if *n % 2u == 1u { Some(*n * *n) } else { None };
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
2012-10-02 13:37:37 -05:00
|
|
|
fn add(x: uint, y: &uint) -> uint { return x + *y; }
|
2012-01-17 19:28:21 -06:00
|
|
|
|
|
|
|
#[test]
|
2012-06-24 22:18:18 -05:00
|
|
|
fn test_unsafe_ptrs() {
|
|
|
|
unsafe {
|
|
|
|
// Test on-stack copy-from-buf.
|
2012-06-29 18:26:56 -05:00
|
|
|
let a = ~[1, 2, 3];
|
2012-09-12 19:45:23 -05:00
|
|
|
let mut ptr = raw::to_ptr(a);
|
|
|
|
let b = raw::from_buf(ptr, 3u);
|
2012-06-24 22:18:18 -05:00
|
|
|
assert (len(b) == 3u);
|
|
|
|
assert (b[0] == 1);
|
|
|
|
assert (b[1] == 2);
|
|
|
|
assert (b[2] == 3);
|
|
|
|
|
|
|
|
// Test on-heap copy-from-buf.
|
2012-06-29 18:26:56 -05:00
|
|
|
let c = ~[1, 2, 3, 4, 5];
|
2012-09-12 19:45:23 -05:00
|
|
|
ptr = raw::to_ptr(c);
|
|
|
|
let d = raw::from_buf(ptr, 5u);
|
2012-06-24 22:18:18 -05:00
|
|
|
assert (len(d) == 5u);
|
|
|
|
assert (d[0] == 1);
|
|
|
|
assert (d[1] == 2);
|
|
|
|
assert (d[2] == 3);
|
|
|
|
assert (d[3] == 4);
|
|
|
|
assert (d[4] == 5);
|
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-03-12 17:52:30 -05:00
|
|
|
fn test_from_fn() {
|
|
|
|
// Test on-stack from_fn.
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut v = from_fn(3u, square);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 3u);
|
|
|
|
assert (v[0] == 0u);
|
|
|
|
assert (v[1] == 1u);
|
|
|
|
assert (v[2] == 4u);
|
|
|
|
|
2012-03-12 17:52:30 -05:00
|
|
|
// Test on-heap from_fn.
|
|
|
|
v = from_fn(5u, square);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 5u);
|
|
|
|
assert (v[0] == 0u);
|
|
|
|
assert (v[1] == 1u);
|
|
|
|
assert (v[2] == 4u);
|
|
|
|
assert (v[3] == 9u);
|
|
|
|
assert (v[4] == 16u);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-03-12 17:52:30 -05:00
|
|
|
fn test_from_elem() {
|
|
|
|
// Test on-stack from_elem.
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut v = from_elem(2u, 10u);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 2u);
|
|
|
|
assert (v[0] == 10u);
|
|
|
|
assert (v[1] == 10u);
|
|
|
|
|
2012-03-12 17:52:30 -05:00
|
|
|
// Test on-heap from_elem.
|
|
|
|
v = from_elem(6u, 20u);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (v[0] == 20u);
|
|
|
|
assert (v[1] == 20u);
|
|
|
|
assert (v[2] == 20u);
|
|
|
|
assert (v[3] == 20u);
|
|
|
|
assert (v[4] == 20u);
|
|
|
|
assert (v[5] == 20u);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_is_empty() {
|
2012-06-29 18:26:56 -05:00
|
|
|
assert (is_empty::<int>(~[]));
|
|
|
|
assert (!is_empty(~[0]));
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_is_not_empty() {
|
2012-06-29 18:26:56 -05:00
|
|
|
assert (is_not_empty(~[0]));
|
|
|
|
assert (!is_not_empty::<int>(~[]));
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_head() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let a = ~[11, 12];
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (head(a) == 11);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_tail() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut a = ~[11];
|
|
|
|
assert (tail(a) == ~[]);
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
a = ~[11, 12];
|
|
|
|
assert (tail(a) == ~[12]);
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_last() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut n = last_opt(~[]);
|
2012-08-27 19:49:35 -05:00
|
|
|
assert (n.is_none());
|
2012-06-29 18:26:56 -05:00
|
|
|
n = last_opt(~[1, 2, 3]);
|
2012-08-20 14:23:37 -05:00
|
|
|
assert (n == Some(3));
|
2012-06-29 18:26:56 -05:00
|
|
|
n = last_opt(~[1, 2, 3, 4, 5]);
|
2012-08-20 14:23:37 -05:00
|
|
|
assert (n == Some(5));
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_slice() {
|
|
|
|
// Test on-stack -> on-stack slice.
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = slice(~[1, 2, 3], 1u, 3u);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 2u);
|
|
|
|
assert (v[0] == 2);
|
|
|
|
assert (v[1] == 3);
|
|
|
|
|
|
|
|
// Test on-heap -> on-stack slice.
|
2012-06-29 18:26:56 -05:00
|
|
|
v = slice(~[1, 2, 3, 4, 5], 0u, 3u);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 3u);
|
|
|
|
assert (v[0] == 1);
|
|
|
|
assert (v[1] == 2);
|
|
|
|
assert (v[2] == 3);
|
|
|
|
|
|
|
|
// Test on-heap -> on-heap slice.
|
2012-06-29 18:26:56 -05:00
|
|
|
v = slice(~[1, 2, 3, 4, 5, 6], 1u, 6u);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 5u);
|
|
|
|
assert (v[0] == 2);
|
|
|
|
assert (v[1] == 3);
|
|
|
|
assert (v[2] == 4);
|
|
|
|
assert (v[3] == 5);
|
|
|
|
assert (v[4] == 6);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_pop() {
|
|
|
|
// Test on-stack pop.
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[1, 2, 3];
|
2012-09-28 00:20:47 -05:00
|
|
|
let mut e = v.pop();
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 2u);
|
|
|
|
assert (v[0] == 1);
|
|
|
|
assert (v[1] == 2);
|
|
|
|
assert (e == 3);
|
|
|
|
|
|
|
|
// Test on-heap pop.
|
2012-06-29 18:26:56 -05:00
|
|
|
v = ~[1, 2, 3, 4, 5];
|
2012-09-28 00:20:47 -05:00
|
|
|
e = v.pop();
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 4u);
|
|
|
|
assert (v[0] == 1);
|
|
|
|
assert (v[1] == 2);
|
|
|
|
assert (v[2] == 3);
|
|
|
|
assert (v[3] == 4);
|
|
|
|
assert (e == 5);
|
|
|
|
}
|
|
|
|
|
2012-08-22 21:09:34 -05:00
|
|
|
#[test]
|
|
|
|
fn test_swap_remove() {
|
|
|
|
let mut v = ~[1, 2, 3, 4, 5];
|
2012-09-28 00:20:47 -05:00
|
|
|
let mut e = v.swap_remove(0);
|
2012-08-22 21:09:34 -05:00
|
|
|
assert (len(v) == 4);
|
|
|
|
assert e == 1;
|
|
|
|
assert (v[0] == 5);
|
2012-09-28 00:20:47 -05:00
|
|
|
e = v.swap_remove(3);
|
2012-08-22 21:09:34 -05:00
|
|
|
assert (len(v) == 3);
|
|
|
|
assert e == 4;
|
|
|
|
assert (v[0] == 5);
|
|
|
|
assert (v[1] == 2);
|
|
|
|
assert (v[2] == 3);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_swap_remove_noncopyable() {
|
|
|
|
// Tests that we don't accidentally run destructors twice.
|
2012-09-18 16:51:40 -05:00
|
|
|
let mut v = ~[::private::exclusive(()), ::private::exclusive(()),
|
|
|
|
::private::exclusive(())];
|
2012-09-28 00:20:47 -05:00
|
|
|
let mut _e = v.swap_remove(0);
|
2012-08-22 21:09:34 -05:00
|
|
|
assert (len(v) == 2);
|
2012-09-28 00:20:47 -05:00
|
|
|
_e = v.swap_remove(1);
|
2012-08-22 21:09:34 -05:00
|
|
|
assert (len(v) == 1);
|
2012-09-28 00:20:47 -05:00
|
|
|
_e = v.swap_remove(0);
|
2012-08-22 21:09:34 -05:00
|
|
|
assert (len(v) == 0);
|
|
|
|
}
|
|
|
|
|
2012-01-17 19:28:21 -06:00
|
|
|
#[test]
|
|
|
|
fn test_push() {
|
|
|
|
// Test on-stack push().
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[];
|
2012-09-26 19:33:34 -05:00
|
|
|
v.push(1);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 1u);
|
|
|
|
assert (v[0] == 1);
|
|
|
|
|
|
|
|
// Test on-heap push().
|
2012-09-26 19:33:34 -05:00
|
|
|
v.push(2);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 2u);
|
|
|
|
assert (v[0] == 1);
|
|
|
|
assert (v[1] == 2);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_grow() {
|
|
|
|
// Test on-stack grow().
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[];
|
2012-09-28 00:20:47 -05:00
|
|
|
v.grow(2u, &1);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 2u);
|
|
|
|
assert (v[0] == 1);
|
|
|
|
assert (v[1] == 1);
|
|
|
|
|
|
|
|
// Test on-heap grow().
|
2012-09-28 00:20:47 -05:00
|
|
|
v.grow(3u, &2);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 5u);
|
|
|
|
assert (v[0] == 1);
|
|
|
|
assert (v[1] == 1);
|
|
|
|
assert (v[2] == 2);
|
|
|
|
assert (v[3] == 2);
|
|
|
|
assert (v[4] == 2);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_grow_fn() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[];
|
2012-09-28 00:20:47 -05:00
|
|
|
v.grow_fn(3u, square);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 3u);
|
|
|
|
assert (v[0] == 0u);
|
|
|
|
assert (v[1] == 1u);
|
|
|
|
assert (v[2] == 4u);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_grow_set() {
|
2012-09-21 20:43:30 -05:00
|
|
|
let mut v = ~[1, 2, 3];
|
2012-09-28 00:20:47 -05:00
|
|
|
v.grow_set(4u, &4, 5);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(v) == 5u);
|
|
|
|
assert (v[0] == 1);
|
|
|
|
assert (v[1] == 2);
|
|
|
|
assert (v[2] == 3);
|
|
|
|
assert (v[3] == 4);
|
|
|
|
assert (v[4] == 5);
|
|
|
|
}
|
|
|
|
|
2012-08-29 03:21:49 -05:00
|
|
|
#[test]
|
|
|
|
fn test_truncate() {
|
|
|
|
let mut v = ~[@6,@5,@4];
|
2012-09-28 00:20:47 -05:00
|
|
|
v.truncate(1);
|
2012-08-29 03:21:49 -05:00
|
|
|
assert(v.len() == 1);
|
|
|
|
assert(*(v[0]) == 6);
|
|
|
|
// If the unsafe block didn't drop things properly, we blow up here.
|
|
|
|
}
|
|
|
|
|
2012-09-01 14:11:54 -05:00
|
|
|
#[test]
|
|
|
|
fn test_dedup() {
|
2012-10-02 13:37:37 -05:00
|
|
|
fn case(a: ~[uint], b: ~[uint]) {
|
2012-09-01 14:11:54 -05:00
|
|
|
let mut v = a;
|
2012-09-28 00:20:47 -05:00
|
|
|
v.dedup();
|
2012-09-01 14:11:54 -05:00
|
|
|
assert(v == b);
|
|
|
|
}
|
|
|
|
case(~[], ~[]);
|
|
|
|
case(~[1], ~[1]);
|
|
|
|
case(~[1,1], ~[1]);
|
|
|
|
case(~[1,2,3], ~[1,2,3]);
|
|
|
|
case(~[1,1,2,3], ~[1,2,3]);
|
|
|
|
case(~[1,2,2,3], ~[1,2,3]);
|
|
|
|
case(~[1,2,3,3], ~[1,2,3]);
|
|
|
|
case(~[1,1,2,2,2,3,3], ~[1,2,3]);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_dedup_unique() {
|
|
|
|
let mut v0 = ~[~1, ~1, ~2, ~3];
|
2012-09-28 00:20:47 -05:00
|
|
|
v0.dedup();
|
2012-09-01 14:11:54 -05:00
|
|
|
let mut v1 = ~[~1, ~2, ~2, ~3];
|
2012-09-28 00:20:47 -05:00
|
|
|
v1.dedup();
|
2012-09-01 14:11:54 -05:00
|
|
|
let mut v2 = ~[~1, ~2, ~3, ~3];
|
2012-09-28 00:20:47 -05:00
|
|
|
v2.dedup();
|
2012-09-01 14:11:54 -05:00
|
|
|
/*
|
|
|
|
* If the ~pointers were leaked or otherwise misused, valgrind and/or
|
|
|
|
* rustrt should raise errors.
|
|
|
|
*/
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_dedup_shared() {
|
|
|
|
let mut v0 = ~[@1, @1, @2, @3];
|
2012-09-28 00:20:47 -05:00
|
|
|
v0.dedup();
|
2012-09-01 14:11:54 -05:00
|
|
|
let mut v1 = ~[@1, @2, @2, @3];
|
2012-09-28 00:20:47 -05:00
|
|
|
v1.dedup();
|
2012-09-01 14:11:54 -05:00
|
|
|
let mut v2 = ~[@1, @2, @3, @3];
|
2012-09-28 00:20:47 -05:00
|
|
|
v2.dedup();
|
2012-09-01 14:11:54 -05:00
|
|
|
/*
|
|
|
|
* If the @pointers were leaked or otherwise misused, valgrind and/or
|
|
|
|
* rustrt should raise errors.
|
|
|
|
*/
|
|
|
|
}
|
|
|
|
|
2012-01-17 19:28:21 -06:00
|
|
|
#[test]
|
|
|
|
fn test_map() {
|
|
|
|
// Test on-stack map.
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[1u, 2u, 3u];
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut w = map(v, square_ref);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(w) == 3u);
|
|
|
|
assert (w[0] == 1u);
|
|
|
|
assert (w[1] == 4u);
|
|
|
|
assert (w[2] == 9u);
|
|
|
|
|
|
|
|
// Test on-heap map.
|
2012-06-29 18:26:56 -05:00
|
|
|
v = ~[1u, 2u, 3u, 4u, 5u];
|
2012-01-17 19:28:21 -06:00
|
|
|
w = map(v, square_ref);
|
|
|
|
assert (len(w) == 5u);
|
|
|
|
assert (w[0] == 1u);
|
|
|
|
assert (w[1] == 4u);
|
|
|
|
assert (w[2] == 9u);
|
|
|
|
assert (w[3] == 16u);
|
|
|
|
assert (w[4] == 25u);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_map2() {
|
2012-09-28 00:20:47 -05:00
|
|
|
fn times(x: &int, y: &int) -> int { return *x * *y; }
|
2012-01-17 19:28:21 -06:00
|
|
|
let f = times;
|
2012-06-29 18:26:56 -05:00
|
|
|
let v0 = ~[1, 2, 3, 4, 5];
|
|
|
|
let v1 = ~[5, 4, 3, 2, 1];
|
2012-01-17 19:28:21 -06:00
|
|
|
let u = map2::<int, int, int>(v0, v1, f);
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i = 0;
|
2012-01-17 19:28:21 -06:00
|
|
|
while i < 5 { assert (v0[i] * v1[i] == u[i]); i += 1; }
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_filter_map() {
|
|
|
|
// Test on-stack filter-map.
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[1u, 2u, 3u];
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut w = filter_map(v, square_if_odd);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (len(w) == 2u);
|
|
|
|
assert (w[0] == 1u);
|
|
|
|
assert (w[1] == 9u);
|
|
|
|
|
|
|
|
// Test on-heap filter-map.
|
2012-06-29 18:26:56 -05:00
|
|
|
v = ~[1u, 2u, 3u, 4u, 5u];
|
2012-01-17 19:28:21 -06:00
|
|
|
w = filter_map(v, square_if_odd);
|
|
|
|
assert (len(w) == 3u);
|
|
|
|
assert (w[0] == 1u);
|
|
|
|
assert (w[1] == 9u);
|
|
|
|
assert (w[2] == 25u);
|
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
fn halve(i: &int) -> Option<int> {
|
|
|
|
if *i % 2 == 0 {
|
|
|
|
return option::Some::<int>(*i / 2);
|
2012-08-20 14:23:37 -05:00
|
|
|
} else { return option::None::<int>; }
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
2012-09-21 20:43:30 -05:00
|
|
|
fn halve_for_sure(i: &int) -> int { return *i / 2; }
|
2012-06-29 18:26:56 -05:00
|
|
|
let all_even: ~[int] = ~[0, 2, 8, 6];
|
|
|
|
let all_odd1: ~[int] = ~[1, 7, 3];
|
|
|
|
let all_odd2: ~[int] = ~[];
|
|
|
|
let mix: ~[int] = ~[9, 2, 6, 7, 1, 0, 0, 3];
|
|
|
|
let mix_dest: ~[int] = ~[1, 3, 0, 0];
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (filter_map(all_even, halve) == map(all_even, halve_for_sure));
|
2012-06-29 18:26:56 -05:00
|
|
|
assert (filter_map(all_odd1, halve) == ~[]);
|
|
|
|
assert (filter_map(all_odd2, halve) == ~[]);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (filter_map(mix, halve) == mix_dest);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_filter() {
|
2012-06-29 18:26:56 -05:00
|
|
|
assert filter(~[1u, 2u, 3u], is_odd) == ~[1u, 3u];
|
|
|
|
assert filter(~[1u, 2u, 4u, 8u, 16u], is_three) == ~[];
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_foldl() {
|
|
|
|
// Test on-stack fold.
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[1u, 2u, 3u];
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut sum = foldl(0u, v, add);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (sum == 6u);
|
|
|
|
|
|
|
|
// Test on-heap fold.
|
2012-06-29 18:26:56 -05:00
|
|
|
v = ~[1u, 2u, 3u, 4u, 5u];
|
2012-01-17 19:28:21 -06:00
|
|
|
sum = foldl(0u, v, add);
|
|
|
|
assert (sum == 15u);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_foldl2() {
|
2012-10-02 13:37:37 -05:00
|
|
|
fn sub(a: int, b: &int) -> int {
|
2012-09-28 00:20:47 -05:00
|
|
|
a - *b
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[1, 2, 3, 4];
|
2012-01-17 19:28:21 -06:00
|
|
|
let sum = foldl(0, v, sub);
|
|
|
|
assert sum == -10;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_foldr() {
|
2012-10-02 13:37:37 -05:00
|
|
|
fn sub(a: &int, b: int) -> int {
|
2012-09-28 00:20:47 -05:00
|
|
|
*a - b
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[1, 2, 3, 4];
|
2012-01-17 19:28:21 -06:00
|
|
|
let sum = foldr(v, 0, sub);
|
|
|
|
assert sum == -2;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-09-18 23:41:37 -05:00
|
|
|
fn test_each_empty() {
|
|
|
|
for each::<int>(~[]) |_v| {
|
|
|
|
fail; // should never be executed
|
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_iter_nonempty() {
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i = 0;
|
2012-09-18 23:41:37 -05:00
|
|
|
for each(~[1, 2, 3]) |v| {
|
|
|
|
i += *v;
|
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
assert i == 6;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_iteri() {
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i = 0;
|
2012-09-18 23:41:37 -05:00
|
|
|
for eachi(~[1, 2, 3]) |j, v| {
|
2012-09-21 20:43:30 -05:00
|
|
|
if i == 0 { assert *v == 1; }
|
|
|
|
assert j + 1u == *v as uint;
|
|
|
|
i += *v;
|
2012-09-18 23:41:37 -05:00
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
assert i == 6;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-09-18 23:41:37 -05:00
|
|
|
fn test_reach_empty() {
|
2012-09-21 20:43:30 -05:00
|
|
|
for rev_each::<int>(~[]) |_v| {
|
2012-09-18 23:41:37 -05:00
|
|
|
fail; // should never execute
|
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-09-21 20:43:30 -05:00
|
|
|
fn test_reach_nonempty() {
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i = 0;
|
2012-09-21 20:43:30 -05:00
|
|
|
for rev_each(~[1, 2, 3]) |v| {
|
|
|
|
if i == 0 { assert *v == 3; }
|
|
|
|
i += *v
|
2012-09-18 23:41:37 -05:00
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
assert i == 6;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-09-18 23:41:37 -05:00
|
|
|
fn test_reachi() {
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i = 0;
|
2012-09-21 20:43:30 -05:00
|
|
|
for rev_eachi(~[0, 1, 2]) |j, v| {
|
|
|
|
if i == 0 { assert *v == 2; }
|
|
|
|
assert j == *v as uint;
|
|
|
|
i += *v;
|
2012-09-18 23:41:37 -05:00
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
assert i == 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-09-28 00:20:47 -05:00
|
|
|
fn test_each_permutation() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut results: ~[~[int]];
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
results = ~[];
|
2012-09-28 00:20:47 -05:00
|
|
|
for each_permutation(~[]) |v| { results.push(from_slice(v)); }
|
2012-06-29 18:26:56 -05:00
|
|
|
assert results == ~[~[]];
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
results = ~[];
|
2012-09-28 00:20:47 -05:00
|
|
|
for each_permutation(~[7]) |v| { results.push(from_slice(v)); }
|
2012-06-29 18:26:56 -05:00
|
|
|
assert results == ~[~[7]];
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
results = ~[];
|
2012-09-28 00:20:47 -05:00
|
|
|
for each_permutation(~[1,1]) |v| { results.push(from_slice(v)); }
|
2012-06-29 18:26:56 -05:00
|
|
|
assert results == ~[~[1,1],~[1,1]];
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
results = ~[];
|
2012-09-28 00:20:47 -05:00
|
|
|
for each_permutation(~[5,2,0]) |v| { results.push(from_slice(v)); }
|
2012-06-25 22:00:46 -05:00
|
|
|
assert results ==
|
2012-06-29 18:26:56 -05:00
|
|
|
~[~[5,2,0],~[5,0,2],~[2,5,0],~[2,0,5],~[0,5,2],~[0,2,5]];
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_any_and_all() {
|
2012-06-29 18:26:56 -05:00
|
|
|
assert (any(~[1u, 2u, 3u], is_three));
|
|
|
|
assert (!any(~[0u, 1u, 2u], is_three));
|
|
|
|
assert (any(~[1u, 2u, 3u, 4u, 5u], is_three));
|
|
|
|
assert (!any(~[1u, 2u, 4u, 5u, 6u], is_three));
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
assert (all(~[3u, 3u, 3u], is_three));
|
|
|
|
assert (!all(~[3u, 3u, 2u], is_three));
|
|
|
|
assert (all(~[3u, 3u, 3u, 3u, 3u], is_three));
|
|
|
|
assert (!all(~[3u, 3u, 0u, 1u, 2u], is_three));
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_any2_and_all2() {
|
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
assert (any2(~[2u, 4u, 6u], ~[2u, 4u, 6u], is_equal));
|
|
|
|
assert (any2(~[1u, 2u, 3u], ~[4u, 5u, 3u], is_equal));
|
|
|
|
assert (!any2(~[1u, 2u, 3u], ~[4u, 5u, 6u], is_equal));
|
|
|
|
assert (any2(~[2u, 4u, 6u], ~[2u, 4u], is_equal));
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
assert (all2(~[2u, 4u, 6u], ~[2u, 4u, 6u], is_equal));
|
|
|
|
assert (!all2(~[1u, 2u, 3u], ~[4u, 5u, 3u], is_equal));
|
|
|
|
assert (!all2(~[1u, 2u, 3u], ~[4u, 5u, 6u], is_equal));
|
|
|
|
assert (!all2(~[2u, 4u, 6u], ~[2u, 4u], is_equal));
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_zip_unzip() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let v1 = ~[1, 2, 3];
|
|
|
|
let v2 = ~[4, 5, 6];
|
2012-01-17 19:28:21 -06:00
|
|
|
|
|
|
|
let z1 = zip(v1, v2);
|
|
|
|
|
|
|
|
assert ((1, 4) == z1[0]);
|
|
|
|
assert ((2, 5) == z1[1]);
|
|
|
|
assert ((3, 6) == z1[2]);
|
|
|
|
|
|
|
|
let (left, right) = unzip(z1);
|
|
|
|
|
|
|
|
assert ((1, 4) == (left[0], right[0]));
|
|
|
|
assert ((2, 5) == (left[1], right[1]));
|
|
|
|
assert ((3, 6) == (left[2], right[2]));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-03-18 19:14:43 -05:00
|
|
|
fn test_position_elem() {
|
2012-09-28 00:20:47 -05:00
|
|
|
assert position_elem(~[], &1).is_none();
|
2012-01-26 10:39:45 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
let v1 = ~[1, 2, 3, 3, 2, 5];
|
2012-09-28 00:20:47 -05:00
|
|
|
assert position_elem(v1, &1) == Some(0u);
|
|
|
|
assert position_elem(v1, &2) == Some(1u);
|
|
|
|
assert position_elem(v1, &5) == Some(5u);
|
|
|
|
assert position_elem(v1, &4).is_none();
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-01-26 10:39:45 -06:00
|
|
|
fn test_position() {
|
2012-09-28 00:20:47 -05:00
|
|
|
fn less_than_three(i: &int) -> bool { return *i < 3; }
|
|
|
|
fn is_eighteen(i: &int) -> bool { return *i == 18; }
|
2012-01-26 10:39:45 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert position(~[], less_than_three).is_none();
|
2012-01-26 10:39:45 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
let v1 = ~[5, 4, 3, 2, 1];
|
2012-08-20 14:23:37 -05:00
|
|
|
assert position(v1, less_than_three) == Some(3u);
|
2012-08-27 19:49:35 -05:00
|
|
|
assert position(v1, is_eighteen).is_none();
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-03-18 19:19:41 -05:00
|
|
|
fn test_position_between() {
|
2012-08-27 19:49:35 -05:00
|
|
|
assert position_between(~[], 0u, 0u, f).is_none();
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'b' }
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert position_between(v, 0u, 0u, f).is_none();
|
|
|
|
assert position_between(v, 0u, 1u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert position_between(v, 0u, 2u, f) == Some(1u);
|
|
|
|
assert position_between(v, 0u, 3u, f) == Some(1u);
|
|
|
|
assert position_between(v, 0u, 4u, f) == Some(1u);
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert position_between(v, 1u, 1u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert position_between(v, 1u, 2u, f) == Some(1u);
|
|
|
|
assert position_between(v, 1u, 3u, f) == Some(1u);
|
|
|
|
assert position_between(v, 1u, 4u, f) == Some(1u);
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert position_between(v, 2u, 2u, f).is_none();
|
|
|
|
assert position_between(v, 2u, 3u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert position_between(v, 2u, 4u, f) == Some(3u);
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert position_between(v, 3u, 3u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert position_between(v, 3u, 4u, f) == Some(3u);
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert position_between(v, 4u, 4u, f).is_none();
|
2012-01-26 10:42:50 -06:00
|
|
|
}
|
|
|
|
|
2012-01-26 20:14:27 -06:00
|
|
|
#[test]
|
|
|
|
fn test_find() {
|
2012-08-27 19:49:35 -05:00
|
|
|
assert find(~[], f).is_none();
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'b' }
|
|
|
|
fn g(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'd' }
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-20 14:23:37 -05:00
|
|
|
assert find(v, f) == Some((1, 'b'));
|
2012-08-27 19:49:35 -05:00
|
|
|
assert find(v, g).is_none();
|
2012-01-26 20:14:27 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-03-18 19:19:41 -05:00
|
|
|
fn test_find_between() {
|
2012-08-27 19:49:35 -05:00
|
|
|
assert find_between(~[], 0u, 0u, f).is_none();
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'b' }
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert find_between(v, 0u, 0u, f).is_none();
|
|
|
|
assert find_between(v, 0u, 1u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert find_between(v, 0u, 2u, f) == Some((1, 'b'));
|
|
|
|
assert find_between(v, 0u, 3u, f) == Some((1, 'b'));
|
|
|
|
assert find_between(v, 0u, 4u, f) == Some((1, 'b'));
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert find_between(v, 1u, 1u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert find_between(v, 1u, 2u, f) == Some((1, 'b'));
|
|
|
|
assert find_between(v, 1u, 3u, f) == Some((1, 'b'));
|
|
|
|
assert find_between(v, 1u, 4u, f) == Some((1, 'b'));
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert find_between(v, 2u, 2u, f).is_none();
|
|
|
|
assert find_between(v, 2u, 3u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert find_between(v, 2u, 4u, f) == Some((3, 'b'));
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert find_between(v, 3u, 3u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert find_between(v, 3u, 4u, f) == Some((3, 'b'));
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert find_between(v, 4u, 4u, f).is_none();
|
2012-01-26 20:14:27 -06:00
|
|
|
}
|
|
|
|
|
2012-01-26 10:42:50 -06:00
|
|
|
#[test]
|
|
|
|
fn test_rposition() {
|
2012-08-27 19:49:35 -05:00
|
|
|
assert find(~[], f).is_none();
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'b' }
|
|
|
|
fn g(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'd' }
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-20 14:23:37 -05:00
|
|
|
assert position(v, f) == Some(1u);
|
2012-08-27 19:49:35 -05:00
|
|
|
assert position(v, g).is_none();
|
2012-01-26 10:42:50 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-03-18 19:19:41 -05:00
|
|
|
fn test_rposition_between() {
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rposition_between(~[], 0u, 0u, f).is_none();
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'b' }
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rposition_between(v, 0u, 0u, f).is_none();
|
|
|
|
assert rposition_between(v, 0u, 1u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert rposition_between(v, 0u, 2u, f) == Some(1u);
|
|
|
|
assert rposition_between(v, 0u, 3u, f) == Some(1u);
|
|
|
|
assert rposition_between(v, 0u, 4u, f) == Some(3u);
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rposition_between(v, 1u, 1u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert rposition_between(v, 1u, 2u, f) == Some(1u);
|
|
|
|
assert rposition_between(v, 1u, 3u, f) == Some(1u);
|
|
|
|
assert rposition_between(v, 1u, 4u, f) == Some(3u);
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rposition_between(v, 2u, 2u, f).is_none();
|
|
|
|
assert rposition_between(v, 2u, 3u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert rposition_between(v, 2u, 4u, f) == Some(3u);
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rposition_between(v, 3u, 3u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert rposition_between(v, 3u, 4u, f) == Some(3u);
|
2012-01-26 10:42:50 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rposition_between(v, 4u, 4u, f).is_none();
|
2012-01-26 10:42:50 -06:00
|
|
|
}
|
2012-01-26 20:14:27 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rfind() {
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rfind(~[], f).is_none();
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'b' }
|
|
|
|
fn g(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'd' }
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-20 14:23:37 -05:00
|
|
|
assert rfind(v, f) == Some((3, 'b'));
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rfind(v, g).is_none();
|
2012-01-26 20:14:27 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-03-18 19:19:41 -05:00
|
|
|
fn test_rfind_between() {
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rfind_between(~[], 0u, 0u, f).is_none();
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(xy: &(int, char)) -> bool { let (_x, y) = *xy; y == 'b' }
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[(0, 'a'), (1, 'b'), (2, 'c'), (3, 'b')];
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rfind_between(v, 0u, 0u, f).is_none();
|
|
|
|
assert rfind_between(v, 0u, 1u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert rfind_between(v, 0u, 2u, f) == Some((1, 'b'));
|
|
|
|
assert rfind_between(v, 0u, 3u, f) == Some((1, 'b'));
|
|
|
|
assert rfind_between(v, 0u, 4u, f) == Some((3, 'b'));
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rfind_between(v, 1u, 1u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert rfind_between(v, 1u, 2u, f) == Some((1, 'b'));
|
|
|
|
assert rfind_between(v, 1u, 3u, f) == Some((1, 'b'));
|
|
|
|
assert rfind_between(v, 1u, 4u, f) == Some((3, 'b'));
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rfind_between(v, 2u, 2u, f).is_none();
|
|
|
|
assert rfind_between(v, 2u, 3u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert rfind_between(v, 2u, 4u, f) == Some((3, 'b'));
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rfind_between(v, 3u, 3u, f).is_none();
|
2012-08-20 14:23:37 -05:00
|
|
|
assert rfind_between(v, 3u, 4u, f) == Some((3, 'b'));
|
2012-01-26 20:14:27 -06:00
|
|
|
|
2012-08-27 19:49:35 -05:00
|
|
|
assert rfind_between(v, 4u, 4u, f).is_none();
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn reverse_and_reversed() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let v: ~[mut int] = ~[mut 10, 20];
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (v[0] == 10);
|
|
|
|
assert (v[1] == 20);
|
|
|
|
reverse(v);
|
|
|
|
assert (v[0] == 20);
|
|
|
|
assert (v[1] == 10);
|
2012-06-29 18:26:56 -05:00
|
|
|
let v2 = reversed::<int>(~[10, 20]);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (v2[0] == 20);
|
|
|
|
assert (v2[1] == 10);
|
|
|
|
v[0] = 30;
|
|
|
|
assert (v2[0] == 20);
|
|
|
|
// Make sure they work with 0-length vectors too.
|
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
let v4 = reversed::<int>(~[]);
|
|
|
|
assert (v4 == ~[]);
|
|
|
|
let v3: ~[mut int] = ~[mut];
|
2012-01-17 19:28:21 -06:00
|
|
|
reverse::<int>(v3);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn reversed_mut() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let v2 = reversed::<int>(~[mut 10, 20]);
|
2012-01-17 19:28:21 -06:00
|
|
|
assert (v2[0] == 20);
|
|
|
|
assert (v2[1] == 10);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_init() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let v = init(~[1, 2, 3]);
|
|
|
|
assert v == ~[1, 2];
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
2012-01-26 20:13:43 -06:00
|
|
|
#[test]
|
|
|
|
fn test_split() {
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(x: &int) -> bool { *x == 3 }
|
2012-01-26 20:13:43 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
assert split(~[], f) == ~[];
|
|
|
|
assert split(~[1, 2], f) == ~[~[1, 2]];
|
|
|
|
assert split(~[3, 1, 2], f) == ~[~[], ~[1, 2]];
|
|
|
|
assert split(~[1, 2, 3], f) == ~[~[1, 2], ~[]];
|
|
|
|
assert split(~[1, 2, 3, 4, 3, 5], f) == ~[~[1, 2], ~[4], ~[5]];
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_splitn() {
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(x: &int) -> bool { *x == 3 }
|
2012-01-26 20:13:43 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
assert splitn(~[], 1u, f) == ~[];
|
|
|
|
assert splitn(~[1, 2], 1u, f) == ~[~[1, 2]];
|
|
|
|
assert splitn(~[3, 1, 2], 1u, f) == ~[~[], ~[1, 2]];
|
|
|
|
assert splitn(~[1, 2, 3], 1u, f) == ~[~[1, 2], ~[]];
|
|
|
|
assert splitn(~[1, 2, 3, 4, 3, 5], 1u, f) ==
|
|
|
|
~[~[1, 2], ~[4, 3, 5]];
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rsplit() {
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(x: &int) -> bool { *x == 3 }
|
2012-01-26 20:13:43 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
assert rsplit(~[], f) == ~[];
|
|
|
|
assert rsplit(~[1, 2], f) == ~[~[1, 2]];
|
|
|
|
assert rsplit(~[1, 2, 3], f) == ~[~[1, 2], ~[]];
|
|
|
|
assert rsplit(~[1, 2, 3, 4, 3, 5], f) == ~[~[1, 2], ~[4], ~[5]];
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rsplitn() {
|
2012-09-28 00:20:47 -05:00
|
|
|
fn f(x: &int) -> bool { *x == 3 }
|
2012-01-26 20:13:43 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
assert rsplitn(~[], 1u, f) == ~[];
|
|
|
|
assert rsplitn(~[1, 2], 1u, f) == ~[~[1, 2]];
|
|
|
|
assert rsplitn(~[1, 2, 3], 1u, f) == ~[~[1, 2], ~[]];
|
|
|
|
assert rsplitn(~[1, 2, 3, 4, 3, 5], 1u, f) ==
|
|
|
|
~[~[1, 2, 3, 4], ~[5]];
|
2012-01-26 20:13:43 -06:00
|
|
|
}
|
|
|
|
|
2012-01-17 19:28:21 -06:00
|
|
|
#[test]
|
2012-02-18 18:34:42 -06:00
|
|
|
#[should_fail]
|
2012-06-07 23:38:25 -05:00
|
|
|
#[ignore(cfg(windows))]
|
2012-01-17 19:28:21 -06:00
|
|
|
fn test_init_empty() {
|
2012-06-29 18:26:56 -05:00
|
|
|
init::<int>(~[]);
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_concat() {
|
2012-06-29 18:26:56 -05:00
|
|
|
assert concat(~[~[1], ~[2,3]]) == ~[1, 2, 3];
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
2012-01-28 17:41:53 -06:00
|
|
|
#[test]
|
|
|
|
fn test_connect() {
|
2012-09-28 00:20:47 -05:00
|
|
|
assert connect(~[], &0) == ~[];
|
|
|
|
assert connect(~[~[1], ~[2, 3]], &0) == ~[1, 0, 2, 3];
|
|
|
|
assert connect(~[~[1], ~[2], ~[3]], &0) == ~[1, 0, 2, 0, 3];
|
2012-01-28 17:41:53 -06:00
|
|
|
}
|
|
|
|
|
2012-01-23 04:41:40 -06:00
|
|
|
#[test]
|
|
|
|
fn test_windowed () {
|
2012-06-29 18:26:56 -05:00
|
|
|
assert ~[~[1u,2u,3u],~[2u,3u,4u],~[3u,4u,5u],~[4u,5u,6u]]
|
|
|
|
== windowed (3u, ~[1u,2u,3u,4u,5u,6u]);
|
2012-01-23 04:41:40 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
assert ~[~[1u,2u,3u,4u],~[2u,3u,4u,5u],~[3u,4u,5u,6u]]
|
|
|
|
== windowed (4u, ~[1u,2u,3u,4u,5u,6u]);
|
2012-01-23 04:41:40 -06:00
|
|
|
|
2012-06-29 18:26:56 -05:00
|
|
|
assert ~[] == windowed (7u, ~[1u,2u,3u,4u,5u,6u]);
|
2012-01-23 04:41:40 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
2012-06-07 23:38:25 -05:00
|
|
|
#[ignore(cfg(windows))]
|
2012-01-23 04:41:40 -06:00
|
|
|
fn test_windowed_() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let _x = windowed (0u, ~[1u,2u,3u,4u,5u,6u]);
|
2012-01-23 04:41:40 -06:00
|
|
|
}
|
2012-03-01 01:44:52 -06:00
|
|
|
|
|
|
|
#[test]
|
2012-06-24 22:18:18 -05:00
|
|
|
fn to_mut_no_copy() {
|
|
|
|
unsafe {
|
2012-06-29 18:26:56 -05:00
|
|
|
let x = ~[1, 2, 3];
|
2012-09-12 19:45:23 -05:00
|
|
|
let addr = raw::to_ptr(x);
|
2012-06-24 22:18:18 -05:00
|
|
|
let x_mut = to_mut(x);
|
2012-09-12 19:45:23 -05:00
|
|
|
let addr_mut = raw::to_ptr(x_mut);
|
2012-06-24 22:18:18 -05:00
|
|
|
assert addr == addr_mut;
|
|
|
|
}
|
2012-03-01 01:44:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2012-06-24 22:18:18 -05:00
|
|
|
fn from_mut_no_copy() {
|
|
|
|
unsafe {
|
2012-06-29 18:26:56 -05:00
|
|
|
let x = ~[mut 1, 2, 3];
|
2012-09-12 19:45:23 -05:00
|
|
|
let addr = raw::to_ptr(x);
|
2012-06-24 22:18:18 -05:00
|
|
|
let x_imm = from_mut(x);
|
2012-09-12 19:45:23 -05:00
|
|
|
let addr_imm = raw::to_ptr(x_imm);
|
2012-06-24 22:18:18 -05:00
|
|
|
assert addr == addr_imm;
|
|
|
|
}
|
2012-03-01 01:44:52 -06:00
|
|
|
}
|
2012-03-18 18:16:47 -05:00
|
|
|
|
2012-06-22 18:31:57 -05:00
|
|
|
#[test]
|
|
|
|
fn test_unshift() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut x = ~[1, 2, 3];
|
2012-09-28 00:20:47 -05:00
|
|
|
x.unshift(0);
|
2012-06-29 18:26:56 -05:00
|
|
|
assert x == ~[0, 1, 2, 3];
|
2012-06-22 18:31:57 -05:00
|
|
|
}
|
|
|
|
|
2012-03-29 01:10:58 -05:00
|
|
|
#[test]
|
|
|
|
fn test_capacity() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[0u64];
|
2012-09-21 20:43:30 -05:00
|
|
|
reserve(&mut v, 10u);
|
2012-09-28 00:20:47 -05:00
|
|
|
assert capacity(&v) == 10u;
|
2012-06-29 18:26:56 -05:00
|
|
|
let mut v = ~[0u32];
|
2012-09-21 20:43:30 -05:00
|
|
|
reserve(&mut v, 10u);
|
2012-09-28 00:20:47 -05:00
|
|
|
assert capacity(&v) == 10u;
|
2012-03-29 01:10:58 -05:00
|
|
|
}
|
2012-05-18 18:55:22 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_view() {
|
2012-06-29 18:26:56 -05:00
|
|
|
let v = ~[1, 2, 3, 4, 5];
|
2012-09-18 15:46:53 -05:00
|
|
|
let v = v.view(1u, 3u);
|
2012-05-18 18:55:22 -05:00
|
|
|
assert(len(v) == 2u);
|
|
|
|
assert(v[0] == 2);
|
|
|
|
assert(v[1] == 3);
|
|
|
|
}
|
2012-09-27 18:41:38 -05:00
|
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_from_fn_fail() {
|
|
|
|
do from_fn(100) |v| {
|
|
|
|
if v == 50 { fail }
|
|
|
|
(~0, @0)
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_build_fail() {
|
|
|
|
do build |push| {
|
|
|
|
push((~0, @0));
|
|
|
|
push((~0, @0));
|
|
|
|
push((~0, @0));
|
|
|
|
push((~0, @0));
|
|
|
|
fail;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_split_fail_ret_true() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do split(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
|
|
|
|
true
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_split_fail_ret_false() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do split(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
|
|
|
|
false
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_splitn_fail_ret_true() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do splitn(v, 100) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
|
|
|
|
true
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_splitn_fail_ret_false() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do split(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
|
|
|
|
false
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_rsplit_fail_ret_true() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do rsplit(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
|
|
|
|
true
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_rsplit_fail_ret_false() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do rsplit(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
|
|
|
|
false
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_rsplitn_fail_ret_true() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do rsplitn(v, 100) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
|
|
|
|
true
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_rsplitn_fail_ret_false() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do rsplitn(v, 100) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
|
|
|
|
false
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_consume_fail() {
|
|
|
|
let v = ~[(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do consume(v) |_i, _elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_consume_mut_fail() {
|
|
|
|
let v = ~[mut (~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do consume_mut(v) |_i, _elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 1;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
2012-09-28 15:00:07 -05:00
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
2012-09-27 18:41:38 -05:00
|
|
|
fn test_grow_fn_fail() {
|
|
|
|
let mut v = ~[];
|
2012-09-28 00:20:47 -05:00
|
|
|
do v.grow_fn(100) |i| {
|
2012-09-27 18:41:38 -05:00
|
|
|
if i == 50 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
(~0, @0)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_map_fail() {
|
|
|
|
let v = [mut (~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do map(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
~[(~0, @0)]
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_map_consume_fail() {
|
|
|
|
let v = ~[(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do map_consume(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
~[(~0, @0)]
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_mapi_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do mapi(v) |_i, _elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
~[(~0, @0)]
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_flat_map_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do map(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
~[(~0, @0)]
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_map2_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do map2(v, v) |_elt1, _elt2| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
~[(~0, @0)]
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_filter_map_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do filter_map(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
Some((~0, @0))
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_filter_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do filter(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
true
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_foldl_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do foldl((~0, @0), v) |_a, _b| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
(~0, @0)
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_foldr_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do foldr(v, (~0, @0)) |_a, _b| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
(~0, @0)
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_any_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do any(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
false
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_any2_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do any(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
false
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_all_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do all(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
true
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_alli_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do alli(v) |_i, _elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
true
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_all2_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do all2(v, v) |_elt1, _elt2| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
true
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_find_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do find(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
false
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_position_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do position(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
false
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_rposition_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do rposition(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
false
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_each_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do each(v) |_elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_eachi_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
|
|
|
do eachi(v) |_i, _elt| {
|
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
fn test_permute_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
let mut i = 0;
|
2012-09-28 00:20:47 -05:00
|
|
|
for each_permutation(v) |_elt| {
|
2012-09-27 18:41:38 -05:00
|
|
|
if i == 2 {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
i += 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_as_imm_buf_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
do as_imm_buf(v) |_buf, _i| {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_as_const_buf_fail() {
|
|
|
|
let v = [(~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
do as_const_buf(v) |_buf, _i| {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(windows)]
|
|
|
|
#[should_fail]
|
|
|
|
fn test_as_mut_buf_fail() {
|
|
|
|
let v = [mut (~0, @0), (~0, @0), (~0, @0), (~0, @0)];
|
|
|
|
do as_mut_buf(v) |_buf, _i| {
|
|
|
|
fail
|
|
|
|
}
|
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
}
|
|
|
|
|
2011-12-13 18:25:51 -06:00
|
|
|
// Local Variables:
|
|
|
|
// mode: rust;
|
|
|
|
// fill-column: 78;
|
|
|
|
// indent-tabs-mode: nil
|
|
|
|
// c-basic-offset: 4
|
|
|
|
// buffer-file-coding-system: utf-8-unix
|
|
|
|
// End:
|