comparison test/runtime/lambda-features/TestConcreteClassWithAbstractMethod.java @ 14322:f3959a2e0eee

8032010: Attempt to resolve abstract method in concrete class fails with AbstractMethodError Summary: removing a check in LinkResolver::resolve_method() to conform with a change in JVMS-8 5.4.3.3. Method Resolution Reviewed-by: coleenp, lfoltan
author ccheung
date Wed, 05 Feb 2014 15:14:47 -0800
parents
children
comparison
equal deleted inserted replaced
14321:e4062d6c5f22 14322:f3959a2e0eee
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 */
24
25 /*
26 * @test
27 * @bug 8032010
28 * @summary method lookup on an abstract method in a concrete class should be successful
29 * @run main TestConcreteClassWithAbstractMethod
30 */
31
32 import jdk.internal.org.objectweb.asm.ClassWriter;
33 import jdk.internal.org.objectweb.asm.MethodVisitor;
34
35 import static jdk.internal.org.objectweb.asm.Opcodes.*;
36
37 /*
38 * class T1 { public int m() {} }
39 * class T2 { public abstract int m(); }
40 * class T3 { public int m() {} }
41 *
42 * Call site: T3.test() { invokevirtual T2.m() }
43 * T3.m() should be invoked
44 */
45 public class TestConcreteClassWithAbstractMethod {
46 static final String classT1 = "p1.T1";
47 static final String classT2 = "p1.T2";
48 static final String classT3 = "p1.T3";
49
50 static final String callerName = classT3;
51
52 public static void main(String[] args) throws Exception {
53 ClassLoader cl = new ClassLoader() {
54 public Class<?> loadClass(String name) throws ClassNotFoundException {
55 if (findLoadedClass(name) != null) {
56 return findLoadedClass(name);
57 }
58
59 if (classT1.equals(name)) {
60 byte[] classFile = dumpT1();
61 return defineClass(classT1, classFile, 0, classFile.length);
62 }
63 if (classT2.equals(name)) {
64 byte[] classFile = dumpT2();
65 return defineClass(classT2, classFile, 0, classFile.length);
66 }
67 if (classT3.equals(name)) {
68 byte[] classFile = dumpT3();
69 return defineClass(classT3, classFile, 0, classFile.length);
70 }
71
72 return super.loadClass(name);
73 }
74 };
75
76 cl.loadClass(classT1);
77 cl.loadClass(classT2);
78 cl.loadClass(classT3);
79
80 //cl.loadClass(callerName).getDeclaredMethod("m");
81 cl.loadClass(callerName).newInstance();
82
83 int result = (Integer)cl.loadClass(callerName).getDeclaredMethod("test").invoke(null);
84 System.out.println(""+result);
85 }
86
87 public static byte[] dumpT1() {
88 ClassWriter cw = new ClassWriter(0);
89 MethodVisitor mv;
90
91 cw.visit(52, ACC_PUBLIC | ACC_SUPER, "p1/T1", null, "java/lang/Object", null);
92 {
93 mv = cw.visitMethod(ACC_PUBLIC, "<init>", "()V", null, null);
94 mv.visitCode();
95 mv.visitVarInsn(ALOAD, 0);
96 mv.visitMethodInsn(INVOKESPECIAL, "java/lang/Object", "<init>", "()V", false);
97 mv.visitInsn(RETURN);
98 mv.visitMaxs(1, 1);
99 mv.visitEnd();
100 }
101 {
102 mv = cw.visitMethod(ACC_PUBLIC, "m", "()I", null, null);
103 mv.visitCode();
104 mv.visitFieldInsn(GETSTATIC, "java/lang/System", "out", "Ljava/io/PrintStream;");
105 mv.visitLdcInsn("p1/T1.m()");
106 mv.visitMethodInsn(INVOKEVIRTUAL, "java/io/PrintStream", "print", "(Ljava/lang/String;)V", false);
107 mv.visitIntInsn(BIPUSH, 3);
108 mv.visitInsn(IRETURN);
109 mv.visitMaxs(2, 1);
110 mv.visitEnd();
111 }
112 cw.visitEnd();
113
114 return cw.toByteArray();
115 }
116
117 public static byte[] dumpT2() {
118 ClassWriter cw = new ClassWriter(0);
119 MethodVisitor mv;
120
121 cw.visit(52, ACC_PUBLIC | ACC_SUPER, "p1/T2", null, "p1/T1", null);
122 {
123 mv = cw.visitMethod(ACC_PUBLIC, "<init>", "()V", null, null);
124 mv.visitCode();
125 mv.visitVarInsn(ALOAD, 0);
126 mv.visitMethodInsn(INVOKESPECIAL, "p1/T1", "<init>", "()V", false);
127 mv.visitInsn(RETURN);
128 mv.visitMaxs(1, 1);
129 mv.visitEnd();
130 }
131 {
132 mv = cw.visitMethod(ACC_PUBLIC + ACC_ABSTRACT, "m", "()I", null, null);
133 mv.visitEnd();
134 }
135 cw.visitEnd();
136
137 return cw.toByteArray();
138 }
139
140 public static byte[] dumpT3() {
141 ClassWriter cw = new ClassWriter(0);
142 MethodVisitor mv;
143
144 cw.visit(52, ACC_PUBLIC + ACC_SUPER, "p1/T3", null, "p1/T2", null);
145
146 {
147 mv = cw.visitMethod(ACC_PUBLIC, "<init>", "()V", null, null);
148 mv.visitCode();
149 mv.visitVarInsn(ALOAD, 0);
150 mv.visitMethodInsn(INVOKESPECIAL, "p1/T2", "<init>", "()V", false);
151 mv.visitInsn(RETURN);
152 mv.visitMaxs(1, 1);
153 mv.visitEnd();
154 }
155 {
156 mv = cw.visitMethod(ACC_PUBLIC, "m", "()I", null, null);
157 mv.visitCode();
158 mv.visitFieldInsn(GETSTATIC, "java/lang/System", "out", "Ljava/io/PrintStream;");
159 mv.visitLdcInsn("p1/T3.m()");
160 mv.visitMethodInsn(INVOKEVIRTUAL, "java/io/PrintStream", "print", "(Ljava/lang/String;)V", false);
161 mv.visitIntInsn(BIPUSH, 2);
162 mv.visitInsn(IRETURN);
163 mv.visitMaxs(2, 1);
164 mv.visitEnd();
165 }
166 {
167 mv = cw.visitMethod(ACC_PUBLIC + ACC_STATIC, "test", "()I", null, null);
168 mv.visitCode();
169 mv.visitTypeInsn(NEW, "p1/T3");
170 mv.visitInsn(DUP);
171 mv.visitMethodInsn(INVOKESPECIAL, "p1/T3", "<init>", "()V", false);
172 mv.visitMethodInsn(INVOKEVIRTUAL, "p1/T2", "m", "()I", false);
173 mv.visitInsn(IRETURN);
174 mv.visitMaxs(3, 2);
175 mv.visitEnd();
176 }
177 cw.visitEnd();
178
179 return cw.toByteArray();
180 }
181 }