Struct NameGenerator

pub struct NameGenerator { /* private fields */ }

Simple HashMap-based name generator that generates new names for each prefix.

Implementations

impl NameGenerator

pub fn with_prev_defined_names(names: HashSet<Id>) -> Self

Create a NameGenerator where names are already defined so that this generator will never generate those names.

pub fn add_names(&mut self, names: HashSet<Id>)

Add generated names

pub fn gen_name<S>(&mut self, prefix: S) -> Id

where S: Into<Id>,

Returns a new String that starts with prefix. For example:

namegen.gen_name("seq");  // Generates "seq0"
namegen.gen_name("seq");  // Generates "seq1"

Trait Implementations

impl Clone for NameGenerator

fn clone(&self) -> NameGenerator

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NameGenerator

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

Formats the value using the given formatter.