summaryrefslogtreecommitdiff
path: root/src/minijava/typecheck/Main.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/minijava/typecheck/Main.java')
-rw-r--r--src/minijava/typecheck/Main.java13
1 files changed, 12 insertions, 1 deletions
diff --git a/src/minijava/typecheck/Main.java b/src/minijava/typecheck/Main.java
index 7319fe4..1c069ba 100644
--- a/src/minijava/typecheck/Main.java
+++ b/src/minijava/typecheck/Main.java
@@ -12,7 +12,7 @@ import minijava.syntaxtree.Node;
import minijava.visitor.BuildSymbolTableVisitor;
public class Main {
-
+
public static void main(String[] args) {
try {
@@ -30,6 +30,17 @@ public class Main {
my_classes.printClasses(0);
}
+ // 建立类的继承关系,寻找循环继承
+ my_classes.buildClassRelation();
+
+ // 检查类型名有效性
+ my_classes.checkAllVars();
+
+ // 检查方法错误覆盖
+ my_classes.checkAllFuncs();
+
+ my_classes.checkAllStatements();
+
// 打印错误信息
PrintError.printAll();
} catch (TokenMgrError e) {