Changes for galois porting

diff --git a/Robust/src/IR/Tree/BuildIR.java b/Robust/src/IR/Tree/BuildIR.java
index b95f781c2176967446fec93581e39114f7f17a1b..5727965819d1e9dc3b1bad836d7370100a8a926a 100644 (file)
--- a/Robust/src/IR/Tree/BuildIR.java
+++ b/Robust/src/IR/Tree/BuildIR.java
@@ -979,6 +979,7 @@ public class BuildIR {
       return con;
     } else if (isNode(pn,"createobjectcls")) {
       //TODO:::  FIX BUG!!!  static fields in caller context need to become parameters
+      //TODO::: caller context need to be passed in here
       TypeDescriptor td=parseTypeDescriptor(pn);
       innerCount++;
       ClassDescriptor cnnew=new ClassDescriptor(packageName,td.getSymbol()+"$"+innerCount, false);

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index 4b9fac3ad448af332cf79028aa20edbbc44ed5bc..e40b1d045474ed3671e61e6743d61c4235eefdef 100644 (file)
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -407,6 +407,10 @@ NextMethod:
 
       return false;
     }
+    
+    // Object is superclass of interfaces
+    if(possiblesuper.getSymbol().equals(ObjectClass)&&cd2.isClass()&&cd2.getClassDesc().isInterface())
+      return true;
 
     if (possiblesuper.isClass()&&
         cd2.isClass())