private static class WidgetId.SessionArea extends WidgetId.IDGenerator
nextId
Constructor and Description |
---|
SessionArea()
Create the server-side ID generator.
|
Modifier and Type | Method and Description |
---|---|
protected int |
nextID()
Get the next ID, in sequential order.
|
protected boolean |
usedId(int id)
Check if the given ID is already used.
|
protected boolean |
wrapped(int id)
Check if the ID has wrapped.
|
allocateID
protected int nextID()
nextID
in class WidgetId.IDGenerator
protected boolean usedId(int id)
usedId
in class WidgetId.IDGenerator
id
- The ID to check.true
if the ID is part of the server-side registry.protected boolean wrapped(int id)
wrapped
in class WidgetId.IDGenerator
id
- The ID to check.true
if the ID has wrapped.