public class DefaultNameManager extends Object
DefaultNameManager()
DefaultNameManager(String prefix)
int
getCount()
String
getPrefix()
newDefaultName()
void
setPrefix(String prefix)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DefaultNameManager(String prefix)
public DefaultNameManager()
public String getPrefix()
public void setPrefix(String prefix)
public int getCount()
public String newDefaultName()