summaryrefslogtreecommitdiffstats
path: root/vendor/regex-automata/tests/util.rs
blob: 499aa8c6d74349bce7d8e7a3abe35ac7cc942173 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
use regex_automata::util::prefilter::{self, Candidate, Prefilter};

#[derive(Clone, Debug)]
pub struct SubstringPrefilter(bstr::Finder<'static>);

impl SubstringPrefilter {
    pub fn new<B: AsRef<[u8]>>(needle: B) -> SubstringPrefilter {
        SubstringPrefilter(bstr::Finder::new(needle.as_ref()).into_owned())
    }
}

impl Prefilter for SubstringPrefilter {
    #[inline]
    fn next_candidate(
        &self,
        state: &mut prefilter::State,
        haystack: &[u8],
        at: usize,
    ) -> Candidate {
        self.0
            .find(&haystack[at..])
            .map(|i| Candidate::PossibleStartOfMatch(at + i))
            .unwrap_or(Candidate::None)
    }

    fn heap_bytes(&self) -> usize {
        self.0.needle().len()
    }
}

/// A prefilter that always returns `Candidate::None`, even if it's a false
/// negative. This is useful for confirming that a prefilter is actually
/// active by asserting an incorrect result.
#[derive(Clone, Debug)]
pub struct BunkPrefilter(());

impl BunkPrefilter {
    pub fn new() -> BunkPrefilter {
        BunkPrefilter(())
    }
}

impl Prefilter for BunkPrefilter {
    #[inline]
    fn next_candidate(
        &self,
        _state: &mut prefilter::State,
        _haystack: &[u8],
        _at: usize,
    ) -> Candidate {
        Candidate::None
    }

    fn heap_bytes(&self) -> usize {
        0
    }
}