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, 2009, 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 | |
jjg@46 | 27 | package com.sun.tools.classfile; |
jjg@46 | 28 | |
jjg@46 | 29 | import java.io.IOException; |
jjg@46 | 30 | |
jjg@46 | 31 | /** |
jjg@46 | 32 | * See JVMS3, section 4.4. |
jjg@46 | 33 | * |
jjg@581 | 34 | * <p><b>This is NOT part of any supported API. |
jjg@581 | 35 | * If you write code that depends on this, you do so at your own risk. |
jjg@46 | 36 | * This code and its internal interfaces are subject to change or |
jjg@46 | 37 | * deletion without notice.</b> |
jjg@46 | 38 | */ |
jjg@46 | 39 | public class Descriptor { |
jjg@46 | 40 | public class InvalidDescriptor extends DescriptorException { |
jjg@198 | 41 | private static final long serialVersionUID = 1L; |
jjg@46 | 42 | InvalidDescriptor(String desc) { |
jjg@46 | 43 | this.desc = desc; |
jjg@46 | 44 | this.index = -1; |
jjg@46 | 45 | } |
jjg@46 | 46 | |
jjg@46 | 47 | InvalidDescriptor(String desc, int index) { |
jjg@46 | 48 | this.desc = desc; |
jjg@46 | 49 | this.index = index; |
jjg@46 | 50 | } |
jjg@46 | 51 | |
jjg@46 | 52 | @Override |
jjg@46 | 53 | public String getMessage() { |
jjg@46 | 54 | // i18n |
jjg@46 | 55 | if (index == -1) |
jjg@46 | 56 | return "invalid descriptor \"" + desc + "\""; |
jjg@46 | 57 | else |
jjg@46 | 58 | return "descriptor is invalid at offset " + index + " in \"" + desc + "\""; |
jjg@46 | 59 | } |
jjg@46 | 60 | |
jjg@46 | 61 | public final String desc; |
jjg@46 | 62 | public final int index; |
jjg@46 | 63 | |
jjg@46 | 64 | } |
jjg@46 | 65 | |
jjg@46 | 66 | public Descriptor(ClassReader cr) throws IOException { |
jjg@46 | 67 | this(cr.readUnsignedShort()); |
jjg@46 | 68 | } |
jjg@46 | 69 | |
jjg@46 | 70 | public Descriptor(int index) { |
jjg@46 | 71 | this.index = index; |
jjg@46 | 72 | |
jjg@46 | 73 | } |
jjg@46 | 74 | |
jjg@46 | 75 | public String getValue(ConstantPool constant_pool) throws ConstantPoolException { |
jjg@46 | 76 | return constant_pool.getUTF8Value(index); |
jjg@46 | 77 | } |
jjg@46 | 78 | |
jjg@46 | 79 | public int getParameterCount(ConstantPool constant_pool) |
jjg@46 | 80 | throws ConstantPoolException, InvalidDescriptor { |
jjg@46 | 81 | String desc = getValue(constant_pool); |
jjg@46 | 82 | int end = desc.indexOf(")"); |
jjg@46 | 83 | if (end == -1) |
jjg@46 | 84 | throw new InvalidDescriptor(desc); |
jjg@46 | 85 | parse(desc, 0, end + 1); |
jjg@46 | 86 | return count; |
jjg@46 | 87 | |
jjg@46 | 88 | } |
jjg@46 | 89 | |
jjg@46 | 90 | public String getParameterTypes(ConstantPool constant_pool) |
jjg@46 | 91 | throws ConstantPoolException, InvalidDescriptor { |
jjg@46 | 92 | String desc = getValue(constant_pool); |
jjg@46 | 93 | int end = desc.indexOf(")"); |
jjg@46 | 94 | if (end == -1) |
jjg@46 | 95 | throw new InvalidDescriptor(desc); |
jjg@46 | 96 | return parse(desc, 0, end + 1); |
jjg@46 | 97 | } |
jjg@46 | 98 | |
jjg@46 | 99 | public String getReturnType(ConstantPool constant_pool) |
jjg@46 | 100 | throws ConstantPoolException, InvalidDescriptor { |
jjg@46 | 101 | String desc = getValue(constant_pool); |
jjg@46 | 102 | int end = desc.indexOf(")"); |
jjg@46 | 103 | if (end == -1) |
jjg@46 | 104 | throw new InvalidDescriptor(desc); |
jjg@46 | 105 | return parse(desc, end + 1, desc.length()); |
jjg@46 | 106 | } |
jjg@46 | 107 | |
jjg@46 | 108 | public String getFieldType(ConstantPool constant_pool) |
jjg@46 | 109 | throws ConstantPoolException, InvalidDescriptor { |
jjg@46 | 110 | String desc = getValue(constant_pool); |
jjg@46 | 111 | return parse(desc, 0, desc.length()); |
jjg@46 | 112 | } |
jjg@46 | 113 | |
jjg@46 | 114 | private String parse(String desc, int start, int end) |
jjg@46 | 115 | throws InvalidDescriptor { |
jjg@46 | 116 | int p = start; |
jjg@46 | 117 | StringBuffer sb = new StringBuffer(); |
jjg@46 | 118 | int dims = 0; |
jjg@46 | 119 | count = 0; |
jjg@46 | 120 | |
jjg@46 | 121 | while (p < end) { |
jjg@46 | 122 | String type; |
jjg@46 | 123 | char ch; |
jjg@46 | 124 | switch (ch = desc.charAt(p++)) { |
jjg@46 | 125 | case '(': |
jjg@46 | 126 | sb.append('('); |
jjg@46 | 127 | continue; |
jjg@46 | 128 | |
jjg@46 | 129 | case ')': |
jjg@46 | 130 | sb.append(')'); |
jjg@46 | 131 | continue; |
jjg@46 | 132 | |
jjg@46 | 133 | case '[': |
jjg@46 | 134 | dims++; |
jjg@46 | 135 | continue; |
jjg@46 | 136 | |
jjg@46 | 137 | case 'B': |
jjg@46 | 138 | type = "byte"; |
jjg@46 | 139 | break; |
jjg@46 | 140 | |
jjg@46 | 141 | case 'C': |
jjg@46 | 142 | type = "char"; |
jjg@46 | 143 | break; |
jjg@46 | 144 | |
jjg@46 | 145 | case 'D': |
jjg@46 | 146 | type = "double"; |
jjg@46 | 147 | break; |
jjg@46 | 148 | |
jjg@46 | 149 | case 'F': |
jjg@46 | 150 | type = "float"; |
jjg@46 | 151 | break; |
jjg@46 | 152 | |
jjg@46 | 153 | case 'I': |
jjg@46 | 154 | type = "int"; |
jjg@46 | 155 | break; |
jjg@46 | 156 | |
jjg@46 | 157 | case 'J': |
jjg@46 | 158 | type = "long"; |
jjg@46 | 159 | break; |
jjg@46 | 160 | |
jjg@46 | 161 | case 'L': |
jjg@46 | 162 | int sep = desc.indexOf(';', p); |
jjg@46 | 163 | if (sep == -1) |
jjg@46 | 164 | throw new InvalidDescriptor(desc, p - 1); |
jjg@46 | 165 | type = desc.substring(p, sep).replace('/', '.'); |
jjg@46 | 166 | p = sep + 1; |
jjg@46 | 167 | break; |
jjg@46 | 168 | |
jjg@46 | 169 | case 'S': |
jjg@46 | 170 | type = "short"; |
jjg@46 | 171 | break; |
jjg@46 | 172 | |
jjg@46 | 173 | case 'Z': |
jjg@46 | 174 | type = "boolean"; |
jjg@46 | 175 | break; |
jjg@46 | 176 | |
jjg@46 | 177 | case 'V': |
jjg@46 | 178 | type = "void"; |
jjg@46 | 179 | break; |
jjg@46 | 180 | |
jjg@46 | 181 | default: |
jjg@46 | 182 | throw new InvalidDescriptor(desc, p - 1); |
jjg@46 | 183 | } |
jjg@46 | 184 | |
jjg@46 | 185 | if (sb.length() > 1 && sb.charAt(0) == '(') |
jjg@46 | 186 | sb.append(", "); |
jjg@46 | 187 | sb.append(type); |
jjg@46 | 188 | for ( ; dims > 0; dims-- ) |
jjg@46 | 189 | sb.append("[]"); |
jjg@46 | 190 | |
jjg@46 | 191 | count++; |
jjg@46 | 192 | } |
jjg@46 | 193 | |
jjg@46 | 194 | return sb.toString(); |
jjg@46 | 195 | } |
jjg@46 | 196 | |
jjg@46 | 197 | public final int index; |
jjg@46 | 198 | private int count; |
jjg@46 | 199 | } |