compiler/edu.cornell.cs.apl.viaduct.util/FreshNameGenerator

FreshNameGenerator

class FreshNameGenerator(initialNames: Set<String>)
Content copied to clipboard

Generates distinct names. Never generates the same name twice.

Constructors

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

Functions

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

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