test/tools/javac/defaultMethods/Neg15.java

Wed, 07 Nov 2012 17:20:12 -0800

author
jjg
date
Wed, 07 Nov 2012 17:20:12 -0800
changeset 1402
a1dc543483fc
parent 1393
d7d932236fee
child 1415
01c9d4161882
permissions
-rw-r--r--

8003134: CheckResourceKeys issues
Reviewed-by: jjh, bpatel

mcimadamore@1393 1 /*
mcimadamore@1393 2 * @test /nodynamiccopyright/
mcimadamore@1393 3 * @summary check that level skipping in default super calls is correctly rejected
mcimadamore@1393 4 * @compile/fail/ref=Neg15.out -XDallowDefaultMethods -XDrawDiagnostics Neg15.java
mcimadamore@1393 5 */
mcimadamore@1393 6 class Neg15 {
mcimadamore@1393 7 interface I { default void m() { } }
mcimadamore@1393 8 interface J extends I { default void m() { } }
mcimadamore@1393 9 interface K extends I {}
mcimadamore@1393 10
mcimadamore@1393 11 static class C implements J, K {
mcimadamore@1393 12 void foo() { K.super.m(); }
mcimadamore@1393 13 }
mcimadamore@1393 14 }

mercurial