2011-06-15 13:19:50 -05:00
|
|
|
|
|
|
|
|
2011-06-03 18:14:29 -05:00
|
|
|
/// A simple map based on a vector for small integer keys. Space requirements
|
|
|
|
/// are O(highest integer key).
|
|
|
|
import option::none;
|
|
|
|
import option::some;
|
|
|
|
|
2011-06-19 20:02:37 -05:00
|
|
|
// FIXME: Should not be @; there's a bug somewhere in rustc that requires this
|
|
|
|
// to be.
|
2011-08-04 19:24:54 -05:00
|
|
|
type smallintmap[T] = @{mutable v: [mutable option::t[T]]};
|
2011-06-03 18:14:29 -05:00
|
|
|
|
2011-07-29 20:38:22 -05:00
|
|
|
fn mk[@T]() -> smallintmap[T] {
|
2011-08-04 19:24:54 -05:00
|
|
|
let v: [mutable option::t[T]] = ~[mutable];
|
2011-07-27 07:19:39 -05:00
|
|
|
ret @{mutable v: v};
|
2011-06-03 18:14:29 -05:00
|
|
|
}
|
|
|
|
|
2011-07-29 20:38:22 -05:00
|
|
|
fn insert[@T](m: &smallintmap[T], key: uint, val: &T) {
|
2011-08-15 18:38:23 -05:00
|
|
|
vec::grow_set[option::t[T]](m.v, key, none[T], some[T](val));
|
2011-06-03 18:14:29 -05:00
|
|
|
}
|
|
|
|
|
2011-07-29 20:38:22 -05:00
|
|
|
fn find[@T](m: &smallintmap[T], key: uint) -> option::t[T] {
|
2011-08-15 18:38:23 -05:00
|
|
|
if key < vec::len[option::t[T]](m.v) { ret m.v.(key); }
|
2011-06-03 18:14:29 -05:00
|
|
|
ret none[T];
|
|
|
|
}
|
|
|
|
|
2011-07-29 20:38:22 -05:00
|
|
|
fn get[@T](m: &smallintmap[T], key: uint) -> T {
|
2011-07-27 07:19:39 -05:00
|
|
|
alt find[T](m, key) {
|
|
|
|
none[T]. { log_err "smallintmap::get(): key not present"; fail; }
|
|
|
|
some[T](v) { ret v; }
|
2011-06-03 18:14:29 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-07-29 20:38:22 -05:00
|
|
|
fn contains_key[@T](m: &smallintmap[T], key: uint) -> bool {
|
2011-06-03 18:14:29 -05:00
|
|
|
ret !option::is_none(find[T](m, key));
|
|
|
|
}
|
|
|
|
|
2011-07-29 20:38:22 -05:00
|
|
|
fn truncate[@T](m: &smallintmap[T], len: uint) {
|
2011-08-15 18:38:23 -05:00
|
|
|
m.v = vec::slice_mut[option::t[T]](m.v, 0u, len);
|
2011-06-03 18:14:29 -05:00
|
|
|
}
|
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
fn max_key[T](m: &smallintmap[T]) -> uint {
|
2011-08-15 18:38:23 -05:00
|
|
|
ret vec::len[option::t[T]](m.v);
|
2011-07-27 07:19:39 -05:00
|
|
|
}
|
2011-06-19 20:02:37 -05:00
|
|
|
|