void addSteps()

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);
            }
        }