From: jzhou <jzhou>
Date: Mon, 27 Jun 2011 18:24:14 +0000 (+0000)
Subject: Fix a bug in the compiler: besides its super class's method table, a class's methods... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b2f43eff9158d972db428af4ab1ad5bc39141b19;p=IRC.git

Fix a bug in the compiler: besides its super class's method table, a class's methods table should also take into account its super interfaces' method table.
---

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index f6f5df32..b9ac69bf 100644
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -87,6 +87,7 @@ public class SemanticCheck {
             cd.addSuperInterfaces(superif);
             cd.getMethodTable().addParentIF(superif.getMethodTable());
             cd.getFieldTable().addParentIF(superif.getFieldTable());
+            cd.getMethodTable().addParentIF(superif.getMethodTable());
           }
         }
       }