_vec.rs 3.2 KB
Newer Older
G
Graydon Hoare 已提交
1
import vbuf = rustrt.vbuf;
2
import std.option;
G
Graydon Hoare 已提交
3 4

native "rust" mod rustrt {
5
    type vbuf;
6

7
    fn vec_buf[T](vec[T] v, uint offset) -> vbuf;
8

9 10 11 12 13 14
    fn vec_len[T](vec[T] v) -> uint;
    /**
     * Sometimes we modify the vec internal data via vec_buf and need to
     * update the vec's fill length accordingly.
     */
    fn vec_len_set[T](vec[T] v, uint n);
15

16 17 18 19 20 21
    /**
     * The T in vec_alloc[T, U] is the type of the vec to allocate.  The
     * U is the type of an element in the vec.  So to allocate a vec[U] we
     * want to invoke this as vec_alloc[vec[U], U].
     */
    fn vec_alloc[T, U](uint n_elts) -> vec[U];
22

23
    fn refcount[T](vec[T] v) -> uint;
24

25
    fn vec_print_debug_info[T](vec[T] v);
G
Graydon Hoare 已提交
26 27
}

28
fn alloc[T](uint n_elts) -> vec[T] {
29
    ret rustrt.vec_alloc[vec[T], T](n_elts);
G
Graydon Hoare 已提交
30 31
}

32
fn refcount[T](vec[T] v) -> uint {
33 34
    // -1 because calling this function incremented the refcount.
    ret rustrt.refcount[T](v) - 1u;
35 36
}

37 38 39
type init_op[T] = fn(uint i) -> T;

fn init_fn[T](&init_op[T] op, uint n_elts) -> vec[T] {
40 41 42 43 44 45 46
    let vec[T] v = alloc[T](n_elts);
    let uint i = 0u;
    while (i < n_elts) {
        v += vec(op(i));
        i += 1u;
    }
    ret v;
47 48 49
}

fn init_elt[T](&T t, uint n_elts) -> vec[T] {
50 51 52 53 54 55 56 57 58 59 60 61 62 63
    /**
     * FIXME (issue #81): should be:
     *
     * fn elt_op[T](&T x, uint i) -> T { ret x; }
     * let init_op[T] inner = bind elt_op[T](t, _);
     * ret init_fn[T](inner, n_elts);
     */
    let vec[T] v = alloc[T](n_elts);
    let uint i = n_elts;
    while (i > 0u) {
        i -= 1u;
        v += vec(t);
    }
    ret v;
G
Graydon Hoare 已提交
64 65
}

66
fn buf[T](vec[T] v) -> vbuf {
67
    ret rustrt.vec_buf[T](v, 0u);
68 69
}

G
Graydon Hoare 已提交
70
fn len[T](vec[T] v) -> uint {
71
    ret rustrt.vec_len[T](v);
G
Graydon Hoare 已提交
72 73
}

74
fn len_set[T](vec[T] v, uint n) {
75
    rustrt.vec_len_set[T](v, n);
76 77 78
}

fn buf_off[T](vec[T] v, uint offset) -> vbuf {
79 80
    check (offset < len[T](v));
    ret rustrt.vec_buf[T](v, offset);
G
Graydon Hoare 已提交
81
}
82

83
fn print_debug_info[T](vec[T] v) {
84
    rustrt.vec_print_debug_info[T](v);
85 86
}

87
// Returns elements from [start..end) from v.
88
fn slice[T](vec[T] v, uint start, uint end) -> vec[T] {
89
    check (start <= end);
90 91 92
    check (end <= len[T](v));
    auto result = alloc[T](end - start);
    let uint i = start;
93 94
    while (i < end) {
        result += vec(v.(i));
95
        i += 1u;
96 97
    }
    ret result;
98 99
}

100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123
fn shift[T](vec[T] v) -> vec[T] {
    check(len[T](v) > 0u);
    ret slice[T](v, 1u, len[T](v));
}

fn pop[T](vec[T] v) -> vec[T] {
    check(len[T](v) > 0u);
    ret slice[T](v, 0u, len[T](v) - 1u);
}

fn push[T](vec[T] v, &T t) -> vec[T] {
    v += t;
    ret v;
}

fn unshift[T](vec[T] v, &T t) -> vec[T] {
    auto res = alloc[T](len[T](v) + 1u);
    res += t;
    for (T t_ in v) {
        res += t_;
    }
    ret res;
}

124
fn grow[T](&mutable vec[T] v, int n, &T initval) {
125 126 127 128 129
    let int i = n;
    while (i > 0) {
        i -= 1;
        v += vec(initval);
    }
130
}
131

132
fn map[T, U](&option.operator[T,U] f, &vec[T] v) -> vec[U] {
133 134 135 136 137
    let vec[U] u = alloc[U](len[T](v));
    for (T ve in v) {
        u += vec(f(ve));
    }
    ret u;
138
}
139 140 141 142 143 144 145 146 147

// Local Variables:
// mode: rust;
// fill-column: 78;
// indent-tabs-mode: nil
// c-basic-offset: 4
// buffer-file-coding-system: utf-8-unix
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
// End: