Thu, 31 Aug 2017 15:17:03 +0800
merge
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved. |
aoqi@0 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
aoqi@0 | 4 | * |
aoqi@0 | 5 | * This code is free software; you can redistribute it and/or modify it |
aoqi@0 | 6 | * under the terms of the GNU General Public License version 2 only, as |
aoqi@0 | 7 | * published by the Free Software Foundation. |
aoqi@0 | 8 | * |
aoqi@0 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
aoqi@0 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
aoqi@0 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
aoqi@0 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
aoqi@0 | 13 | * accompanied this code). |
aoqi@0 | 14 | * |
aoqi@0 | 15 | * You should have received a copy of the GNU General Public License version |
aoqi@0 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
aoqi@0 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
aoqi@0 | 18 | * |
aoqi@0 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
aoqi@0 | 20 | * or visit www.oracle.com if you need additional information or have any |
aoqi@0 | 21 | * questions. |
aoqi@0 | 22 | */ |
aoqi@0 | 23 | |
aoqi@0 | 24 | /* |
aoqi@0 | 25 | * @test |
aoqi@0 | 26 | * @bug 8027281 |
aoqi@0 | 27 | * @summary As per JVMS 4.9.2, invokespecial can only refer to direct superinterfaces |
aoqi@0 | 28 | * @compile TestDirectSuperInterfaceInvoke.java |
aoqi@0 | 29 | * @run main TestDirectSuperInterfaceInvoke |
aoqi@0 | 30 | */ |
aoqi@0 | 31 | |
aoqi@0 | 32 | import java.io.File; |
aoqi@0 | 33 | import com.sun.tools.classfile.Attribute; |
aoqi@0 | 34 | import com.sun.tools.classfile.ClassFile; |
aoqi@0 | 35 | import com.sun.tools.classfile.Code_attribute; |
aoqi@0 | 36 | import com.sun.tools.classfile.ConstantPool.CPRefInfo; |
aoqi@0 | 37 | import com.sun.tools.classfile.Instruction; |
aoqi@0 | 38 | import com.sun.tools.classfile.Method; |
aoqi@0 | 39 | import com.sun.tools.classfile.Opcode; |
aoqi@0 | 40 | |
aoqi@0 | 41 | interface BaseInterface { |
aoqi@0 | 42 | public default int testedMethod(){ return 1; } |
aoqi@0 | 43 | } |
aoqi@0 | 44 | |
aoqi@0 | 45 | interface IntermediateInterface extends BaseInterface { |
aoqi@0 | 46 | } |
aoqi@0 | 47 | |
aoqi@0 | 48 | interface TestInterface extends IntermediateInterface { |
aoqi@0 | 49 | public default void test() { |
aoqi@0 | 50 | IntermediateInterface.super.testedMethod(); |
aoqi@0 | 51 | } |
aoqi@0 | 52 | } |
aoqi@0 | 53 | |
aoqi@0 | 54 | abstract class BaseClass implements BaseInterface { } |
aoqi@0 | 55 | |
aoqi@0 | 56 | class TestClass extends BaseClass implements BaseInterface { |
aoqi@0 | 57 | public int testedMethod() {return 9;} |
aoqi@0 | 58 | public void test() { |
aoqi@0 | 59 | if (super.testedMethod() != 1) |
aoqi@0 | 60 | throw new IllegalStateException(); |
aoqi@0 | 61 | if (TestClass.super.testedMethod() != 1) |
aoqi@0 | 62 | throw new IllegalStateException(); |
aoqi@0 | 63 | new Runnable() { |
aoqi@0 | 64 | public void run() { |
aoqi@0 | 65 | if (TestClass.super.testedMethod() != 1) |
aoqi@0 | 66 | throw new IllegalStateException(); |
aoqi@0 | 67 | } |
aoqi@0 | 68 | }.run(); |
aoqi@0 | 69 | } |
aoqi@0 | 70 | } |
aoqi@0 | 71 | |
aoqi@0 | 72 | public class TestDirectSuperInterfaceInvoke { |
aoqi@0 | 73 | public static void main(String... args) throws Exception { |
aoqi@0 | 74 | new TestDirectSuperInterfaceInvoke().run(); |
aoqi@0 | 75 | } |
aoqi@0 | 76 | |
aoqi@0 | 77 | public void run() throws Exception { |
aoqi@0 | 78 | new TestClass().test(); |
aoqi@0 | 79 | verifyDefaultBody("TestClass.class"); |
aoqi@0 | 80 | new TestInterface() {}.test(); |
aoqi@0 | 81 | verifyDefaultBody("TestInterface.class"); |
aoqi@0 | 82 | } |
aoqi@0 | 83 | |
aoqi@0 | 84 | void verifyDefaultBody(String classFile) { |
aoqi@0 | 85 | String workDir = System.getProperty("test.classes"); |
aoqi@0 | 86 | File file = new File(workDir, classFile); |
aoqi@0 | 87 | try { |
aoqi@0 | 88 | final ClassFile cf = ClassFile.read(file); |
aoqi@0 | 89 | for (Method m : cf.methods) { |
aoqi@0 | 90 | Code_attribute codeAttr = (Code_attribute)m.attributes.get(Attribute.Code); |
aoqi@0 | 91 | for (Instruction instr : codeAttr.getInstructions()) { |
aoqi@0 | 92 | if (instr.getOpcode() == Opcode.INVOKESPECIAL) { |
aoqi@0 | 93 | int pc_index = instr.getShort(1); |
aoqi@0 | 94 | CPRefInfo ref = (CPRefInfo)cf.constant_pool.get(pc_index); |
aoqi@0 | 95 | String className = ref.getClassName(); |
aoqi@0 | 96 | if (className.equals("BaseInterface")) |
aoqi@0 | 97 | throw new IllegalStateException("Must not directly refer to TestedInterface"); |
aoqi@0 | 98 | } |
aoqi@0 | 99 | } |
aoqi@0 | 100 | } |
aoqi@0 | 101 | } catch (Exception e) { |
aoqi@0 | 102 | e.printStackTrace(); |
aoqi@0 | 103 | throw new Error("error reading " + file +": " + e); |
aoqi@0 | 104 | } |
aoqi@0 | 105 | } |
aoqi@0 | 106 | |
aoqi@0 | 107 | } |