harness tests for extra source locations and details

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/harness/CompoundMessage.java b/tests/harness/CompoundMessage.java
new file mode 100644
index 000000000..88d258411
--- /dev/null
+++ b/tests/harness/CompoundMessage.java
@@ -0,0 +1,16 @@
+
+class A { void run() {} }
+class B extends A {}
+aspect C {
+    before() : runB() { } 
+    pointcut runB(): call(void B.run());  // CW 6 XLint, for each shadow (12, 14) 
+
+}
+public class CompoundMessage {
+    public static void main(String[] args) {
+        // ok with -1.4; otherwise, becomes A.run in bytecode
+        new B().run();        // CW 12 DW
+        // never works - compile-time type of reference is A, not B
+        new B().run();        // CW 12 DW
+    }
+}