From 265ff69b7f03baed9a48caf277d4a7f7a27dade2 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 6 Apr 2006 00:41:01 +0000
Subject: [PATCH] Test cases

---
 Robust/src/Tests/Test.java            | 18 +++++++++++
 Robust/src/Tests/virtualcalltest.java | 46 +++++++++++++++++++++++++++
 2 files changed, 64 insertions(+)
 create mode 100644 Robust/src/Tests/Test.java
 create mode 100644 Robust/src/Tests/virtualcalltest.java

diff --git a/Robust/src/Tests/Test.java b/Robust/src/Tests/Test.java
new file mode 100644
index 00000000..7b2b6fc4
--- /dev/null
+++ b/Robust/src/Tests/Test.java
@@ -0,0 +1,18 @@
+public class Test {
+    public Test() {
+      ;
+    }
+    int a;
+    public static void main() {
+	Test t=new Test();
+	for(int i=3;i<100000;i++) {
+		boolean flag=true;
+		for(int j=2;flag&&j<i;j++) {
+			if ((i%j)==0)
+                            flag=false;
+		}
+//		if (flag)
+//			System.printInt(i);
+	}
+    }
+}
diff --git a/Robust/src/Tests/virtualcalltest.java b/Robust/src/Tests/virtualcalltest.java
new file mode 100644
index 00000000..249c0f8b
--- /dev/null
+++ b/Robust/src/Tests/virtualcalltest.java
@@ -0,0 +1,46 @@
+class A {
+    A() {
+	;
+    }
+
+   void foo(int x) {
+       System.printInt(x);
+   }
+}
+
+
+class B extends A {
+    B() {
+	;
+    }
+
+   void foo(int x) {
+   }
+}
+
+
+class C extends A {
+    C() {
+	;
+    }
+
+   void foo(int x) {
+   }
+}
+
+public class virtualcalltest {
+    public static void main() {
+
+	A a=null;
+	B b=new B();
+	C c=new C();
+	for(int i=0;i<100000000;i++) {
+		if (i%2==0)
+			a=b;
+		else
+			a=c;
+
+		a.foo(20);
+	}
+    }
+}
-- 
2.34.1