Further upgrades to semantic checker

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

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index 99123806fb26a7468b33ba6b043129b15a793aaf..fa43bed9437ad3ad7b1143bcbbf420280cc3c8d5 100644 (file)
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -33,6 +33,14 @@ public class TypeUtil {
        return (ClassDescriptor)supertable.get(cd);
     }
 
+    public boolean isSuperorType(TypeDescriptor possiblesuper, TypeDescriptor cd2) {
+       if ((possiblesuper.getClassDesc()==null)||
+           cd2.getClassDesc()==null)
+           throw new Error();
+       return isSuperorType(possiblesuper.getClassDesc(), cd2.getClassDesc());
+    }
+
+
     public boolean isSuperorType(ClassDescriptor possiblesuper, ClassDescriptor cd2) {
        if (possiblesuper==cd2)
            return true;