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