TypeCasts.java revision 2942:08092deced3f 
1/*
2 * Copyright (c) 2009, 2015, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24import java.lang.annotation.*;
25import java.io.*;
26import java.net.URL;
27import java.util.List;
28
29import com.sun.tools.classfile.*;
30
31/*
32 * @test
33 * @bug 6843077 8006775
34 * @summary test that typecasts annotation are emitted if only the cast
35 *          expression is optimized away
36 * @modules jdk.jdeps/com.sun.tools.classfile
37 */
38
39public class TypeCasts extends ClassfileTestHelper{
40    public static void main(String[] args) throws Exception {
41        new TypeCasts().run();
42    }
43
44    public void run() throws Exception {
45        expected_tinvisibles = 4;
46        expected_tvisibles = 0;
47
48        ClassFile cf = getClassFile("TypeCasts$Test.class");
49        test(cf);
50        for (Field f : cf.fields) {
51            test(cf, f);
52        }
53        for (Method m: cf.methods) {
54            test(cf, m, true);
55        }
56
57        countAnnotations();
58
59        if (errors > 0)
60            throw new Exception(errors + " errors found");
61        System.out.println("PASSED");
62    }
63
64    /*********************** Test class *************************/
65    static class Test {
66        @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
67        @interface A {}
68
69        void emit() {
70            Object o = null;
71            String s = null;
72
73            String a0 = (@A String)o;
74            Object a1 = (@A Object)o;
75
76            String b0 = (@A String)s;
77            Object b1 = (@A Object)s;
78        }
79
80        void alldeadcode() {
81            Object o = null;
82
83            if (false) {
84                String a0 = (@A String)o;
85            }
86        }
87    }
88}
89