public class RequestIDAllocator
extends java.lang.Object
| Constructor and Description |
|---|
RequestIDAllocator() |
| Modifier and Type | Method and Description |
|---|---|
static int |
get_request_id()
Get a uneque request ID for a request.
|
static int |
peek_request_id()
Discover what the next ID will be without using it.
|