/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package org.apache.cassandra.simulator.paxos;

import java.util.function.Consumer;

import javax.annotation.Nullable;

import com.carrotsearch.hppc.IntObjectHashMap;
import com.carrotsearch.hppc.IntObjectMap;
import com.carrotsearch.hppc.cursors.ObjectCursor;

public class LinearizabilityValidator implements HistoryValidator
{
    private final IntObjectMap<HistoryChecker> historyCheckers;

    public LinearizabilityValidator(int[] primaryKeys)
    {
        historyCheckers = new IntObjectHashMap<>(primaryKeys.length);
        for (int primaryKey : primaryKeys)
            historyCheckers.put(primaryKey, new HistoryChecker(primaryKey));
    }

    @Override
    public Checker witness(Object witnessedBy, int start, int end)
    {
        return new Checker()
        {
            @Override
            public void read(int pk, int id, int count, int[] seq)
            {
                get(pk).witness(id, seq, start, end);
            }

            @Override
            public void write(int pk, int id, boolean success)
            {
                get(pk).applied(id, start, end, success);
            }
        };
    }

    @Override
    public void print(@Nullable Integer pk)
    {
        if (pk == null) historyCheckers.values().forEach((Consumer<ObjectCursor<HistoryChecker>>) c -> c.value.print());
        else historyCheckers.get(pk).print();
    }

    private HistoryChecker get(int pk)
    {
        HistoryChecker checker = historyCheckers.get(pk);
        if (checker == null)
            throw new NullPointerException("Unable to find checker for pk=" + pk);
        return checker;
    }

    public static class Factory implements HistoryValidator.Factory
    {
        public static final Factory instance = new Factory();

        @Override
        public HistoryValidator create(int[] partitions)
        {
            return new LinearizabilityValidator(partitions);
        }
    }
}
