src/share/classes/com/sun/tools/javac/jvm/Pool.java

Tue, 25 Sep 2012 13:06:58 -0700

author
jjg
date
Tue, 25 Sep 2012 13:06:58 -0700
changeset 1339
0e5899f09dab
parent 1336
26d93df3905a
child 1342
1a65d6565b45
permissions
-rw-r--r--

7193657: provide internal ArrayUtils class to simplify common usage of arrays in javac
Reviewed-by: mcimadamore, jjg
Contributed-by: vicenterz@yahoo.es

duke@1 1 /*
jjg@1339 2 * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved.
duke@1 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1 4 *
duke@1 5 * This code is free software; you can redistribute it and/or modify it
duke@1 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
duke@1 8 * particular file as subject to the "Classpath" exception as provided
ohair@554 9 * by Oracle in the LICENSE file that accompanied this code.
duke@1 10 *
duke@1 11 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1 14 * version 2 for more details (a copy is included in the LICENSE file that
duke@1 15 * accompanied this code).
duke@1 16 *
duke@1 17 * You should have received a copy of the GNU General Public License version
duke@1 18 * 2 along with this work; if not, write to the Free Software Foundation,
duke@1 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1 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.
duke@1 24 */
duke@1 25
duke@1 26 package com.sun.tools.javac.jvm;
duke@1 27
mcimadamore@1336 28 import com.sun.tools.javac.code.Flags;
mcimadamore@1336 29 import com.sun.tools.javac.code.Kinds;
duke@1 30 import java.util.*;
duke@1 31
mcimadamore@1336 32 import com.sun.tools.javac.code.Symbol;
duke@1 33 import com.sun.tools.javac.code.Symbol.*;
mcimadamore@1336 34 import com.sun.tools.javac.code.Type;
jjg@1339 35 import com.sun.tools.javac.util.ArrayUtils;
mcimadamore@1336 36 import com.sun.tools.javac.util.Assert;
mcimadamore@1336 37 import com.sun.tools.javac.util.Filter;
mcimadamore@1336 38 import com.sun.tools.javac.util.Name;
mcimadamore@1336 39 import com.sun.tools.javac.util.Names;
duke@1 40
duke@1 41 /** An internal structure that corresponds to the constant pool of a classfile.
duke@1 42 *
jjg@581 43 * <p><b>This is NOT part of any supported API.
jjg@581 44 * If you write code that depends on this, you do so at your own risk.
duke@1 45 * This code and its internal interfaces are subject to change or
duke@1 46 * deletion without notice.</b>
duke@1 47 */
duke@1 48 public class Pool {
duke@1 49
duke@1 50 public static final int MAX_ENTRIES = 0xFFFF;
duke@1 51 public static final int MAX_STRING_LENGTH = 0xFFFF;
duke@1 52
duke@1 53 /** Index of next constant to be entered.
duke@1 54 */
duke@1 55 int pp;
duke@1 56
duke@1 57 /** The initial pool buffer.
duke@1 58 */
duke@1 59 Object[] pool;
duke@1 60
duke@1 61 /** A hashtable containing all constants in the pool.
duke@1 62 */
duke@1 63 Map<Object,Integer> indices;
duke@1 64
duke@1 65 /** Construct a pool with given number of elements and element array.
duke@1 66 */
duke@1 67 public Pool(int pp, Object[] pool) {
duke@1 68 this.pp = pp;
duke@1 69 this.pool = pool;
duke@1 70 this.indices = new HashMap<Object,Integer>(pool.length);
duke@1 71 for (int i = 1; i < pp; i++) {
duke@1 72 if (pool[i] != null) indices.put(pool[i], i);
duke@1 73 }
duke@1 74 }
duke@1 75
duke@1 76 /** Construct an empty pool.
duke@1 77 */
duke@1 78 public Pool() {
duke@1 79 this(1, new Object[64]);
duke@1 80 }
duke@1 81
duke@1 82 /** Return the number of entries in the constant pool.
duke@1 83 */
duke@1 84 public int numEntries() {
duke@1 85 return pp;
duke@1 86 }
duke@1 87
duke@1 88 /** Remove everything from this pool.
duke@1 89 */
duke@1 90 public void reset() {
duke@1 91 pp = 1;
duke@1 92 indices.clear();
duke@1 93 }
duke@1 94
duke@1 95 /** Place an object in the pool, unless it is already there.
duke@1 96 * If object is a symbol also enter its owner unless the owner is a
duke@1 97 * package. Return the object's index in the pool.
duke@1 98 */
duke@1 99 public int put(Object value) {
duke@1 100 if (value instanceof MethodSymbol)
duke@1 101 value = new Method((MethodSymbol)value);
duke@1 102 else if (value instanceof VarSymbol)
duke@1 103 value = new Variable((VarSymbol)value);
duke@1 104 // assert !(value instanceof Type.TypeVar);
duke@1 105 Integer index = indices.get(value);
duke@1 106 if (index == null) {
duke@1 107 // System.err.println("put " + value + " " + value.getClass());//DEBUG
duke@1 108 index = pp;
duke@1 109 indices.put(value, index);
jjg@1339 110 pool = ArrayUtils.ensureCapacity(pool, pp);
duke@1 111 pool[pp++] = value;
duke@1 112 if (value instanceof Long || value instanceof Double) {
jjg@1339 113 pool = ArrayUtils.ensureCapacity(pool, pp);
duke@1 114 pool[pp++] = null;
duke@1 115 }
duke@1 116 }
duke@1 117 return index.intValue();
duke@1 118 }
duke@1 119
duke@1 120 /** Return the given object's index in the pool,
duke@1 121 * or -1 if object is not in there.
duke@1 122 */
duke@1 123 public int get(Object o) {
duke@1 124 Integer n = indices.get(o);
duke@1 125 return n == null ? -1 : n.intValue();
duke@1 126 }
duke@1 127
duke@1 128 static class Method extends DelegatedSymbol {
duke@1 129 MethodSymbol m;
duke@1 130 Method(MethodSymbol m) {
duke@1 131 super(m);
duke@1 132 this.m = m;
duke@1 133 }
duke@1 134 public boolean equals(Object other) {
duke@1 135 if (!(other instanceof Method)) return false;
duke@1 136 MethodSymbol o = ((Method)other).m;
duke@1 137 return
duke@1 138 o.name == m.name &&
duke@1 139 o.owner == m.owner &&
duke@1 140 o.type.equals(m.type);
duke@1 141 }
duke@1 142 public int hashCode() {
duke@1 143 return
duke@1 144 m.name.hashCode() * 33 +
duke@1 145 m.owner.hashCode() * 9 +
duke@1 146 m.type.hashCode();
duke@1 147 }
duke@1 148 }
duke@1 149
duke@1 150 static class Variable extends DelegatedSymbol {
duke@1 151 VarSymbol v;
duke@1 152 Variable(VarSymbol v) {
duke@1 153 super(v);
duke@1 154 this.v = v;
duke@1 155 }
duke@1 156 public boolean equals(Object other) {
duke@1 157 if (!(other instanceof Variable)) return false;
duke@1 158 VarSymbol o = ((Variable)other).v;
duke@1 159 return
duke@1 160 o.name == v.name &&
duke@1 161 o.owner == v.owner &&
duke@1 162 o.type.equals(v.type);
duke@1 163 }
duke@1 164 public int hashCode() {
duke@1 165 return
duke@1 166 v.name.hashCode() * 33 +
duke@1 167 v.owner.hashCode() * 9 +
duke@1 168 v.type.hashCode();
duke@1 169 }
duke@1 170 }
mcimadamore@1336 171
mcimadamore@1336 172 public static class MethodHandle {
mcimadamore@1336 173
mcimadamore@1336 174 /** Reference kind - see ClassFile */
mcimadamore@1336 175 int refKind;
mcimadamore@1336 176
mcimadamore@1336 177 /** Reference symbol */
mcimadamore@1336 178 Symbol refSym;
mcimadamore@1336 179
mcimadamore@1336 180 /** Reference to the name table */
mcimadamore@1336 181 Names names;
mcimadamore@1336 182
mcimadamore@1336 183 public MethodHandle(int refKind, Symbol refSym, Names names) {
mcimadamore@1336 184 this.refKind = refKind;
mcimadamore@1336 185 this.refSym = refSym;
mcimadamore@1336 186 this.names = names;
mcimadamore@1336 187 checkConsistent();
mcimadamore@1336 188 }
mcimadamore@1336 189 public boolean equals(Object other) {
mcimadamore@1336 190 if (!(other instanceof MethodHandle)) return false;
mcimadamore@1336 191 MethodHandle mr = (MethodHandle) other;
mcimadamore@1336 192 if (mr.refKind != refKind) return false;
mcimadamore@1336 193 Symbol o = mr.refSym;
mcimadamore@1336 194 return
mcimadamore@1336 195 o.name == refSym.name &&
mcimadamore@1336 196 o.owner == refSym.owner &&
mcimadamore@1336 197 o.type.equals(refSym.type);
mcimadamore@1336 198 }
mcimadamore@1336 199 public int hashCode() {
mcimadamore@1336 200 return
mcimadamore@1336 201 refKind * 65 +
mcimadamore@1336 202 refSym.name.hashCode() * 33 +
mcimadamore@1336 203 refSym.owner.hashCode() * 9 +
mcimadamore@1336 204 refSym.type.hashCode();
mcimadamore@1336 205 }
mcimadamore@1336 206
mcimadamore@1336 207 /**
mcimadamore@1336 208 * Check consistency of reference kind and symbol (see JVMS 4.4.8)
mcimadamore@1336 209 */
mcimadamore@1336 210 @SuppressWarnings("fallthrough")
mcimadamore@1336 211 private void checkConsistent() {
mcimadamore@1336 212 boolean staticOk = false;
mcimadamore@1336 213 int expectedKind = -1;
mcimadamore@1336 214 Filter<Name> nameFilter = nonInitFilter;
mcimadamore@1336 215 boolean interfaceOwner = false;
mcimadamore@1336 216 switch (refKind) {
mcimadamore@1336 217 case ClassFile.REF_getStatic:
mcimadamore@1336 218 case ClassFile.REF_putStatic:
mcimadamore@1336 219 staticOk = true;
mcimadamore@1336 220 case ClassFile.REF_getField:
mcimadamore@1336 221 case ClassFile.REF_putField:
mcimadamore@1336 222 expectedKind = Kinds.VAR;
mcimadamore@1336 223 break;
mcimadamore@1336 224 case ClassFile.REF_newInvokeSpecial:
mcimadamore@1336 225 nameFilter = initFilter;
mcimadamore@1336 226 expectedKind = Kinds.MTH;
mcimadamore@1336 227 break;
mcimadamore@1336 228 case ClassFile.REF_invokeInterface:
mcimadamore@1336 229 interfaceOwner = true;
mcimadamore@1336 230 expectedKind = Kinds.MTH;
mcimadamore@1336 231 break;
mcimadamore@1336 232 case ClassFile.REF_invokeStatic:
mcimadamore@1336 233 staticOk = true;
mcimadamore@1336 234 case ClassFile.REF_invokeVirtual:
mcimadamore@1336 235 case ClassFile.REF_invokeSpecial:
mcimadamore@1336 236 expectedKind = Kinds.MTH;
mcimadamore@1336 237 break;
mcimadamore@1336 238 }
mcimadamore@1336 239 Assert.check(!refSym.isStatic() || staticOk);
mcimadamore@1336 240 Assert.check(refSym.kind == expectedKind);
mcimadamore@1336 241 Assert.check(nameFilter.accepts(refSym.name));
mcimadamore@1336 242 Assert.check(!refSym.owner.isInterface() || interfaceOwner);
mcimadamore@1336 243 }
mcimadamore@1336 244 //where
mcimadamore@1336 245 Filter<Name> nonInitFilter = new Filter<Name>() {
mcimadamore@1336 246 public boolean accepts(Name n) {
mcimadamore@1336 247 return n != names.init && n != names.clinit;
mcimadamore@1336 248 }
mcimadamore@1336 249 };
mcimadamore@1336 250
mcimadamore@1336 251 Filter<Name> initFilter = new Filter<Name>() {
mcimadamore@1336 252 public boolean accepts(Name n) {
mcimadamore@1336 253 return n == names.init;
mcimadamore@1336 254 }
mcimadamore@1336 255 };
mcimadamore@1336 256 }
duke@1 257 }

mercurial