1 /* 2 * Copyright (c) 2013, 2015, 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 * @bug 8027281 27 * @summary As per JVMS 4.9.2, invokespecial can only refer to direct superinterfaces 28 * @modules jdk.jdeps/com.sun.tools.classfile 29 * @compile TestDirectSuperInterfaceInvoke.java 30 * @run main TestDirectSuperInterfaceInvoke 31 */ 32 33 import java.io.File; 34 import com.sun.tools.classfile.Attribute; 35 import com.sun.tools.classfile.ClassFile; 36 import com.sun.tools.classfile.Code_attribute; 37 import com.sun.tools.classfile.ConstantPool.CPRefInfo; 38 import com.sun.tools.classfile.Instruction; 39 import com.sun.tools.classfile.Method; 40 import com.sun.tools.classfile.Opcode; 41 42 interface BaseInterface { 43 public default int testedMethod(){ return 1; } 44 } 45 46 interface IntermediateInterface extends BaseInterface { 47 } 48 49 interface TestInterface extends IntermediateInterface { 50 public default void test() { 51 IntermediateInterface.super.testedMethod(); 52 } 53 } 54 55 abstract class BaseClass implements BaseInterface { } 56 57 class TestClass extends BaseClass implements BaseInterface { 58 public int testedMethod() {return 9;} 59 public void test() { 60 if (super.testedMethod() != 1) 61 throw new IllegalStateException(); 62 if (TestClass.super.testedMethod() != 1) 63 throw new IllegalStateException(); 64 new Runnable() { 65 public void run() { 66 if (TestClass.super.testedMethod() != 1) 67 throw new IllegalStateException(); 68 } 69 }.run(); 70 } 71 } 72 73 public class TestDirectSuperInterfaceInvoke { 74 public static void main(String... args) throws Exception { 75 new TestDirectSuperInterfaceInvoke().run(); 76 } 77 78 public void run() throws Exception { 79 new TestClass().test(); 80 verifyDefaultBody("TestClass.class"); 81 new TestInterface() {}.test(); 82 verifyDefaultBody("TestInterface.class"); 83 } 84 85 void verifyDefaultBody(String classFile) { 86 String workDir = System.getProperty("test.classes"); 87 File file = new File(workDir, classFile); 88 try { 89 final ClassFile cf = ClassFile.read(file); 90 for (Method m : cf.methods) { 91 Code_attribute codeAttr = (Code_attribute)m.attributes.get(Attribute.Code); 92 for (Instruction instr : codeAttr.getInstructions()) { 93 if (instr.getOpcode() == Opcode.INVOKESPECIAL) { 94 int pc_index = instr.getShort(1); 95 CPRefInfo ref = (CPRefInfo)cf.constant_pool.get(pc_index); 96 String className = ref.getClassName(); 97 if (className.equals("BaseInterface")) 98 throw new IllegalStateException("Must not directly refer to TestedInterface"); 99 } 100 } 101 } 102 } catch (Exception e) { 103 e.printStackTrace(); 104 throw new Error("error reading " + file +": " + e); 105 } 106 } 107 108 }