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