duke@1: /*
duke@1:  * @test  /nodynamiccopyright/
duke@1:  * @bug 4018525 4059072 4277274 4785453
duke@1:  * @summary Test that recursive 'extends' and 'implements' clauses are detected
duke@1:  * and disallowed.
duke@1:  *
jjg@69:  * @compile/fail/ref=CyclicInheritance.out -XDrawDiagnostics -XDstdout CyclicInheritance.java
duke@1:  */
duke@1: 
duke@1: 
duke@1: 
duke@1: 
duke@1: 
duke@1: 
duke@1: class C1 extends C1 {}                  // ERROR - Cyclic inheritance
duke@1: 
duke@1: class C11 extends C12 {}                // ERROR - Cyclic inheritance
duke@1: class C12 extends C11 {}                // error in previous line could correctly be reported here as well
duke@1: 
duke@1: interface I1 extends I1 {}              // ERROR - Cyclic inheritance
duke@1: 
duke@1: interface I11 extends I12 {}            // ERROR - Cyclic inheritance
duke@1: interface I12 extends I11 {}            // error in previous line could correctly be reported here as well
duke@1: 
duke@1: //-----
duke@1: 
duke@1: class C211 implements C211.I {          // ERROR - may change pending resoluation of 4087020
duke@1:         interface I {};                 // error in previous line could correctly be reported here as well
duke@1: }
duke@1: 
duke@1: class C212 extends C212.C {             // ERROR - Cyclic inheritance, subclass cannot enclose superclass
duke@1:         static class C {};              // error in previous line could correctly be reported here as well
duke@1: }
duke@1: 
duke@1: 
duke@1: class C221 implements C221.I {          // ERROR - Cannot access C21 (private)
duke@1:         private interface I {};         // error in previous line could correctly be reported here as well
duke@1: }
duke@1: 
duke@1: class C222 extends C222.C {             // ERROR - Cannot access C22 (private)
duke@1:         private static class C {};      // error in previous line could correctly be reported here as well
duke@1: }
duke@1: 
duke@1: //-----
duke@1: 
duke@1: class C3 {
duke@1:     class A {
duke@1:         class B extends A {}
duke@1:     }
duke@1: }
duke@1: 
duke@1: class C4 {
duke@1:     class A extends B {}
duke@1:     class B {
duke@1:         class C extends A {}
duke@1:     }
duke@1: }