fixed Bug 29959: super call in intertype method declaration body causes VerifyError

1 files changed, 27 insertions, 0 deletions

diff --git a/tests/bugs/SuperToIntro.java b/tests/bugs/SuperToIntro.java
new file mode 100644
index 000000000..81c25bfdf
--- /dev/null
+++ b/tests/bugs/SuperToIntro.java
@@ -0,0 +1,27 @@
+// from Bug#:  29959
+import org.aspectj.testing.Tester;
+
+aspect Foo {
+    String A.onlyA() { return "onlyA"; }
+    String A.foo() { return "Afoo"; }
+    String B.foo() { return super.foo() + ":" + onlyA() + ":" + super.getName(); }
+}
+
+class A {
+	String getName() { return "A"; }
+}
+class B extends A {
+	String getName() { return "B"; }
+	
+	String onB1() { return foo() + ":" + onlyA() + ":" + getName(); }
+	String onB2() { return super.foo() + ":" + super.onlyA() + ":" + super.getName(); }
+}
+
+public class SuperToIntro {
+  public static void main(String[] args) {
+  	B b = new B();
+  	Tester.checkEqual(b.foo(), "Afoo:onlyA:A");
+  	Tester.checkEqual(b.onB1(), "Afoo:onlyA:A:onlyA:B");
+  	Tester.checkEqual(b.onB2(), "Afoo:onlyA:A");
+  }
+}