Struct ielr::output::State

pub struct State {
    pub accessing_symbol: Option<Symbol>,
    /* private fields */
}

A state in the Table.

Fields

accessing_symbol: Option<Symbol>

Symbol used to transition into this state.

Implementations

impl State

pub fn action_table(&self) -> ActionTable<'_>

Get the possible action (depending on the lookahead) for this state.

pub fn goto_table(&self) -> GotoTable<'_>

Get the GotoTable associated with this state.

pub fn transition(&self, symbol: Symbol) -> Option<StateIdx>

Get the transition from this state on symbol, if it exists.

pub fn get_all_transitions( &self ) -> impl Iterator<Item = (Symbol, StateIdx)> + '_

Get all possible transition from this state to any other, using either shift or goto transitions.

pub fn all_items(&self) -> &[Item]

Get all the Items of this state.

pub fn core_items(&self) -> &[Item]

Get all the core Items of this state

A core item is an item where the dot is not at the left-most position. In other words, Item::index is not 0.

Trait Implementations

impl Clone for State

fn clone(&self) -> State

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for State

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.