compiler/io.github.aplcornell.viaduct.util/FreshNameGenerator

FreshNameGenerator

class FreshNameGenerator(initialNames: Set<String>)

Generates distinct names. Never generates the same name twice.

Constructors

Link copied to clipboard
Link copied to clipboard
fun FreshNameGenerator(initialNames: Set<String>)

Functions

Link copied to clipboard
fun getFreshName(base: String): String

Returns a new name derived from base. The return name will be different from all previously returned names.