Struct CompiledTable 

pub struct CompiledTable { /* private fields */ }

Owned parse table data produced by CompiledTable::build.

This holds the compressed table arrays, grammar, and conflict info. Use CompiledTable::table to get a lightweight [ParseTable] for parsing.

Implementations

impl CompiledTable

pub fn build(grammar: &Grammar) -> Result<Self, String>

Build parse tables from a grammar.

Returns an error if grammar conversion fails (for example, unknown symbols).

pub fn table(&self) -> ParseTable<'_>

Get a lightweight [ParseTable] borrowing from this compiled table.

pub fn has_conflicts(&self) -> bool

Returns true if the table has conflicts.

pub fn format_conflicts(&self) -> Vec<String>

Format conflicts as human-readable error messages (one string per conflict).

pub fn symbol_id(&self, name: &str) -> Option<SymbolId>

Lookup symbol ID by name.

pub fn symbol_name(&self, id: SymbolId) -> &str

Get the name of a symbol by ID.

pub fn num_symbols(&self) -> u32

Get the total number of symbols.

pub fn num_terminals(&self) -> u32

Get the number of terminal symbols.

pub fn num_states(&self) -> usize

Get the number of parser states.

pub fn conflicts(&self) -> &[Conflict]

Get the conflicts detected during table construction, paired with examples.

Trait Implementations

impl Debug for CompiledTable

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

Formats the value using the given formatter.

impl ErrorContext for CompiledTable

fn symbol_name(&self, id: SymbolId) -> &str

Get the name for a symbol ID.

fn state_symbol(&self, state: usize) -> SymbolId

Get the accessing symbol for a state (the symbol shifted/reduced to enter it).

fn state_items(&self, state: usize) -> &[(u16, u8)]

Get active LR items for a state. Each pair is (rule_index, dot_position): the dot position is how far into the rule’s RHS the parser has progressed.

fn rule_rhs(&self, rule: usize) -> &[u32]

Get the RHS symbol IDs for a rule (each ID indexes into symbol_name).