public final class UniqueNameTable
extends java.lang.Object
Constructor and Description |
---|
UniqueNameTable()
Create empty name table.
|
UniqueNameTable(Environment env)
Create name table such that no generated name conflicts with any
value identifier in the given environment.
|
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getBaseName(java.lang.String name)
Get base name from name.
|
java.lang.String |
getUniqueName(java.lang.String name)
Create unique identifier name from given name.
|
public UniqueNameTable()
public UniqueNameTable(Environment env)
env
- the environment whose value identifiers are already used.public java.lang.String getUniqueName(java.lang.String name)
name
- of an identifierpublic static java.lang.String getBaseName(java.lang.String name)
name
- a name (possible unique as returned by getUniqueName()).