From 59c0aa9720e8247ac80434d40e373e320bf7c9c7 Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Mon, 3 Oct 2011 23:31:14 +0000
Subject: [PATCH] Changes for galois porting

---
 Robust/src/IR/Tree/BuildIR.java | 1 +
 Robust/src/IR/TypeUtil.java     | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/Robust/src/IR/Tree/BuildIR.java b/Robust/src/IR/Tree/BuildIR.java
index b95f781c..57279658 100644
--- 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 4b9fac3a..e40b1d04 100644
--- 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())
-- 
2.34.1