/*
 * Copyright Consensys Software Inc., 2022
 *
 * Licensed 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 tech.pegasys.teku.spec.generator;

import static org.assertj.core.api.Assertions.assertThat;

import org.junit.jupiter.api.Test;
import tech.pegasys.teku.infrastructure.unsigned.UInt64;
import tech.pegasys.teku.spec.Spec;
import tech.pegasys.teku.spec.TestSpecFactory;

public class ChainPropertiesTest {

  private final Spec spec = TestSpecFactory.createDefault();
  private final ChainProperties chainProperties = new ChainProperties(spec);

  @Test
  public void computeBestEpochFinalizableAtSlot_atEpochBoundary() {
    final UInt64 epoch = UInt64.valueOf(2);
    final UInt64 startSlot = spec.computeStartSlotAtEpoch(epoch);

    final UInt64 result = chainProperties.computeBestEpochFinalizableAtSlot(startSlot);
    assertThat(result).isEqualTo(epoch);
  }

  @Test
  public void computeBestEpochFinalizableAtSlot_priorToEpochBoundary() {
    final UInt64 epoch = UInt64.valueOf(2);
    final UInt64 slot = spec.computeStartSlotAtEpoch(epoch).minus(UInt64.ONE);

    final UInt64 result = chainProperties.computeBestEpochFinalizableAtSlot(slot);
    assertThat(result).isEqualTo(epoch);
  }

  @Test
  public void computeBestEpochFinalizableAtSlot_afterEpochBoundary() {
    final UInt64 epoch = UInt64.valueOf(2);
    final UInt64 slot = spec.computeStartSlotAtEpoch(epoch).plus(UInt64.ONE);

    final UInt64 result = chainProperties.computeBestEpochFinalizableAtSlot(slot);
    assertThat(result).isEqualTo(epoch.plus(UInt64.ONE));
  }
}
