// Copyright (C) 2018 The Android Open Source Project
//
// 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 com.google.gerrit.extensions.conditions;

import static org.junit.Assert.assertEquals;

import org.junit.Test;

public class BooleanConditionTest {

  private static final BooleanCondition NO_TRIVIAL_EVALUATION =
      new BooleanCondition() {
        @Override
        public boolean value() {
          throw new UnsupportedOperationException("value() is not supported");
        }

        @Override
        public <T> Iterable<T> children(Class<T> type) {
          throw new UnsupportedOperationException("children(Class<T> type) is not supported");
        }

        @Override
        public BooleanCondition reduce() {
          return this;
        }

        @Override
        protected boolean evaluatesTrivially() {
          return false;
        }
      };

  @Test
  public void reduceAnd_CutOffNonTrivialWhenPossible() throws Exception {
    BooleanCondition nonReduced = BooleanCondition.and(false, NO_TRIVIAL_EVALUATION);
    BooleanCondition reduced = BooleanCondition.valueOf(false);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceAnd_CutOffNonTrivialWhenPossibleSwapped() throws Exception {
    BooleanCondition nonReduced =
        BooleanCondition.and(NO_TRIVIAL_EVALUATION, BooleanCondition.valueOf(false));
    BooleanCondition reduced = BooleanCondition.valueOf(false);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceAnd_KeepNonTrivialWhenNoCutOffPossible() throws Exception {
    BooleanCondition nonReduced = BooleanCondition.and(true, NO_TRIVIAL_EVALUATION);
    BooleanCondition reduced = BooleanCondition.and(true, NO_TRIVIAL_EVALUATION);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceAnd_KeepNonTrivialWhenNoCutOffPossibleSwapped() throws Exception {
    BooleanCondition nonReduced =
        BooleanCondition.and(NO_TRIVIAL_EVALUATION, BooleanCondition.valueOf(true));
    BooleanCondition reduced =
        BooleanCondition.and(NO_TRIVIAL_EVALUATION, BooleanCondition.valueOf(true));
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceOr_CutOffNonTrivialWhenPossible() throws Exception {
    BooleanCondition nonReduced = BooleanCondition.or(true, NO_TRIVIAL_EVALUATION);
    BooleanCondition reduced = BooleanCondition.valueOf(true);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceOr_CutOffNonTrivialWhenPossibleSwapped() throws Exception {
    BooleanCondition nonReduced =
        BooleanCondition.or(NO_TRIVIAL_EVALUATION, BooleanCondition.valueOf(true));
    BooleanCondition reduced = BooleanCondition.valueOf(true);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceOr_KeepNonTrivialWhenNoCutOffPossible() throws Exception {
    BooleanCondition nonReduced = BooleanCondition.or(false, NO_TRIVIAL_EVALUATION);
    BooleanCondition reduced = BooleanCondition.or(false, NO_TRIVIAL_EVALUATION);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceOr_KeepNonTrivialWhenNoCutOffPossibleSwapped() throws Exception {
    BooleanCondition nonReduced =
        BooleanCondition.or(NO_TRIVIAL_EVALUATION, BooleanCondition.valueOf(false));
    BooleanCondition reduced =
        BooleanCondition.or(NO_TRIVIAL_EVALUATION, BooleanCondition.valueOf(false));
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceNot_ReduceIrrelevant() throws Exception {
    BooleanCondition nonReduced = BooleanCondition.not(BooleanCondition.valueOf(true));
    BooleanCondition reduced = BooleanCondition.valueOf(false);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceNot_ReduceIrrelevant2() throws Exception {
    BooleanCondition nonReduced = BooleanCondition.not(BooleanCondition.valueOf(false));
    BooleanCondition reduced = BooleanCondition.valueOf(true);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceNot_KeepNonTrivialWhenNoCutOffPossible() throws Exception {
    BooleanCondition nonReduced = BooleanCondition.not(NO_TRIVIAL_EVALUATION);
    BooleanCondition reduced = BooleanCondition.not(NO_TRIVIAL_EVALUATION);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceComplexTreeToSingleValue() throws Exception {
    //        AND
    //       /   \
    //      OR   NOT
    //     /  \    \
    //   NTE NTE  TRUE
    BooleanCondition nonReduced =
        BooleanCondition.and(
            BooleanCondition.or(NO_TRIVIAL_EVALUATION, NO_TRIVIAL_EVALUATION),
            BooleanCondition.not(BooleanCondition.valueOf(true)));
    BooleanCondition reduced = BooleanCondition.valueOf(false);
    assertEquals(nonReduced.reduce(), reduced);
  }

  @Test
  public void reduceComplexTreeToSmallerTree() throws Exception {
    //        AND
    //       /   \
    //      OR    OR
    //     /  \   / \
    //   NTE NTE  T  F
    BooleanCondition nonReduced =
        BooleanCondition.and(
            BooleanCondition.or(NO_TRIVIAL_EVALUATION, NO_TRIVIAL_EVALUATION),
            BooleanCondition.or(BooleanCondition.valueOf(true), BooleanCondition.valueOf(false)));
    BooleanCondition reduced =
        BooleanCondition.and(
            BooleanCondition.or(NO_TRIVIAL_EVALUATION, NO_TRIVIAL_EVALUATION),
            BooleanCondition.valueOf(true));
    assertEquals(nonReduced.reduce(), reduced);
  }
}