private void AcquireNextIdBatch()
{
IdAllocation allocation = _acquirer.acquireIds(_idType);
Debug.Assert(allocation.IdRange.RangeLength > 0);
_log.debug("Received id allocation " + allocation + " for " + _idType);
StoreLocally(allocation);
}
private void StoreLocally(IdAllocation allocation)
{
HighId = allocation.HighestIdInUse + 1; // high id is certainly bigger than the highest id in use
this._idQueue = RespectingHighId(allocation.IdRange).GetEnumerator();
}
