polyglot.util
Class UniqueID

java.lang.Object
  polyglot.util.UniqueID

public class UniqueID
extends java.lang.Object

A unique identifier generator.

Constructor Summary

UniqueID()

Method Summary

static java.lang.String	newID(java.lang.String s)
static int	newIntID()

Methods inherited from class java.lang.Object

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

Constructor Detail

UniqueID

public UniqueID()

Method Detail

newID

public static java.lang.String newID(java.lang.String s)

newIntID

public static int newIntID()