Struct ielr::output::Item

pub struct Item {
    pub production: ProdIdx,
    pub index: u16,
    /* private fields */
}

Item in a State.

This represent one of the things the parser may be currently parsing.

Fields

production: ProdIdx

The production of this item.

This has the form lhs → rhs, where rhs may be retrieved using Grammar::get_rhs.

index: u16

At which point of production we are.

Implementations

impl Item

pub fn has_lookahead(&self, lookahead: Lookahead) -> bool

Returns true if lookahead may be found right after self.

pub fn get_all_lookaheads(&self) -> impl Iterator<Item = Lookahead> + '_

Returns all lookaheads that may be found right after self.

pub fn current_symbol(&self, grammar: &Grammar) -> Option<Symbol>

Uses grammar to get the production corresponding to self, at read the symbol at Self::index.

If index is at the last position, this will return None.

Trait Implementations

impl Clone for Item

fn clone(&self) -> Item

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Item

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

Formats the value using the given formatter.

impl PartialEq<Item> for Item

fn eq(&self, other: &Item) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Item

impl StructuralEq for Item

impl StructuralPartialEq for Item