1 package org.ibex.classgen;
6 import org.ibex.classgen.util.*;
8 class ConstantPool implements CGConst {
9 private final Hashtable entries = new Hashtable();
10 private Ent[] entriesByIndex; // only valid when stable
12 private int usedSlots = 1; // 0 is reserved
13 private int state = OPEN;
14 private static final int OPEN = 0;
15 private static final int STABLE = 1; // existing entries won't change
16 private static final int SEALED = 2; // no new entries
20 public abstract class Ent {
21 int n; // this is the refcount if state == OPEN, index if >= STABLE
24 Ent(int tag) { this.tag = tag; }
25 void dump(DataOutput o) throws IOException { o.writeByte(tag); }
26 abstract Object _key();
27 final Object key() { return key == null ? (key = _key()) : key; }
28 int slots() { return 1; } // number of slots this ent takes up
30 if(state != OPEN) throw new IllegalStateException("cp is not open");
34 if(state != OPEN) throw new IllegalStateException("cp is not open");
35 if(--n == 0) entries.remove(key());
39 class Utf8Ent extends Ent {
41 Utf8Ent() { super(CONSTANT_UTF8); }
42 Utf8Ent(String s) { this(); this.s = s; }
43 public String toString() { return s; }
44 void dump(DataOutput o) throws IOException { super.dump(o); o.writeUTF(s); }
45 Object _key() { return new Utf8Key(s); }
48 class IntLitEnt extends Ent {
50 IntLitEnt(int i) { super(CONSTANT_INTEGER); this.i = i; }
51 void dump(DataOutput o) throws IOException { super.dump(o); o.writeInt(i); }
52 Object _key() { return new Integer(i); }
54 class FloatLitEnt extends Ent {
56 FloatLitEnt(float f) { super(CONSTANT_FLOAT); this.f = f; }
57 void dump(DataOutput o) throws IOException { super.dump(o); o.writeFloat(f); }
58 Object _key() { return new Float(f); }
60 class LongLitEnt extends Ent {
62 LongLitEnt(long l) { super(CONSTANT_LONG); this.l = l; }
63 void dump(DataOutput o) throws IOException { super.dump(o); o.writeLong(l); }
64 Object _key() { return new Long(l); }
65 int slots() { return 2; }
67 class DoubleLitEnt extends Ent {
69 DoubleLitEnt(double d) { super(CONSTANT_DOUBLE); this.d = d; }
70 void dump(DataOutput o) throws IOException { super.dump(o); o.writeDouble(d); }
71 Object _key() { return new Double(d); }
72 int slots() { return 2; }
74 class StringLitEnt extends Ent {
76 StringLitEnt() { super(CONSTANT_STRING); }
77 StringLitEnt(String s) { this(); this.utf8 = (Utf8Ent)addUtf8(s); }
78 void dump(DataOutput o) throws IOException { super.dump(o); o.writeShort(utf8.n); }
79 Object _key() { return utf8.s; }
80 void unref() { utf8.unref(); super.unref(); }
82 class ClassEnt extends Ent {
84 ClassEnt() { super(CONSTANT_CLASS); }
85 ClassEnt(String s) { this(); this.utf8 = (Utf8Ent) addUtf8(s); }
86 void dump(DataOutput o) throws IOException { super.dump(o); o.writeShort(utf8.n); }
87 Type.Class getTypeClass() { return (Type.Class) key(); }
89 return Type.fromDescriptor(utf8.s.startsWith("[") ? utf8.s : "L" + utf8.s + ";");
91 void unref() { utf8.unref(); super.unref(); }
92 public String toString() { return "[Class: " + utf8.s + "]"; }
95 class NameAndTypeEnt extends Ent {
99 NameAndTypeEnt() { super(CONSTANT_NAMEANDTYPE); }
100 NameAndTypeEnt(String name, String type) {
102 this.name = (Utf8Ent) addUtf8(name);
103 this.type = (Utf8Ent) addUtf8(type);
105 void dump(DataOutput o) throws IOException { super.dump(o); o.writeShort(name.n); o.writeShort(type.n); }
106 Object _key() { return new NameAndTypeKey(name.s, type.s); }
107 void unref() { name.unref(); type.unref(); super.unref(); }
110 class MemberEnt extends Ent {
112 NameAndTypeEnt member;
114 MemberEnt(int tag) { super(tag); }
115 MemberEnt(int tag, Type.Class klass, String name, String type) {
117 this.klass = (ClassEnt) add(klass);
118 this.member = addNameAndType(name,type);
121 void dump(DataOutput o) throws IOException { super.dump(o); o.writeShort(klass.n); o.writeShort(member.n); }
124 if(member.name == null) throw new Error("should never happen");
126 case CONSTANT_FIELDREF:
127 return klass.getTypeClass().field(member.name.s, member.type.s);
128 case CONSTANT_METHODREF:
129 case CONSTANT_INTERFACEMETHODREF:
130 Type.Class.Method m = klass.getTypeClass().method(member.name.s,member.type.s);
131 return tag == CONSTANT_INTERFACEMETHODREF ? (Object) new InterfaceMethodKey(m) : (Object) m;
133 throw new Error("should never happen");
136 void unref() { klass.unref(); member.unref(); super.unref(); }
142 static class Utf8Key {
144 public Utf8Key(String s) { this.s = s; }
145 public boolean equals(Object o) { return o instanceof Utf8Key && ((Utf8Key)o).s.equals(s); }
146 public int hashCode() { return ~s.hashCode(); }
149 static class NameAndTypeKey {
152 NameAndTypeKey(String name, String type) { this.name = name; this.type = type; }
153 public boolean equals(Object o_) {
154 if (!(o_ instanceof NameAndTypeKey)) return false;
155 NameAndTypeKey o = (NameAndTypeKey) o_;
156 return o.name.equals(name) && o.type.equals(type);
158 public int hashCode() { return name.hashCode() ^ type.hashCode(); }
161 static class InterfaceMethodKey {
162 Type.Class.Method method;
163 InterfaceMethodKey(Type.Class.Method method) { this.method = method; }
164 public int hashCode() { return ~method.hashCode(); }
165 public boolean equals(Object o) { return o instanceof InterfaceMethodKey && ((InterfaceMethodKey)o).method.equals(method); }
172 Ent get(Object o) { return (Ent) entries.get(o); }
173 Utf8Ent getUtf8(String s) { return (Utf8Ent) get(new Utf8Key(s)); }
175 int getIndex(Object o) {
177 if (e == null) throw new IllegalStateException("entry not found");
180 int getUtf8Index(String s) {
182 if (e == null) throw new IllegalStateException("entry not found");
185 int getIndex(Ent ent) {
186 if (state < STABLE) throw new IllegalStateException("constant pool is not stable");
190 Ent getByIndex(int index) {
191 if (state < STABLE) throw new IllegalStateException("constant pool is not stable");
193 if (index >= 65536 || index >= entriesByIndex.length || (e = entriesByIndex[index]) == null)
194 throw new IllegalArgumentException("invalid cp index: " + index + "/" + entriesByIndex.length);
198 String getUtf8KeyByIndex(int index) {
199 Ent e = getByIndex(index);
200 if(!(e instanceof Utf8Ent)) throw new IllegalArgumentException("that isn't a utf8 (" + e.toString() + ")");
201 return ((Utf8Ent)e).s;
204 Object getKeyByIndex(int index) {
205 Ent e = getByIndex(index);
206 return e == null ? null : e.key();
209 NameAndTypeEnt addNameAndType(String name, String descriptor) { return (NameAndTypeEnt) add(new NameAndTypeKey(name, descriptor)); }
210 Utf8Ent addUtf8(String s) { return (Utf8Ent) add(new Utf8Key(s)); }
213 boolean isInterfaceMethod;
214 if (state == SEALED) throw new IllegalStateException("constant pool is sealed");
218 if (state == OPEN) ent.n++;
222 if (o instanceof Type.Class) { ent = new ClassEnt(((Type.Class)o).internalForm()); }
223 else if (o instanceof String) { ent = new StringLitEnt((String)o); }
224 else if (o instanceof Integer) { ent = new IntLitEnt(((Integer)o).intValue()); }
225 else if (o instanceof Float) { ent = new FloatLitEnt(((Float)o).floatValue()); }
226 else if (o instanceof Long) { ent = new LongLitEnt(((Long)o).longValue()); }
227 else if (o instanceof Double) { ent = new DoubleLitEnt(((Double)o).doubleValue()); }
228 else if (o instanceof Utf8Key) { ent = new Utf8Ent(((Utf8Key)o).s); }
229 else if (o instanceof NameAndTypeKey) {
230 NameAndTypeKey key = (NameAndTypeKey) o;
231 ent = new NameAndTypeEnt(key.name,key.type);
233 else if ((isInterfaceMethod = o instanceof InterfaceMethodKey) || o instanceof Type.Class.Member) {
234 Type.Class.Member m = isInterfaceMethod ? ((InterfaceMethodKey)o).method : (Type.Class.Member) o;
235 int tag = isInterfaceMethod ? CONSTANT_INTERFACEMETHODREF
236 : m instanceof Type.Class.Field ? CONSTANT_FIELDREF
237 : m instanceof Type.Class.Method ? CONSTANT_METHODREF
239 if (tag == 0) throw new Error("should never happen");
240 ent = new MemberEnt(tag, m.getDeclaringClass(), m.name, m.getTypeDescriptor());
243 throw new IllegalArgumentException("Unknown type passed to add");
246 int spaces = ent.slots();
247 if (usedSlots + spaces > 65536) throw new ClassFile.Exn("constant pool full");
249 ent.n = state == OPEN ? 1 : usedSlots; // refcount or index
257 int slots() { return usedSlots; }
259 void seal() { state = SEALED; }
261 private Ent[] asArray() {
262 int count = entries.size();
263 Ent[] ents = new Ent[count];
265 Enumeration e = entries.keys();
266 while(e.hasMoreElements()) ents[i++] = (Ent) entries.get(e.nextElement());
267 if (i != count) throw new Error("should never happen");
271 private void assignIndex(Ent[] ents) {
273 entriesByIndex = new Ent[ents.length*2];
274 for(int i=0;i<ents.length;i++) {
277 entriesByIndex[index] = ent;
278 index += ent.slots();
283 if (state != OPEN) return;
285 assignIndex(asArray());
288 private static final Sort.CompareFunc compareFunc = new Sort.CompareFunc() {
289 public int compare(Object a_, Object b_) {
290 return ((Ent)a_).n - ((Ent)b_).n;
294 private static final Sort.CompareFunc reverseCompareFunc = new Sort.CompareFunc() {
295 public int compare(Object a_, Object b_) {
296 return ((Ent)b_).n - ((Ent)a_).n;
301 if (state != OPEN) throw new IllegalStateException("can't optimize a stable constant pool");
302 Ent[] ents = asArray();
303 Sort.sort(ents, reverseCompareFunc);
308 void dump(DataOutput o) throws IOException {
309 Ent[] ents = asArray();
310 Sort.sort(ents, compareFunc);
311 o.writeShort(usedSlots);
312 for(int i=0;i<ents.length;i++) {
313 //System.err.println("" + ents[i].n + ": " + ents[i].toString());
318 ConstantPool(DataInput in) throws ClassFile.ClassReadExn, IOException {
319 usedSlots = in.readUnsignedShort();
320 if (usedSlots==0) throw new ClassFile.ClassReadExn("invalid used slots");
322 // these are to remember the descriptor ents we have to fix up
323 int[] e1s = new int[usedSlots];
324 int[] e2s = new int[usedSlots];
326 entriesByIndex = new Ent[usedSlots];
328 for(int i=1;i<usedSlots;) {
329 byte tag = in.readByte();
332 case CONSTANT_CLASS: // Object Type
334 e1s[i] = in.readUnsignedShort();
336 case CONSTANT_STRING: // String
337 e = new StringLitEnt();
338 e1s[i] = in.readUnsignedShort();
340 case CONSTANT_FIELDREF: // Type.Class.Field
341 case CONSTANT_METHODREF: // Type.Class.Method
342 case CONSTANT_INTERFACEMETHODREF: // Instance Method Ref
343 case CONSTANT_NAMEANDTYPE:
344 e = tag == CONSTANT_NAMEANDTYPE ? (Ent) new NameAndTypeEnt() : (Ent) new MemberEnt(tag);
345 e1s[i] = in.readUnsignedShort();
346 e2s[i] = in.readUnsignedShort();
348 case CONSTANT_INTEGER: // Integer
349 e = new IntLitEnt(in.readInt());
351 case CONSTANT_FLOAT: // Float
352 e = new FloatLitEnt(in.readFloat());
354 case CONSTANT_LONG: // Long
355 e = new LongLitEnt(in.readLong());
357 case CONSTANT_DOUBLE: // Double
358 e = new DoubleLitEnt(in.readDouble());
360 case CONSTANT_UTF8: // Utf8
361 e = new Utf8Ent(in.readUTF());
364 throw new ClassFile.ClassReadExn("invalid cp ent tag: " + tag + " (slot " + i + ")");
366 entriesByIndex[i] = e;
370 for(int i=1;i<usedSlots;) {
371 Ent e = entriesByIndex[i];
372 if (e == null) throw new Error("should never happen: " + i + "/"+usedSlots);
373 boolean isMem = e instanceof MemberEnt;
374 boolean isString = e instanceof StringLitEnt;
375 boolean isClass = e instanceof ClassEnt;
376 boolean isNameAndType = e instanceof NameAndTypeEnt;
377 if (isMem || isClass || isString || isNameAndType) {
378 if (e1s[i] == 0 || e1s[i] >= usedSlots) throw new ClassFile.ClassReadExn("invalid cp index");
379 Ent e1 = entriesByIndex[e1s[i]];
380 if(e1 == null) throw new ClassFile.ClassReadExn("invalid cp index");
382 if(!(e1 instanceof Utf8Ent)) throw new ClassFile.ClassReadExn("expected a uft8ent");
383 ((ClassEnt)e).utf8 = (Utf8Ent) e1;
384 } else if(isString) {
385 if(!(e1 instanceof Utf8Ent)) throw new ClassFile.ClassReadExn("expected a uft8ent");
386 ((StringLitEnt)e).utf8 = (Utf8Ent) e1;
387 } else if(isMem || isNameAndType) {
388 if (e2s[i] == 0 || e2s[i] >= usedSlots) throw new ClassFile.ClassReadExn("invalid cp index");
389 Ent e2 = entriesByIndex[e2s[i]];
391 if(!(e1 instanceof ClassEnt)) throw new ClassFile.ClassReadExn("expected a classent");
392 if(!(e2 instanceof NameAndTypeEnt)) throw new ClassFile.ClassReadExn("expected a nameandtypeent, not " + e2);
393 MemberEnt me = (MemberEnt) e;
394 me.klass = (ClassEnt) e1;
395 me.member = (NameAndTypeEnt) e2;
396 } else if(isNameAndType) {
397 if(!(e1 instanceof Utf8Ent)) throw new ClassFile.ClassReadExn("expected a uft8ent");
398 if(!(e2 instanceof Utf8Ent)) throw new ClassFile.ClassReadExn("expected a uft8ent");
399 NameAndTypeEnt nte = (NameAndTypeEnt) e;
400 nte.name = (Utf8Ent) e1;
401 nte.type = (Utf8Ent) e2;
407 for(int i=1; i<usedSlots;) {
408 Ent e = entriesByIndex[i];
409 entries.put(e.key(), e);