2013-03-02 13:41:31 -06:00
|
|
|
// Copyright 2013 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.
|
|
|
|
|
2013-03-24 23:22:23 -05:00
|
|
|
//! An ordered map and set for integer keys implemented as a radix trie
|
2013-03-02 13:41:31 -06:00
|
|
|
|
|
|
|
use prelude::*;
|
2013-07-29 19:17:17 -05:00
|
|
|
use iterator::{IteratorUtil, FromIterator, Extendable};
|
2013-05-24 21:35:29 -05:00
|
|
|
use uint;
|
2013-05-04 08:54:58 -05:00
|
|
|
use util::{swap, replace};
|
2013-03-02 13:41:31 -06:00
|
|
|
|
2013-03-05 17:53:43 -06:00
|
|
|
// FIXME: #5244: need to manually update the TrieNode constructor
|
2013-03-22 16:00:15 -05:00
|
|
|
static SHIFT: uint = 4;
|
|
|
|
static SIZE: uint = 1 << SHIFT;
|
|
|
|
static MASK: uint = SIZE - 1;
|
2013-03-02 13:41:31 -06:00
|
|
|
|
|
|
|
enum Child<T> {
|
|
|
|
Internal(~TrieNode<T>),
|
|
|
|
External(uint, T),
|
|
|
|
Nothing
|
|
|
|
}
|
|
|
|
|
2013-05-28 16:35:52 -05:00
|
|
|
#[allow(missing_doc)]
|
2013-03-02 13:41:31 -06:00
|
|
|
pub struct TrieMap<T> {
|
|
|
|
priv root: TrieNode<T>,
|
|
|
|
priv length: uint
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> Container for TrieMap<T> {
|
|
|
|
/// Return the number of elements in the map
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-23 22:44:11 -05:00
|
|
|
fn len(&self) -> uint { self.length }
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
|
2013-03-05 17:53:43 -06:00
|
|
|
impl<T> Mutable for TrieMap<T> {
|
2013-03-02 13:41:31 -06:00
|
|
|
/// Clear the map, removing all values.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-02 13:41:31 -06:00
|
|
|
fn clear(&mut self) {
|
|
|
|
self.root = TrieNode::new();
|
|
|
|
self.length = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-05 17:53:43 -06:00
|
|
|
impl<T> Map<uint, T> for TrieMap<T> {
|
2013-03-02 13:41:31 -06:00
|
|
|
/// Return true if the map contains a value for the specified key
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
fn contains_key(&self, key: &uint) -> bool {
|
2013-03-02 13:41:31 -06:00
|
|
|
self.find(key).is_some()
|
|
|
|
}
|
|
|
|
|
2013-03-24 19:30:35 -05:00
|
|
|
/// Return a reference to the value corresponding to the key
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-04-10 15:11:35 -05:00
|
|
|
fn find<'a>(&'a self, key: &uint) -> Option<&'a T> {
|
|
|
|
let mut node: &'a TrieNode<T> = &self.root;
|
|
|
|
let mut idx = 0;
|
|
|
|
loop {
|
|
|
|
match node.children[chunk(*key, idx)] {
|
|
|
|
Internal(ref x) => node = &**x,
|
|
|
|
External(stored, ref value) => {
|
|
|
|
if stored == *key {
|
|
|
|
return Some(value)
|
|
|
|
} else {
|
|
|
|
return None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Nothing => return None
|
|
|
|
}
|
|
|
|
idx += 1;
|
|
|
|
}
|
|
|
|
}
|
2013-07-13 21:44:36 -05:00
|
|
|
}
|
2013-04-10 15:11:35 -05:00
|
|
|
|
2013-07-13 21:44:36 -05:00
|
|
|
impl<T> MutableMap<uint, T> for TrieMap<T> {
|
2013-03-24 19:40:17 -05:00
|
|
|
/// Return a mutable reference to the value corresponding to the key
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-04-10 15:11:35 -05:00
|
|
|
fn find_mut<'a>(&'a mut self, key: &uint) -> Option<&'a mut T> {
|
|
|
|
find_mut(&mut self.root.children[chunk(*key, 0)], *key, 1)
|
|
|
|
}
|
|
|
|
|
2013-05-04 08:54:58 -05:00
|
|
|
/// Insert a key-value pair from the map. If the key already had a value
|
|
|
|
/// present in the map, that value is returned. Otherwise None is returned.
|
|
|
|
fn swap(&mut self, key: uint, value: T) -> Option<T> {
|
|
|
|
let ret = insert(&mut self.root.count,
|
|
|
|
&mut self.root.children[chunk(key, 0)],
|
|
|
|
key, value, 1);
|
|
|
|
if ret.is_none() { self.length += 1 }
|
|
|
|
ret
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Removes a key from the map, returning the value at the key if the key
|
|
|
|
/// was previously in the map.
|
|
|
|
fn pop(&mut self, key: &uint) -> Option<T> {
|
2013-03-02 13:41:31 -06:00
|
|
|
let ret = remove(&mut self.root.count,
|
|
|
|
&mut self.root.children[chunk(*key, 0)],
|
|
|
|
*key, 1);
|
2013-05-04 08:54:58 -05:00
|
|
|
if ret.is_some() { self.length -= 1 }
|
2013-03-02 13:41:31 -06:00
|
|
|
ret
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-05-31 17:17:22 -05:00
|
|
|
impl<T> TrieMap<T> {
|
2013-03-15 20:03:29 -05:00
|
|
|
/// Create an empty TrieMap
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 17:17:22 -05:00
|
|
|
pub fn new() -> TrieMap<T> {
|
2013-03-02 13:41:31 -06:00
|
|
|
TrieMap{root: TrieNode::new(), length: 0}
|
|
|
|
}
|
|
|
|
|
2013-04-06 10:22:36 -05:00
|
|
|
/// Visit all key-value pairs in reverse order
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 17:17:22 -05:00
|
|
|
pub fn each_reverse<'a>(&'a self, f: &fn(&uint, &'a T) -> bool) -> bool {
|
2013-05-02 17:33:18 -05:00
|
|
|
self.root.each_reverse(f)
|
|
|
|
}
|
|
|
|
|
2013-06-24 16:45:00 -05:00
|
|
|
/// Visit all key-value pairs in order
|
|
|
|
#[inline]
|
|
|
|
pub fn each<'a>(&'a self, f: &fn(&uint, &'a T) -> bool) -> bool {
|
|
|
|
self.root.each(f)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Visit all keys in order
|
|
|
|
#[inline]
|
|
|
|
pub fn each_key(&self, f: &fn(&uint) -> bool) -> bool {
|
|
|
|
self.each(|k, _| f(k))
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Visit all values in order
|
|
|
|
#[inline]
|
|
|
|
pub fn each_value<'a>(&'a self, f: &fn(&'a T) -> bool) -> bool {
|
|
|
|
self.each(|_, v| f(v))
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Iterate over the map and mutate the contained values
|
|
|
|
#[inline]
|
|
|
|
pub fn mutate_values(&mut self, f: &fn(&uint, &mut T) -> bool) -> bool {
|
|
|
|
self.root.mutate_values(f)
|
|
|
|
}
|
|
|
|
|
2013-03-02 13:41:31 -06:00
|
|
|
/// Visit all keys in reverse order
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 17:17:22 -05:00
|
|
|
pub fn each_key_reverse(&self, f: &fn(&uint) -> bool) -> bool {
|
2013-05-02 17:33:18 -05:00
|
|
|
self.each_reverse(|k, _| f(k))
|
|
|
|
}
|
2013-03-02 13:41:31 -06:00
|
|
|
|
|
|
|
/// Visit all values in reverse order
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 17:17:22 -05:00
|
|
|
pub fn each_value_reverse(&self, f: &fn(&T) -> bool) -> bool {
|
2013-05-02 17:33:18 -05:00
|
|
|
self.each_reverse(|_, v| f(v))
|
|
|
|
}
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
|
2013-07-14 11:20:48 -05:00
|
|
|
impl<T, Iter: Iterator<(uint, T)>> FromIterator<(uint, T), Iter> for TrieMap<T> {
|
2013-07-29 19:17:17 -05:00
|
|
|
fn from_iterator(iter: &mut Iter) -> TrieMap<T> {
|
2013-07-14 11:20:48 -05:00
|
|
|
let mut map = TrieMap::new();
|
2013-07-29 19:17:17 -05:00
|
|
|
map.extend(iter);
|
|
|
|
map
|
|
|
|
}
|
|
|
|
}
|
2013-07-14 11:20:48 -05:00
|
|
|
|
2013-07-29 19:17:17 -05:00
|
|
|
impl<T, Iter: Iterator<(uint, T)>> Extendable<(uint, T), Iter> for TrieMap<T> {
|
|
|
|
fn extend(&mut self, iter: &mut Iter) {
|
2013-08-01 02:16:42 -05:00
|
|
|
foreach (k, v) in *iter {
|
2013-07-29 19:17:17 -05:00
|
|
|
self.insert(k, v);
|
2013-07-14 11:20:48 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-05-28 16:35:52 -05:00
|
|
|
#[allow(missing_doc)]
|
2013-03-02 13:41:31 -06:00
|
|
|
pub struct TrieSet {
|
|
|
|
priv map: TrieMap<()>
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Container for TrieSet {
|
|
|
|
/// Return the number of elements in the set
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-23 22:44:11 -05:00
|
|
|
fn len(&self) -> uint { self.map.len() }
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Mutable for TrieSet {
|
|
|
|
/// Clear the set, removing all values.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-02 13:41:31 -06:00
|
|
|
fn clear(&mut self) { self.map.clear() }
|
|
|
|
}
|
|
|
|
|
2013-05-31 17:17:22 -05:00
|
|
|
impl TrieSet {
|
2013-03-15 20:03:29 -05:00
|
|
|
/// Create an empty TrieSet
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 17:17:22 -05:00
|
|
|
pub fn new() -> TrieSet {
|
2013-03-15 20:03:29 -05:00
|
|
|
TrieSet{map: TrieMap::new()}
|
|
|
|
}
|
|
|
|
|
2013-03-02 13:41:31 -06:00
|
|
|
/// Return true if the set contains a value
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 17:17:22 -05:00
|
|
|
pub fn contains(&self, value: &uint) -> bool {
|
2013-03-02 13:41:31 -06:00
|
|
|
self.map.contains_key(value)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Add a value to the set. Return true if the value was not already
|
|
|
|
/// present in the set.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 17:17:22 -05:00
|
|
|
pub fn insert(&mut self, value: uint) -> bool {
|
|
|
|
self.map.insert(value, ())
|
|
|
|
}
|
2013-03-02 13:41:31 -06:00
|
|
|
|
|
|
|
/// Remove a value from the set. Return true if the value was
|
|
|
|
/// present in the set.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 17:17:22 -05:00
|
|
|
pub fn remove(&mut self, value: &uint) -> bool {
|
|
|
|
self.map.remove(value)
|
|
|
|
}
|
2013-06-23 16:57:39 -05:00
|
|
|
|
|
|
|
/// Visit all values in order
|
|
|
|
#[inline]
|
|
|
|
pub fn each(&self, f: &fn(&uint) -> bool) -> bool { self.map.each_key(f) }
|
|
|
|
|
|
|
|
/// Visit all values in reverse order
|
|
|
|
#[inline]
|
|
|
|
pub fn each_reverse(&self, f: &fn(&uint) -> bool) -> bool {
|
|
|
|
self.map.each_key_reverse(f)
|
|
|
|
}
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
|
2013-07-14 11:20:48 -05:00
|
|
|
impl<Iter: Iterator<uint>> FromIterator<uint, Iter> for TrieSet {
|
2013-07-29 19:17:17 -05:00
|
|
|
fn from_iterator(iter: &mut Iter) -> TrieSet {
|
2013-07-14 11:20:48 -05:00
|
|
|
let mut set = TrieSet::new();
|
2013-07-29 19:17:17 -05:00
|
|
|
set.extend(iter);
|
|
|
|
set
|
|
|
|
}
|
|
|
|
}
|
2013-07-14 11:20:48 -05:00
|
|
|
|
2013-07-29 19:17:17 -05:00
|
|
|
impl<Iter: Iterator<uint>> Extendable<uint, Iter> for TrieSet {
|
|
|
|
fn extend(&mut self, iter: &mut Iter) {
|
2013-08-01 02:16:42 -05:00
|
|
|
foreach elem in *iter {
|
2013-07-29 19:17:17 -05:00
|
|
|
self.insert(elem);
|
2013-07-14 11:20:48 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-02 13:41:31 -06:00
|
|
|
struct TrieNode<T> {
|
|
|
|
count: uint,
|
2013-03-22 20:52:04 -05:00
|
|
|
children: [Child<T>, ..SIZE]
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
|
2013-03-05 17:53:43 -06:00
|
|
|
impl<T> TrieNode<T> {
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
fn new() -> TrieNode<T> {
|
2013-07-10 16:43:25 -05:00
|
|
|
// FIXME: #5244: [Nothing, ..SIZE] should be possible without implicit
|
|
|
|
// copyability
|
2013-03-05 17:53:43 -06:00
|
|
|
TrieNode{count: 0,
|
|
|
|
children: [Nothing, Nothing, Nothing, Nothing,
|
|
|
|
Nothing, Nothing, Nothing, Nothing,
|
|
|
|
Nothing, Nothing, Nothing, Nothing,
|
|
|
|
Nothing, Nothing, Nothing, Nothing]}
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> TrieNode<T> {
|
2013-04-10 15:11:35 -05:00
|
|
|
fn each<'a>(&'a self, f: &fn(&uint, &'a T) -> bool) -> bool {
|
|
|
|
for uint::range(0, self.children.len()) |idx| {
|
|
|
|
match self.children[idx] {
|
2013-06-21 19:08:35 -05:00
|
|
|
Internal(ref x) => if !x.each(|i,t| f(i,t)) { return false },
|
2013-04-10 15:11:35 -05:00
|
|
|
External(k, ref v) => if !f(&k, v) { return false },
|
|
|
|
Nothing => ()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
true
|
|
|
|
}
|
|
|
|
|
|
|
|
fn each_reverse<'a>(&'a self, f: &fn(&uint, &'a T) -> bool) -> bool {
|
|
|
|
for uint::range_rev(self.children.len(), 0) |idx| {
|
2013-07-01 05:30:14 -05:00
|
|
|
match self.children[idx] {
|
2013-06-21 19:08:35 -05:00
|
|
|
Internal(ref x) => if !x.each_reverse(|i,t| f(i,t)) { return false },
|
2013-04-10 15:11:35 -05:00
|
|
|
External(k, ref v) => if !f(&k, v) { return false },
|
|
|
|
Nothing => ()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
true
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mutate_values<'a>(&'a mut self, f: &fn(&uint, &mut T) -> bool) -> bool {
|
2013-08-01 02:16:42 -05:00
|
|
|
foreach child in self.children.mut_iter() {
|
2013-03-02 13:41:31 -06:00
|
|
|
match *child {
|
2013-06-21 19:08:35 -05:00
|
|
|
Internal(ref mut x) => if !x.mutate_values(|i,t| f(i,t)) {
|
2013-03-05 09:10:22 -06:00
|
|
|
return false
|
|
|
|
},
|
2013-03-13 16:07:23 -05:00
|
|
|
External(k, ref mut v) => if !f(&k, v) { return false },
|
2013-03-02 13:41:31 -06:00
|
|
|
Nothing => ()
|
|
|
|
}
|
|
|
|
}
|
2013-03-05 09:10:22 -06:00
|
|
|
true
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// if this was done via a trait, the key could be generic
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
fn chunk(n: uint, idx: uint) -> uint {
|
2013-03-05 22:54:19 -06:00
|
|
|
let sh = uint::bits - (SHIFT * (idx + 1));
|
|
|
|
(n >> sh) & MASK
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
|
2013-05-06 22:29:54 -05:00
|
|
|
fn find_mut<'r, T>(child: &'r mut Child<T>, key: uint, idx: uint) -> Option<&'r mut T> {
|
|
|
|
match *child {
|
|
|
|
External(_, ref mut value) => Some(value),
|
|
|
|
Internal(ref mut x) => find_mut(&mut x.children[chunk(key, idx)], key, idx + 1),
|
|
|
|
Nothing => None
|
|
|
|
}
|
2013-03-24 19:30:35 -05:00
|
|
|
}
|
|
|
|
|
2013-03-13 16:07:23 -05:00
|
|
|
fn insert<T>(count: &mut uint, child: &mut Child<T>, key: uint, value: T,
|
2013-05-04 08:54:58 -05:00
|
|
|
idx: uint) -> Option<T> {
|
2013-03-05 17:53:43 -06:00
|
|
|
let mut tmp = Nothing;
|
2013-05-04 08:54:58 -05:00
|
|
|
let ret;
|
|
|
|
swap(&mut tmp, child);
|
2013-03-05 17:53:43 -06:00
|
|
|
|
|
|
|
*child = match tmp {
|
2013-03-02 13:41:31 -06:00
|
|
|
External(stored_key, stored_value) => {
|
|
|
|
if stored_key == key {
|
2013-05-04 08:54:58 -05:00
|
|
|
ret = Some(stored_value);
|
2013-03-05 17:53:43 -06:00
|
|
|
External(stored_key, value)
|
2013-03-02 13:41:31 -06:00
|
|
|
} else {
|
|
|
|
// conflict - split the node
|
|
|
|
let mut new = ~TrieNode::new();
|
|
|
|
insert(&mut new.count,
|
|
|
|
&mut new.children[chunk(stored_key, idx)],
|
|
|
|
stored_key, stored_value, idx + 1);
|
2013-05-04 08:54:58 -05:00
|
|
|
ret = insert(&mut new.count, &mut new.children[chunk(key, idx)],
|
|
|
|
key, value, idx + 1);
|
2013-03-05 17:53:43 -06:00
|
|
|
Internal(new)
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
}
|
2013-03-05 17:53:43 -06:00
|
|
|
Internal(x) => {
|
|
|
|
let mut x = x;
|
2013-05-04 08:54:58 -05:00
|
|
|
ret = insert(&mut x.count, &mut x.children[chunk(key, idx)], key,
|
|
|
|
value, idx + 1);
|
2013-03-05 17:53:43 -06:00
|
|
|
Internal(x)
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
Nothing => {
|
|
|
|
*count += 1;
|
2013-05-04 08:54:58 -05:00
|
|
|
ret = None;
|
2013-03-05 17:53:43 -06:00
|
|
|
External(key, value)
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
2013-03-05 17:53:43 -06:00
|
|
|
};
|
2013-05-04 08:54:58 -05:00
|
|
|
return ret;
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
fn remove<T>(count: &mut uint, child: &mut Child<T>, key: uint,
|
2013-05-04 08:54:58 -05:00
|
|
|
idx: uint) -> Option<T> {
|
2013-03-02 13:41:31 -06:00
|
|
|
let (ret, this) = match *child {
|
2013-05-04 08:54:58 -05:00
|
|
|
External(stored, _) if stored == key => {
|
|
|
|
match replace(child, Nothing) {
|
|
|
|
External(_, value) => (Some(value), true),
|
|
|
|
_ => fail!()
|
|
|
|
}
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
2013-05-04 08:54:58 -05:00
|
|
|
External(*) => (None, false),
|
2013-03-02 13:41:31 -06:00
|
|
|
Internal(ref mut x) => {
|
|
|
|
let ret = remove(&mut x.count, &mut x.children[chunk(key, idx)],
|
|
|
|
key, idx + 1);
|
|
|
|
(ret, x.count == 0)
|
|
|
|
}
|
2013-05-04 08:54:58 -05:00
|
|
|
Nothing => (None, false)
|
2013-03-02 13:41:31 -06:00
|
|
|
};
|
|
|
|
|
|
|
|
if this {
|
|
|
|
*child = Nothing;
|
|
|
|
*count -= 1;
|
|
|
|
}
|
2013-05-04 08:54:58 -05:00
|
|
|
return ret;
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
pub fn check_integrity<T>(trie: &TrieNode<T>) {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(trie.count != 0);
|
2013-03-02 13:41:31 -06:00
|
|
|
|
|
|
|
let mut sum = 0;
|
|
|
|
|
2013-08-01 02:16:42 -05:00
|
|
|
foreach x in trie.children.iter() {
|
2013-03-02 13:41:31 -06:00
|
|
|
match *x {
|
|
|
|
Nothing => (),
|
|
|
|
Internal(ref y) => {
|
|
|
|
check_integrity(&**y);
|
|
|
|
sum += 1
|
|
|
|
}
|
|
|
|
External(_, _) => { sum += 1 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(sum, trie.count);
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
2013-07-14 11:20:48 -05:00
|
|
|
mod test_map {
|
2013-03-02 13:41:31 -06:00
|
|
|
use super::*;
|
2013-07-19 19:32:08 -05:00
|
|
|
use option::{Some, None};
|
2013-03-02 13:41:31 -06:00
|
|
|
use uint;
|
|
|
|
|
2013-03-24 19:30:35 -05:00
|
|
|
#[test]
|
|
|
|
fn test_find_mut() {
|
|
|
|
let mut m = TrieMap::new();
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(m.insert(1, 12));
|
|
|
|
assert!(m.insert(2, 8));
|
|
|
|
assert!(m.insert(5, 14));
|
2013-03-24 19:30:35 -05:00
|
|
|
let new = 100;
|
|
|
|
match m.find_mut(&5) {
|
|
|
|
None => fail!(), Some(x) => *x = new
|
|
|
|
}
|
|
|
|
assert_eq!(m.find(&5), Some(&new));
|
|
|
|
}
|
|
|
|
|
2013-03-02 13:41:31 -06:00
|
|
|
#[test]
|
|
|
|
fn test_step() {
|
|
|
|
let mut trie = TrieMap::new();
|
|
|
|
let n = 300;
|
|
|
|
|
|
|
|
for uint::range_step(1, n, 2) |x| {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(trie.insert(x, x + 1));
|
|
|
|
assert!(trie.contains_key(&x));
|
2013-03-02 13:41:31 -06:00
|
|
|
check_integrity(&trie.root);
|
|
|
|
}
|
|
|
|
|
|
|
|
for uint::range_step(0, n, 2) |x| {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(!trie.contains_key(&x));
|
|
|
|
assert!(trie.insert(x, x + 1));
|
2013-03-02 13:41:31 -06:00
|
|
|
check_integrity(&trie.root);
|
|
|
|
}
|
|
|
|
|
|
|
|
for uint::range(0, n) |x| {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(trie.contains_key(&x));
|
|
|
|
assert!(!trie.insert(x, x + 1));
|
2013-03-02 13:41:31 -06:00
|
|
|
check_integrity(&trie.root);
|
|
|
|
}
|
|
|
|
|
|
|
|
for uint::range_step(1, n, 2) |x| {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(trie.remove(&x));
|
|
|
|
assert!(!trie.contains_key(&x));
|
2013-03-02 13:41:31 -06:00
|
|
|
check_integrity(&trie.root);
|
|
|
|
}
|
|
|
|
|
|
|
|
for uint::range_step(0, n, 2) |x| {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(trie.contains_key(&x));
|
|
|
|
assert!(!trie.insert(x, x + 1));
|
2013-03-02 13:41:31 -06:00
|
|
|
check_integrity(&trie.root);
|
|
|
|
}
|
|
|
|
}
|
2013-03-05 08:35:45 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_each() {
|
|
|
|
let mut m = TrieMap::new();
|
|
|
|
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(m.insert(3, 6));
|
|
|
|
assert!(m.insert(0, 0));
|
|
|
|
assert!(m.insert(4, 8));
|
|
|
|
assert!(m.insert(2, 4));
|
|
|
|
assert!(m.insert(1, 2));
|
2013-03-05 08:35:45 -06:00
|
|
|
|
|
|
|
let mut n = 0;
|
2013-07-31 14:07:44 -05:00
|
|
|
do m.each |k, v| {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(*k, n);
|
|
|
|
assert_eq!(*v, n * 2);
|
2013-03-05 08:35:45 -06:00
|
|
|
n += 1;
|
2013-07-31 14:07:44 -05:00
|
|
|
true
|
|
|
|
};
|
2013-03-05 08:35:45 -06:00
|
|
|
}
|
|
|
|
|
2013-03-05 09:10:22 -06:00
|
|
|
#[test]
|
|
|
|
fn test_each_break() {
|
|
|
|
let mut m = TrieMap::new();
|
|
|
|
|
|
|
|
for uint::range_rev(uint::max_value, uint::max_value - 10000) |x| {
|
|
|
|
m.insert(x, x / 2);
|
|
|
|
}
|
|
|
|
|
2013-07-11 09:56:49 -05:00
|
|
|
let mut n = uint::max_value - 10000;
|
2013-07-31 14:07:44 -05:00
|
|
|
do m.each |k, v| {
|
|
|
|
if n == uint::max_value - 5000 { false } else {
|
|
|
|
assert!(n < uint::max_value - 5000);
|
|
|
|
|
|
|
|
assert_eq!(*k, n);
|
|
|
|
assert_eq!(*v, n / 2);
|
|
|
|
n += 1;
|
|
|
|
true
|
|
|
|
}
|
|
|
|
};
|
2013-03-05 09:10:22 -06:00
|
|
|
}
|
|
|
|
|
2013-03-05 08:35:45 -06:00
|
|
|
#[test]
|
|
|
|
fn test_each_reverse() {
|
|
|
|
let mut m = TrieMap::new();
|
|
|
|
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(m.insert(3, 6));
|
|
|
|
assert!(m.insert(0, 0));
|
|
|
|
assert!(m.insert(4, 8));
|
|
|
|
assert!(m.insert(2, 4));
|
|
|
|
assert!(m.insert(1, 2));
|
2013-03-05 08:35:45 -06:00
|
|
|
|
|
|
|
let mut n = 4;
|
2013-07-31 14:07:44 -05:00
|
|
|
do m.each_reverse |k, v| {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(*k, n);
|
|
|
|
assert_eq!(*v, n * 2);
|
2013-03-05 08:35:45 -06:00
|
|
|
n -= 1;
|
2013-07-31 14:07:44 -05:00
|
|
|
true
|
|
|
|
};
|
2013-03-05 08:35:45 -06:00
|
|
|
}
|
2013-03-05 09:10:22 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_each_reverse_break() {
|
|
|
|
let mut m = TrieMap::new();
|
|
|
|
|
|
|
|
for uint::range_rev(uint::max_value, uint::max_value - 10000) |x| {
|
|
|
|
m.insert(x, x / 2);
|
|
|
|
}
|
|
|
|
|
2013-07-11 09:56:49 -05:00
|
|
|
let mut n = uint::max_value - 1;
|
2013-07-31 14:07:44 -05:00
|
|
|
do m.each_reverse |k, v| {
|
|
|
|
if n == uint::max_value - 5000 { false } else {
|
|
|
|
assert!(n > uint::max_value - 5000);
|
|
|
|
|
|
|
|
assert_eq!(*k, n);
|
|
|
|
assert_eq!(*v, n / 2);
|
|
|
|
n -= 1;
|
|
|
|
true
|
|
|
|
}
|
|
|
|
};
|
2013-03-05 09:10:22 -06:00
|
|
|
}
|
2013-03-15 20:43:54 -05:00
|
|
|
|
2013-07-14 11:20:48 -05:00
|
|
|
#[test]
|
|
|
|
fn test_swap() {
|
|
|
|
let mut m = TrieMap::new();
|
|
|
|
assert_eq!(m.swap(1, 2), None);
|
|
|
|
assert_eq!(m.swap(1, 3), Some(2));
|
|
|
|
assert_eq!(m.swap(1, 4), Some(3));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_pop() {
|
|
|
|
let mut m = TrieMap::new();
|
|
|
|
m.insert(1, 2);
|
|
|
|
assert_eq!(m.pop(&1), Some(2));
|
|
|
|
assert_eq!(m.pop(&1), None);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_from_iter() {
|
|
|
|
let xs = ~[(1u, 1i), (2, 2), (3, 3), (4, 4), (5, 5), (6, 6)];
|
2013-07-14 12:18:50 -05:00
|
|
|
|
2013-07-14 11:20:48 -05:00
|
|
|
let map: TrieMap<int> = xs.iter().transform(|&x| x).collect();
|
|
|
|
|
2013-08-01 02:16:42 -05:00
|
|
|
foreach &(k, v) in xs.iter() {
|
2013-07-14 11:20:48 -05:00
|
|
|
assert_eq!(map.find(&k), Some(&v));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod test_set {
|
|
|
|
use super::*;
|
2013-08-01 02:16:42 -05:00
|
|
|
use prelude::*;
|
2013-07-14 11:20:48 -05:00
|
|
|
use uint;
|
|
|
|
|
2013-03-15 20:43:54 -05:00
|
|
|
#[test]
|
|
|
|
fn test_sane_chunk() {
|
|
|
|
let x = 1;
|
|
|
|
let y = 1 << (uint::bits - 1);
|
|
|
|
|
|
|
|
let mut trie = TrieSet::new();
|
|
|
|
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(trie.insert(x));
|
|
|
|
assert!(trie.insert(y));
|
2013-03-15 20:43:54 -05:00
|
|
|
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(trie.len(), 2);
|
2013-03-15 20:43:54 -05:00
|
|
|
|
|
|
|
let expected = [x, y];
|
|
|
|
|
|
|
|
let mut i = 0;
|
|
|
|
|
2013-07-31 14:07:44 -05:00
|
|
|
do trie.each |x| {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(expected[i], *x);
|
2013-03-15 20:43:54 -05:00
|
|
|
i += 1;
|
2013-07-31 14:07:44 -05:00
|
|
|
true
|
|
|
|
};
|
2013-03-15 20:43:54 -05:00
|
|
|
}
|
2013-05-04 08:54:58 -05:00
|
|
|
|
|
|
|
#[test]
|
2013-07-14 11:20:48 -05:00
|
|
|
fn test_from_iter() {
|
|
|
|
let xs = ~[9u, 8, 7, 6, 5, 4, 3, 2, 1];
|
2013-05-04 08:54:58 -05:00
|
|
|
|
2013-07-14 11:20:48 -05:00
|
|
|
let set: TrieSet = xs.iter().transform(|&x| x).collect();
|
2013-05-04 08:54:58 -05:00
|
|
|
|
2013-08-01 02:16:42 -05:00
|
|
|
foreach x in xs.iter() {
|
2013-07-14 11:20:48 -05:00
|
|
|
assert!(set.contains(x));
|
|
|
|
}
|
2013-05-04 08:54:58 -05:00
|
|
|
}
|
2013-03-02 13:41:31 -06:00
|
|
|
}
|