2019-10-21 12:05:53 +02:00
|
|
|
use heed::types::ByteSlice;
|
2019-11-26 16:12:06 +01:00
|
|
|
use crate::database::MainT;
|
2019-10-21 12:05:53 +02:00
|
|
|
use heed::Result as ZResult;
|
2019-10-08 16:16:30 +02:00
|
|
|
use std::sync::Arc;
|
|
|
|
|
2019-10-03 15:04:11 +02:00
|
|
|
#[derive(Copy, Clone)]
|
2019-10-02 17:34:32 +02:00
|
|
|
pub struct Synonyms {
|
2019-10-21 12:05:53 +02:00
|
|
|
pub(crate) synonyms: heed::Database<ByteSlice, ByteSlice>,
|
2019-10-02 17:34:32 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Synonyms {
|
2019-10-08 16:16:30 +02:00
|
|
|
pub fn put_synonyms(
|
2019-10-18 13:21:41 +02:00
|
|
|
self,
|
2019-11-26 16:12:06 +01:00
|
|
|
writer: &mut heed::RwTxn<MainT>,
|
2019-10-08 16:16:30 +02:00
|
|
|
word: &[u8],
|
|
|
|
synonyms: &fst::Set,
|
2019-10-18 13:05:28 +02:00
|
|
|
) -> ZResult<()> {
|
2019-10-16 17:05:24 +02:00
|
|
|
let bytes = synonyms.as_fst().as_bytes();
|
|
|
|
self.synonyms.put(writer, word, bytes)
|
2019-10-02 17:34:32 +02:00
|
|
|
}
|
|
|
|
|
2019-11-26 16:12:06 +01:00
|
|
|
pub fn del_synonyms(self, writer: &mut heed::RwTxn<MainT>, word: &[u8]) -> ZResult<bool> {
|
2019-10-16 17:05:24 +02:00
|
|
|
self.synonyms.delete(writer, word)
|
2019-10-08 17:16:48 +02:00
|
|
|
}
|
|
|
|
|
2019-11-26 16:12:06 +01:00
|
|
|
pub fn clear(self, writer: &mut heed::RwTxn<MainT>) -> ZResult<()> {
|
2019-11-06 10:49:13 +01:00
|
|
|
self.synonyms.clear(writer)
|
|
|
|
}
|
|
|
|
|
2019-11-26 16:12:06 +01:00
|
|
|
pub fn synonyms(self, reader: &heed::RoTxn<MainT>, word: &[u8]) -> ZResult<Option<fst::Set>> {
|
2019-10-08 16:16:30 +02:00
|
|
|
match self.synonyms.get(reader, word)? {
|
2019-10-16 17:05:24 +02:00
|
|
|
Some(bytes) => {
|
2019-10-08 16:16:30 +02:00
|
|
|
let len = bytes.len();
|
2019-11-17 11:14:01 +01:00
|
|
|
let bytes = Arc::new(bytes.to_owned());
|
2019-10-16 17:05:24 +02:00
|
|
|
let fst = fst::raw::Fst::from_shared_bytes(bytes, 0, len).unwrap();
|
2019-10-08 16:16:30 +02:00
|
|
|
Ok(Some(fst::Set::from(fst)))
|
2019-10-18 13:05:28 +02:00
|
|
|
}
|
2019-10-08 16:16:30 +02:00
|
|
|
None => Ok(None),
|
|
|
|
}
|
2019-10-02 17:34:32 +02:00
|
|
|
}
|
|
|
|
}
|