private static class BasicHubService.ClientIdGenerator
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
private java.util.Comparator |
comparator_ |
private int |
iseq_ |
private java.lang.String |
prefix_ |
| Constructor and Description |
|---|
ClientIdGenerator(java.lang.String prefix)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Comparator |
getComparator()
Returns a comparator which will order the IDs generated by this
object in generation sequence.
|
private java.lang.Integer |
getIndex(java.lang.String id)
Returns an Integer giving the sequence index of the given id string.
|
boolean |
hasUsed(java.lang.String id)
Indicates whether a given client ID has previously been dispensed
by this object.
|
java.lang.String |
next()
Returns the next unused id.
|
private int iseq_
private final java.lang.String prefix_
private final java.util.Comparator comparator_
public ClientIdGenerator(java.lang.String prefix)
prefix - prefix for all generated idspublic java.lang.String next()
public boolean hasUsed(java.lang.String id)
id - id to testnextprivate java.lang.Integer getIndex(java.lang.String id)
id does not look like a string generated by this
object, null is returned.id - identifier to testid,
or nullpublic java.util.Comparator getComparator()