198196: testcode

5 files changed, 51 insertions, 0 deletions

diff --git a/tests/bugs161/pr198196/Foo.java b/tests/bugs161/pr198196/Foo.java
new file mode 100644
index 000000000..6923c269d
--- /dev/null
+++ b/tests/bugs161/pr198196/Foo.java
@@ -0,0 +1,6 @@
+public class Foo {
+
+        public static void main(String[] args) {
+                System.err.println(new Foo().toString());
+        }
+}
diff --git a/tests/bugs161/pr198196/Marker.java b/tests/bugs161/pr198196/Marker.java
new file mode 100644
index 000000000..e1790ef07
--- /dev/null
+++ b/tests/bugs161/pr198196/Marker.java
@@ -0,0 +1,5 @@
+public interface Marker {
+
+        String toString();
+}
+
diff --git a/tests/bugs161/pr198196/MarkerAspect1.java b/tests/bugs161/pr198196/MarkerAspect1.java
new file mode 100644
index 000000000..bb779e6f2
--- /dev/null
+++ b/tests/bugs161/pr198196/MarkerAspect1.java
@@ -0,0 +1,13 @@
+aspect MarkerAspect1  { // VerifyError
+
+        declare parents: Foo implements Marker;
+
+        public String Foo.toString() {
+                new Runnable() {
+                        public void run() {
+                                super.toString();
+                        }
+                }.run();
+                return "oranges";
+        }
+}
diff --git a/tests/bugs161/pr198196/MarkerAspect2.java b/tests/bugs161/pr198196/MarkerAspect2.java
new file mode 100644
index 000000000..31306210e
--- /dev/null
+++ b/tests/bugs161/pr198196/MarkerAspect2.java
@@ -0,0 +1,14 @@
+aspect MarkerAspect2  { // IncompatibleClassChangeError
+
+
+        declare parents: Foo implements Marker;
+
+        public String Marker.toString() {
+                new Runnable() {
+                        public void run() {
+                                Marker.super.toString();
+                        }
+                }.run();
+                return "banana";//super.toString();
+        }
+}
\ No newline at end of file
diff --git a/tests/bugs161/pr198196/MarkerAspect3.java b/tests/bugs161/pr198196/MarkerAspect3.java
new file mode 100644
index 000000000..c00b0086a
--- /dev/null
+++ b/tests/bugs161/pr198196/MarkerAspect3.java
@@ -0,0 +1,13 @@
+aspect MarkerAspect3  { // VerifyError
+
+        declare parents: Foo implements Marker;
+
+        public String Foo.toString() {
+                new Runnable() {
+                        public void run() {
+                                Foo.super.toString();
+                        }
+                }.run();
+                return "oranges";
+        }
+}