Mark passed testcases

Author: Jianxiong Cai

PA4/test/unit/dispatch_loop.cl

@@ -1,3 +1,6 @@
+-- Tested and passed. --
+-- Jianxiong Cai 14 Jun, 2018 --
+
 class Main{
 	a: Int <- 1;
 	b: Main;

PA4/test/unit/dispatch_static.cl

@@ -1,35 +1,27 @@
-class Int3 inherits Int2{
+-- Tested and passed. --
+-- Jianxiong Cai 14 Jun, 2018 --
 
-	bar2(x: Bool, y:Int): Int{
-		1
-	};
+class Main{
+	a: A <- new A;
+	b: B <- new B;
 
-	foo(x: Bool, y:Int): Int{
-		2
-	};
+	cout: IO <- new IO;
 
-	ba3(x: Bool, y:Int): Int{
-		1
-	};
+	main(): Int{{
+		b.getA();
+		a.getA();
+		b@A.getA();
+		1;
+	}};
 };
 
-class Int2{
-	a2: Int;
-
-	foo(x: Bool, y:Int): Int{
-		1
-	};
+class A{
+	a: Int <- 1;
+	cout2: IO <- new IO;
+	getA(): Int {{ cout2.out_string("A.getA get called\n"); a; }};
 };
 
-class Main{
-	a: Int3 <- new Int3;
-
-	bar(x: Bool, y:Int): Int{
-		1
-	};
-
-	main(): Int{{
-		a@Int2.foo(true,1);
-		0;
-	}};
-};
+class B inherits A {
+	incA(): Int {{ a <- a + 1; 10; }};
+	getA(): Int {{ cout2.out_string("B.getA get called\n"); a; }};
+};