ix.util
Class Util.NameGenerator

java.lang.Object
  |
  +--ix.util.Util.NameGenerator

Enclosing class:

Util

public static class Util.NameGenerator

extends java.lang.Object

Name generator a la gensym.

Field Summary

protected java.util.Map

counters

Constructor Summary

Util.NameGenerator()

Method Summary

java.lang.String

nextName(java.lang.String base)

Methods inherited from class java.lang.Object

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

Field Detail

counters

protected java.util.Map counters

Constructor Detail

Util.NameGenerator

public Util.NameGenerator()

Method Detail

nextName

public java.lang.String nextName(java.lang.String base)