2022-03-15 17:12:48 +01:00
|
|
|
use std::iter::{repeat_with, FromIterator};
|
|
|
|
use std::str;
|
2021-03-25 11:10:12 +01:00
|
|
|
|
2022-03-15 15:56:07 +01:00
|
|
|
use fst::{SetBuilder, Streamer};
|
2021-06-16 18:33:33 +02:00
|
|
|
|
|
|
|
use crate::{Index, Result, SmallString32};
|
2021-03-25 11:10:12 +01:00
|
|
|
|
|
|
|
pub struct WordsPrefixesFst<'t, 'u, 'i> {
|
|
|
|
wtxn: &'t mut heed::RwTxn<'i, 'u>,
|
|
|
|
index: &'i Index,
|
2021-08-18 18:04:24 +02:00
|
|
|
threshold: u32,
|
2021-03-25 11:10:12 +01:00
|
|
|
max_prefix_length: usize,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'t, 'u, 'i> WordsPrefixesFst<'t, 'u, 'i> {
|
|
|
|
pub fn new(
|
|
|
|
wtxn: &'t mut heed::RwTxn<'i, 'u>,
|
|
|
|
index: &'i Index,
|
2021-06-16 18:33:33 +02:00
|
|
|
) -> WordsPrefixesFst<'t, 'u, 'i> {
|
2021-11-03 13:12:01 +01:00
|
|
|
WordsPrefixesFst { wtxn, index, threshold: 100, max_prefix_length: 4 }
|
2021-03-25 11:10:12 +01:00
|
|
|
}
|
|
|
|
|
2021-08-18 18:04:24 +02:00
|
|
|
/// Set the number of words required to make a prefix be part of the words prefixes
|
2021-03-25 11:10:12 +01:00
|
|
|
/// database. If a word prefix is supposed to match more than this number of words in the
|
|
|
|
/// dictionnary, therefore this prefix is added to the words prefixes datastructures.
|
|
|
|
///
|
2021-08-18 18:04:24 +02:00
|
|
|
/// Default value is 100. This value must be higher than 50 and will be clamped
|
|
|
|
/// to this bound otherwise.
|
|
|
|
pub fn threshold(&mut self, value: u32) -> &mut Self {
|
|
|
|
self.threshold = value.max(50);
|
2021-03-25 11:10:12 +01:00
|
|
|
self
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Set the maximum length of prefixes in bytes.
|
|
|
|
///
|
|
|
|
/// Default value is `4` bytes. This value must be between 1 and 25 will be clamped
|
|
|
|
/// to these bounds, otherwise.
|
|
|
|
pub fn max_prefix_length(&mut self, value: usize) -> &mut Self {
|
2022-11-04 01:27:46 +01:00
|
|
|
self.max_prefix_length = value.clamp(1, 25);
|
2021-03-25 11:10:12 +01:00
|
|
|
self
|
|
|
|
}
|
|
|
|
|
2021-08-24 13:55:53 +02:00
|
|
|
#[logging_timer::time("WordsPrefixesFst::{}")]
|
2021-06-14 16:46:19 +02:00
|
|
|
pub fn execute(self) -> Result<()> {
|
2023-07-10 18:41:54 +02:00
|
|
|
puffin::profile_function!();
|
|
|
|
|
2022-10-13 22:02:54 +02:00
|
|
|
let words_fst = self.index.words_fst(self.wtxn)?;
|
2021-03-25 11:10:12 +01:00
|
|
|
|
2022-03-15 15:56:07 +01:00
|
|
|
let mut current_prefix = vec![SmallString32::new(); self.max_prefix_length];
|
|
|
|
let mut current_prefix_count = vec![0; self.max_prefix_length];
|
2022-03-15 17:12:48 +01:00
|
|
|
let mut builders =
|
|
|
|
repeat_with(SetBuilder::memory).take(self.max_prefix_length).collect::<Vec<_>>();
|
2022-03-15 15:56:07 +01:00
|
|
|
|
|
|
|
let mut stream = words_fst.stream();
|
|
|
|
while let Some(bytes) = stream.next() {
|
|
|
|
for n in 0..self.max_prefix_length {
|
|
|
|
let current_prefix = &mut current_prefix[n];
|
|
|
|
let current_prefix_count = &mut current_prefix_count[n];
|
|
|
|
let builder = &mut builders[n];
|
2021-03-25 11:10:12 +01:00
|
|
|
|
|
|
|
// We try to get the first n bytes out of this string but we only want
|
|
|
|
// to split at valid characters bounds. If we try to split in the middle of
|
|
|
|
// a character we ignore this word and go to the next one.
|
2022-03-15 17:12:48 +01:00
|
|
|
let word = str::from_utf8(bytes)?;
|
2022-03-15 15:56:07 +01:00
|
|
|
let prefix = match word.get(..=n) {
|
2021-03-25 11:10:12 +01:00
|
|
|
Some(prefix) => prefix,
|
|
|
|
None => continue,
|
|
|
|
};
|
|
|
|
|
|
|
|
// This is the first iteration of the loop,
|
|
|
|
// or the current word doesn't starts with the current prefix.
|
2022-03-15 15:56:07 +01:00
|
|
|
if *current_prefix_count == 0 || prefix != current_prefix.as_str() {
|
|
|
|
*current_prefix = SmallString32::from(prefix);
|
|
|
|
*current_prefix_count = 0;
|
2021-03-25 11:10:12 +01:00
|
|
|
}
|
|
|
|
|
2022-03-15 15:56:07 +01:00
|
|
|
*current_prefix_count += 1;
|
2021-03-25 11:10:12 +01:00
|
|
|
|
|
|
|
// There is enough words corresponding to this prefix to add it to the cache.
|
2022-03-15 15:56:07 +01:00
|
|
|
if *current_prefix_count >= self.threshold {
|
2021-03-25 11:10:12 +01:00
|
|
|
builder.insert(prefix)?;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// We merge all of the previously computed prefixes into on final set.
|
2022-03-15 15:56:07 +01:00
|
|
|
let prefix_fsts: Vec<_> = builders.into_iter().map(|sb| sb.into_set()).collect();
|
2021-03-25 11:10:12 +01:00
|
|
|
let op = fst::set::OpBuilder::from_iter(prefix_fsts.iter());
|
|
|
|
let mut builder = fst::SetBuilder::memory();
|
|
|
|
builder.extend_stream(op.r#union())?;
|
|
|
|
let prefix_fst = builder.into_set();
|
|
|
|
|
|
|
|
// Set the words prefixes FST in the dtabase.
|
|
|
|
self.index.put_words_prefixes_fst(self.wtxn, &prefix_fst)?;
|
|
|
|
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
}
|