test/tools/javac/annotations/typeAnnotations/classfile/TypeCasts.java

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

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

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

jjg@1521 1 /*
darcy@1534 2 * Copyright (c) 2009, 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 import java.lang.annotation.*;
jjg@1521 25 import java.io.*;
jjg@1521 26 import java.net.URL;
jjg@1521 27 import java.util.List;
jjg@1521 28
jjg@1521 29 import com.sun.tools.classfile.*;
jjg@1521 30
jjg@1521 31 /*
jjg@1521 32 * @test
jjg@1521 33 * @bug 6843077 8006775
jjg@1521 34 * @summary test that typecasts annotation are emitted if only the cast
jjg@1521 35 * expression is optimized away
jjg@1521 36 */
jjg@1521 37
jjg@1521 38 public class TypeCasts extends ClassfileTestHelper{
jjg@1521 39 public static void main(String[] args) throws Exception {
jjg@1521 40 new TypeCasts().run();
jjg@1521 41 }
jjg@1521 42
jjg@1521 43 public void run() throws Exception {
jjg@1521 44 expected_tinvisibles = 4;
jjg@1521 45 expected_tvisibles = 0;
jjg@1521 46
jjg@1521 47 ClassFile cf = getClassFile("TypeCasts$Test.class");
jjg@1521 48 test(cf);
jjg@1521 49 for (Field f : cf.fields) {
jjg@1521 50 test(cf, f);
jjg@1521 51 }
jjg@1521 52 for (Method m: cf.methods) {
jjg@1521 53 test(cf, m);
jjg@1521 54 }
jjg@1521 55
jjg@1521 56 countAnnotations();
jjg@1521 57
jjg@1521 58 if (errors > 0)
jjg@1521 59 throw new Exception(errors + " errors found");
jjg@1521 60 System.out.println("PASSED");
jjg@1521 61 }
jjg@1521 62
jjg@1521 63 /*********************** Test class *************************/
jjg@1521 64 static class Test {
jjg@1521 65 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
jjg@1521 66 @interface A {}
jjg@1521 67
jjg@1521 68 void emit() {
jjg@1521 69 Object o = null;
jjg@1521 70 String s = null;
jjg@1521 71
jjg@1521 72 String a0 = (@A String)o;
jjg@1521 73 Object a1 = (@A Object)o;
jjg@1521 74
jjg@1521 75 String b0 = (@A String)s;
jjg@1521 76 Object b1 = (@A Object)s;
jjg@1521 77 }
jjg@1521 78
jjg@1521 79 void alldeadcode() {
jjg@1521 80 Object o = null;
jjg@1521 81
jjg@1521 82 if (false) {
jjg@1521 83 String a0 = (@A String)o;
jjg@1521 84 }
jjg@1521 85 }
jjg@1521 86 }
jjg@1521 87 }

mercurial