schala/schala-lang/language/src/symbol_table/symbol_trie.rs

66 lines
1.6 KiB
Rust
Raw Normal View History

2021-10-21 14:46:42 -07:00
use super::{Fqsn, Scope};
2019-10-17 03:15:39 -07:00
use radix_trie::{Trie, TrieCommon, TrieKey};
use std::collections::hash_map::DefaultHasher;
2021-10-21 14:46:42 -07:00
use std::hash::{Hash, Hasher};
2019-10-17 03:15:39 -07:00
2019-10-18 09:54:56 -07:00
#[derive(Debug)]
2021-10-19 21:14:15 -07:00
pub struct SymbolTrie(Trie<Fqsn, ()>);
2019-10-17 03:15:39 -07:00
2021-10-19 21:14:15 -07:00
impl TrieKey for Fqsn {
2021-10-21 14:46:42 -07:00
fn encode_bytes(&self) -> Vec<u8> {
let mut hasher = DefaultHasher::new();
let mut output = vec![];
for segment in self.scopes.iter() {
let Scope::Name(s) = segment;
s.as_bytes().hash(&mut hasher);
output.extend_from_slice(&hasher.finish().to_be_bytes());
}
output
2019-10-17 03:15:39 -07:00
}
}
impl SymbolTrie {
2021-10-21 14:46:42 -07:00
pub fn new() -> SymbolTrie {
SymbolTrie(Trie::new())
}
pub fn insert(&mut self, fqsn: &Fqsn) {
self.0.insert(fqsn.clone(), ());
}
pub fn get_children(&self, fqsn: &Fqsn) -> Vec<Fqsn> {
let subtrie = match self.0.subtrie(fqsn) {
Some(s) => s,
None => return vec![],
};
let output: Vec<Fqsn> = subtrie
.keys()
.filter(|cur_key| **cur_key != *fqsn)
.cloned()
.collect();
output
}
2019-10-17 03:15:39 -07:00
}
2021-10-19 13:48:00 -07:00
#[cfg(test)]
mod test {
2021-10-21 14:46:42 -07:00
use super::*;
use crate::symbol_table::Fqsn;
2021-10-19 13:48:00 -07:00
2021-10-21 14:46:42 -07:00
fn make_fqsn(strs: &[&str]) -> Fqsn {
Fqsn::from_strs(strs)
}
2021-10-19 13:48:00 -07:00
2021-10-21 14:46:42 -07:00
#[test]
fn test_trie_insertion() {
let mut trie = SymbolTrie::new();
2019-10-17 03:15:39 -07:00
2021-10-21 14:46:42 -07:00
trie.insert(&make_fqsn(&["unrelated", "thing"]));
trie.insert(&make_fqsn(&["outer", "inner"]));
trie.insert(&make_fqsn(&["outer", "inner", "still_inner"]));
2019-10-17 03:15:39 -07:00
2021-10-21 14:46:42 -07:00
let children = trie.get_children(&make_fqsn(&["outer", "inner"]));
assert_eq!(children.len(), 1);
}
2019-10-17 03:15:39 -07:00
}