diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2013-01-31 20:23:45 -0800 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2013-01-31 20:23:45 -0800 |
| commit | adb9d0e8a13131ff3efab6dbb1878774588100fd (patch) | |
| tree | 3da6136f5526c3c45e6a3e0a65f8a14d4c238b53 /src/libstd | |
| parent | aee79294699153ac7da9d2e5d076192c6eee3238 (diff) | |
| parent | 74b317ddc24fb0b5ffcbaafb0983cc5ddfd4a714 (diff) | |
| download | rust-adb9d0e8a13131ff3efab6dbb1878774588100fd.tar.gz rust-adb9d0e8a13131ff3efab6dbb1878774588100fd.zip | |
Merge pull request #4733 from thestinger/smallintmap
modernize smallintmap module
Diffstat (limited to 'src/libstd')
| -rw-r--r-- | src/libstd/oldsmallintmap.rs | 237 | ||||
| -rw-r--r-- | src/libstd/smallintmap.rs | 250 | ||||
| -rw-r--r-- | src/libstd/std.rc | 1 |
3 files changed, 358 insertions, 130 deletions
diff --git a/src/libstd/oldsmallintmap.rs b/src/libstd/oldsmallintmap.rs new file mode 100644 index 00000000000..803e75e4cf7 --- /dev/null +++ b/src/libstd/oldsmallintmap.rs @@ -0,0 +1,237 @@ +// Copyright 2012 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or +// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license +// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +/*! + * A simple map based on a vector for small integer keys. Space requirements + * are O(highest integer key). + */ +#[forbid(deprecated_mode)]; + +use core::container::{Container, Mutable, Map, Set}; +use core::dvec::DVec; +use core::ops; +use core::option::{Some, None}; +use core::option; +use core::prelude::*; + +// FIXME (#2347): Should not be @; there's a bug somewhere in rustc that +// requires this to be. +struct SmallIntMap_<T> { + v: DVec<Option<T>>, +} + +pub enum SmallIntMap<T> { + SmallIntMap_(@SmallIntMap_<T>) +} + +/// Create a smallintmap +pub fn mk<T: Copy>() -> SmallIntMap<T> { + let v = DVec(); + SmallIntMap_(@SmallIntMap_ { v: v } ) +} + +/** + * Add a value to the map. If the map already contains a value for + * the specified key then the original value is replaced. + */ +#[inline(always)] +pub fn insert<T: Copy>(self: SmallIntMap<T>, key: uint, val: T) { + //io::println(fmt!("%?", key)); + self.v.grow_set_elt(key, &None, Some(val)); +} + +/** + * Get the value for the specified key. If the key does not exist + * in the map then returns none + */ +pub pure fn find<T: Copy>(self: SmallIntMap<T>, key: uint) -> Option<T> { + if key < self.v.len() { return self.v.get_elt(key); } + return None::<T>; +} + +/** + * Get the value for the specified key + * + * # Failure + * + * If the key does not exist in the map + */ +pub pure fn get<T: Copy>(self: SmallIntMap<T>, key: uint) -> T { + match find(self, key) { + None => { + error!("smallintmap::get(): key not present"); + die!(); + } + Some(move v) => return v + } +} + +/// Returns true if the map contains a value for the specified key +pub pure fn contains_key<T: Copy>(self: SmallIntMap<T>, key: uint) -> bool { + return !find(self, key).is_none(); +} + +impl<V> SmallIntMap<V>: Container { + /// Return the number of elements in the map + pure fn len(&self) -> uint { + let mut sz = 0u; + for self.v.each |item| { + match *item { + Some(_) => sz += 1u, + _ => () + } + } + sz + } + + /// Return true if the map contains no elements + pure fn is_empty(&self) -> bool { self.len() == 0 } +} + +impl<V> SmallIntMap<V>: Mutable { + fn clear(&mut self) { self.v.set(~[]) } +} + +/// Implements the map::map interface for smallintmap +impl<V: Copy> SmallIntMap<V> { + #[inline(always)] + fn insert(key: uint, value: V) -> bool { + let exists = contains_key(self, key); + insert(self, key, value); + return !exists; + } + fn remove(key: uint) -> bool { + if key >= self.v.len() { + return false; + } + let old = self.v.get_elt(key); + self.v.set_elt(key, None); + old.is_some() + } + pure fn contains_key(key: uint) -> bool { + contains_key(self, key) + } + pure fn contains_key_ref(key: &uint) -> bool { + contains_key(self, *key) + } + pure fn get(key: uint) -> V { get(self, key) } + pure fn find(key: uint) -> Option<V> { find(self, key) } + + fn update_with_key(key: uint, val: V, ff: fn(uint, V, V) -> V) -> bool { + match self.find(key) { + None => return self.insert(key, val), + Some(copy orig) => return self.insert(key, ff(key, orig, val)), + } + } + + fn update(key: uint, newval: V, ff: fn(V, V) -> V) -> bool { + return self.update_with_key(key, newval, |_k, v, v1| ff(v,v1)); + } + + pure fn each(it: fn(key: uint, value: V) -> bool) { + self.each_ref(|k, v| it(*k, *v)) + } + pure fn each_key(it: fn(key: uint) -> bool) { + self.each_ref(|k, _v| it(*k)) + } + pure fn each_value(it: fn(value: V) -> bool) { + self.each_ref(|_k, v| it(*v)) + } + pure fn each_ref(it: fn(key: &uint, value: &V) -> bool) { + let mut idx = 0u, l = self.v.len(); + while idx < l { + match self.v.get_elt(idx) { + Some(ref elt) => if !it(&idx, elt) { break }, + None => () + } + idx += 1u; + } + } + pure fn each_key_ref(blk: fn(key: &uint) -> bool) { + self.each_ref(|k, _v| blk(k)) + } + pure fn each_value_ref(blk: fn(value: &V) -> bool) { + self.each_ref(|_k, v| blk(v)) + } +} + +impl<V: Copy> SmallIntMap<V>: ops::Index<uint, V> { + pure fn index(&self, key: uint) -> V { + unsafe { + get(*self, key) + } + } +} + +#[cfg(test)] +mod tests { + use super::{mk, SmallIntMap}; + + use core::option::None; + + #[test] + fn test_len() { + let mut map = mk(); + assert map.len() == 0; + assert map.is_empty(); + map.insert(5, 20); + assert map.len() == 1; + assert !map.is_empty(); + map.insert(11, 12); + assert map.len() == 2; + assert !map.is_empty(); + map.insert(14, 22); + assert map.len() == 3; + assert !map.is_empty(); + } + + #[test] + fn test_clear() { + let mut map = mk(); + map.insert(5, 20); + map.insert(11, 12); + map.insert(14, 22); + map.clear(); + assert map.is_empty(); + assert map.find(5).is_none(); + assert map.find(11).is_none(); + assert map.find(14).is_none(); + } + + #[test] + fn test_insert_with_key() { + let map: SmallIntMap<uint> = mk(); + + // given a new key, initialize it with this new count, given + // given an existing key, add more to its count + fn addMoreToCount(_k: uint, v0: uint, v1: uint) -> uint { + v0 + v1 + } + + fn addMoreToCount_simple(v0: uint, v1: uint) -> uint { + v0 + v1 + } + + // count integers + map.update(3, 1, addMoreToCount_simple); + map.update_with_key(9, 1, addMoreToCount); + map.update(3, 7, addMoreToCount_simple); + map.update_with_key(5, 3, addMoreToCount); + map.update_with_key(3, 2, addMoreToCount); + + // check the total counts + assert map.find(3).get() == 10; + assert map.find(5).get() == 3; + assert map.find(9).get() == 1; + + // sadly, no sevens were counted + assert None == map.find(7); + } +} diff --git a/src/libstd/smallintmap.rs b/src/libstd/smallintmap.rs index c4680056e19..a21328b3d63 100644 --- a/src/libstd/smallintmap.rs +++ b/src/libstd/smallintmap.rs @@ -14,171 +14,161 @@ */ #[forbid(deprecated_mode)]; -use map; -use map::StdMap; - -use core::dvec::DVec; -use core::ops; +use core::container::{Container, Mutable, Map, Set}; use core::option::{Some, None}; -use core::option; use core::prelude::*; -// FIXME (#2347): Should not be @; there's a bug somewhere in rustc that -// requires this to be. -struct SmallIntMap_<T> { - v: DVec<Option<T>>, -} - -pub enum SmallIntMap<T> { - SmallIntMap_(@SmallIntMap_<T>) +pub struct SmallIntMap<T> { + priv v: ~[Option<T>], } -/// Create a smallintmap -pub fn mk<T: Copy>() -> SmallIntMap<T> { - let v = DVec(); - SmallIntMap_(@SmallIntMap_ { v: v } ) -} +impl<V> SmallIntMap<V>: Container { + /// Return the number of elements in the map + pure fn len(&self) -> uint { + let mut sz = 0; + for self.v.each |item| { + if item.is_some() { + sz += 1; + } + } + sz + } -/** - * Add a value to the map. If the map already contains a value for - * the specified key then the original value is replaced. - */ -#[inline(always)] -pub fn insert<T: Copy>(self: SmallIntMap<T>, key: uint, val: T) { - //io::println(fmt!("%?", key)); - self.v.grow_set_elt(key, &None, Some(val)); + /// Return true if the map contains no elements + pure fn is_empty(&self) -> bool { self.len() == 0 } } -/** - * Get the value for the specified key. If the key does not exist - * in the map then returns none - */ -pub pure fn find<T: Copy>(self: SmallIntMap<T>, key: uint) -> Option<T> { - if key < self.v.len() { return self.v.get_elt(key); } - return None::<T>; +impl<V> SmallIntMap<V>: Mutable { + /// Clear the map, removing all key-value pairs. + fn clear(&mut self) { self.v.clear() } } -/** - * Get the value for the specified key - * - * # Failure - * - * If the key does not exist in the map - */ -pub pure fn get<T: Copy>(self: SmallIntMap<T>, key: uint) -> T { - match find(self, key) { - None => { - error!("smallintmap::get(): key not present"); - die!(); - } - Some(move v) => return v +impl<V> SmallIntMap<V>: Map<uint, V> { + /// Return true if the map contains a value for the specified key + pure fn contains_key(&self, key: &uint) -> bool { + self.find(key).is_some() } -} - -/// Returns true if the map contains a value for the specified key -pub pure fn contains_key<T: Copy>(self: SmallIntMap<T>, key: uint) -> bool { - return !find(self, key).is_none(); -} -/// Implements the map::map interface for smallintmap -impl<V: Copy> SmallIntMap<V>: map::StdMap<uint, V> { - pure fn size() -> uint { - let mut sz = 0u; - for self.v.each |item| { - match *item { - Some(_) => sz += 1u, - _ => () + /// Visit all key-value pairs + pure fn each(&self, it: fn(key: &uint, value: &V) -> bool) { + for uint::range(0, self.v.len()) |i| { + match self.v[i] { + Some(ref elt) => if !it(&i, elt) { break }, + None => () } } - sz - } - #[inline(always)] - fn insert(key: uint, value: V) -> bool { - let exists = contains_key(self, key); - insert(self, key, value); - return !exists; - } - fn remove(key: uint) -> bool { - if key >= self.v.len() { - return false; - } - let old = self.v.get_elt(key); - self.v.set_elt(key, None); - old.is_some() } - fn clear() { - self.v.set(~[]); - } - pure fn contains_key(key: uint) -> bool { - contains_key(self, key) + + /// Visit all keys + pure fn each_key(&self, blk: fn(key: &uint) -> bool) { + self.each(|k, _| blk(k)) } - pure fn contains_key_ref(key: &uint) -> bool { - contains_key(self, *key) + + /// Visit all values + pure fn each_value(&self, blk: fn(value: &V) -> bool) { + self.each(|_, v| blk(v)) } - pure fn get(key: uint) -> V { get(self, key) } - pure fn find(key: uint) -> Option<V> { find(self, key) } - fn update_with_key(key: uint, val: V, ff: fn(uint, V, V) -> V) -> bool { - match self.find(key) { - None => return self.insert(key, val), - Some(copy orig) => return self.insert(key, ff(key, orig, val)), + /// Return the value corresponding to the key in the map + pure fn find(&self, key: &uint) -> Option<&self/V> { + if *key < self.v.len() { + match self.v[*key] { + Some(ref value) => Some(value), + None => None + } + } else { + None } } - fn update(key: uint, newval: V, ff: fn(V, V) -> V) -> bool { - return self.update_with_key(key, newval, |_k, v, v1| ff(v,v1)); + /// Insert a key-value pair into the map. An existing value for a + /// key is replaced by the new value. Return true if the key did + /// not already exist in the map. + fn insert(&mut self, key: uint, value: V) -> bool { + let exists = self.contains_key(&key); + let len = self.v.len(); + if len <= key { + vec::grow_fn(&mut self.v, key - len + 1, |_| None); + } + self.v[key] = Some(value); + !exists } - pure fn each(it: fn(key: uint, value: V) -> bool) { - self.each_ref(|k, v| it(*k, *v)) - } - pure fn each_key(it: fn(key: uint) -> bool) { - self.each_ref(|k, _v| it(*k)) - } - pure fn each_value(it: fn(value: V) -> bool) { - self.each_ref(|_k, v| it(*v)) - } - pure fn each_ref(it: fn(key: &uint, value: &V) -> bool) { - let mut idx = 0u, l = self.v.len(); - while idx < l { - match self.v.get_elt(idx) { - Some(ref elt) => if !it(&idx, elt) { break }, - None => () - } - idx += 1u; + /// Remove a key-value pair from the map. Return true if the key + /// was present in the map, otherwise false. + fn remove(&mut self, key: &uint) -> bool { + if *key >= self.v.len() { + return false; } + let removed = self.v[*key].is_some(); + self.v[*key] = None; + removed } - pure fn each_key_ref(blk: fn(key: &uint) -> bool) { - self.each_ref(|k, _v| blk(k)) - } - pure fn each_value_ref(blk: fn(value: &V) -> bool) { - self.each_ref(|_k, v| blk(v)) +} + +pub impl<V> SmallIntMap<V> { + /// Create an empty SmallIntMap + static pure fn new() -> SmallIntMap<V> { SmallIntMap{v: ~[]} } + + pure fn get(&self, key: &uint) -> &self/V { + self.find(key).expect("key not present") } } -impl<V: Copy> SmallIntMap<V>: ops::Index<uint, V> { - pure fn index(&self, key: uint) -> V { - unsafe { - get(*self, key) +pub impl<V: Copy> SmallIntMap<V> { + // FIXME: #4733, remove after the next snapshot + #[cfg(stage2)] + fn update_with_key(&mut self, key: uint, val: V, + ff: fn(uint, V, V) -> V) -> bool { + match self.find(&key) { + None => self.insert(key, val), + Some(orig) => self.insert(key, ff(key, copy *orig, val)), } } -} -/// Cast the given smallintmap to a map::map -pub fn as_map<V: Copy>(s: SmallIntMap<V>) -> map::StdMap<uint, V> { - s as map::StdMap::<uint, V> + // FIXME: #4733, remove after the next snapshot + #[cfg(stage2)] + fn update(&mut self, key: uint, newval: V, ff: fn(V, V) -> V) -> bool { + self.update_with_key(key, newval, |_k, v, v1| ff(v,v1)) + } } #[cfg(test)] mod tests { - use smallintmap::{mk, SmallIntMap}; + use super::SmallIntMap; - use core::option::None; - use core::option; + #[test] + fn test_len() { + let mut map = SmallIntMap::new(); + assert map.len() == 0; + assert map.is_empty(); + assert map.insert(5, 20); + assert map.len() == 1; + assert !map.is_empty(); + assert map.insert(11, 12); + assert map.len() == 2; + assert !map.is_empty(); + assert map.insert(14, 22); + assert map.len() == 3; + assert !map.is_empty(); + } + + #[test] + fn test_clear() { + let mut map = SmallIntMap::new(); + assert map.insert(5, 20); + assert map.insert(11, 12); + assert map.insert(14, 22); + map.clear(); + assert map.is_empty(); + assert map.find(&5).is_none(); + assert map.find(&11).is_none(); + assert map.find(&14).is_none(); + } #[test] fn test_insert_with_key() { - let map: SmallIntMap<uint> = mk(); + let mut map = SmallIntMap::new(); // given a new key, initialize it with this new count, given // given an existing key, add more to its count @@ -198,11 +188,11 @@ mod tests { map.update_with_key(3, 2, addMoreToCount); // check the total counts - assert 10 == option::get(map.find(3)); - assert 3 == option::get(map.find(5)); - assert 1 == option::get(map.find(9)); + assert map.find(&3).get() == &10; + assert map.find(&5).get() == &3; + assert map.find(&9).get() == &1; // sadly, no sevens were counted - assert None == map.find(7); + assert map.find(&7).is_none(); } } diff --git a/src/libstd/std.rc b/src/libstd/std.rc index 51b55b1c46f..dc73b430099 100644 --- a/src/libstd/std.rc +++ b/src/libstd/std.rc @@ -83,6 +83,7 @@ pub mod map; pub mod priority_queue; pub mod rope; pub mod smallintmap; +pub mod oldsmallintmap; pub mod sort; pub mod treemap; |
