jdk8-mips64-public/langtools: test/tools/javac/defaultMethods/Neg03.java@a1dc543483fc (annotated)

test/tools/javac/defaultMethods/Neg03.java@a1dc543483fc (annotated)

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

8003134: CheckResourceKeys issues
Reviewed-by: jjh, bpatel

 /*
  * @test /nodynamiccopyright/
  * @summary check that re-abstraction works properly
  * @compile/fail/ref=Neg03.out -XDallowDefaultMethods -XDrawDiagnostics Neg03.java
  */
 class Neg03 {
     interface A {
         default void m() { Neg03.one(this); }
     }
     interface B {
         default void m() { Neg03.two(this); }
     }
     interface C extends A, B {
         default void m() { Neg03.one(this); }
     }
     static class X implements C, A { } //ok - ignore extraneous remix of A
     interface D extends A, B {
       void m();  // ok - m() is not reabstracted!
     }
     static class Y implements D, A { } // invalid - abstract D.m()
     interface E extends A {
         void m();  // reabstraction of m()
     }
     static class W implements D, E { } // invalid - abstracts D.m()/E.m()
     static class Z implements D, A, B { } // invalid - abstract D.m()
     static void one(Object a) {  }
     static void two(Object a) {  }
 }