Struct aho_corasick::FullAcAutomaton

[+] Show declaration

pub struct FullAcAutomaton<P> { /* fields omitted */ }

[−] Expand description

A complete Aho-Corasick automaton.

This uses a single transition matrix that permits each input character to move to the next state with a single lookup in the matrix.

This is as fast as it gets, but it is guaranteed to use a lot of memory. Namely, it will use at least 4 * 256 * #states, where the number of states is capped at length of all patterns concatenated.

Methods

impl<P: AsRef<[u8]>> FullAcAutomaton<P>[−]

pub fn new<T: Transitions>(ac: AcAutomaton<P, T>) -> FullAcAutomaton<P>[−]

Build a new expanded Aho-Corasick automaton from an existing Aho-Corasick automaton.

Trait Implementations

impl<P: AsRef<[u8]>> Automaton<P> for FullAcAutomaton<P>[+]

[+] Show hidden undocumented items

fn next_state(&self, si: StateIdx, i: u8) -> StateIdx[−]

Return the next state given the current state and next character.

fn get_match(&self, si: StateIdx, outi: usize, texti: usize) -> Match[−]

Build a match given the current state, pattern index and input index.

fn has_match(&self, si: StateIdx, outi: usize) -> bool[−]

Return true if and only if the given state and current pattern index indicate a match.

fn start_bytes(&self) -> &[u8][−]

Return the set of bytes that have transitions in the root state.

fn patterns(&self) -> &[P][−]

Returns all of the patterns matched by this automaton.

fn pattern(&self, i: usize) -> &P[−]

Returns the pattern indexed at i.

fn len(&self) -> usize[−]

Return the number of patterns in the automaton.

fn is_empty(&self) -> bool[−]

Returns true if the automaton has no patterns.

Important traits for Matches<'a, 's, P, A>

impl<'a, 's, P, A: Automaton<P> + ?Sized> Iterator for Matches<'a, 's, P, A> type Item = Match;

fn find<'a, 's, Q: ?Sized + AsRef<[u8]>>(
    &'a self,
    s: &'s Q
) -> Matches<'a, 's, P, Self> where
    Self: Sized, [−]

Returns an iterator of non-overlapping matches in s.

Important traits for MatchesOverlapping<'a, 's, P, A>

impl<'a, 's, P, A: Automaton<P> + ?Sized> Iterator for MatchesOverlapping<'a, 's, P, A> type Item = Match;

fn find_overlapping<'a, 's, Q: ?Sized + AsRef<[u8]>>(
    &'a self,
    s: &'s Q
) -> MatchesOverlapping<'a, 's, P, Self> where
    Self: Sized, [−]

Returns an iterator of overlapping matches in s.

Important traits for StreamMatches<'a, R, P, A>

impl<'a, R: Read, P, A: Automaton<P>> Iterator for StreamMatches<'a, R, P, A> type Item = Result<Match>;

fn stream_find<'a, R: Read>(&'a self, rdr: R) -> StreamMatches<'a, R, P, Self> where
    Self: Sized, [−]

Returns an iterator of non-overlapping matches in the given reader.

Important traits for StreamMatchesOverlapping<'a, R, P, A>

impl<'a, R: Read, P, A: Automaton<P> + ?Sized> Iterator for StreamMatchesOverlapping<'a, R, P, A> type Item = Result<Match>;

fn stream_find_overlapping<'a, R: Read>(
    &'a self,
    rdr: R
) -> StreamMatchesOverlapping<'a, R, P, Self> where
    Self: Sized, [−]

Returns an iterator of overlapping matches in the given reader.

impl<P: Clone> Clone for FullAcAutomaton<P>[+]

[+] Show hidden undocumented items

fn clone(&self) -> FullAcAutomaton<P>[−]

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)[−]

Performs copy-assignment from source.

impl<P: AsRef<[u8]> + Debug> Debug for FullAcAutomaton<P>[+]

[+] Show hidden undocumented items

fn fmt(&self, f: &mut Formatter) -> Result[−]

Formats the value using the given formatter.