Returns the batch into which the supplied Date is bucketed.
Returns the batch into which the supplied Date is bucketed.
What batches are needed to cover the given interval or: for all t in interval, batchOf(t) is in the result
What batches are needed to cover the given interval or: for all t in interval, batchOf(t) is in the result
Returns the current BatchID.
Returns the current BatchID.
Returns the (inclusive) earliest time of the supplied batch.
Returns the (inclusive) earliest time of the supplied batch.
Returns the sequence of BatchIDs that the supplied other
batcher would need to fetch to fully enclose the supplied
batchID
.
Returns the sequence of BatchIDs that the supplied other
batcher would need to fetch to fully enclose the supplied
batchID
.
strictly before the beforeBound, we use the before Batcher. At the beforeBound, the batch increments abe switches to using the after batcher. The BatchID WON'T be the same as what after would produce, as we will subtract batchOf(beforeBound) from the BatchID so that the BatchIDs are contiguous. The BatchID of beforeBound is before.batchOf(beforeBound - 1ms) + 1