Mercurial > hg > graal-compiler

comparison graal/com.oracle.graal.api.meta.test/src/com/oracle/graal/api/meta/test/ResolvedJavaTypeResolveMethodTest.java @ 15722:c583759bbcfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods.
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 18 Apr 2014 13:50:15 +0200
parents
children 48d26e6289c7
comparison
equal deleted inserted replaced
15721:1e3f19292a32 15722:c583759bbcfd
1 /*
2 * Copyright (c) 2014, 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 package com.oracle.graal.api.meta.test;
24
25 import static org.junit.Assert.*;
26
27 import org.junit.*;
28
29 import com.oracle.graal.api.meta.*;
30 import com.oracle.graal.api.runtime.*;
31 import com.oracle.graal.phases.util.*;
32 import com.oracle.graal.runtime.*;
33
34 public class ResolvedJavaTypeResolveMethodTest {
35 public final MetaAccessProvider metaAccess;
36
37 public ResolvedJavaTypeResolveMethodTest() {
38 Providers providers = Graal.getRequiredCapability(RuntimeProvider.class).getHostBackend().getProviders();
39 metaAccess = providers.getMetaAccess();
40 }
41
42 protected static abstract class A {
43 @SuppressWarnings("unused")
44 private void priv() {
45 }
46
47 public void v1() {
48 }
49
50 public void v2() {
51 }
52
53 public abstract void abs();
54 }
55
56 protected static class B extends A implements I {
57 public void i() {
58 }
59
60 @Override
61 public void v2() {
62 }
63
64 @Override
65 public void abs() {
66
67 }
68 }
69
70 protected static class C extends B {
71 public void d() {
72 }
73 }
74
75 protected static abstract class D extends A {
76
77 }
78
79 protected static class E extends D {
80 @Override
81 public void abs() {
82 }
83 }
84
85 protected interface I {
86 void i();
87
88 default void d() {
89 }
90 }
91
92 @Test
93 public void testDefaultMethod() {
94 ResolvedJavaType i = getType(I.class);
95 ResolvedJavaType b = getType(B.class);
96 ResolvedJavaType c = getType(C.class);
97 ResolvedJavaMethod di = getMethod(i, "d");
98 ResolvedJavaMethod dc = getMethod(c, "d");
99
100 assertEquals(di, i.resolveMethod(di, c));
101 assertEquals(di, b.resolveMethod(di, c));
102 assertEquals(dc, c.resolveMethod(di, c));
103 }
104
105 @Test
106 public void testPrivateMethod() {
107 ResolvedJavaType a = getType(A.class);
108 ResolvedJavaType b = getType(B.class);
109 ResolvedJavaType c = getType(C.class);
110 ResolvedJavaMethod priv = getMethod(a, "priv");
111
112 assertNull(a.resolveMethod(priv, c));
113 assertNull(b.resolveMethod(priv, c));
114 }
115
116 @Test
117 public void testAbstractMethod() {
118 ResolvedJavaType a = getType(A.class);
119 ResolvedJavaType b = getType(B.class);
120 ResolvedJavaType c = getType(C.class);
121 ResolvedJavaType d = getType(D.class);
122 ResolvedJavaType e = getType(E.class);
123 ResolvedJavaMethod absa = getMethod(a, "abs");
124 ResolvedJavaMethod absb = getMethod(b, "abs");
125 ResolvedJavaMethod abse = getMethod(e, "abs");
126
127 assertNull(a.resolveMethod(absa, c));
128 assertNull(d.resolveMethod(absa, c));
129
130 assertEquals(absb, b.resolveMethod(absa, c));
131 assertEquals(absb, b.resolveMethod(absb, c));
132 assertEquals(absb, c.resolveMethod(absa, c));
133 assertEquals(absb, c.resolveMethod(absb, c));
134 assertEquals(abse, e.resolveMethod(absa, c));
135 assertNull(e.resolveMethod(absb, c));
136 assertEquals(abse, e.resolveMethod(abse, c));
137 }
138
139 @Test
140 public void testVirtualMethod() {
141 ResolvedJavaType a = getType(A.class);
142 ResolvedJavaType b = getType(B.class);
143 ResolvedJavaType c = getType(C.class);
144 ResolvedJavaMethod v1a = getMethod(a, "v1");
145 ResolvedJavaMethod v2a = getMethod(a, "v2");
146 ResolvedJavaMethod v2b = getMethod(b, "v2");
147
148 assertEquals(v1a, a.resolveMethod(v1a, c));
149 assertEquals(v1a, b.resolveMethod(v1a, c));
150 assertEquals(v1a, c.resolveMethod(v1a, c));
151 assertEquals(v2a, a.resolveMethod(v2a, c));
152 assertEquals(v2b, b.resolveMethod(v2a, c));
153 assertEquals(v2b, b.resolveMethod(v2b, c));
154 assertEquals(v2b, c.resolveMethod(v2a, c));
155 assertEquals(v2b, c.resolveMethod(v2b, c));
156
157 }
158
159 private static ResolvedJavaMethod getMethod(ResolvedJavaType type, String methodName) {
160 for (ResolvedJavaMethod method : type.getDeclaredMethods()) {
161 if (method.getName().equals(methodName)) {
162 return method;
163 }
164 }
165 throw new IllegalArgumentException();
166 }
167
168 protected ResolvedJavaType getType(Class<?> clazz) {
169 ResolvedJavaType type = metaAccess.lookupJavaType(clazz);
170 type.initialize();
171 return type;
172 }
173 }