From 31aac86103f0c05fbaaf1e690ec27b23cfeea9c0 Mon Sep 17 00:00:00 2001
From: Iru Cai <mytbk920423@gmail.com>
Date: Fri, 10 Oct 2014 06:34:52 +0800
Subject: nearly finished

---
 src/minijava/typecheck/Main.java | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'src/minijava/typecheck/Main.java')

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) {
-- 
cgit v1.2.3