final version

2 files changed, 11 insertions, 1 deletions

diff --git a/src/minijava/typecheck/Main.java b/src/minijava/typecheck/Main.java
index 1c069ba..0dbc2d8 100644
--- a/src/minijava/typecheck/Main.java
+++ b/src/minijava/typecheck/Main.java
@@ -43,6 +43,8 @@ public class Main {
 			
 			// 打印错误信息
 			PrintError.printAll();
+			
+			PrintError.outputResult();
 		} catch (TokenMgrError e) {
 
 			// Handle Lexical Errors
diff --git a/src/minijava/typecheck/PrintError.java b/src/minijava/typecheck/PrintError.java
index a5a5157..24754f9 100644
--- a/src/minijava/typecheck/PrintError.java
+++ b/src/minijava/typecheck/PrintError.java
@@ -17,7 +17,15 @@ public class PrintError {
 	public static void printAll() {
 		int sz = errors.size();
 		for (int i = 0; i < sz; i++) {
-			System.out.println(errors.elementAt(i));
+			System.err.println(errors.elementAt(i));
+		}
+	}
+	
+	public static void outputResult() {
+		if (errors.size()>0) {
+			System.out.println("Type error");
+		} else {
+			System.out.println("Program type checked successfully");
 		}
 	}
 }