public interface IDManagerString
| Modifier and Type | Method and Description |
|---|---|
String |
allocate()
Allocate a new unique identifier.
|
void |
free(String id)
Free the given identifier.
|
void |
used(String id)
Declare an identifier as used so it cannot be allocated.
|
Copyright © 2019. All rights reserved.