public interface ContextPartitionIdManager
Modifier and Type | Method and Description |
---|---|
void |
addExisting(int contextPartitionId) |
int |
allocateId() |
void |
clear() |
java.util.Collection<java.lang.Integer> |
getIds() |
void |
removeId(int contextPartitionId) |