com.google.gwt.dev.generator

Class NameFactory

java.lang.Object

com.google.gwt.dev.generator.NameFactory

public class NameFactory
extends Object

Generates unqiue identifiers. Use this class to avoid generating conflicting names with user code. This class isn't smart enough to know about scopes (which isn't generally a problem for generators in any case).

Constructor Summary

Constructors

Constructor and Description
NameFactory() Creates a new NameFactory that doesn't know about any existing names.
NameFactory(Collection<String> existingNames) Creates a new NameFactory that knows about existingNames.

Method Summary

Methods

Modifier and Type	Method and Description
void	addName(String name) Reserves a known name.
String	createName(String name) Creates a new unique name based off of name and adds it to the list of known names.

Methods inherited from class java.lang.Object

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

Constructor Detail

NameFactory

public NameFactory(Collection<String> existingNames)

Creates a new NameFactory that knows about existingNames.

Parameters:

existingNames - a list of names that may be null.

NameFactory

public NameFactory()

Creates a new NameFactory that doesn't know about any existing names.

Method Detail

addName

public void addName(String name)

Reserves a known name. Asserts that the name is not already in this set.

Parameters:

name - a not null name

createName

public String createName(String name)

Creates a new unique name based off of name and adds it to the list of known names.

Parameters:

name - a not null name to base the new unique name from

Returns:

a new unique, not null name. This name may be possibly identical to name.