From 94254471915826aa8759df483f0b75624d740784 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Fri, 10 May 2024 14:31:07 -0600
Subject: New tests to verify correct overwriting detection

---
 output/ex22.java                        | 21 ---------------------
 output/ex24.java                        | 21 +++++++++++++++++++++
 output/negative/TrickyReturn-error.java | 21 +++++++++++++++++++++
 3 files changed, 42 insertions(+), 21 deletions(-)
 delete mode 100644 output/ex22.java
 create mode 100644 output/ex24.java
 create mode 100644 output/negative/TrickyReturn-error.java

diff --git a/output/ex22.java b/output/ex22.java
deleted file mode 100644
index 5d3107e..0000000
--- a/output/ex22.java
+++ /dev/null
@@ -1,21 +0,0 @@
-class Overloading {
-    public static void main(String[] args) {
-        System.out.println(new A().init());
-    }
-}
-
-class A {
-    public int init() {
-        return 0;
-    }
-
-    public int x(A a) {
-        return 1;
-    }
-}
-
-class B extends A {
-    public int x(B a) {
-        return 2;
-    }
-}
diff --git a/output/ex24.java b/output/ex24.java
new file mode 100644
index 0000000..93f6936
--- /dev/null
+++ b/output/ex24.java
@@ -0,0 +1,21 @@
+class Overriding {
+    public static void main(String[] args) {
+        System.out.println(new A().init());
+    }
+}
+
+class A {
+    public int init() {
+        return 0;
+    }
+
+    public A x(A a) {
+        return new B();
+    }
+}
+
+class B extends A {
+    public B x(A a) {
+        return new B();
+    }
+}
diff --git a/output/negative/TrickyReturn-error.java b/output/negative/TrickyReturn-error.java
new file mode 100644
index 0000000..b8c8600
--- /dev/null
+++ b/output/negative/TrickyReturn-error.java
@@ -0,0 +1,21 @@
+class Overriding {
+    public static void main(String[] args) {
+        System.out.println(new A().init());
+    }
+}
+
+class A {
+    public int init() {
+        return 0;
+    }
+
+    public B x(A a) {
+        return new B();
+    }
+}
+
+class B extends A {
+    public A x(A a) {
+        return new A();
+    }
+}
-- 
cgit v1.2.3