Trait generic_regex::StateMachine

pub trait StateMachine {
    type Item;
    fn trans(&self, state: usize, elem: Self::Item) -> (usize, Action);
    fn zero_state_may_be_first(&self, elem: Self::Item) -> bool;

    fn replace_all<I: Iterator<Item = Self::Item> + Clone, J: Iterator<Item = Self::Item> + Clone>(
        &self, 
        source: I, 
        replacement: J
    ) -> ReplacerIt<Self::Item, Self, I, J> { ... }
    fn replace_vec_all<'a, J: Iterator<Item = Self::Item> + Clone>(
        &'a self, 
        source: &'a Vec<Self::Item>, 
        replacement: J
    ) -> ReplacerVecIt<'a, Self::Item, Self, J> { ... }
    fn find_all<I: Iterator<Item = Self::Item> + Clone>(
        &self, 
        source: I
    ) -> FinderIt<Self::Item, Self, I> { ... }
    fn find_vec_all<'a>(
        &'a self, 
        source: &'a Vec<Self::Item>
    ) -> FinderVecIt<'a, Self::Item, Self> { ... }
}

Associated Types

type Item

Required Methods

fn trans(&self, state: usize, elem: Self::Item) -> (usize, Action)

fn zero_state_may_be_first(&self, elem: Self::Item) -> bool

Provided Methods

fn replace_all<I: Iterator<Item = Self::Item> + Clone, J: Iterator<Item = Self::Item> + Clone>(
    &self,
    source: I,
    replacement: J
) -> ReplacerIt<Self::Item, Self, I, J>

return true if elem is in the first set of it is unknown

fn replace_vec_all<'a, J: Iterator<Item = Self::Item> + Clone>(
    &'a self,
    source: &'a Vec<Self::Item>,
    replacement: J
) -> ReplacerVecIt<'a, Self::Item, Self, J>

fn find_all<I: Iterator<Item = Self::Item> + Clone>(
    &self,
    source: I
) -> FinderIt<Self::Item, Self, I>

fn find_vec_all<'a>(
    &'a self,
    source: &'a Vec<Self::Item>
) -> FinderVecIt<'a, Self::Item, Self>

Implementors

• impl<'a, T> StateMachine for StateMachineFunction<'a, T> type Item = T;
• impl<T: Ord + Hash> StateMachine for StateMachineHashMap<T> type Item = T;
• impl StateMachine for StateMachineVec type Item = u8;