// Copyright (c) 2018, 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.shaking.examples;

import com.android.tools.r8.TestParameters;
import com.android.tools.r8.shaking.TreeShakingTest;
import com.android.tools.r8.utils.codeinspector.ClassSubject;
import com.android.tools.r8.utils.codeinspector.CodeInspector;
import com.google.common.collect.ImmutableList;
import java.util.Collections;
import java.util.List;
import org.junit.Assert;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
import org.junit.runners.Parameterized.Parameters;

@RunWith(Parameterized.class)
public class TreeShaking17Test extends TreeShakingTest {

  @Parameters(name = "{0} minify:{1}")
  public static List<Object[]> data() {
    return defaultTreeShakingParameters();
  }

  public TreeShaking17Test(TestParameters parameters, MinifyMode minify) {
    super(parameters, minify);
  }

  @Override
  protected String getName() {
    return "examples/shaking17";
  }

  @Override
  protected String getMainClass() {
    return "shaking17.Shaking";
  }

  @Test
  public void test() throws Exception {
    runTest(
        TreeShaking17Test::abstractMethodRemains,
        null,
        null,
        ImmutableList.of("src/test/examples/shaking17/keep-rules.txt"));
  }

  private static void abstractMethodRemains(CodeInspector inspector) {
    ClassSubject programClass = inspector.clazz("shaking17.AbstractProgramClass");
    Assert.assertTrue(programClass.isPresent());
    // With call site optimization, the dynamic type of the argument of Shaking#callTheMethod is
    // SubClass, not AbstractProgramClass. Then, the resolution of the invocation is accurately
    // referring to SubClass#abstractMethod only, i.e., AbstractProgramClass#abstractMethod is no
    // longer live, hence shrunken.
    Assert.assertFalse(
        programClass.method("int", "abstractMethod", Collections.emptyList()).isPresent());
  }
}