Mon, 28 Feb 2011 11:48:53 +0000
7015430: Incorrect thrown type determined for unchecked invocations
Summary: Thrown types do not get updated after 15.12.2.8, and do not get erased as per 15.12.2.6
Reviewed-by: jjg, dlsmith
1 /*
2 * Copyright (c) 2007, 2008, 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. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
23 * questions.
24 */
26 package com.sun.tools.classfile;
28 import java.io.File;
29 import java.io.FileInputStream;
30 import java.io.IOException;
31 import java.io.InputStream;
33 import static com.sun.tools.classfile.AccessFlags.*;
35 /**
36 * See JVMS3, section 4.2.
37 *
38 * <p><b>This is NOT part of any supported API.
39 * If you write code that depends on this, you do so at your own risk.
40 * This code and its internal interfaces are subject to change or
41 * deletion without notice.</b>
42 */
43 public class ClassFile {
44 public static ClassFile read(File file)
45 throws IOException, ConstantPoolException {
46 return read(file, new Attribute.Factory());
47 }
49 public static ClassFile read(File file, Attribute.Factory attributeFactory)
50 throws IOException, ConstantPoolException {
51 FileInputStream in = new FileInputStream(file);
52 try {
53 return new ClassFile(in, attributeFactory);
54 } finally {
55 try {
56 in.close();
57 } catch (IOException e) {
58 // ignore
59 }
60 }
61 }
63 public static ClassFile read(InputStream in)
64 throws IOException, ConstantPoolException {
65 return new ClassFile(in, new Attribute.Factory());
66 }
68 public static ClassFile read(InputStream in, Attribute.Factory attributeFactory)
69 throws IOException, ConstantPoolException {
70 return new ClassFile(in, attributeFactory);
71 }
73 ClassFile(InputStream in, Attribute.Factory attributeFactory) throws IOException, ConstantPoolException {
74 ClassReader cr = new ClassReader(this, in, attributeFactory);
75 magic = cr.readInt();
76 minor_version = cr.readUnsignedShort();
77 major_version = cr.readUnsignedShort();
78 constant_pool = new ConstantPool(cr);
79 access_flags = new AccessFlags(cr);
80 this_class = cr.readUnsignedShort();
81 super_class = cr.readUnsignedShort();
83 int interfaces_count = cr.readUnsignedShort();
84 interfaces = new int[interfaces_count];
85 for (int i = 0; i < interfaces_count; i++)
86 interfaces[i] = cr.readUnsignedShort();
88 int fields_count = cr.readUnsignedShort();
89 fields = new Field[fields_count];
90 for (int i = 0; i < fields_count; i++)
91 fields[i] = new Field(cr);
93 int methods_count = cr.readUnsignedShort();
94 methods = new Method[methods_count];
95 for (int i = 0; i < methods_count; i++)
96 methods[i] = new Method(cr);
98 attributes = new Attributes(cr);
99 }
101 public ClassFile(int magic, int minor_version, int major_version,
102 ConstantPool constant_pool, AccessFlags access_flags,
103 int this_class, int super_class, int[] interfaces,
104 Field[] fields, Method[] methods, Attributes attributes) {
105 this.magic = magic;
106 this.minor_version = minor_version;
107 this.major_version = major_version;
108 this.constant_pool = constant_pool;
109 this.access_flags = access_flags;
110 this.this_class = this_class;
111 this.super_class = super_class;
112 this.interfaces = interfaces;
113 this.fields = fields;
114 this.methods = methods;
115 this.attributes = attributes;
116 }
118 public String getName() throws ConstantPoolException {
119 return constant_pool.getClassInfo(this_class).getName();
120 }
122 public String getSuperclassName() throws ConstantPoolException {
123 return constant_pool.getClassInfo(super_class).getName();
124 }
126 public String getInterfaceName(int i) throws ConstantPoolException {
127 return constant_pool.getClassInfo(interfaces[i]).getName();
128 }
130 public Attribute getAttribute(String name) {
131 return attributes.get(name);
132 }
134 public boolean isClass() {
135 return !isInterface();
136 }
138 public boolean isInterface() {
139 return access_flags.is(ACC_INTERFACE);
140 }
142 public int byteLength() {
143 return 4 + // magic
144 2 + // minor
145 2 + // major
146 constant_pool.byteLength() +
147 2 + // access flags
148 2 + // this_class
149 2 + // super_class
150 byteLength(interfaces) +
151 byteLength(fields) +
152 byteLength(methods) +
153 attributes.byteLength();
154 }
156 private int byteLength(int[] indices) {
157 return 2 + 2 * indices.length;
158 }
160 private int byteLength(Field[] fields) {
161 int length = 2;
162 for (Field f: fields)
163 length += f.byteLength();
164 return length;
165 }
167 private int byteLength(Method[] methods) {
168 int length = 2;
169 for (Method m: methods)
170 length += m.byteLength();
171 return length;
172 }
174 public final int magic;
175 public final int minor_version;
176 public final int major_version;
177 public final ConstantPool constant_pool;
178 public final AccessFlags access_flags;
179 public final int this_class;
180 public final int super_class;
181 public final int[] interfaces;
182 public final Field[] fields;
183 public final Method[] methods;
184 public final Attributes attributes;
185 }