com.google.javascript.jscomp.newtypes

Class UniqueNameGenerator

java.lang.Object

com.google.javascript.jscomp.newtypes.UniqueNameGenerator

public class UniqueNameGenerator
extends java.lang.Object

Uses a counter to create unique names for functions, variables, type variables, etc. For a name foo, the generated name is of the form foo#COUNT; the original name can be recovered from the unique name.

Field Summary

Fields

Modifier and Type	Field and Description
private int	count

Constructor Summary

Constructors

Constructor and Description
UniqueNameGenerator()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	findGeneratedName(java.lang.String name, com.google.common.collect.ImmutableList<java.lang.String> names)
java.lang.String	getNextName(java.lang.String name)
int	getNextNumber()
static java.lang.String	getOriginalName(java.lang.String name)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

count

private int count

Constructor Detail

UniqueNameGenerator

public UniqueNameGenerator()

Method Detail

getNextNumber

public int getNextNumber()

getNextName

public java.lang.String getNextName(java.lang.String name)

findGeneratedName

public static java.lang.String findGeneratedName(java.lang.String name,
                                                 com.google.common.collect.ImmutableList<java.lang.String> names)

getOriginalName

public static java.lang.String getOriginalName(java.lang.String name)