Struct Parser

pub struct Parser {
    pub rules: Vec<ProductionRule<&'static str, ChunkOrExpressionsNonTerminals>>,
    pub states: Vec<SparseState<ChunkOrExpressionsNonTerminals, SmallVecU8>>,
    pub classes: Vec<Vec<&'static str>>,
}

A struct that holds the entire parser table and production rules.

Fields

rules: Vec<ProductionRule<&'static str, ChunkOrExpressionsNonTerminals>>

production rules

states: Vec<SparseState<ChunkOrExpressionsNonTerminals, SmallVecU8>>

states

classes: Vec<Vec<&'static str>>

terminal classes

Implementations

impl ChunkOrExpressionsParser

A struct that holds the whole parser table.

pub fn new() -> Self

Calculates the states and parser tables from the grammar.

Trait Implementations

impl Parser for ChunkOrExpressionsParser

type Term = Token

The type of terminal symbols.

type NonTerm = ChunkOrExpressionsNonTerminals

The type of non-terminal symbols.

type State = SparseState<ChunkOrExpressionsNonTerminals, SmallVec<[u8; 16]>>

The type of the parser state.

type TerminalClassElement = &'static str

A type to represent single element in a terminal class.

fn class_precedence(&self, class: TerminalSymbol<usize>) -> Option<usize>

Get the precedence level (priority) of the given terminal class None if the terminal class has no precedence defined.

fn precedence_types(&self, level: usize) -> Option<ReduceType>

Get the type of precedence for i’th level. None if i’th level was defined as %precedence (no reduce type).

fn get_rules( &self, ) -> &[ProductionRule<&'static str, ChunkOrExpressionsNonTerminals>]

Get list of production rules

fn get_states( &self, ) -> &[SparseState<ChunkOrExpressionsNonTerminals, SmallVecU8>]

Get list of states

fn get_terminals( &self, i: usize, ) -> Option<impl IntoIterator<Item = Self::TerminalClassElement> + '_>

Get set of terminals for i’th terminal class

fn to_terminal_class(&self, terminal: &Self::Term) -> usize

Get the terminal class of the given terminal

fn error_used() -> bool

whether the error token was used in the grammar.