Struct Transition 

pub struct Transition<State, Effect>
where
    State: Eq + PartialEq + Copy,
    Effect: Copy,
{
    pub condition: Option<Predicate>,
    pub to: State,
    pub effect: Option<Effect>,
}

Transition to next state which is validated by condition

Fields

condition: Option<Predicate>

Predicate that validates current character of stream. If None then transition is unconditional (i.e. succeeds for every input character)

to: State

Next state

effect: Option<Effect>

Side effect that is generated after successful validation of transition If None then no effect is generated

Implementations

impl<State, Effect> Transition<State, Effect>

where State: Eq + PartialEq + Copy, Effect: Copy,

pub fn new( to: State, condition: Option<Predicate>, effect: Option<Effect>, ) -> Self

Creates new transition

• to: next state,
• condition: predicate for character,
• effect: side effect

pub fn transit(&self, ch: char) -> (Option<State>, Option<Effect>)

Matches next state and side effect for current character

• ch: current character (of stream)