Struct FixedSymTable 

pub struct FixedSymTable { /* private fields */ }

Stores the names of the terminal and nonterminal symbols used by a parser.

Terminals are defined in the lexicon. They have two parts to their name:

• the identifier in the lexicon
• the source string they represent (optional)

For example:

Plus : '+';
...
ID    : [a-zA-Z][a-zA-Z_0-9]*;

If Arrow’s token ID is 0 and ID’s is 24,

t[0] = ("Plus".to_string(), Some("+".to_string()));
t[24] = ("ID".to_string(), None);

Nonterminals are defined in the grammar, and possibly completed by new ones when the rules are adapted to the target parser. For example, recursive rules are transformed for LL(1) parsers, which usually adds extra rules.

expr: expr Plus term | term;

If expr is 0 and term is 1,

nt[0] = "expr".to_string();
nt[1] = "term".to_string();
nt[2] = "expr_1".to_string(); // generated when removing the left recursion

Implementations

impl FixedSymTable

pub fn new(t: Vec<(String, Option<String>)>, nt: Vec<String>) -> Self

pub fn get_terminals(&self) -> impl Iterator<Item = &(String, Option<String>)>

pub fn get_num_t(&self) -> usize

pub fn get_nonterminals(&self) -> impl Iterator<Item = &String>

pub fn get_num_nt(&self) -> usize

Trait Implementations

impl Clone for FixedSymTable

fn clone(&self) -> FixedSymTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FixedSymTable

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

Formats the value using the given formatter.

impl SymInfoTable for FixedSymTable

fn is_token_data(&self, token: TokenId) -> bool

Does Symbol::T(token) hold lexer string data?

fn is_symbol_t_data(&self, symbol: &Symbol) -> bool

Is symbol a terminal holding lexer string data?

fn is_symbol_t_fixed(&self, symbol: &Symbol) -> bool

fn get_t_str(&self, token: TokenId) -> String

fn get_t_name(&self, token: TokenId) -> String

fn get_nt_name(&self, var: VarId) -> String

fn get_name(&self, symbol: &Symbol) -> String

Gets the symbol’s name: the nonterminal identifier, the terminal identifier, or “ε”, “$”, …

fn get_str(&self, symbol: &Symbol) -> String

Gets the symbol’s representation string: the nonterminal identifier, the terminal string value (if it exists), or “ε”, “$”, …

fn get_name_quote(&self, symbol: &Symbol) -> String