@testcase PR#40876 subtype-qualified pointcut reference

(ClassFormatError)

1 files changed, 50 insertions, 0 deletions

diff --git a/tests/bugs/PointcutLibraryTest.java b/tests/bugs/PointcutLibraryTest.java
new file mode 100644
index 000000000..17ce36b52
--- /dev/null
+++ b/tests/bugs/PointcutLibraryTest.java
@@ -0,0 +1,50 @@
+/*
+ * This test case produces a ClassFormatError under 1.1.0, but
+ * the code is not set up to run/test correctly
+ * after the bug is fixed.
+ */
+
+/** @testcase PR#40876 subtype-qualified pointcut reference */
+public class PointcutLibraryTest {
+    public static void main(String[] a) {
+        new Test().run();
+    }
+}
+
+class Test {
+    public void run(){ prun(); }
+    private void prun() {
+        System.out.println("Test.prun()");
+    }
+}
+
+/** private default implementation of library */
+class PrivatePointcutLibrary {
+    pointcut adviceCflow() : !cflow(adviceexecution());
+    pointcut publicCalls() : call(public * *(..))
+        && !adviceCflow();
+}
+
+/** public interface for library */
+class PointcutLibrary extends PrivatePointcutLibrary {
+}
+
+// ---- different clients of the library
+
+/** use library by inheriting scope in class */
+class CPL extends PointcutLibrary {
+    static aspect A {
+        before() : publicCalls() {
+            System.out.println("CPL: " 
+                + thisJoinPointStaticPart);
+        }
+    }
+}
+
+/** client by external reference to CPL */
+aspect ExternalClientOfCPL {
+    before() : CPL.publicCalls() { // remove this to avoid bug?
+        System.out.println("XDP: " 
+            + thisJoinPointStaticPart);
+    }
+}