duke@1: /*
duke@1:  * Copyright 1998 Sun Microsystems, Inc.  All Rights Reserved.
duke@1:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1:  *
duke@1:  * This code is free software; you can redistribute it and/or modify it
duke@1:  * under the terms of the GNU General Public License version 2 only, as
duke@1:  * published by the Free Software Foundation.
duke@1:  *
duke@1:  * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
duke@1:  * version 2 for more details (a copy is included in the LICENSE file that
duke@1:  * accompanied this code).
duke@1:  *
duke@1:  * You should have received a copy of the GNU General Public License version
duke@1:  * 2 along with this work; if not, write to the Free Software Foundation,
duke@1:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1:  *
duke@1:  * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@1:  * CA 95054 USA or visit www.sun.com if you need additional information or
duke@1:  * have any questions.
duke@1:  */
duke@1: 
duke@1: /*
duke@1:  * @test
duke@1:  * @bug 4102393 4133457
duke@1:  * @summary Verify that <class>.this  matches <class> exactly, not a subclass.
duke@1:  * @author maddox
duke@1:  *
duke@1:  * @run compile QualifiedThisExactMatch.java
duke@1:  * @run main QualifiedThisExactMatch
duke@1:  */
duke@1: 
duke@1: public class QualifiedThisExactMatch {
duke@1: 
duke@1:     void test() throws Exception {}
duke@1: 
duke@1:     void checkIt1() throws Exception {
duke@1:         QualifiedThisExactMatch z = new QualifiedThisExactMatch() {
duke@1:             void test() throws Exception {
duke@1:                 if (this == QualifiedThisExactMatch.this) {
duke@1:                     throw new Exception("anonymous");
duke@1:                 }
duke@1:             }
duke@1:         };
duke@1:         z.test();
duke@1:     }
duke@1: 
duke@1:     //---
duke@1: 
duke@1:     class A  {
duke@1:         Object getThisA() { return A.this; }
duke@1:         class B extends A {
duke@1:             Object getThisA() { return A.this; }
duke@1:             Object getThisB() { return B.this; }
duke@1:         }
duke@1:     }
duke@1: 
duke@1:     void check(Object x, Object y) throws Exception {
duke@1:         if (x != y) {
duke@1:             throw new Exception("named");
duke@1:         }
duke@1:     }
duke@1: 
duke@1:     void checkIt2 () throws Exception {
duke@1:         A a = new A();
duke@1:         A.B b = a.new B();
duke@1: 
duke@1:         check(a, a.getThisA());
duke@1:         check(a, b.getThisA());
duke@1:         check(b, b.getThisB());
duke@1:     }
duke@1: 
duke@1:     //---
duke@1: 
duke@1:     public static void main(String[] s) throws Exception {
duke@1:         QualifiedThisExactMatch x = new QualifiedThisExactMatch();
duke@1:         x.checkIt1();
duke@1:         x.checkIt2();
duke@1:     }
duke@1: }