package IR;
+import java.util.HashSet;
+import java.util.Set;
+import java.util.Vector;
+
/**
- * Descriptor
+ * Descriptor
*
* represents a symbol in the language (var name, function name, etc).
*/
public class TypeDescriptor extends Descriptor {
- public static final int BYTE=1;
- public static final int SHORT=2;
- public static final int INT=3;
- public static final int LONG=4;
- public static final int CHAR=5;
- public static final int BOOLEAN=6;
- public static final int FLOAT=7;
- public static final int DOUBLE=8;
- public static final int VOID=9;
- public static final int NULL=10;
- public static final int CLASS=11;
+ public static final int BYTE=1;
+ public static final int SHORT=2;
+ public static final int INT=3;
+ public static final int LONG=4;
+ public static final int CHAR=5;
+ public static final int BOOLEAN=6;
+ public static final int FLOAT=7;
+ public static final int DOUBLE=8;
+ public static final int VOID=9;
+ public static final int NULL=10;
+ public static final int TAG=11;
+ public static final int CLASS=12;
+ public static final int OFFSET=13;
+ int arraycount;
+ private int type;
+ ClassDescriptor class_desc;
+ boolean isClassNameRef = false;
- int type;
- ClassDescriptor class_desc;
+ private Vector<AnnotationDescriptor> annotationSet;
+ private TypeExtension typeExtension;
- public boolean isByte() {
- return type==BYTE;
- }
- public boolean isShort() {
- return type==SHORT;
- }
- public boolean isInt() {
- return type==INT;
- }
- public boolean isLong() {
- return type==LONG;
- }
- public boolean isChar() {
- return type==CHAR;
- }
- public boolean isBoolean() {
- return type==BOOLEAN;
- }
- public boolean isFloat() {
- return type==FLOAT;
- }
- public boolean isDouble() {
- return type==DOUBLE;
+ public boolean equals(Object o) {
+ if (o instanceof TypeDescriptor) {
+ TypeDescriptor t=(TypeDescriptor)o;
+ if (t.type!=type)
+ return false;
+ if ((type==CLASS)&&(!t.getSymbol().equals(getSymbol())))
+ return false;
+ if (t.arraycount!=arraycount)
+ return false;
+ if (t.isClassNameRef != this.isClassNameRef)
+ return false;
+ return true;
}
+ return false;
+ }
- public void setClassDescriptor(ClassDescriptor cd) {
- class_desc=cd;
- }
-
- public boolean isVoid() {
- return type==VOID;
- }
+ public boolean isString() {
+ if (type!=CLASS)
+ return false;
+ if (arraycount>0)
+ return false;
+ if (!getSymbol().equals(TypeUtil.StringClass))
+ return false;
+ return true;
+ }
- public boolean isPrimitive() {
- return ((type>=BYTE)&&(type<=DOUBLE));
- }
+ public boolean isClassNameRef() {
+ return this.isClassNameRef;
+ }
- public boolean isClass() {
- return type==CLASS;
- }
+ public void setClassNameRef() {
+ this.isClassNameRef = true;
+ }
- public TypeDescriptor(NameDescriptor name) {
- super(name.toString());
- this.type=CLASS;
- this.class_desc=null;
- }
+ public int hashCode() {
+ int hashcode=type^arraycount;
+ if (type==CLASS)
+ hashcode^=getSymbol().hashCode();
+ return hashcode;
+ }
- public ClassDescriptor getClassDesc() {
- return class_desc;
- }
+ public boolean iswrapper() {
+ if (arraycount!=0||!isClass())
+ return false;
+ return (name.equals("bytewrapper")||
+ name.equals("booleanwrapper")||
+ name.equals("shortwrapper")||
+ name.equals("intwrapper")||
+ name.equals("longwrapper")||
+ name.equals("charwrapper")||
+ name.equals("floatwrapper")||
+ name.equals("doublewrapper")||
+ name.equals("Objectwrapper"));
+ }
- public TypeDescriptor(ClassDescriptor cd) {
- super(cd.getSymbol());
- this.type=CLASS;
- this.class_desc=cd;
- }
+ public TypeDescriptor makeArray(State state) {
+ TypeDescriptor td=new TypeDescriptor(getSymbol());
+ td.arraycount=arraycount+1;
+ td.type=type;
+ td.class_desc=class_desc;
+ state.addArrayType(td);
+ return td;
+ }
- public TypeDescriptor(int t) {
- super(decodeInt(t));
- this.type=t;
- }
+ public boolean isArray() {
+ return (arraycount>0);
+ }
+
+ public int getArrayCount() {
+ return arraycount;
+ }
+
+ /* Only use this method if you really know what you are doing. It
+ * doesn't have the effect you might expect. */
+
+ public void setArrayCount(int a) {
+ arraycount=a;
+ }
+
+ public TypeDescriptor dereference() {
+ TypeDescriptor td=new TypeDescriptor(getSymbol());
+ if (arraycount==0)
+ throw new Error();
+ td.arraycount=arraycount-1;
+ td.type=type;
+ td.class_desc=class_desc;
+ return td;
+ }
+
+ public String getSafeSymbol() {
+ if (isArray())
+ return IR.Flat.BuildCode.arraytype;
+ else if (isClass()) {
+ return class_desc.getSafeSymbol();
+ } else if (isByte())
+ return "char";
+ else if (isChar())
+ return "short";
+ else if (isShort())
+ return "short";
+ else if (isEnum())
+ return "int";
+ else if (isInt())
+ return "int";
+ else if (isBoolean()) //Booleans are ints in C
+ return "int";
+ else if (isLong())
+ return "long long";
+ else if (isVoid())
+ return "void";
+ else if (isDouble())
+ return "double";
+ else if (isFloat())
+ return "float";
+ else if (isOffset())
+ return "short";
+ else
+ throw new Error("Error Type: "+type);
+ }
+
+ public String getRepairSymbol() {
+ if (isArray())
+ return IR.Flat.BuildCode.arraytype;
+ else if (isClass()) {
+ return class_desc.getSymbol();
+ } else if (isByte())
+ return "byte";
+ else if (isChar())
+ return "short";
+ else if (isShort())
+ return "short";
+ else if (isEnum())
+ return "int";
+ else if (isInt())
+ return "int";
+ else if (isBoolean()) //Booleans are ints in C
+ return "int";
+ else if (isLong())
+ return "long long";
+ else if (isVoid())
+ return "void";
+ else if (isDouble())
+ return "double";
+ else if (isFloat())
+ return "float";
+ else throw new Error("Error Type: "+type);
+ }
+
+ public String getSafeDescriptor() {
+ //Can't safely use [ in C
+ if (isArray())
+ return "_AR_"+this.dereference().getSafeDescriptor();
+ else if (isClass()||isEnum())
+ return class_desc.getSafeDescriptor();
+ else if (isByte())
+ return "B";
+ else if (isChar())
+ return "C";
+ else if (isShort())
+ return "S";
+ else if (isBoolean())
+ return "Z";
+ else if (isInt())
+ return "I";
+ else if (isLong())
+ return "J";
+ else if (isDouble())
+ return "D";
+ else if (isFloat())
+ return "F";
+ else if (isTag())
+ return "T";
+ else throw new Error(toString());
+ }
- public String toString() {
- if (type==CLASS)
- return name;
- else
- return decodeInt(type);
+ public boolean isNumber() {
+ return (isIntegerType()||isFloat()||isDouble());
+ }
+
+ public boolean isByte() {
+ return type==BYTE;
+ }
+ public boolean isNull() {
+ return type==NULL;
+ }
+ public boolean isShort() {
+ return type==SHORT;
+ }
+ public boolean isInt() {
+ return type==INT;
+ }
+ public boolean isLong() {
+ return type==LONG;
+ }
+ public boolean isChar() {
+ return type==CHAR;
+ }
+ public boolean isBoolean() {
+ return type==BOOLEAN;
+ }
+ public boolean isFloat() {
+ return type==FLOAT;
+ }
+ public boolean isDouble() {
+ return type==DOUBLE;
+ }
+ public boolean isVoid() {
+ return type==VOID;
+ }
+
+ public boolean isOffset() {
+ return type==OFFSET;
+ }
+
+ public boolean isPtr() {
+ return (isClass()||isNull()||isTag()||isArray());
+ }
+
+ public boolean isIntegerType() {
+ return (isInt()||isLong()||isShort()||isChar()||isByte()||isEnum());
+ }
+
+ public void setClassDescriptor(ClassDescriptor cd) {
+ class_desc=cd;
+ }
+
+ public boolean isPrimitive() {
+ return (((type>=BYTE)&&(type<=DOUBLE)) || isEnum());
+ }
+
+ public boolean isEnum() {
+ if(this.type != CLASS) {
+ return false;
+ } else if(this.class_desc != null) {
+ return this.class_desc.isEnum();
}
+ return false;
+ }
+
+ public boolean isClass() {
+ return (type==CLASS && !isEnum());
+ }
+
+ public boolean isTag() {
+ return type==TAG;
+ }
+
+ public boolean isImmutable() {
+ return isPrimitive() || isString();
+ }
+
+ public TypeDescriptor(NameDescriptor name) {
+ super(name.toString());
+ this.type=CLASS;
+ this.class_desc=null;
+ this.arraycount=0;
+ this.isClassNameRef =false;
+ this.annotationSet=new Vector<AnnotationDescriptor>();
+ }
- private static String decodeInt(int type) {
- if (type==BYTE)
- return "byte";
- else if (type==BOOLEAN)
- return "boolean";
- else if (type==SHORT)
- return "short";
- else if (type==INT)
- return "int";
- else if (type==LONG)
- return "long";
- else if (type==CHAR)
- return "char";
- else if (type==FLOAT)
- return "float";
- else if (type==DOUBLE)
- return "double";
- else if (type==VOID)
- return "void";
- else if (type==NULL)
- return "null";
- else throw new Error();
+ public TypeDescriptor(String st) {
+ super(st);
+ this.type=CLASS;
+ this.class_desc=null;
+ this.arraycount=0;
+ this.isClassNameRef =false;
+ this.annotationSet=new Vector<AnnotationDescriptor>();
+ }
+
+ public ClassDescriptor getClassDesc() {
+ return class_desc;
+ }
+
+ public TypeDescriptor(ClassDescriptor cd) {
+ super(cd.getSymbol());
+ this.type=CLASS;
+ this.class_desc=cd;
+ this.arraycount=0;
+ this.isClassNameRef =false;
+ this.annotationSet=new Vector<AnnotationDescriptor>();
+ }
+
+ public TypeDescriptor(int t) {
+ super(decodeInt(t));
+ this.type=t;
+ this.arraycount=0;
+ this.isClassNameRef =false;
+ this.annotationSet=new Vector<AnnotationDescriptor>();
+ }
+
+ public String toString() {
+ if (type==CLASS) {
+ return name;
+ } else
+ return decodeInt(type);
+ }
+
+ public String toPrettyString() {
+ String str=name;
+ if (type!=CLASS) {
+ str=decodeInt(type);
}
+ for(int i=0; i<arraycount; i++)
+ str+="[]";
+ return str;
+ }
+
+ private static String decodeInt(int type) {
+ if (type==BYTE)
+ return "byte";
+ else if (type==BOOLEAN)
+ return "boolean";
+ else if (type==SHORT)
+ return "short";
+ else if (type==INT)
+ return "int";
+ else if (type==LONG)
+ return "long";
+ else if (type==CHAR)
+ return "char";
+ else if (type==FLOAT)
+ return "float";
+ else if (type==DOUBLE)
+ return "double";
+ else if (type==VOID)
+ return "void";
+ else if (type==NULL)
+ return "NULL";
+ else if (type==TAG)
+ return TypeUtil.TagClass;
+ else if (type==OFFSET)
+ return "offset";
+ else throw new Error();
+ }
+
+ public void addAnnotationMarker(AnnotationDescriptor an) {
+ annotationSet.add(an);
+ }
+
+ public Vector<AnnotationDescriptor> getAnnotationMarkers() {
+ return annotationSet;
+ }
+
+ public void setExtension(TypeExtension te) {
+ typeExtension=te;
+ }
+
+ public TypeExtension getExtension() {
+ return typeExtension;
+ }
+
}