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 testnext
private 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()