Struct c2rust_transpile::renamer::Renamer

pub struct Renamer<T> { /* fields omitted */ }

Methods

impl<T: Clone + Eq + Hash> Renamer<T>

pub fn new(reserved_names: &[&str]) -> Self

Creates a new renaming environment with a single, empty scope. The given set of reserved names will exclude those names from being chosen as the mangled names from the insert method.

pub fn add_scope(&mut self)

Introduces a new name binding scope

pub fn drop_scope(&mut self)

Drops the current name binding scope

pub fn pick_name(&mut self, basename: &str) -> String

pub fn pick_name_root(&mut self, basename: &str) -> String

Permanently assign a name that doesn't collide with anything currently in scope, and also never goes out of scope

pub fn insert(&mut self, key: T, basename: &str) -> Option<String>

Introduce a new name binding into the current scope. If the key is unbound in the current scope then Some of the resulting mangled name is returned, otherwise None.

pub fn insert_root(&mut self, key: T, basename: &str) -> Option<String>

Introduce a new name binding into the root scope. If the key is unbound in the root scope then Some of the resulting mangled name is returned, otherwise None.

pub fn alias(&mut self, new_key: T, old_key: &T)

Assign a name in the current scope without reservation or checking for overlap. This is intended to be used when one key is going to be merged

pub fn get(&self, key: &T) -> Option<String>

Lookup the given key in all of the scopes returning Some of the matched mangled name if one exists, otherwise None.

pub fn fresh(&mut self) -> String