test and fix for 86903

4 files changed, 29 insertions, 0 deletions

diff --git a/tests/bugs150/pr86903/BadWormhole.java b/tests/bugs150/pr86903/BadWormhole.java
new file mode 100644
index 000000000..6d14b4980
--- /dev/null
+++ b/tests/bugs150/pr86903/BadWormhole.java
@@ -0,0 +1,11 @@
+
+aspect BadWormhole {
+
+  pointcut isDynamicService(Main mm,Service s):
+    cflowbelow(this(mm)) && 
+    if(true==true) && 
+    this(s);
+
+  //before(Main mm,Service s): isDynamicService(mm,s) {}
+  before(Service s): isDynamicService(*,s) {}
+}
diff --git a/tests/bugs150/pr86903/GenericService.java b/tests/bugs150/pr86903/GenericService.java
new file mode 100644
index 000000000..3c6950875
--- /dev/null
+++ b/tests/bugs150/pr86903/GenericService.java
@@ -0,0 +1,4 @@
+
+public interface GenericService {
+    public abstract void setContext(String localCtx);
+}
diff --git a/tests/bugs150/pr86903/Main.java b/tests/bugs150/pr86903/Main.java
new file mode 100644
index 000000000..7122a2925
--- /dev/null
+++ b/tests/bugs150/pr86903/Main.java
@@ -0,0 +1,6 @@
+
+public class Main {
+  public static void main(String []argv) {
+    new Service().setContext("foo");
+  }
+}
diff --git a/tests/bugs150/pr86903/Service.java b/tests/bugs150/pr86903/Service.java
new file mode 100644
index 000000000..635172bd5
--- /dev/null
+++ b/tests/bugs150/pr86903/Service.java
@@ -0,0 +1,8 @@
+
+public class Service implements GenericService {
+    String srvContext = "none";
+
+    public void setContext(String localCtx) {
+        this.srvContext=localCtx;
+    }
+}