Trait gll_pg_core::GrammarLabel

pub trait GrammarLabel: Debug {
    type Symbol: GrammarSymbol;
    pub fn first(&self) -> bool;
    pub fn end(&self) -> Option<Self::Symbol>;
}

A common trait that all labels should impl, the labels and impl are generated. You don't need to impl it in your code.

Associated Types

type Symbol: GrammarSymbol

Loading content...

Required methods

pub fn first(&self) -> bool

if self is of form X ::= a . b, return true if a is a terminal or a non-nullable nonterminal and if b is not eps

pub fn end(&self) -> Option<Self::Symbol>

return Some(lhs) if it is the end of a grammar rule lhs -> ..., otherwise None

Loading content...

Implementors

Loading content...