X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FTypeDescriptor.java;h=431d964dc0d1d76572f17fb2b2951506890ce7ef;hb=a6ce1a68c0ecd4ba01222d88756c1f9d39bcc34d;hp=f1793389208b3c82674f8932091e655464579e0c;hpb=f86755695e96958b1802fb9a3fe5ad16deb44b2c;p=IRC.git

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index f1793389..431d964d 100644
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -1,265 +1,390 @@
 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;
-
-
-    int arraycount;
-    int type;
-    ClassDescriptor class_desc;
-
-    public boolean equals(Object o) {
-	if (o instanceof TypeDescriptor) {
-	    TypeDescriptor t=(TypeDescriptor)o;
-	    if (t.type!=type)
-		return false;
-	    if ((type==CLASS)&&(t.class_desc!=class_desc))
-		return false;
-	    if (t.arraycount!=arraycount)
-		return false;
-	    return true;
-	}
-	return false;
-    }
+  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;
 
-    public int hashCode() {
-	int hashcode=type^arraycount;
-	if (type==CLASS)
-	    hashcode^=getSymbol().hashCode();
-	return hashcode;
-    }
 
-    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;
-    }
+  int arraycount;
+  private int type;
+  ClassDescriptor class_desc;
+  boolean isClassNameRef = false;
 
-    public boolean isArray() {
-	return (arraycount>0);
-    }
+  private Vector<AnnotationDescriptor> annotationSet;
+  private TypeExtension typeExtension;
 
-    public int getArrayCount() {
-	return arraycount;
-    }
+  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 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 boolean isString() {
+    if (type!=CLASS)
+      return false;
+    if (arraycount>0)
+      return false;
+    if (!getSymbol().equals(TypeUtil.StringClass))
+      return false;
+    return true;
+  }
 
-    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 (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 boolean isClassNameRef() {
+    return this.isClassNameRef;
+  }
 
-    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 (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 void setClassNameRef() {
+    this.isClassNameRef = true;
+  }
 
-    public String getSafeDescriptor() {
-	//Can't safely use [ in C
-	if (isArray()) 
-	    return "_AR_"+this.dereference().getSafeDescriptor();
-	else if (isClass())
-	    return class_desc.getSafeDescriptor();
-	else if (isByte())
-	    return "C";
-	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 throw new Error();	
-    }
+  public int hashCode() {
+    int hashcode=type^arraycount;
+    if (type==CLASS)
+      hashcode^=getSymbol().hashCode();
+    return hashcode;
+  }
 
-    public boolean isNumber() {
-	return (isIntegerType()||isFloat()||isDouble());
-    }
+  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 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 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 boolean isPtr() {
-	return (isClass()||isNull());
-    }
+  public boolean isArray() {
+    return (arraycount>0);
+  }
 
-    public boolean isIntegerType() {
-	return (isInt()||isLong()||isShort()||isChar()||isByte());
-    }
+  public int getArrayCount() {
+    return arraycount;
+  }
 
-    public void setClassDescriptor(ClassDescriptor cd) {
-	class_desc=cd;
-    }
-  
-    public boolean isPrimitive() {
-	return ((type>=BYTE)&&(type<=DOUBLE));
-    }
+  /* Only use this method if you really know what you are doing.  It
+   * doesn't have the effect you might expect. */
 
-    public boolean isClass() {
-	return type==CLASS;
-    }
+  public void setArrayCount(int a) {
+    arraycount=a;
+  }
 
-    public TypeDescriptor(NameDescriptor name) {
-	super(name.toString());
-	this.type=CLASS;
-	this.class_desc=null;
-	this.arraycount=0;
-    }
+  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;
+  }
 
-    private TypeDescriptor(String st) {
-	super(st);
-    }
+  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 if (isNull())
+      return "null";
+    else
+      throw new Error("Error Type: "+type);
+  }
 
-    public ClassDescriptor getClassDesc() {
-	return class_desc;
-    }
+  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 TypeDescriptor(ClassDescriptor cd) {
-	super(cd.getSymbol());
-	this.type=CLASS;
-	this.class_desc=cd;
-	this.arraycount=0;
-    }
+  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 TypeDescriptor(int t) {
-	super(decodeInt(t));
-	this.type=t;
-	this.arraycount=0;
-    }
+  public boolean isNumber() {
+    return (isIntegerType()||isFloat()||isDouble());
+  }
 
-    public String toString() {
-	if (type==CLASS)
-	    return name;
-	else 
-	    return decodeInt(type);
-    }
+  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();
+  }
+
+  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>();
+  }
+
+  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;
+  }
 
-    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();
-    }
 }