1 /*
2 * Copyright (c) 2014, 2018, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24 /**
25 * @test
26 * @requires vm.jvmci
27 * @modules jdk.internal.vm.ci/jdk.vm.ci.meta
28 * jdk.internal.vm.ci/jdk.vm.ci.runtime
29 * @run junit/othervm -XX:+UnlockExperimentalVMOptions -XX:+EnableJVMCI -Djvmci.Compiler=null jdk.vm.ci.runtime.test.ResolvedJavaTypeResolveConcreteMethodTest
30 */
31
32 package jdk.vm.ci.runtime.test;
33
34 import jdk.vm.ci.meta.MetaAccessProvider;
35 import jdk.vm.ci.meta.ResolvedJavaMethod;
36 import jdk.vm.ci.meta.ResolvedJavaType;
37 import jdk.vm.ci.runtime.JVMCI;
38 import org.junit.Test;
39
40 import static org.junit.Assert.assertEquals;
41 import static org.junit.Assert.assertNull;
42 import static org.junit.Assert.assertNotNull;
43
44 public class ResolvedJavaTypeResolveConcreteMethodTest {
45 public final MetaAccessProvider metaAccess;
46
47 public ResolvedJavaTypeResolveConcreteMethodTest() {
48 metaAccess = JVMCI.getRuntime().getHostJVMCIBackend().getMetaAccess();
49 }
50
51 protected abstract static class A {
52 @SuppressWarnings("unused")
53 private void priv() {
54 }
55
56 public void v1() {
57 }
58
59 public void v2() {
60 }
61
62 public abstract void abs();
63 }
64
65 protected static class B extends A implements I {
66 @Override
67 public void i() {
68 }
69
70 @Override
71 public void v2() {
72 }
73
74 @Override
75 public void abs() {
76
77 }
78 }
79
80 protected static class C extends B {
81 @Override
82 public void d() {
83 }
84 }
85
86 protected abstract static class D extends A {
87
88 }
89
90 protected static class E extends D {
91 @Override
92 public void abs() {
93 }
94 }
95
96 protected interface I {
97 void i();
98
99 default void d() {
100 }
101 }
102
103 @Test
104 public void testDefaultMethod() {
105 ResolvedJavaType i = getType(I.class);
106 ResolvedJavaType b = getType(B.class);
107 ResolvedJavaType c = getType(C.class);
108 ResolvedJavaMethod di = getMethod(i, "d");
109 ResolvedJavaMethod dc = getMethod(c, "d");
110
111 assertEquals(null, i.resolveConcreteMethod(di, c));
112 assertEquals(di, b.resolveConcreteMethod(di, c));
113 assertEquals(dc, c.resolveConcreteMethod(di, c));
114 }
115
116 @Test
117 public void testPrivateMethod() {
118 ResolvedJavaType a = getType(A.class);
119 ResolvedJavaType b = getType(B.class);
120 ResolvedJavaType c = getType(C.class);
121 ResolvedJavaMethod priv = getMethod(a, "priv");
122
123 // nestmates have access to private methods
124 assertNotNull(a.resolveConcreteMethod(priv, c));
125 assertNotNull(b.resolveConcreteMethod(priv, c));
126 }
127
128 @Test
129 public void testAbstractMethod() {
130 ResolvedJavaType a = getType(A.class);
131 ResolvedJavaType b = getType(B.class);
132 ResolvedJavaType c = getType(C.class);
133 ResolvedJavaType d = getType(D.class);
134 ResolvedJavaType e = getType(E.class);
135 ResolvedJavaMethod absa = getMethod(a, "abs");
136 ResolvedJavaMethod absb = getMethod(b, "abs");
137 ResolvedJavaMethod abse = getMethod(e, "abs");
138
139 assertNull(a.resolveConcreteMethod(absa, c));
140 assertNull(d.resolveConcreteMethod(absa, c));
141
142 assertEquals(absb, b.resolveConcreteMethod(absa, c));
143 assertEquals(absb, b.resolveConcreteMethod(absb, c));
144 assertEquals(absb, c.resolveConcreteMethod(absa, c));
145 assertEquals(absb, c.resolveConcreteMethod(absb, c));
146 assertEquals(abse, e.resolveConcreteMethod(absa, c));
147 assertNull(e.resolveConcreteMethod(absb, c));
148 assertEquals(abse, e.resolveConcreteMethod(abse, c));
149 }
150
151 @Test
152 public void testVirtualMethod() {
153 ResolvedJavaType a = getType(A.class);
154 ResolvedJavaType b = getType(B.class);
155 ResolvedJavaType c = getType(C.class);
156 ResolvedJavaMethod v1a = getMethod(a, "v1");
157 ResolvedJavaMethod v2a = getMethod(a, "v2");
158 ResolvedJavaMethod v2b = getMethod(b, "v2");
159
160 assertEquals(v1a, a.resolveConcreteMethod(v1a, c));
161 assertEquals(v1a, b.resolveConcreteMethod(v1a, c));
162 assertEquals(v1a, c.resolveConcreteMethod(v1a, c));
163 assertEquals(v2a, a.resolveConcreteMethod(v2a, c));
164 assertEquals(v2b, b.resolveConcreteMethod(v2a, c));
165 assertEquals(v2b, b.resolveConcreteMethod(v2b, c));
166 assertEquals(v2b, c.resolveConcreteMethod(v2a, c));
167 assertEquals(v2b, c.resolveConcreteMethod(v2b, c));
168
169 }
170
171 static ResolvedJavaMethod getMethod(ResolvedJavaType type, String methodName) {
172 for (ResolvedJavaMethod method : type.getDeclaredMethods()) {
173 if (method.getName().equals(methodName)) {
174 return method;
175 }
176 }
177 throw new IllegalArgumentException();
178 }
179
180 protected ResolvedJavaType getType(Class<?> clazz) {
181 ResolvedJavaType type = metaAccess.lookupJavaType(clazz);
182 type.initialize();
183 return type;
184 }
185 }