jjg@309: /*
jjg@309:  * Copyright 2008 Sun Microsystems, Inc.  All Rights Reserved.
jjg@309:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
jjg@309:  *
jjg@309:  * This code is free software; you can redistribute it and/or modify it
jjg@309:  * under the terms of the GNU General Public License version 2 only, as
jjg@309:  * published by the Free Software Foundation.
jjg@309:  *
jjg@309:  * This code is distributed in the hope that it will be useful, but WITHOUT
jjg@309:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
jjg@309:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
jjg@309:  * version 2 for more details (a copy is included in the LICENSE file that
jjg@309:  * accompanied this code).
jjg@309:  *
jjg@309:  * You should have received a copy of the GNU General Public License version
jjg@309:  * 2 along with this work; if not, write to the Free Software Foundation,
jjg@309:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
jjg@309:  *
jjg@309:  * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
jjg@309:  * CA 95054 USA or visit www.sun.com if you need additional information or
jjg@309:  * have any questions.
jjg@309:  */
jjg@309: 
jjg@309: import java.util.List;
jjg@309: 
jjg@309: /*
jjg@309:  * @test
jjg@309:  * @bug 6843077
jjg@309:  * @summary test that compiler doesn't warn about annotated redundant casts
jjg@309:  * @author Mahmood Ali
jjg@309:  * @compile/ref=LintCast.out -Xlint:cast -XDrawDiagnostics -source 1.7 LintCast.java
jjg@309:  */
jjg@309: class LintCast {
jjg@309:     void unparameterized() {
jjg@309:         String s = "m";
jjg@309:         String s1 = (String)s;
jjg@309:         String s2 = (@A String)s;
jjg@309:     }
jjg@309: 
jjg@309:     void parameterized() {
jjg@309:         List<String> l = null;
jjg@309:         List<String> l1 = (List<String>)l;
jjg@309:         List<String> l2 = (List<@A String>)l;
jjg@309:     }
jjg@309: 
jjg@309:     void array() {
jjg@309:         int @A [] a = null;
jjg@309:         int[] a1 = (int[])a;
jjg@309:         int[] a2 = (int @A [])a;
jjg@309:     }
jjg@309: 
jjg@309:     void sameAnnotations() {
jjg@309:         @A String annotated = null;
jjg@309:         String unannotated = null;
jjg@309: 
jjg@309:         // compiler ignore annotated casts even if redundant
jjg@309:         @A String anno1 = (@A String)annotated;
jjg@309: 
jjg@309:         // warn if redundant without an annotation
jjg@309:         String anno2 = (String)annotated;
jjg@309:         String unanno2 = (String)unannotated;
jjg@309:     }
jjg@309: }
jjg@309: 
jjg@309: @interface A { }