198196: testcode

diff --git a/tests/bugs161/pr198196/Foo.java b/tests/bugs161/pr198196/Foo.java
new file mode 100644 (file)
index 0000000..6923c26
--- /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 (file)
index 0000000..e1790ef
--- /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 (file)
index 0000000..bb779e6
--- /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 (file)
index 0000000..3130621
--- /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 (file)
index 0000000..c00b008
--- /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";
+        }
+}