1 /*
2 * Copyright (c) 2009, 2013, 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 test(cf);
45 for (Field f : cf.fields) {
46 test(cf, f);
47 }
48 for (Method m: cf.methods) {
49 test(cf, m);
50 }
51
52 countAnnotations();
53
54 if (errors > 0)
55 throw new Exception(errors + " errors found");
56 System.out.println("PASSED");
57 }
58
59 void test(ClassFile cf) {
60 test(cf, Attribute.RuntimeVisibleTypeAnnotations, true);
61 test(cf, Attribute.RuntimeInvisibleTypeAnnotations, false);
62 }
63
64 void test(ClassFile cf, Method m) {
65 test(cf, m, Attribute.RuntimeVisibleTypeAnnotations, true);
66 test(cf, m, Attribute.RuntimeInvisibleTypeAnnotations, false);
67 }
68
69 void test(ClassFile cf, Field m) {
70 test(cf, m, Attribute.RuntimeVisibleTypeAnnotations, true);
71 test(cf, m, Attribute.RuntimeInvisibleTypeAnnotations, false);
72 }
73
74 // test the result of Attributes.getIndex according to expectations
75 // encoded in the method's name
76 void test(ClassFile cf, String name, boolean visible) {
77 int index = cf.attributes.getIndex(cf.constant_pool, name);
78 if (index != -1) {
79 Attribute attr = cf.attributes.get(index);
80 assert attr instanceof RuntimeTypeAnnotations_attribute;
81 RuntimeTypeAnnotations_attribute tAttr = (RuntimeTypeAnnotations_attribute)attr;
82 all += tAttr.annotations.length;
83 if (visible)
84 visibles += tAttr.annotations.length;
85 else
86 invisibles += tAttr.annotations.length;
87 }
88 }
89
90 // test the result of Attributes.getIndex according to expectations
91 // encoded in the method's name
92 void test(ClassFile cf, Method m, String name, boolean visible) {
93 int index = m.attributes.getIndex(cf.constant_pool, name);
94 if (index != -1) {
95 Attribute attr = m.attributes.get(index);
96 assert attr instanceof RuntimeTypeAnnotations_attribute;
97 RuntimeTypeAnnotations_attribute tAttr = (RuntimeTypeAnnotations_attribute)attr;
98 all += tAttr.annotations.length;
99 if (visible)
100 visibles += tAttr.annotations.length;
101 else
102 invisibles += tAttr.annotations.length;
103 }
104 }
105
106 // test the result of Attributes.getIndex according to expectations
107 // encoded in the method's name
108 void test(ClassFile cf, Field m, String name, boolean visible) {
109 int index = m.attributes.getIndex(cf.constant_pool, name);
110 if (index != -1) {
111 Attribute attr = m.attributes.get(index);
112 assert attr instanceof RuntimeTypeAnnotations_attribute;
113 RuntimeTypeAnnotations_attribute tAttr = (RuntimeTypeAnnotations_attribute)attr;
114 all += tAttr.annotations.length;
115 if (visible)
116 visibles += tAttr.annotations.length;
117 else
118 invisibles += tAttr.annotations.length;
119 }
120 }
121
122
123 File writeTestFile() throws IOException {
124 File f = new File("Test.java");
125 PrintWriter out = new PrintWriter(new BufferedWriter(new FileWriter(f)));
126 out.println("import java.lang.annotation.*;");
127 out.println("class Test { ");
128 out.println(" @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})");
129 out.println(" @interface A { }");
130
131 out.println(" void emit() {");
132 out.println(" Object o = null;");
133 out.println(" String s = null;");
134
135 out.println(" String a0 = (@A String)o;");
136 out.println(" Object a1 = (@A Object)o;");
137
138 out.println(" String b0 = (@A String)s;");
139 out.println(" Object b1 = (@A Object)s;");
140 out.println(" }");
141
142 out.println(" void alldeadcode() {");
143 out.println(" Object o = null;");
144
145 out.println(" if (false) {");
146 out.println(" String a0 = (@A String)o;");
147 out.println(" }");
148 out.println(" }");
149
150 out.println("}");
151 out.close();
152 return f;
153 }
154
155 File compileTestFile(File f) {
156 int rc = com.sun.tools.javac.Main.compile(new String[] { "-source", "1.8", "-g", f.getPath() });
157 if (rc != 0)
158 throw new Error("compilation failed. rc=" + rc);
159 String path = f.getPath();
160 return new File(path.substring(0, path.length() - 5) + ".class");
161 }
162
163 void countAnnotations() {
164 int expected_visibles = 0, expected_invisibles = 4;
165 int expected_all = expected_visibles + expected_invisibles;
166
167 if (expected_all != all) {
168 errors++;
169 System.err.println("expected " + expected_all
170 + " annotations but found " + all);
171 }
172
173 if (expected_visibles != visibles) {
174 errors++;
175 System.err.println("expected " + expected_visibles
176 + " visibles annotations but found " + visibles);
177 }
178
179 if (expected_invisibles != invisibles) {
180 errors++;
181 System.err.println("expected " + expected_invisibles
182 + " invisibles annotations but found " + invisibles);
183 }
184
185 }
186
187 int errors;
188 int all;
189 int visibles;
190 int invisibles;
191 }