Struct IntermediateState 

pub struct IntermediateState<TermClass, NonTerm, StateIndex, RuleIndex> {
    pub shift_goto_map_term: Vec<(TermClass, ShiftTarget<StateIndex>)>,
    pub shift_goto_map_nonterm: Vec<(NonTerm, ShiftTarget<StateIndex>)>,
    pub reduce_map: Vec<(TermClass, Vec<RuleIndex>)>,
    pub ruleset: Vec<ShiftedRuleRef>,
}

This intermediate state is a common structure to convert from generated code and grammar builder into various types of parser states (SparseState, DenseState, …).

Fields

shift_goto_map_term: Vec<(TermClass, ShiftTarget<StateIndex>)>

shift_goto_map_nonterm: Vec<(NonTerm, ShiftTarget<StateIndex>)>

reduce_map: Vec<(TermClass, Vec<RuleIndex>)>

ruleset: Vec<ShiftedRuleRef>

Trait Implementations

impl<TermClass, NonTerm, RuleContainer, StateIndex, RuleIndex> From<IntermediateState<TermClass, NonTerm, StateIndex, RuleIndex>> for DenseState<TermClass, NonTerm, RuleContainer, StateIndex>

where TermClass: TerminalClass + Ord + Copy, NonTerm: NonTerminal + Hash + Eq + Copy, StateIndex: Copy, RuleContainer: Clone + ReduceRules, <RuleContainer as ReduceRules>::RuleIndex: TryFrom<RuleIndex>,

fn from( builder_state: IntermediateState<TermClass, NonTerm, StateIndex, RuleIndex>, ) -> DenseState<TermClass, NonTerm, RuleContainer, StateIndex>

Converts to this type from the input type.

impl<TermClass, NonTerm, RuleContainer, StateIndex, RuleIndex> From<IntermediateState<TermClass, NonTerm, StateIndex, RuleIndex>> for SparseState<TermClass, NonTerm, RuleContainer, StateIndex>

where TermClass: TerminalClass + Ord + Hash, NonTerm: NonTerminal + Hash + Eq, RuleContainer: ReduceRules, <RuleContainer as ReduceRules>::RuleIndex: TryFrom<RuleIndex>,

fn from( builder_state: IntermediateState<TermClass, NonTerm, StateIndex, RuleIndex>, ) -> SparseState<TermClass, NonTerm, RuleContainer, StateIndex>

Converts to this type from the input type.

impl<Term, NonTerm> From<State<Term, NonTerm>> for IntermediateState<Term, NonTerm, usize, usize>

where Term: Ord,

fn from( state: State<Term, NonTerm>, ) -> IntermediateState<Term, NonTerm, usize, usize>

Converts to this type from the input type.