Bug fix in array initialization: handle the special case like {{null,null}}

[IRC.git] / Robust / src / IR / TypeDescriptor.java

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index 579b4dd5c19fe6290590625c56f4b2cb55454fd0..cb67bb9308be3f332b37d19b7536910cc97f4d35 100644 (file)
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -19,11 +19,13 @@ public class TypeDescriptor extends Descriptor {
   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;
-  int type;
+  private int type;
   ClassDescriptor class_desc;
+  boolean isClassNameRef = false;
 
   public boolean equals(Object o) {
     if (o instanceof TypeDescriptor) {
@@ -34,6 +36,8 @@ public class TypeDescriptor extends Descriptor {
        return false;
       if (t.arraycount!=arraycount)
        return false;
+      if (t.isClassNameRef != this.isClassNameRef)
+        return false;
       return true;
     }
     return false;
@@ -48,6 +52,14 @@ public class TypeDescriptor extends Descriptor {
       return false;
     return true;
   }
+  
+  public boolean isClassNameRef() {
+    return this.isClassNameRef;
+  }
+  
+  public void setClassNameRef() {
+    this.isClassNameRef = true;
+  }
 
   public int hashCode() {
     int hashcode=type^arraycount;
@@ -56,6 +68,20 @@ public class TypeDescriptor extends Descriptor {
     return hashcode;
   }
 
+  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 makeArray(State state) {
     TypeDescriptor td=new TypeDescriptor(getSymbol());
     td.arraycount=arraycount+1;
@@ -73,6 +99,13 @@ public class TypeDescriptor extends Descriptor {
     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)
@@ -86,9 +119,9 @@ public class TypeDescriptor extends Descriptor {
   public String getSafeSymbol() {
     if (isArray())
       return IR.Flat.BuildCode.arraytype;
-    else if (isClass())
+    else if (isClass()) {
       return class_desc.getSafeSymbol();
-    else if (isByte())
+    } else if (isByte())
       return "char";
     else if (isChar())
       return "short";
@@ -106,15 +139,18 @@ public class TypeDescriptor extends Descriptor {
       return "double";
     else if (isFloat())
       return "float";
-    else throw new Error("Error Type: "+type);
+    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())
+    else if (isClass()) {
       return class_desc.getSymbol();
-    else if (isByte())
+    } else if (isByte())
       return "byte";
     else if (isChar())
       return "short";
@@ -197,12 +233,16 @@ public class TypeDescriptor extends Descriptor {
     return type==VOID;
   }
 
+  public boolean isOffset() {
+    return type==OFFSET;
+  }
+
   public boolean isPtr() {
-    return (isClass()||isNull()||isTag()||isArray());
+    return ((isClass()&&!isEnum())||isNull()||isTag()||isArray());
   }
 
   public boolean isIntegerType() {
-    return (isInt()||isLong()||isShort()||isChar()||isByte());
+    return (isInt()||isLong()||isShort()||isChar()||isByte()||isEnum());
   }
 
   public void setClassDescriptor(ClassDescriptor cd) {
@@ -213,6 +253,15 @@ public class TypeDescriptor extends Descriptor {
     return ((type>=BYTE)&&(type<=DOUBLE));
   }
 
+  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;
   }
@@ -230,6 +279,7 @@ public class TypeDescriptor extends Descriptor {
     this.type=CLASS;
     this.class_desc=null;
     this.arraycount=0;
+    this.isClassNameRef =false;
   }
 
   public TypeDescriptor(String st) {
@@ -237,6 +287,7 @@ public class TypeDescriptor extends Descriptor {
     this.type=CLASS;
     this.class_desc=null;
     this.arraycount=0;
+    this.isClassNameRef =false;
   }
 
   public ClassDescriptor getClassDesc() {
@@ -248,12 +299,14 @@ public class TypeDescriptor extends Descriptor {
     this.type=CLASS;
     this.class_desc=cd;
     this.arraycount=0;
+    this.isClassNameRef =false;
   }
 
   public TypeDescriptor(int t) {
     super(decodeInt(t));
     this.type=t;
     this.arraycount=0;
+    this.isClassNameRef =false;
   }
 
   public String toString() {
@@ -264,13 +317,13 @@ public class TypeDescriptor extends Descriptor {
   }
 
   public String toPrettyString() {
-    if (type==CLASS) {
-      String str=name;
-      for(int i=0; i<arraycount; i++)
-       str+="[]";
-      return str;
-    } else
-      return decodeInt(type);
+    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) {
@@ -293,9 +346,11 @@ public class TypeDescriptor extends Descriptor {
     else if (type==VOID)
       return "void";
     else if (type==NULL)
-      return "null";
+      return "NULL";
     else if (type==TAG)
       return TypeUtil.TagClass;
+    else if (type==OFFSET)
+      return "offset";
     else throw new Error();
   }
 }