test/tools/javac/annotations/typeAnnotations/failures/common/receiver/WrongType.java

Tue, 12 Mar 2013 17:39:34 +0100

author
jfranck
date
Tue, 12 Mar 2013 17:39:34 +0100
changeset 1629
f427043f8c65
parent 1521
71f35e4b93a5
child 1755
ddb4a2bfcd82
permissions
-rw-r--r--

7196531: Duplicate error messages on repeating annotations
Reviewed-by: jjg

jjg@1521 1 /*
jjg@1521 2 * Copyright (c) 2008, 2013, Oracle and/or its affiliates. All rights reserved.
jjg@1521 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
jjg@1521 4 *
jjg@1521 5 * This code is free software; you can redistribute it and/or modify it
jjg@1521 6 * under the terms of the GNU General Public License version 2 only, as
jjg@1521 7 * published by the Free Software Foundation.
jjg@1521 8 *
jjg@1521 9 * This code is distributed in the hope that it will be useful, but WITHOUT
jjg@1521 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
jjg@1521 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
jjg@1521 12 * version 2 for more details (a copy is included in the LICENSE file that
jjg@1521 13 * accompanied this code).
jjg@1521 14 *
jjg@1521 15 * You should have received a copy of the GNU General Public License version
jjg@1521 16 * 2 along with this work; if not, write to the Free Software Foundation,
jjg@1521 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
jjg@1521 18 *
jjg@1521 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
jjg@1521 20 * or visit www.oracle.com if you need additional information or have any
jjg@1521 21 * questions.
jjg@1521 22 */
jjg@1521 23
jjg@1521 24 /*
jjg@1521 25 * @test
jjg@1521 26 * @bug 8006775
jjg@1521 27 * @summary the receiver parameter has the type of the surrounding class
jjg@1521 28 * @author Werner Dietl
jjg@1521 29 * @compile/fail/ref=WrongType.out -XDrawDiagnostics WrongType.java
jjg@1521 30 */
jjg@1521 31
jjg@1521 32 @interface A {}
jjg@1521 33
jjg@1521 34 class WrongType {
jjg@1521 35 Object f;
jjg@1521 36
jjg@1521 37 void good1(@A WrongType this) {}
jjg@1521 38
jjg@1521 39 void good2(@A WrongType this) {
jjg@1521 40 this.f = null;
jjg@1521 41 Object o = this.f;
jjg@1521 42 }
jjg@1521 43
jjg@1521 44 void bad1(@A Object this) {}
jjg@1521 45
jjg@1521 46 void bad2(@A Object this) {
jjg@1521 47 this.f = null;
jjg@1521 48 Object o = this.f;
jjg@1521 49 }
jjg@1521 50
jjg@1521 51 void wow(@A XYZ this) {
jjg@1521 52 this.f = null;
jjg@1521 53 }
jjg@1521 54
jjg@1521 55 class Inner {
jjg@1521 56 void good1(@A Inner this) {}
jjg@1521 57 void good2(@A WrongType.Inner this) {}
jjg@1521 58
jjg@1521 59 void outerOnly(@A WrongType this) {}
jjg@1521 60 void wrongInner(@A Object this) {}
jjg@1521 61 void badOuter(@A Outer.Inner this) {}
jjg@1521 62 void badInner(@A WrongType.XY this) {}
jjg@1521 63 }
jjg@1521 64
jjg@1521 65 class Generics<X> {
jjg@1521 66 <Y> void m(Generics<Y> this) {}
jjg@1521 67 }
jjg@1521 68 }

mercurial