2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "A map type"];
|
2011-10-26 13:28:23 -05:00
|
|
|
|
2012-03-07 18:48:57 -06:00
|
|
|
import chained::hashmap;
|
2012-03-14 14:07:23 -05:00
|
|
|
export hashmap, hashfn, eqfn, set, map, chained, hashmap, str_hash;
|
2012-06-10 02:49:59 -05:00
|
|
|
export box_str_hash;
|
2012-03-14 14:07:23 -05:00
|
|
|
export bytes_hash, int_hash, uint_hash, set_add;
|
2012-03-14 21:32:19 -05:00
|
|
|
export hash_from_vec, hash_from_strs, hash_from_bytes;
|
|
|
|
export hash_from_ints, hash_from_uints;
|
2012-05-16 17:45:06 -05:00
|
|
|
export vec_from_set;
|
2012-03-07 18:48:57 -06:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "
|
|
|
|
A function that returns a hash of a value
|
2011-10-26 13:28:23 -05:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
The hash should concentrate entropy in the lower bits.
|
|
|
|
"]
|
2012-01-11 11:58:05 -06:00
|
|
|
type hashfn<K> = fn@(K) -> uint;
|
2011-06-15 13:19:50 -05:00
|
|
|
|
2012-01-11 11:58:05 -06:00
|
|
|
type eqfn<K> = fn@(K, K) -> bool;
|
2011-06-15 13:19:50 -05:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "A convenience type to treat a hashmap as a set"]
|
2012-03-07 18:48:57 -06:00
|
|
|
type set<K> = hashmap<K, ()>;
|
2012-01-09 09:24:53 -06:00
|
|
|
|
2012-03-07 18:48:57 -06:00
|
|
|
type hashmap<K, V> = chained::t<K, V>;
|
2011-07-21 20:14:39 -05:00
|
|
|
|
2012-06-08 16:35:11 -05:00
|
|
|
iface map<K, V: copy> {
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "Return the number of elements in the map"]
|
2011-10-26 13:28:23 -05:00
|
|
|
fn size() -> uint;
|
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "
|
|
|
|
Add a value to the map.
|
2011-10-26 13:28:23 -05:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
If the map already contains a value for the specified key then the
|
|
|
|
original value is replaced.
|
2011-10-26 13:28:23 -05:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
Returns true if the key did not already exist in the map
|
|
|
|
"]
|
2012-06-08 16:35:11 -05:00
|
|
|
fn insert(+K, +V) -> bool;
|
2011-10-26 13:28:23 -05:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "Returns true if the map contains a value for the specified key"]
|
2011-10-26 13:28:23 -05:00
|
|
|
fn contains_key(K) -> bool;
|
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "
|
|
|
|
Get the value for the specified key. Fails if the key does not exist in
|
|
|
|
the map.
|
|
|
|
"]
|
2011-10-26 13:28:23 -05:00
|
|
|
fn get(K) -> V;
|
2010-07-16 20:14:52 -05:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "
|
|
|
|
Get the value for the specified key. If the key does not exist in
|
|
|
|
the map then returns none.
|
|
|
|
"]
|
2012-01-31 19:05:20 -06:00
|
|
|
fn find(K) -> option<V>;
|
2011-10-26 13:28:23 -05:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "
|
2011-10-26 13:28:23 -05:00
|
|
|
Remove and return a value from the map. If the key does not exist
|
|
|
|
in the map then returns none.
|
2012-03-07 20:17:30 -06:00
|
|
|
"]
|
2012-01-31 19:05:20 -06:00
|
|
|
fn remove(K) -> option<V>;
|
2011-10-26 13:28:23 -05:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "Iterate over all the key/value pairs in the map"]
|
2012-04-23 06:42:15 -05:00
|
|
|
fn each(fn(K, V) -> bool);
|
2011-10-26 13:28:23 -05:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "Iterate over all the keys in the map"]
|
2012-04-23 06:42:15 -05:00
|
|
|
fn each_key(fn(K) -> bool);
|
2012-01-27 22:39:16 -06:00
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "Iterate over all the values in the map"]
|
2012-04-23 06:42:15 -05:00
|
|
|
fn each_value(fn(V) -> bool);
|
2012-01-09 09:24:53 -06:00
|
|
|
}
|
2011-10-26 13:28:23 -05:00
|
|
|
|
2012-01-09 09:24:53 -06:00
|
|
|
// FIXME: package this up and export it as a datatype usable for
|
2012-05-03 17:36:47 -05:00
|
|
|
// external code that doesn't want to pay the cost of a box. (#2344)
|
2011-12-06 21:56:47 -06:00
|
|
|
mod chained {
|
2012-05-22 12:02:34 -05:00
|
|
|
export t, mk, hashmap;
|
|
|
|
|
2012-01-09 09:24:53 -06:00
|
|
|
type entry<K, V> = {
|
2011-12-06 21:56:47 -06:00
|
|
|
hash: uint,
|
|
|
|
key: K,
|
2012-03-26 20:35:18 -05:00
|
|
|
mut value: V,
|
|
|
|
mut next: chain<K, V>
|
2011-12-06 21:56:47 -06:00
|
|
|
};
|
|
|
|
|
2012-01-19 17:20:57 -06:00
|
|
|
enum chain<K, V> {
|
2012-01-19 21:08:08 -06:00
|
|
|
present(@entry<K, V>),
|
2012-01-19 21:29:21 -06:00
|
|
|
absent
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
|
|
|
|
2012-03-07 18:48:57 -06:00
|
|
|
type t<K, V> = @{
|
2012-03-26 20:35:18 -05:00
|
|
|
mut count: uint,
|
|
|
|
mut chains: [mut chain<K,V>],
|
2011-12-06 21:56:47 -06:00
|
|
|
hasher: hashfn<K>,
|
|
|
|
eqer: eqfn<K>
|
|
|
|
};
|
|
|
|
|
2012-01-19 17:20:57 -06:00
|
|
|
enum search_result<K, V> {
|
2012-01-19 21:08:08 -06:00
|
|
|
not_found,
|
|
|
|
found_first(uint, @entry<K,V>),
|
2012-01-19 21:29:21 -06:00
|
|
|
found_after(@entry<K,V>, @entry<K,V>)
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
|
|
|
|
2012-06-08 16:35:11 -05:00
|
|
|
impl private_methods<K, V: copy> for t<K, V> {
|
2012-05-22 12:02:34 -05:00
|
|
|
fn search_rem(k: K, h: uint, idx: uint,
|
|
|
|
e_root: @entry<K,V>) -> search_result<K,V> {
|
|
|
|
let mut e0 = e_root;
|
|
|
|
let mut comp = 1u; // for logging
|
|
|
|
loop {
|
2012-05-23 19:18:31 -05:00
|
|
|
alt copy e0.next {
|
2012-05-22 12:02:34 -05:00
|
|
|
absent {
|
|
|
|
#debug("search_tbl: absent, comp %u, hash %u, idx %u",
|
|
|
|
comp, h, idx);
|
|
|
|
ret not_found;
|
|
|
|
}
|
|
|
|
present(e1) {
|
|
|
|
comp += 1u;
|
2012-05-23 19:18:31 -05:00
|
|
|
if e1.hash == h && self.eqer(e1.key, k) {
|
2012-05-22 12:02:34 -05:00
|
|
|
#debug("search_tbl: present, comp %u, \
|
|
|
|
hash %u, idx %u",
|
|
|
|
comp, h, idx);
|
|
|
|
ret found_after(e0, e1);
|
|
|
|
} else {
|
|
|
|
e0 = e1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
fn search_tbl(k: K, h: uint) -> search_result<K,V> {
|
|
|
|
let idx = h % vec::len(self.chains);
|
2012-05-23 19:18:31 -05:00
|
|
|
alt copy self.chains[idx] {
|
2012-01-19 00:37:22 -06:00
|
|
|
absent {
|
2011-12-22 18:13:40 -06:00
|
|
|
#debug("search_tbl: absent, comp %u, hash %u, idx %u",
|
2012-05-22 12:02:34 -05:00
|
|
|
0u, h, idx);
|
2011-12-06 22:22:12 -06:00
|
|
|
ret not_found;
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
2012-05-22 12:02:34 -05:00
|
|
|
present(e) {
|
2012-05-23 19:18:31 -05:00
|
|
|
if e.hash == h && self.eqer(e.key, k) {
|
2011-12-22 18:13:40 -06:00
|
|
|
#debug("search_tbl: present, comp %u, hash %u, idx %u",
|
2012-05-22 12:02:34 -05:00
|
|
|
1u, h, idx);
|
|
|
|
ret found_first(idx, e);
|
2011-12-06 21:56:47 -06:00
|
|
|
} else {
|
2012-05-22 12:02:34 -05:00
|
|
|
ret self.search_rem(k, h, idx, e);
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn rehash() {
|
|
|
|
let n_old_chains = vec::len(self.chains);
|
|
|
|
let n_new_chains: uint = uint::next_power_of_two(n_old_chains+1u);
|
|
|
|
let new_chains = chains(n_new_chains);
|
|
|
|
for self.each_entry {|entry|
|
|
|
|
let idx = entry.hash % n_new_chains;
|
|
|
|
entry.next = new_chains[idx];
|
|
|
|
new_chains[idx] = present(entry);
|
|
|
|
}
|
|
|
|
self.chains = new_chains;
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn each_entry(blk: fn(@entry<K,V>) -> bool) {
|
|
|
|
let mut i = 0u, n = vec::len(self.chains);
|
|
|
|
while i < n {
|
|
|
|
let mut chain = self.chains[i];
|
|
|
|
loop {
|
|
|
|
chain = alt chain {
|
|
|
|
absent { break; }
|
|
|
|
present(entry) {
|
|
|
|
let next = entry.next;
|
|
|
|
if !blk(entry) { ret; }
|
|
|
|
next
|
|
|
|
}
|
|
|
|
}
|
2012-04-23 06:42:15 -05:00
|
|
|
}
|
2012-05-22 12:02:34 -05:00
|
|
|
i += 1u;
|
2012-04-23 06:42:15 -05:00
|
|
|
}
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-06-08 16:35:11 -05:00
|
|
|
impl hashmap<K, V: copy> of map<K, V> for t<K, V> {
|
2012-03-07 18:48:57 -06:00
|
|
|
fn size() -> uint { self.count }
|
2011-12-06 21:56:47 -06:00
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn contains_key(k: K) -> bool {
|
|
|
|
let hash = self.hasher(k);
|
|
|
|
alt self.search_tbl(k, hash) {
|
|
|
|
not_found {false}
|
|
|
|
found_first(*) | found_after(*) {true}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-06-08 16:35:11 -05:00
|
|
|
fn insert(+k: K, +v: V) -> bool {
|
2012-05-22 12:02:34 -05:00
|
|
|
let hash = self.hasher(k);
|
|
|
|
alt self.search_tbl(k, hash) {
|
|
|
|
not_found {
|
|
|
|
self.count += 1u;
|
|
|
|
let idx = hash % vec::len(self.chains);
|
|
|
|
let old_chain = self.chains[idx];
|
|
|
|
self.chains[idx] = present(@{
|
|
|
|
hash: hash,
|
|
|
|
key: k,
|
|
|
|
mut value: v,
|
|
|
|
mut next: old_chain});
|
|
|
|
|
|
|
|
// consider rehashing if more 3/4 full
|
2012-03-23 07:30:29 -05:00
|
|
|
let nchains = vec::len(self.chains);
|
|
|
|
let load = {num: (self.count + 1u) as int,
|
|
|
|
den: nchains as int};
|
2012-05-22 12:02:34 -05:00
|
|
|
if !util::rational_leq(load, {num:3, den:4}) {
|
|
|
|
self.rehash();
|
|
|
|
}
|
|
|
|
|
|
|
|
ret true;
|
|
|
|
}
|
|
|
|
found_first(_, entry) {
|
|
|
|
entry.value = v;
|
|
|
|
ret false;
|
|
|
|
}
|
|
|
|
found_after(_, entry) {
|
|
|
|
entry.value = v;
|
|
|
|
ret false
|
|
|
|
}
|
2012-03-23 07:30:29 -05:00
|
|
|
}
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn find(k: K) -> option<V> {
|
|
|
|
alt self.search_tbl(k, self.hasher(k)) {
|
|
|
|
not_found {none}
|
|
|
|
found_first(_, entry) {some(entry.value)}
|
|
|
|
found_after(_, entry) {some(entry.value)}
|
|
|
|
}
|
|
|
|
}
|
2011-12-06 21:56:47 -06:00
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn get(k: K) -> V {
|
|
|
|
option::get(self.find(k))
|
|
|
|
}
|
2011-12-06 21:56:47 -06:00
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn remove(k: K) -> option<V> {
|
|
|
|
alt self.search_tbl(k, self.hasher(k)) {
|
|
|
|
not_found {none}
|
|
|
|
found_first(idx, entry) {
|
|
|
|
self.count -= 1u;
|
|
|
|
self.chains[idx] = entry.next;
|
|
|
|
some(entry.value)
|
|
|
|
}
|
|
|
|
found_after(eprev, entry) {
|
|
|
|
self.count -= 1u;
|
|
|
|
eprev.next = entry.next;
|
|
|
|
some(entry.value)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2011-12-06 21:56:47 -06:00
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn each(blk: fn(K,V) -> bool) {
|
|
|
|
for self.each_entry { |entry|
|
2012-06-08 16:35:11 -05:00
|
|
|
if !blk(entry.key, copy entry.value) { break; }
|
2012-05-22 12:02:34 -05:00
|
|
|
}
|
|
|
|
}
|
2011-12-06 21:56:47 -06:00
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn each_key(blk: fn(K) -> bool) { self.each { |k, _v| blk(k)} }
|
2011-12-06 21:56:47 -06:00
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn each_value(blk: fn(V) -> bool) { self.each { |_k, v| blk(v)} }
|
|
|
|
}
|
2011-12-06 21:56:47 -06:00
|
|
|
|
2012-05-22 12:02:34 -05:00
|
|
|
fn chains<K,V>(nchains: uint) -> [mut chain<K,V>] {
|
|
|
|
ret vec::to_mut(vec::from_elem(nchains, absent));
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
|
|
|
|
2012-06-12 18:17:41 -05:00
|
|
|
fn mk<K, V: copy>(hasher: hashfn<K>, eqer: eqfn<K>) -> t<K,V> {
|
2011-12-06 21:56:47 -06:00
|
|
|
let initial_capacity: uint = 32u; // 2^5
|
2012-03-26 20:35:18 -05:00
|
|
|
let slf: t<K, V> = @{mut count: 0u,
|
|
|
|
mut chains: chains(initial_capacity),
|
2012-03-07 18:48:57 -06:00
|
|
|
hasher: hasher,
|
|
|
|
eqer: eqer};
|
|
|
|
slf
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-12-07 10:14:57 -06:00
|
|
|
/*
|
2012-03-14 14:07:23 -05:00
|
|
|
Function: hashmap
|
2011-12-07 10:14:57 -06:00
|
|
|
|
|
|
|
Construct a hashmap.
|
|
|
|
|
|
|
|
Parameters:
|
|
|
|
|
|
|
|
hasher - The hash function for key type K
|
|
|
|
eqer - The equality function for key type K
|
|
|
|
*/
|
2012-06-12 18:17:41 -05:00
|
|
|
fn hashmap<K: const, V: copy>(hasher: hashfn<K>, eqer: eqfn<K>)
|
2012-03-07 18:48:57 -06:00
|
|
|
-> hashmap<K, V> {
|
2012-01-09 09:24:53 -06:00
|
|
|
chained::mk(hasher, eqer)
|
2011-12-06 21:56:47 -06:00
|
|
|
}
|
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "Construct a hashmap for string keys"]
|
2012-03-14 14:07:23 -05:00
|
|
|
fn str_hash<V: copy>() -> hashmap<str, V> {
|
|
|
|
ret hashmap(str::hash, str::eq);
|
2011-07-05 04:48:19 -05:00
|
|
|
}
|
|
|
|
|
2012-06-10 02:49:59 -05:00
|
|
|
#[doc = "Construct a hashmap for boxed string keys"]
|
|
|
|
fn box_str_hash<V: copy>() -> hashmap<@str, V> {
|
|
|
|
ret hashmap({|x: @str|str::hash(*x)}, {|x,y|str::eq(*x,*y)});
|
|
|
|
}
|
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "Construct a hashmap for byte string keys"]
|
2012-03-14 14:07:23 -05:00
|
|
|
fn bytes_hash<V: copy>() -> hashmap<[u8], V> {
|
|
|
|
ret hashmap(vec::u8::hash, vec::u8::eq);
|
2012-01-06 09:36:56 -06:00
|
|
|
}
|
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "Construct a hashmap for int keys"]
|
2012-03-14 14:07:23 -05:00
|
|
|
fn int_hash<V: copy>() -> hashmap<int, V> {
|
2012-06-12 18:16:47 -05:00
|
|
|
ret hashmap(int::hash, int::eq);
|
2011-07-05 04:48:19 -05:00
|
|
|
}
|
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "Construct a hashmap for uint keys"]
|
2012-03-14 14:07:23 -05:00
|
|
|
fn uint_hash<V: copy>() -> hashmap<uint, V> {
|
2012-06-12 18:16:47 -05:00
|
|
|
ret hashmap(uint::hash, uint::eq);
|
2011-07-05 04:48:19 -05:00
|
|
|
}
|
|
|
|
|
2012-03-07 20:17:30 -06:00
|
|
|
#[doc = "
|
2011-10-26 13:28:23 -05:00
|
|
|
Convenience function for adding keys to a hashmap with nil type keys
|
2012-03-07 20:17:30 -06:00
|
|
|
"]
|
2012-05-31 12:26:05 -05:00
|
|
|
fn set_add<K: const copy>(set: set<K>, key: K) -> bool {
|
|
|
|
ret set.insert(key, ());
|
|
|
|
}
|
2012-01-17 21:05:07 -06:00
|
|
|
|
2012-05-16 17:45:06 -05:00
|
|
|
#[doc = "
|
|
|
|
Convert a set into a vector.
|
|
|
|
"]
|
|
|
|
fn vec_from_set<T: copy>(s: set<T>) -> [T] {
|
|
|
|
let mut v = [];
|
|
|
|
s.each_key() {|k|
|
|
|
|
v += [k];
|
|
|
|
true
|
|
|
|
};
|
|
|
|
v
|
|
|
|
}
|
|
|
|
|
2012-03-14 21:32:19 -05:00
|
|
|
#[doc = "Construct a hashmap from a vector"]
|
2012-05-31 12:26:05 -05:00
|
|
|
fn hash_from_vec<K: const copy, V: copy>(hasher: hashfn<K>, eqer: eqfn<K>,
|
2012-06-12 18:16:58 -05:00
|
|
|
items: [(K, V)]) -> hashmap<K, V> {
|
2012-03-14 21:32:19 -05:00
|
|
|
let map = hashmap(hasher, eqer);
|
|
|
|
vec::iter(items) { |item|
|
|
|
|
let (key, value) = item;
|
|
|
|
map.insert(key, value);
|
|
|
|
}
|
|
|
|
map
|
|
|
|
}
|
|
|
|
|
|
|
|
#[doc = "Construct a hashmap from a vector with string keys"]
|
|
|
|
fn hash_from_strs<V: copy>(items: [(str, V)]) -> hashmap<str, V> {
|
|
|
|
hash_from_vec(str::hash, str::eq, items)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[doc = "Construct a hashmap from a vector with byte keys"]
|
|
|
|
fn hash_from_bytes<V: copy>(items: [([u8], V)]) -> hashmap<[u8], V> {
|
|
|
|
hash_from_vec(vec::u8::hash, vec::u8::eq, items)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[doc = "Construct a hashmap from a vector with int keys"]
|
|
|
|
fn hash_from_ints<V: copy>(items: [(int, V)]) -> hashmap<int, V> {
|
2012-06-12 18:16:47 -05:00
|
|
|
hash_from_vec(int::hash, int::eq, items)
|
2012-03-14 21:32:19 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[doc = "Construct a hashmap from a vector with uint keys"]
|
|
|
|
fn hash_from_uints<V: copy>(items: [(uint, V)]) -> hashmap<uint, V> {
|
2012-06-12 18:16:47 -05:00
|
|
|
hash_from_vec(uint::hash, uint::eq, items)
|
2012-03-14 21:32:19 -05:00
|
|
|
}
|
|
|
|
|
2012-01-17 21:05:07 -06:00
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_simple() {
|
|
|
|
#debug("*** starting test_simple");
|
|
|
|
fn eq_uint(&&x: uint, &&y: uint) -> bool { ret x == y; }
|
|
|
|
fn uint_id(&&x: uint) -> uint { x }
|
|
|
|
let hasher_uint: map::hashfn<uint> = uint_id;
|
|
|
|
let eqer_uint: map::eqfn<uint> = eq_uint;
|
|
|
|
let hasher_str: map::hashfn<str> = str::hash;
|
|
|
|
let eqer_str: map::eqfn<str> = str::eq;
|
|
|
|
#debug("uint -> uint");
|
|
|
|
let hm_uu: map::hashmap<uint, uint> =
|
2012-03-14 14:07:23 -05:00
|
|
|
map::hashmap::<uint, uint>(hasher_uint, eqer_uint);
|
2012-01-17 21:05:07 -06:00
|
|
|
assert (hm_uu.insert(10u, 12u));
|
|
|
|
assert (hm_uu.insert(11u, 13u));
|
|
|
|
assert (hm_uu.insert(12u, 14u));
|
|
|
|
assert (hm_uu.get(11u) == 13u);
|
|
|
|
assert (hm_uu.get(12u) == 14u);
|
|
|
|
assert (hm_uu.get(10u) == 12u);
|
|
|
|
assert (!hm_uu.insert(12u, 14u));
|
|
|
|
assert (hm_uu.get(12u) == 14u);
|
|
|
|
assert (!hm_uu.insert(12u, 12u));
|
|
|
|
assert (hm_uu.get(12u) == 12u);
|
|
|
|
let ten: str = "ten";
|
|
|
|
let eleven: str = "eleven";
|
|
|
|
let twelve: str = "twelve";
|
|
|
|
#debug("str -> uint");
|
|
|
|
let hm_su: map::hashmap<str, uint> =
|
2012-03-14 14:07:23 -05:00
|
|
|
map::hashmap::<str, uint>(hasher_str, eqer_str);
|
2012-01-17 21:05:07 -06:00
|
|
|
assert (hm_su.insert("ten", 12u));
|
|
|
|
assert (hm_su.insert(eleven, 13u));
|
|
|
|
assert (hm_su.insert("twelve", 14u));
|
|
|
|
assert (hm_su.get(eleven) == 13u);
|
|
|
|
assert (hm_su.get("eleven") == 13u);
|
|
|
|
assert (hm_su.get("twelve") == 14u);
|
|
|
|
assert (hm_su.get("ten") == 12u);
|
|
|
|
assert (!hm_su.insert("twelve", 14u));
|
|
|
|
assert (hm_su.get("twelve") == 14u);
|
|
|
|
assert (!hm_su.insert("twelve", 12u));
|
|
|
|
assert (hm_su.get("twelve") == 12u);
|
|
|
|
#debug("uint -> str");
|
|
|
|
let hm_us: map::hashmap<uint, str> =
|
2012-03-14 14:07:23 -05:00
|
|
|
map::hashmap::<uint, str>(hasher_uint, eqer_uint);
|
2012-01-17 21:05:07 -06:00
|
|
|
assert (hm_us.insert(10u, "twelve"));
|
|
|
|
assert (hm_us.insert(11u, "thirteen"));
|
|
|
|
assert (hm_us.insert(12u, "fourteen"));
|
|
|
|
assert (str::eq(hm_us.get(11u), "thirteen"));
|
|
|
|
assert (str::eq(hm_us.get(12u), "fourteen"));
|
|
|
|
assert (str::eq(hm_us.get(10u), "twelve"));
|
|
|
|
assert (!hm_us.insert(12u, "fourteen"));
|
|
|
|
assert (str::eq(hm_us.get(12u), "fourteen"));
|
|
|
|
assert (!hm_us.insert(12u, "twelve"));
|
|
|
|
assert (str::eq(hm_us.get(12u), "twelve"));
|
|
|
|
#debug("str -> str");
|
|
|
|
let hm_ss: map::hashmap<str, str> =
|
2012-03-14 14:07:23 -05:00
|
|
|
map::hashmap::<str, str>(hasher_str, eqer_str);
|
2012-01-17 21:05:07 -06:00
|
|
|
assert (hm_ss.insert(ten, "twelve"));
|
|
|
|
assert (hm_ss.insert(eleven, "thirteen"));
|
|
|
|
assert (hm_ss.insert(twelve, "fourteen"));
|
|
|
|
assert (str::eq(hm_ss.get("eleven"), "thirteen"));
|
|
|
|
assert (str::eq(hm_ss.get("twelve"), "fourteen"));
|
|
|
|
assert (str::eq(hm_ss.get("ten"), "twelve"));
|
|
|
|
assert (!hm_ss.insert("twelve", "fourteen"));
|
|
|
|
assert (str::eq(hm_ss.get("twelve"), "fourteen"));
|
|
|
|
assert (!hm_ss.insert("twelve", "twelve"));
|
|
|
|
assert (str::eq(hm_ss.get("twelve"), "twelve"));
|
|
|
|
#debug("*** finished test_simple");
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Force map growth
|
|
|
|
*/
|
|
|
|
#[test]
|
|
|
|
fn test_growth() {
|
|
|
|
#debug("*** starting test_growth");
|
|
|
|
let num_to_insert: uint = 64u;
|
|
|
|
fn eq_uint(&&x: uint, &&y: uint) -> bool { ret x == y; }
|
|
|
|
fn uint_id(&&x: uint) -> uint { x }
|
|
|
|
#debug("uint -> uint");
|
|
|
|
let hasher_uint: map::hashfn<uint> = uint_id;
|
|
|
|
let eqer_uint: map::eqfn<uint> = eq_uint;
|
|
|
|
let hm_uu: map::hashmap<uint, uint> =
|
2012-03-14 14:07:23 -05:00
|
|
|
map::hashmap::<uint, uint>(hasher_uint, eqer_uint);
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i: uint = 0u;
|
2012-01-17 21:05:07 -06:00
|
|
|
while i < num_to_insert {
|
|
|
|
assert (hm_uu.insert(i, i * i));
|
|
|
|
#debug("inserting %u -> %u", i, i*i);
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
#debug("-----");
|
|
|
|
i = 0u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
#debug("get(%u) = %u", i, hm_uu.get(i));
|
|
|
|
assert (hm_uu.get(i) == i * i);
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
assert (hm_uu.insert(num_to_insert, 17u));
|
|
|
|
assert (hm_uu.get(num_to_insert) == 17u);
|
|
|
|
#debug("-----");
|
|
|
|
i = 0u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
#debug("get(%u) = %u", i, hm_uu.get(i));
|
|
|
|
assert (hm_uu.get(i) == i * i);
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
#debug("str -> str");
|
|
|
|
let hasher_str: map::hashfn<str> = str::hash;
|
|
|
|
let eqer_str: map::eqfn<str> = str::eq;
|
|
|
|
let hm_ss: map::hashmap<str, str> =
|
2012-03-14 14:07:23 -05:00
|
|
|
map::hashmap::<str, str>(hasher_str, eqer_str);
|
2012-01-17 21:05:07 -06:00
|
|
|
i = 0u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
assert hm_ss.insert(uint::to_str(i, 2u), uint::to_str(i * i, 2u));
|
|
|
|
#debug("inserting \"%s\" -> \"%s\"",
|
|
|
|
uint::to_str(i, 2u),
|
|
|
|
uint::to_str(i*i, 2u));
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
#debug("-----");
|
|
|
|
i = 0u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
#debug("get(\"%s\") = \"%s\"",
|
|
|
|
uint::to_str(i, 2u),
|
|
|
|
hm_ss.get(uint::to_str(i, 2u)));
|
|
|
|
assert (str::eq(hm_ss.get(uint::to_str(i, 2u)),
|
|
|
|
uint::to_str(i * i, 2u)));
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
assert (hm_ss.insert(uint::to_str(num_to_insert, 2u),
|
|
|
|
uint::to_str(17u, 2u)));
|
|
|
|
assert (str::eq(hm_ss.get(uint::to_str(num_to_insert, 2u)),
|
|
|
|
uint::to_str(17u, 2u)));
|
|
|
|
#debug("-----");
|
|
|
|
i = 0u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
#debug("get(\"%s\") = \"%s\"",
|
|
|
|
uint::to_str(i, 2u),
|
|
|
|
hm_ss.get(uint::to_str(i, 2u)));
|
|
|
|
assert (str::eq(hm_ss.get(uint::to_str(i, 2u)),
|
|
|
|
uint::to_str(i * i, 2u)));
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
#debug("*** finished test_growth");
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_removal() {
|
|
|
|
#debug("*** starting test_removal");
|
|
|
|
let num_to_insert: uint = 64u;
|
|
|
|
fn eq(&&x: uint, &&y: uint) -> bool { ret x == y; }
|
|
|
|
fn hash(&&u: uint) -> uint {
|
|
|
|
// This hash function intentionally causes collisions between
|
|
|
|
// consecutive integer pairs.
|
|
|
|
|
|
|
|
ret u / 2u * 2u;
|
|
|
|
}
|
|
|
|
assert (hash(0u) == hash(1u));
|
|
|
|
assert (hash(2u) == hash(3u));
|
|
|
|
assert (hash(0u) != hash(2u));
|
|
|
|
let hasher: map::hashfn<uint> = hash;
|
|
|
|
let eqer: map::eqfn<uint> = eq;
|
|
|
|
let hm: map::hashmap<uint, uint> =
|
2012-03-14 14:07:23 -05:00
|
|
|
map::hashmap::<uint, uint>(hasher, eqer);
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i: uint = 0u;
|
2012-01-17 21:05:07 -06:00
|
|
|
while i < num_to_insert {
|
|
|
|
assert (hm.insert(i, i * i));
|
|
|
|
#debug("inserting %u -> %u", i, i*i);
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
assert (hm.size() == num_to_insert);
|
|
|
|
#debug("-----");
|
|
|
|
#debug("removing evens");
|
|
|
|
i = 0u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
let v = hm.remove(i);
|
|
|
|
alt v {
|
|
|
|
option::some(u) { assert (u == i * i); }
|
2012-01-19 00:37:22 -06:00
|
|
|
option::none { fail; }
|
2012-01-17 21:05:07 -06:00
|
|
|
}
|
|
|
|
i += 2u;
|
|
|
|
}
|
|
|
|
assert (hm.size() == num_to_insert / 2u);
|
|
|
|
#debug("-----");
|
|
|
|
i = 1u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
#debug("get(%u) = %u", i, hm.get(i));
|
|
|
|
assert (hm.get(i) == i * i);
|
|
|
|
i += 2u;
|
|
|
|
}
|
|
|
|
#debug("-----");
|
|
|
|
i = 1u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
#debug("get(%u) = %u", i, hm.get(i));
|
|
|
|
assert (hm.get(i) == i * i);
|
|
|
|
i += 2u;
|
|
|
|
}
|
|
|
|
#debug("-----");
|
|
|
|
i = 0u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
assert (hm.insert(i, i * i));
|
|
|
|
#debug("inserting %u -> %u", i, i*i);
|
|
|
|
i += 2u;
|
|
|
|
}
|
|
|
|
assert (hm.size() == num_to_insert);
|
|
|
|
#debug("-----");
|
|
|
|
i = 0u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
#debug("get(%u) = %u", i, hm.get(i));
|
|
|
|
assert (hm.get(i) == i * i);
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
#debug("-----");
|
|
|
|
assert (hm.size() == num_to_insert);
|
|
|
|
i = 0u;
|
|
|
|
while i < num_to_insert {
|
|
|
|
#debug("get(%u) = %u", i, hm.get(i));
|
|
|
|
assert (hm.get(i) == i * i);
|
|
|
|
i += 1u;
|
|
|
|
}
|
|
|
|
#debug("*** finished test_removal");
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_contains_key() {
|
|
|
|
let key = "k";
|
2012-03-14 14:07:23 -05:00
|
|
|
let map = map::hashmap::<str, str>(str::hash, str::eq);
|
2012-01-17 21:05:07 -06:00
|
|
|
assert (!map.contains_key(key));
|
|
|
|
map.insert(key, "val");
|
|
|
|
assert (map.contains_key(key));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_find() {
|
|
|
|
let key = "k";
|
2012-03-14 14:07:23 -05:00
|
|
|
let map = map::hashmap::<str, str>(str::hash, str::eq);
|
2012-01-17 21:05:07 -06:00
|
|
|
assert (option::is_none(map.find(key)));
|
|
|
|
map.insert(key, "val");
|
|
|
|
assert (option::get(map.find(key)) == "val");
|
|
|
|
}
|
2012-03-14 21:32:19 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_hash_from_vec() {
|
|
|
|
let map = map::hash_from_strs([
|
|
|
|
("a", 1),
|
|
|
|
("b", 2),
|
|
|
|
("c", 3)
|
|
|
|
]);
|
|
|
|
assert map.size() == 3u;
|
|
|
|
assert map.get("a") == 1;
|
|
|
|
assert map.get("b") == 2;
|
|
|
|
assert map.get("c") == 3;
|
|
|
|
}
|
2012-01-27 22:39:16 -06:00
|
|
|
}
|