1 /*
2 * Copyright (c) 2009, 2014, 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
24 import java.io.*;
25 import com.sun.tools.classfile.*;
26
27 /*
28 * @test
29 * @bug 6843077
30 * @summary test that typecasts annotation are emitted if only the cast
31 * expression is optimized away
32 */
33
34 public class TypeCasts {
35 public static void main(String[] args) throws Exception {
36 new TypeCasts().run();
37 }
38
39 public void run() throws Exception {
40 File javaFile = writeTestFile();
41 File classFile = compileTestFile(javaFile);
42
43 ClassFile cf = ClassFile.read(classFile);
44 for (Method m: cf.methods) {
45 test(cf, m);
46 }
47
48 countAnnotations();
49
50 if (errors > 0)
51 throw new Exception(errors + " errors found");
52 System.out.println("PASSED");
53 }
54
55 void test(ClassFile cf, Method m) {
56 test(cf, m, Attribute.RuntimeVisibleTypeAnnotations, true);
57 test(cf, m, Attribute.RuntimeInvisibleTypeAnnotations, false);
58 }
59
60
61 // test the result of Attributes.getIndex according to expectations
62 // encoded in the method's name
63 void test(ClassFile cf, Method m, String name, boolean visible) {
64 Attribute attr = null;
65 Code_attribute cAttr = null;
66
67 int index = m.attributes.getIndex(cf.constant_pool, Attribute.Code);
68 if(index!= -1) {
69 attr = m.attributes.get(index);
70 assert attr instanceof Code_attribute;
71 cAttr = (Code_attribute)attr;
72 index = cAttr.attributes.getIndex(cf.constant_pool, name);
73 if(index!= -1) {
74 attr = cAttr.attributes.get(index);
75 assert attr instanceof RuntimeTypeAnnotations_attribute;
76 RuntimeTypeAnnotations_attribute tAttr = (RuntimeTypeAnnotations_attribute)attr;
77 all += tAttr.annotations.length;
78 if (visible)
79 visibles += tAttr.annotations.length;
80 else
81 invisibles += tAttr.annotations.length;
82 }
83 }
84 }
85
86
87
88 File writeTestFile() throws IOException {
89 File f = new File("Test.java");
90 PrintWriter out = new PrintWriter(new BufferedWriter(new FileWriter(f)));
91 out.println("import java.lang.annotation.*;");
92 out.println("class Test { ");
93 out.println(" @Target(ElementType.TYPE_USE) @interface A { }");
94
95 out.println(" void emit() {");
96 out.println(" Object o = null;");
97 out.println(" String s = null;");
98
99 out.println(" String a0 = (@A String)o;");
100 out.println(" Object a1 = (@A Object)o;");
101
102 out.println(" String b0 = (@A String)s;");
103 out.println(" Object b1 = (@A Object)s;");
104 out.println(" }");
105
106 out.println(" void alldeadcode() {");
107 out.println(" Object o = null;");
108
109 out.println(" if (false) {");
110 out.println(" String a0 = (@A String)o;");
111 out.println(" }");
112 out.println(" }");
113
114 out.println("}");
115 out.close();
116 return f;
117 }
118
119 File compileTestFile(File f) {
120 int rc = com.sun.tools.javac.Main.compile(new String[] {"-g", f.getPath() });
121 if (rc != 0)
122 throw new Error("compilation failed. rc=" + rc);
123 String path = f.getPath();
124 return new File(path.substring(0, path.length() - 5) + ".class");
125 }
126
127 void countAnnotations() {
128 int expected_visibles = 0, expected_invisibles = 4;
129 int expected_all = expected_visibles + expected_invisibles;
130
131 if (expected_all != all) {
132 errors++;
133 System.err.println("expected " + expected_all
134 + " annotations but found " + all);
135 }
136
137 if (expected_visibles != visibles) {
138 errors++;
139 System.err.println("expected " + expected_visibles
140 + " visibles annotations but found " + visibles);
141 }
142
143 if (expected_invisibles != invisibles) {
144 errors++;
145 System.err.println("expected " + expected_invisibles
146 + " invisibles annotations but found " + invisibles);
147 }
148
149 }
150
151 int errors;
152 int all;
153 int visibles;
154 int invisibles;
155 }