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

Tue, 09 Oct 2012 19:10:00 -0700

author
jjg
date
Tue, 09 Oct 2012 19:10:00 -0700
changeset 1357
c75be5bc5283
parent 1343
f1e6b361a329
child 1415
01c9d4161882
permissions
-rw-r--r--

8000663: clean up langtools imports
Reviewed-by: darcy

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

mercurial