| // Copyright (c) 2019, 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.keptgraph; |
| |
| import static com.android.tools.r8.references.Reference.classFromClass; |
| import static com.android.tools.r8.references.Reference.methodFromMethod; |
| import static org.junit.Assert.assertEquals; |
| |
| import com.android.tools.r8.TestBase; |
| import com.android.tools.r8.TestParameters; |
| import com.android.tools.r8.TestParametersCollection; |
| import com.android.tools.r8.origin.Origin; |
| import com.android.tools.r8.references.MethodReference; |
| import com.android.tools.r8.utils.StringUtils; |
| import com.android.tools.r8.utils.graphinspector.GraphInspector; |
| import com.android.tools.r8.utils.graphinspector.GraphInspector.QueryNode; |
| 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 KeptByConditionalOnMethodTest extends TestBase { |
| |
| public static class IfClass { |
| public void foo(String name) throws Exception { |
| Class<?> clazz = Class.forName(name); |
| Object object = clazz.getDeclaredConstructor().newInstance(); |
| clazz.getDeclaredMethod("bar").invoke(object); |
| } |
| } |
| |
| public static class ThenClass { |
| public void bar() { |
| System.out.println("ThenClass.bar()!"); |
| } |
| } |
| |
| public static class Main { |
| public static void main(String[] args) throws Exception { |
| new IfClass().foo(args[0]); |
| } |
| } |
| |
| private final String EXPECTED = StringUtils.lines("ThenClass.bar()!"); |
| |
| private final TestParameters parameters; |
| |
| @Parameters(name = "{0}") |
| public static TestParametersCollection data() { |
| return getTestParameters().withAllRuntimes().withAllApiLevels().build(); |
| } |
| |
| public KeptByConditionalOnMethodTest(TestParameters parameters) { |
| this.parameters = parameters; |
| } |
| |
| @Test |
| public void testKeptMethod() throws Exception { |
| MethodReference mainMethod = |
| methodFromMethod(Main.class.getDeclaredMethod("main", String[].class)); |
| MethodReference fooMethod = |
| methodFromMethod(IfClass.class.getDeclaredMethod("foo", String.class)); |
| MethodReference barMethod = methodFromMethod(ThenClass.class.getDeclaredMethod("bar")); |
| |
| String ifRuleContent = |
| "-if class " |
| + IfClass.class.getTypeName() |
| + " { public *; }" |
| + " -keep class " |
| + ThenClass.class.getTypeName() |
| + " { public *; }"; |
| GraphInspector inspector = |
| testForR8(parameters.getBackend()) |
| .enableGraphInspector() |
| .addProgramClasses(Main.class, IfClass.class, ThenClass.class) |
| .addKeepMainRule(Main.class) |
| .addKeepRules(ifRuleContent) |
| .setMinApi(parameters.getApiLevel()) |
| .run(parameters.getRuntime(), Main.class, ThenClass.class.getTypeName()) |
| .assertSuccessWithOutput(EXPECTED) |
| .graphInspector(); |
| |
| // The only root should be the keep annotation rule. |
| assertEquals(1, inspector.getRoots().size()); |
| QueryNode root = inspector.rule(Origin.unknown(), 1, 1).assertRoot(); |
| |
| // Check that the call chain goes from root -> main(unchanged) -> foo(renamed). |
| inspector.method(fooMethod).assertRenamed().assertInvokedFrom(mainMethod); |
| inspector.method(mainMethod).assertNotRenamed().assertKeptBy(root); |
| |
| // Check bar is kept and not renamed. |
| QueryNode barNode = inspector.method(barMethod).assertNotRenamed(); |
| |
| // Check the if rule was triggered once by IfClass and is keeping bar alive. |
| QueryNode ifClassNode = inspector.clazz(classFromClass(IfClass.class)).assertPresent(); |
| inspector |
| .ruleInstances(ifRuleContent) |
| .assertSize(1) |
| // TODO(b/141093535): Should the precondition set contain the public member too? |
| .assertAllMatch(instance -> instance.isSatisfiedBy(ifClassNode)) |
| .assertAllMatch(barNode::isKeptBy); |
| |
| // Finally check that ThenClass is *not* a reason that bar is kept. |
| QueryNode thenClassNode = inspector.clazz(classFromClass(ThenClass.class)).assertPresent(); |
| barNode.assertNotKeptBy(thenClassNode); |
| } |
| } |