ix.util
Class Gensym.Generator
java.lang.Object
ix.util.Gensym.Generator
- Enclosing class:
- Gensym
public static class Gensym.Generator
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
useUnique
protected boolean useUnique
useHash
protected boolean useHash
counters
protected java.util.Map counters
prefix
protected java.lang.String prefix
Gensym.Generator
public Gensym.Generator()
setPrefix
public void setPrefix(java.lang.String s)
usingUniquePrefix
public boolean usingUniquePrefix()
useUniquePrefix
public void useUniquePrefix()
makeUniquePrefix
protected java.lang.String makeUniquePrefix()
makeLongPrefix
protected java.lang.String makeLongPrefix()
makeHashPrefix
protected java.lang.String makeHashPrefix()
nextString
public java.lang.String nextString(java.lang.String base)
nextName
public Name nextName(java.lang.String base)
nextSymbol
public Symbol nextSymbol(java.lang.String base)
nextNewSymbol
public Symbol nextNewSymbol(java.lang.String base)