// Copyright (c) 2021, the R8 project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

package com.android.tools.r8.enumunboxing;

import static org.junit.Assume.assumeTrue;

import com.android.tools.r8.NeverClassInline;
import com.android.tools.r8.NeverInline;
import com.android.tools.r8.TestBase;
import com.android.tools.r8.TestParameters;
import com.android.tools.r8.TestRunResult;
import com.android.tools.r8.errors.Unreachable;
import com.android.tools.r8.utils.BooleanUtils;
import java.util.List;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
import org.junit.runners.Parameterized.Parameter;
import org.junit.runners.Parameterized.Parameters;

@RunWith(Parameterized.class)
public class EnumWithAssertionsDisabledStaticFieldTest extends TestBase {

  private enum AssertionTransformation {
    ENABLE,
    DISABLE,
    PASSTHROUGH
  }

  @Parameter(0)
  public AssertionTransformation assertionTransformation;

  @Parameter(1)
  public boolean enableRuntimeAssertions;

  @Parameter(2)
  public TestParameters parameters;

  @Parameters(name = "{2}, transformation: {0}, -ea: {1}")
  public static List<Object[]> data() {
    return buildParameters(
        AssertionTransformation.values(),
        BooleanUtils.values(),
        getTestParameters().withAllRuntimesAndApiLevels().build());
  }

  @Test
  public void test() throws Exception {
    assumeTrue(parameters.isCfRuntime() || !enableRuntimeAssertions);
    testForR8(parameters.getBackend())
        .addProgramClasses(
            EnumWithAssertionsDisabledStaticFieldMainClass.class,
            EnumWithAssertionsDisabledStaticFieldEnumClass.class)
        .addKeepMainRule(EnumWithAssertionsDisabledStaticFieldMainClass.class)
        .addEnumUnboxingInspector(
            inspector ->
                inspector.assertUnboxed(EnumWithAssertionsDisabledStaticFieldEnumClass.class))
        .addAssertionsConfiguration(
            builder -> {
              switch (assertionTransformation) {
                case ENABLE:
                  return builder.setCompileTimeEnable().setScopeAll().build();
                case DISABLE:
                  return builder.setCompileTimeDisable().setScopeAll().build();
                case PASSTHROUGH:
                  return builder.setPassthrough().setScopeAll().build();
                default:
                  throw new Unreachable();
              }
            })
        .enableInliningAnnotations()
        .enableNeverClassInliningAnnotations()
        .setMinApi(parameters.getApiLevel())
        .compile()
        .enableRuntimeAssertions(enableRuntimeAssertions)
        .run(parameters.getRuntime(), EnumWithAssertionsDisabledStaticFieldMainClass.class)
        .applyIf(
            assertionTransformation == AssertionTransformation.ENABLE
                || (assertionTransformation == AssertionTransformation.PASSTHROUGH
                    && enableRuntimeAssertions),
            result -> result.assertFailureWithErrorThatThrows(AssertionError.class),
            TestRunResult::assertSuccessWithEmptyOutput);
  }
}

// Intentionally added as a top-level class because the $assertionsDisabled field is always
// synthesized on the outer-most class.
class EnumWithAssertionsDisabledStaticFieldMainClass {

  public static void main(String[] args) {
    EnumWithAssertionsDisabledStaticFieldEnumClass.A.fail();
  }
}

@NeverClassInline
enum EnumWithAssertionsDisabledStaticFieldEnumClass {
  A;

  @NeverInline
  public void fail() {
    assert false;
  }
}