in harry-core/src/harry/dsl/HistoryBuilder.java [362:391]
void addSteps(List<Step> steps)
{
List<ReplayingVisitor.Batch> batches = new ArrayList<>();
Counter m = new Counter();
Counter opId = new Counter();
for (Step step : steps)
{
batches.add(step.toBatch(pd, lts, m.get(), opId::getAndIncrement));
if (sequentially)
{
assert lts == log.size();
addToLog(pd, batches);
m.reset();
}
else
{
m.increment();
}
opId.reset();
}
// If we were generating steps for the partition with same LTS, add remaining steps
if (!batches.isEmpty())
{
assert !sequentially;
addToLog(pd, batches);
}
}