X-Git-Url: http://git.megacz.com/?p=org.ibex.classgen.git;a=blobdiff_plain;f=src%2Forg%2Fibex%2Fclassgen%2FType.java;h=08c346fba161b6773def91c5c6e7dd5a22e9b51b;hp=07e8d7835eff8c32442ee1898064227dcbbace10;hb=e70f9a95d3058a30dc93d8d45078ece8bb7a7dc6;hpb=60bace637897ca9710e91707d0bb8d31a420a3a9 diff --git a/src/org/ibex/classgen/Type.java b/src/org/ibex/classgen/Type.java index 07e8d78..08c346f 100644 --- a/src/org/ibex/classgen/Type.java +++ b/src/org/ibex/classgen/Type.java @@ -3,7 +3,7 @@ package org.ibex.classgen; import java.util.StringTokenizer; import java.util.Hashtable; -public class Type implements CGConst { +public abstract class Type implements CGConst { private static Hashtable instances = new Hashtable(); // this has to appear at the top of the file @@ -19,21 +19,24 @@ public class Type implements CGConst { public static final Type CHAR = new Primitive("C", "char"); public static final Type SHORT = new Primitive("S", "short"); - public static final Type.Class OBJECT = new Type.Class("java.lang.Object"); - public static final Type.Class STRING = new Type.Class("java.lang.String"); - public static final Type.Class STRINGBUFFER = new Type.Class("java.lang.StringBuffer"); - public static final Type.Class INTEGER_OBJECT = new Type.Class("java.lang.Integer"); - public static final Type.Class DOUBLE_OBJECT = new Type.Class("java.lang.Double"); - public static final Type.Class FLOAT_OBJECT = new Type.Class("java.lang.Float"); + public static final Type.Class OBJECT = Type.Class.instance("java.lang.Object"); + public static final Type.Class STRING = Type.Class.instance("java.lang.String"); + public static final Type.Class STRINGBUFFER = Type.Class.instance("java.lang.StringBuffer"); + public static final Type.Class INTEGER_OBJECT = Type.Class.instance("java.lang.Integer"); + public static final Type.Class DOUBLE_OBJECT = Type.Class.instance("java.lang.Double"); + public static final Type.Class FLOAT_OBJECT = Type.Class.instance("java.lang.Float"); /** A zero element Type[] array (can be passed as the "args" param when a method takes no arguments */ public static final Type[] NO_ARGS = new Type[0]; - /** guarantee: there will only be one instance of Type for a given descriptor ==> equals() and == are interchangeable */ - public static Type instance(String d) { + /** + * A "descriptor" is the classfile-mangled text representation of a type (see JLS section 4.3) + * guarantee: there will only be one instance of Type for a given descriptor ==> equals() and == are interchangeable + */ + public static Type fromDescriptor(String d) { Type ret = (Type)instances.get(d); if (ret != null) return ret; - if (d.startsWith("[")) return new Type.Array(instance(d.substring(1))); + if (d.startsWith("[")) return new Type.Array(Type.fromDescriptor(d.substring(1))); return new Type.Class(d); } @@ -41,10 +44,8 @@ public class Type implements CGConst { public abstract String debugToString(); public final String getDescriptor() { return descriptor; } - public int hashCode() { return descriptor.hashCode(); } - public boolean equals(java.lang.Object o) { return this==o; } - public Type.Array makeArray() { return (Type.Array)instance("["+descriptor); } + public Type.Array makeArray() { return (Type.Array)Type.fromDescriptor("["+descriptor); } public Type.Array makeArray(int i) { return i==0 ? (Type.Array)this : makeArray().makeArray(i-1); } public Type.Ref asRef() { throw new RuntimeException("attempted to use "+this+" as a Type.Ref, which it is not"); } @@ -64,9 +65,9 @@ public class Type implements CGConst { instances.put(descriptor, this); } - static class Primitive extends Type { + public static class Primitive extends Type { private String humanReadable; - protected Primitive(String descriptor, String humanReadable) { + Primitive(String descriptor, String humanReadable) { super(descriptor); this.humanReadable = humanReadable; } @@ -87,14 +88,16 @@ public class Type implements CGConst { public Type.Array asArray() { return this; } public boolean isArray() { return true; } public String debugToString() { return base.debugToString() + "[]"; } - public Type getElementType() { return Type.instance(getDescriptor().substring(0, getDescriptor().length()-1)); } + public Type getElementType() { return Type.fromDescriptor(getDescriptor().substring(0, getDescriptor().length()-1)); } } public static class Class extends Type.Ref { protected Class(String s) { super(_initHelper(s)); } public Type.Class asClass() { return this; } public boolean isClass() { return true; } - public String getShortName() { return toString.substring(toString.lastIndexOf('.')+1); } + public static Type.Class instance(String className) { + return (Type.Class)Type.fromDescriptor("L"+className.replace('.', '/')+";"); } + //public boolean extendsOrImplements(Type.Class c, Context cx) { } String internalForm() { return descriptor.substring(1, descriptor.length()-1); } public String debugToString() { return internalForm().replace('/','.'); } public String getShortName() { @@ -112,11 +115,18 @@ public class Type implements CGConst { return a; } - public Field field(String name, Type type) { return new Field(name, type); } + public Field field(String name, Type type) { return new Field(name, type); } + public abstract class Body extends HasFlags { + } + public Method method(String name, Type returnType, Type[] argTypes) { return new Method(name, returnType, argTypes); } - public Method method(String name, String typeDescriptor) { + public Method method(String leftCrap, String rightCrap) { return method(leftCrap+rightCrap); } + + /** see JVM Spec section 2.10.2 */ + public Method method(String signature) { // FEATURE: This parser is ugly but it works (and shouldn't be a problem) might want to clean it up though - String s = typeDescriptor; + String name = signature.substring(0, signature.indexOf('(')); + String s = signature.substring(signature.indexOf('(')); if(!s.startsWith("(")) throw new IllegalArgumentException("invalid method type descriptor"); int p = s.indexOf(')'); if(p == -1) throw new IllegalArgumentException("invalid method type descriptor"); @@ -131,28 +141,20 @@ public class Type implements CGConst { p = argsDesc.indexOf(';'); if(p == -1) throw new IllegalArgumentException("invalid method type descriptor"); } - argsBuf[i] = Type.instance(argsDesc.substring(0,p+1)); + argsBuf[i] = Type.fromDescriptor(argsDesc.substring(0,p+1)); argsDesc = argsDesc.substring(p+1); } Type args[] = new Type[i]; System.arraycopy(argsBuf,0,args,0,i); - return method(name, Type.instance(retDesc), args); + return method(name, Type.fromDescriptor(retDesc), args); } public abstract class Member { public final String name; private Member(String name) { this.name = name; } public Type.Class getDeclaringClass() { return Type.Class.this; } - public abstract String getDescriptor(); - public boolean equals(Object o_) { - if(!(o_ instanceof Member)) return false; - Member o = (Member) o_; - return o.getDeclaringClass().equals(getDeclaringClass()) && - o.name.equals(name) && - o.getDescriptor().equals(getDescriptor()); - } - public int hashCode() { return getDeclaringClass().hashCode() ^ name.hashCode() ^ getDescriptor().hashCode(); } - public String toString() { return debugToString(); } + public String getName() { return name; } + public abstract String getTypeDescriptor(); public abstract String debugToString(); } @@ -161,7 +163,16 @@ public class Type implements CGConst { private Field(String name, Type t) { super(name); this.type = t; } public String getTypeDescriptor() { return type.getDescriptor(); } public Type getType() { return type; } - public String debugToString() { return getDeclaringClass()+"."+name+"["+type+"]"; } + public String debugToString() { return getDeclaringClass().debugToString()+"."+name+"["+type.debugToString()+"]"; } + public class Body extends HasFlags { + public final int flags; + public Body(int flags) { + if ((flags & ~VALID_FIELD_FLAGS) != 0) throw new IllegalArgumentException("invalid flags"); + this.flags = flags; + } + public int getFlags() { return flags; } + public Field getField() { return Field.this; } + } } public class Method extends Member { @@ -175,7 +186,6 @@ public class Type implements CGConst { System.arraycopy(argTypes, 0, ret, 0, ret.length); return ret; } - public boolean isConstructor() { return getName().equals(""); } public boolean isClassInitializer() { return getName().equals(""); } public String debugToString() { @@ -198,7 +208,8 @@ public class Type implements CGConst { this.argTypes = argTypes; this.returnType = returnType; } - public String getDescriptor() { + //public Method.Body getBody(Context cx) { } + public String getTypeDescriptor() { StringBuffer sb = new StringBuffer(argTypes.length*4); sb.append("("); for(int i=0;i