Struct lalr::LR1State

pub struct LR1State<'a, T: 'a, N: 'a, A: 'a> {
    pub eof: Option<LRAction<'a, T, N, A>>,
    pub lookahead: BTreeMap<&'a T, LRAction<'a, T, N, A>>,
    pub goto: BTreeMap<&'a N, usize>,
}

A state in an LR(1) parse table.

Fields

eof: Option<LRAction<'a, T, N, A>>

The action if the lookahead is EOF.

lookahead: BTreeMap<&'a T, LRAction<'a, T, N, A>>

The actions for each non-EOF lookahead.

goto: BTreeMap<&'a N, usize>

The state to jump to when shifting a nonterminal (because of a reduce rule).

Trait Implementations

impl<'a, T: Debug + 'a, N: Debug + 'a, A: Debug + 'a> Debug for LR1State<'a, T, N, A>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.