duke@1: /*
duke@1:  * @test  /nodynamiccopyright/
duke@1:  * @bug 4087314 4087314 4785453
duke@1:  * @summary Test access checking within 'extends' and 'implements' clause.
duke@1:  * @author William Maddox (maddox)
jjg@611:  * @compile/fail/ref=ExtendsAccess.out -XDrawDiagnostics ExtendsAccess.java
duke@1:  */
duke@1: 
duke@1: /*
duke@1:  * Should compile with errors as noted.
duke@1:  */
duke@1: 
duke@1: class ExtendsAccess {
duke@1: 
duke@1:     class defaultClass { }
duke@1:     public class publicClass { }
duke@1:     private class privateClass { }
duke@1:     protected class protectedClass { }
duke@1: 
duke@1:     static class defaultStaticClass { }
duke@1:     public static class publicStaticClass { }
duke@1:     private static class privateStaticClass { }
duke@1:     protected static class protectedStaticClass { }
duke@1: 
duke@1:     interface defaultInterface { }
duke@1:     public interface publicInterface { }
duke@1:     private interface privateInterface { }
duke@1:     protected interface protectedInterface { }
duke@1: }
duke@1: 
duke@1: class ExtendsAccess111 extends publicClass { }                          // ERROR - 'publicClass' not in scope
duke@1: class ExtendsAccess112 extends defaultClass { }                         // ERROR - 'defaultClass' not in scope
duke@1: class ExtendsAccess113 extends protectedClass { }                       // ERROR - 'protectedClass' not in scope
duke@1: class ExtendsAccess114 extends privateClass { }                         // ERROR - 'privateClass' not in scope
duke@1: 
duke@1: class ExtendsAccess1211 extends ExtendsAccess.publicClass { }           // OK - can extend inner classes (was ERROR - no enclosing instance)
duke@1: class ExtendsAccess1221 extends ExtendsAccess.defaultClass { }          // OK - can extend inner classes (was ERROR - no enclosing instance)
duke@1: class ExtendsAccess1231 extends ExtendsAccess.protectedClass { }        // OK - can extend inner classes (was ERROR - no enclosing instance)
duke@1: class ExtendsAccess1241 extends ExtendsAccess.privateClass { }          // ERROR - cannot access 'privateClass'
duke@1: 
duke@1: class ExtendsAccess1212 extends p.ExtendsAccess.publicClass { }         // OK - can extend inner classes (was ERROR - no enclosing instance)
duke@1: class ExtendsAccess1222 extends p.ExtendsAccess.defaultClass { }        // ERROR - cannot access 'defaultClass'
duke@1: class ExtendsAccess1232 extends p.ExtendsAccess.protectedClass { }      // ERROR - cannot access 'protectedClass'
duke@1: class ExtendsAccess1242 extends p.ExtendsAccess.privateClass { }        // ERROR - cannot access 'privateClass'
duke@1: 
duke@1: class ExtendsAccess1311 extends ExtendsAccess {
duke@1:     class N extends publicClass { }
duke@1: }
duke@1: class ExtendsAccess1321 extends ExtendsAccess {
duke@1:     class N extends defaultClass { }
duke@1: }
duke@1: class ExtendsAccess1331 extends ExtendsAccess {
duke@1:     class N extends protectedClass { }
duke@1: }
duke@1: class ExtendsAccess1341 extends ExtendsAccess {
duke@1:     class N extends privateClass { }                                    // ERROR - cannot access 'privateClass'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess1312 extends p.ExtendsAccess {
duke@1:     class N extends publicClass { }
duke@1: }
duke@1: class ExtendsAccess1322 extends p.ExtendsAccess {
duke@1:     class N extends defaultClass { }                                    // ERROR - cannot access 'defaultClass'
duke@1: }
duke@1: class ExtendsAccess1332 extends p.ExtendsAccess {
duke@1:     class N extends protectedClass { }
duke@1: }
duke@1: class ExtendsAccess1342 extends p.ExtendsAccess {
duke@1:     class N extends privateClass { }                                    // ERROR - cannot access 'privateClass'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess1411 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess.publicClass { }
duke@1: }
duke@1: class ExtendsAccess1421 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess.defaultClass { }
duke@1: }
duke@1: class ExtendsAccess1431 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess.protectedClass { }
duke@1: }
duke@1: class ExtendsAccess1441 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess1441.protectedClass { }
duke@1: }
duke@1: class ExtendsAccess1451 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess.privateClass { }                      // ERROR - cannot access 'privateClass'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess1412 extends p.ExtendsAccess {
duke@1:     class N extends p.ExtendsAccess.publicClass { }
duke@1: }
duke@1: class ExtendsAccess1422 extends p.ExtendsAccess {
duke@1:     class N extends p.ExtendsAccess.defaultClass { }                    // ERROR - cannot access 'defaultClass'
duke@1: }
duke@1: class ExtendsAccess1432 extends p.ExtendsAccess {
duke@1:     class N extends p.ExtendsAccess.protectedClass { }                  // OK (was: should be error, see JLS 6.6.2)
duke@1: }
duke@1: class ExtendsAccess1442 extends p.ExtendsAccess {
duke@1:     class N extends ExtendsAccess1442.protectedClass { }
duke@1: }
duke@1: class ExtendsAccess1452 extends p.ExtendsAccess {
duke@1:     class N extends p.ExtendsAccess.privateClass { }                    // ERROR - cannot access 'privateClass'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess211 extends publicStaticClass { }                    // ERROR - 'publicStaticClass' not in scope
duke@1: class ExtendsAccess212 extends defaultStaticClass { }                   // ERROR - 'defaultStaticClass' not in scope
duke@1: class ExtendsAccess213 extends protectedStaticClass { }                 // ERROR - 'protectedStaticClass' not in scope
duke@1: class ExtendsAccess214 extends privateStaticClass { }                   // ERROR - 'privateStaticClass' not in scope
duke@1: 
duke@1: class ExtendsAccess2211 extends ExtendsAccess.publicStaticClass { }
duke@1: class ExtendsAccess2221 extends ExtendsAccess.defaultStaticClass { }
duke@1: class ExtendsAccess2231 extends ExtendsAccess.protectedStaticClass { }
duke@1: class ExtendsAccess2241 extends ExtendsAccess.privateStaticClass { }    // ERROR - cannot access 'privateStaticClass'
duke@1: 
duke@1: class ExtendsAccess2212 extends p.ExtendsAccess.publicStaticClass { }
duke@1: class ExtendsAccess2222 extends p.ExtendsAccess.defaultStaticClass { }  // ERROR - cannot access 'defaultStaticClass'
duke@1: class ExtendsAccess2232 extends p.ExtendsAccess.protectedStaticClass { }// ERROR - cannot access 'protectedStaticClass'
duke@1: class ExtendsAccess2242 extends p.ExtendsAccess.privateStaticClass { }  // ERROR - cannot access 'privateStaticClass'
duke@1: 
duke@1: class ExtendsAccess2311 extends ExtendsAccess {
duke@1:     class N extends publicStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2321 extends ExtendsAccess {
duke@1:     class N extends defaultStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2331 extends ExtendsAccess {
duke@1:     class N extends protectedStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2341 extends ExtendsAccess {
duke@1:     class N extends privateStaticClass { }                      // ERROR - cannot access 'privateStaticClass'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess2312 extends p.ExtendsAccess {
duke@1:     class N extends publicStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2322 extends p.ExtendsAccess {
duke@1:     class N extends defaultStaticClass { }                      // ERROR - cannot access 'defaultStaticClass'
duke@1: }
duke@1: class ExtendsAccess2332 extends p.ExtendsAccess {
duke@1:     class N extends protectedStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2342 extends p.ExtendsAccess {
duke@1:     class N extends privateStaticClass { }                      // ERROR - cannot access 'privateStaticClass'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess2411 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess.publicStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2421 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess.defaultStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2431 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess.protectedStaticClass { }      // OK (was should be error, see JLS 6.6.2)
duke@1: }
duke@1: class ExtendsAccess2441 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess2431.protectedStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2451 extends ExtendsAccess {
duke@1:     class N extends ExtendsAccess.privateStaticClass { }        // ERROR - cannot access 'privateStaticClass'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess2412 extends p.ExtendsAccess {
duke@1:     class N extends p.ExtendsAccess.publicStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2422 extends p.ExtendsAccess {
duke@1:     class N extends p.ExtendsAccess.defaultStaticClass { }      // ERROR - cannot access 'defaultStaticClass'
duke@1: }
duke@1: class ExtendsAccess2432 extends p.ExtendsAccess {
duke@1:     class N extends p.ExtendsAccess.protectedStaticClass { }    // OK (was: should be error, see JLS 6.6.2)
duke@1: }
duke@1: class ExtendsAccess2442 extends p.ExtendsAccess {
duke@1:     class N extends ExtendsAccess2442.protectedStaticClass { }
duke@1: }
duke@1: class ExtendsAccess2452 extends p.ExtendsAccess {
duke@1:     class N extends p.ExtendsAccess.privateStaticClass { }      // ERROR - cannot access 'privateStaticClass'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess311 extends ExtendsAccess implements publicInterface { }     // ERROR - 'publicInterface' not in scope
duke@1: class ExtendsAccess312 extends ExtendsAccess implements defaultInterface { }    // ERROR - 'defaultInterface' not in scope
duke@1: class ExtendsAccess313 extends ExtendsAccess implements protectedInterface { }  // ERROR - 'protectedInterface' not in scope
duke@1: class ExtendsAccess314 extends ExtendsAccess implements privateInterface { }    // ERROR - 'privateInterface' not in scope
duke@1: 
duke@1: class ExtendsAccess3211 extends ExtendsAccess implements ExtendsAccess.publicInterface { }
duke@1: class ExtendsAccess3221 extends ExtendsAccess implements ExtendsAccess.defaultInterface { }
duke@1: class ExtendsAccess3231 extends ExtendsAccess implements ExtendsAccess.protectedInterface { }
duke@1: class ExtendsAccess3241 extends ExtendsAccess
duke@1:         implements ExtendsAccess.privateInterface { }                           // ERROR - cannot access 'privateInterface'
duke@1: 
duke@1: class ExtendsAccess3212 extends ExtendsAccess
duke@1:         implements p.ExtendsAccess.publicInterface { }
duke@1: class ExtendsAccess3222 extends ExtendsAccess
duke@1:         implements p.ExtendsAccess.defaultInterface { }                         // ERROR - cannot access 'defaultStaticClass'
duke@1: class ExtendsAccess3232 extends ExtendsAccess
duke@1:         implements p.ExtendsAccess.protectedInterface { }                       // ERROR - cannot access 'protectedStaticClass'
duke@1: class ExtendsAccess3242 extends ExtendsAccess
duke@1:         implements p.ExtendsAccess.privateInterface { }                         // ERROR - cannot access 'privateInterface'
duke@1: 
duke@1: class ExtendsAccess331 extends ExtendsAccess {
duke@1:     class N implements publicInterface { }
duke@1: }
duke@1: class ExtendsAccess3321 extends ExtendsAccess {
duke@1:     class N implements defaultInterface { }
duke@1: }
duke@1: class ExtendsAccess3331 extends ExtendsAccess {
duke@1:     class N implements protectedInterface { }
duke@1: }
duke@1: class ExtendsAccess3341 extends ExtendsAccess {
duke@1:     class N implements privateInterface { }                     // ERROR - cannot access 'privateInterface'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess3312 extends p.ExtendsAccess {
duke@1:     class N implements publicInterface { }
duke@1: }
duke@1: class ExtendsAccess3322 extends p.ExtendsAccess {
duke@1:     class N implements defaultInterface { }                     // ERROR - cannot access 'defaultStaticClass'
duke@1: }
duke@1: class ExtendsAccess3332 extends p.ExtendsAccess {
duke@1:     class N implements protectedInterface { }
duke@1: }
duke@1: class ExtendsAccess3342 extends p.ExtendsAccess {
duke@1:     class N implements privateInterface { }                     // ERROR - cannot access 'privateInterface'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess341 extends ExtendsAccess {
duke@1:     class N implements ExtendsAccess.publicInterface { }
duke@1: }
duke@1: class ExtendsAccess3421 extends ExtendsAccess {
duke@1:     class N implements ExtendsAccess.defaultInterface { }
duke@1: }
duke@1: class ExtendsAccess3431 extends ExtendsAccess {
duke@1:     class N implements ExtendsAccess.protectedInterface { }     // OK (was: should be error, see JLS 6.2.2)
duke@1: }
duke@1: class ExtendsAccess3441 extends ExtendsAccess {
duke@1:     class N implements ExtendsAccess3441.protectedInterface { }
duke@1: }
duke@1: class ExtendsAccess3451 extends ExtendsAccess {
duke@1:     class N implements ExtendsAccess.privateInterface { }       // ERROR - cannot access 'privateInterface'
duke@1: }
duke@1: 
duke@1: class ExtendsAccess342 extends p.ExtendsAccess {
duke@1:     class N implements p.ExtendsAccess.publicInterface { }
duke@1: }
duke@1: class ExtendsAccess3422 extends p.ExtendsAccess {
duke@1:     class N implements p.ExtendsAccess.defaultInterface { }     // ERROR - cannot access 'defaultClass'
duke@1: }
duke@1: class ExtendsAccess3432 extends p.ExtendsAccess {
duke@1:     class N implements p.ExtendsAccess.protectedInterface { }   // OK (was: should be error, see JLS 6.2.2)
duke@1: }
duke@1: class ExtendsAccess3442 extends p.ExtendsAccess {
duke@1:     class N implements ExtendsAccess3442.protectedInterface { }
duke@1: }
duke@1: class ExtendsAccess3452 extends p.ExtendsAccess {
duke@1:     class N implements p.ExtendsAccess.privateInterface { }     // ERROR - cannot access 'privateInterface'
duke@1: }