Struct SymbolTable 

pub struct SymbolTable { /* private fields */ }

Stores the names of the terminal and nonterminal symbols when building a parser.

Terminals are defined in the lexicon and don’t change. They have two parts to their name:

• the identifier in the lexicon
• the value, which is 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);

They’re added to the symbol table with add_terminal().

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();

They’re added with add_nonterminal.

The new rules are called “children” of the transformed rules, and can be added with add_child_nonterminal(). The name is the parent’s name followed by “_”. For example, adding a child to nonterminal 0 creates

nt[2] = "expr_1".to_string()

Implementations

impl SymbolTable

pub fn new() -> Self

pub fn to_fixed_sym_table(self) -> FixedSymTable

pub fn add_terminal<T: Into<String>>( &mut self, name: T, value_maybe: Option<T>, ) -> TokenId

pub fn extend_terminals<I: IntoIterator<Item = (T, Option<T>)>, T: Into<String>>( &mut self, terminals: I, )

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

pub fn get_num_t(&self) -> usize

pub fn set_t_value(&mut self, token: TokenId, name_maybe: Option<String>)

pub fn downsize_num_t(&mut self, num_t: usize)

pub fn add_nonterminal<T: Into<String>>(&mut self, name: T) -> VarId

pub fn add_child_nonterminal(&mut self, var: VarId) -> VarId

pub fn extend_nonterminals<I: IntoIterator<Item = T>, T: Into<String>>( &mut self, nonterminals: I, )

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

pub fn get_num_nt(&self) -> usize

pub fn remove_nonterminal(&mut self, v: VarId)

pub fn set_nt_name(&mut self, var: VarId, name: String)

pub fn remove_nt_name(&mut self, var: VarId) -> String

Removes the name assigned to NT var and returns it. Internally, the name of the NT is replaced by another unique string. The NT is expected to be removed later.

pub fn gen_source_code_t( &self, indent: usize, has_enum: bool, has_array: bool, ) -> String

Trait Implementations

impl Clone for SymbolTable

fn clone(&self) -> SymbolTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolTable

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

Formats the value using the given formatter.

impl Default for SymbolTable

fn default() -> Self

Returns the “default value” for a type.

impl SymInfoTable for SymbolTable

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