Struct RenameTable

pub struct RenameTable {
    pub(crate) parent: Option<Box<RenameTable>>,
    names: IndexMap<Symbol, Symbol>,
    ids: IndexMap<Symbol, NodeID>,
}

RenameTable tracks the names assigned by static single assignment in a single scope.

Fields

parent: Option<Box<RenameTable>>

The RenameTable of the parent scope.

names: IndexMap<Symbol, Symbol>

The mapping from names in the original AST to new names in the renamed AST.

ids: IndexMap<Symbol, NodeID>

The mapping from symbols to node IDs. These are used to ensure that newly introduced symbols reference the appropriate information that has been previously indexed by node ID. e,g. TypeTable.

Implementations

impl RenameTable

pub(crate) fn new(parent: Option<Box<RenameTable>>) -> Self

Create a new RenameTable with the given parent.

pub(crate) fn local_names(&self) -> impl Iterator<Item = &Symbol>

Returns the symbols that were renamed in the current scope.

pub(crate) fn update(&mut self, symbol: Symbol, new_symbol: Symbol, id: NodeID)

Updates self.mapping with the desired entry. Creates a new entry if symbol is not already in self.mapping.

pub(crate) fn lookup(&self, symbol: Symbol) -> Option<&Symbol>

Looks up the new name for symbol, recursively checking the parent if it is not found.

pub(crate) fn lookup_id(&self, symbol: &Symbol) -> Option<&NodeID>

Looks up the node ID for symbol, recursively checking the parent if it is not found.

Trait Implementations

impl Clone for RenameTable

fn clone(&self) -> RenameTable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RenameTable

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

Formats the value using the given formatter.

impl Default for RenameTable

fn default() -> RenameTable

Returns the “default value” for a type.

impl PartialEq for RenameTable

fn eq(&self, other: &RenameTable) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for RenameTable

impl StructuralPartialEq for RenameTable