initial version

1 files changed, 34 insertions, 0 deletions

diff --git a/tests/base/test129/Driver.java b/tests/base/test129/Driver.java
new file mode 100644
index 000000000..6a2f7c04b
--- /dev/null
+++ b/tests/base/test129/Driver.java
@@ -0,0 +1,34 @@
+import org.aspectj.testing.Tester;
+
+public class Driver {
+    public static void main(String[] args) { test(); }
+  
+    public static void test() {
+        AbstractC aC = new C();
+        Tester.checkEqual(aC.foo(), 42, "introduced abstract");
+        Tester.checkEqual(((I)aC).bar(), 12, "introduced on interface");
+    }
+}
+
+interface I {
+}
+
+abstract class AbstractC implements I {
+}
+
+class C extends AbstractC {
+}
+
+aspect A {
+    //introduction AbstractC {
+    abstract int AbstractC.foo();
+    //}
+
+    //introduction C {
+    int C.foo() { return 42; }
+    //}
+
+    //introduction I {
+    public int I.bar() { return 12; }
+    //}
+}