testcode for 137496: problem with join point matching on calls to parameterized methods

5 files changed, 128 insertions, 0 deletions

diff --git a/tests/bugs152/pr137496/B.java b/tests/bugs152/pr137496/B.java
new file mode 100644
index 000000000..5351ed327
--- /dev/null
+++ b/tests/bugs152/pr137496/B.java
@@ -0,0 +1,28 @@
+interface P<T> {
+  public T pm(T t);
+//  public String pm2(String t);
+}
+
+interface C extends P<String> {
+  public void cm();
+}
+
+class CImpl implements C {
+  public void cm() {}
+  public String pm(String s)  { System.err.println(s);return s;}
+//  public String pm2(String s) { return s;}
+}
+
+public class B {
+
+  public static void main(String []argv) {
+    C test = new CImpl();
+    test.pm("foo"); // manifests as 'Object pm(Object) call' due to type C being used
+//    test.pm2("foo");
+  }
+}
+
+aspect X {
+  before(): call(* pm(..)) { System.err.println("advice");}
+//  before(): call(* pm2(..)) {}
+}
\ No newline at end of file
diff --git a/tests/bugs152/pr137496/D.java b/tests/bugs152/pr137496/D.java
new file mode 100644
index 000000000..db6cad514
--- /dev/null
+++ b/tests/bugs152/pr137496/D.java
@@ -0,0 +1,28 @@
+interface P<T> {
+  public T pm(T t);
+  public String pm2(String t);
+}
+
+interface C extends P<String> {
+  public void cm();
+}
+
+class CImpl implements C {
+  public void cm() {}
+  public String pm(String s)  { System.err.println(s);return s;}
+  public String pm2(String s) { System.err.println(s);return s;}
+}
+
+public class D {
+
+  public static void main(String []argv) {
+    CImpl test = new CImpl();
+    test.pm("foo"); // manifests as 'String pm(String) call' due to type CImpl being used
+    test.pm2("foo");
+  }
+}
+
+aspect X {
+  before(): call(* pm(..)) { System.err.println("advice");}
+  before(): call(* pm2(..)) { System.err.println("advice2");}
+}
\ No newline at end of file
diff --git a/tests/bugs152/pr137496/E.java b/tests/bugs152/pr137496/E.java
new file mode 100644
index 000000000..2abfed94d
--- /dev/null
+++ b/tests/bugs152/pr137496/E.java
@@ -0,0 +1,24 @@
+interface P<T> {
+  public T pm(T t);
+}
+
+interface C extends P<String> {
+  public void cm();
+}
+
+class CImpl implements C {
+  public void cm() {}
+  public String pm(String s)  { System.err.println(s);return s;}
+}
+
+public class E {
+
+  public static void main(String []argv) {
+    C test = new CImpl();
+    test.pm("foo"); // manifests as 'Object pm(Object) call' due to type C being used
+  }
+}
+
+aspect X {
+  before(): call(* pm(String)) { System.err.println("advice");} // matches?
+}
\ No newline at end of file
diff --git a/tests/bugs152/pr137496/F.java b/tests/bugs152/pr137496/F.java
new file mode 100644
index 000000000..6960646aa
--- /dev/null
+++ b/tests/bugs152/pr137496/F.java
@@ -0,0 +1,24 @@
+interface P<T> {
+  public T pm(T t);
+}
+
+interface C extends P<String> {
+  public void cm();
+}
+
+class CImpl implements C {
+  public void cm() {}
+  public String pm(String s)  { System.err.println(s);return s;}
+}
+
+public class F {
+
+  public static void main(String []argv) {
+    C test = new CImpl();
+    test.pm("foo"); // manifests as 'Object pm(Object) call' due to type C being used
+  }
+}
+
+aspect X {
+  before(): call(String pm(..)) { System.err.println("advice");} // matches?
+}
\ No newline at end of file
diff --git a/tests/bugs152/pr137496/G.java b/tests/bugs152/pr137496/G.java
new file mode 100644
index 000000000..fd566dfe5
--- /dev/null
+++ b/tests/bugs152/pr137496/G.java
@@ -0,0 +1,24 @@
+interface P<T> {
+  public T pm(T t);
+}
+
+interface C extends P<String> {
+  public void cm();
+}
+
+class CImpl implements C {
+  public void cm() {}
+  public String pm(String s)  { System.err.println(s);return s;}
+}
+
+public class G {
+
+  public static void main(String []argv) {
+    C test = new CImpl();
+    test.pm("foo"); // manifests as 'Object pm(Object) call' due to type C being used
+  }
+}
+
+aspect X {
+  before(): call(* pm(Object)) { System.err.println("advice");} // no match...
+}
\ No newline at end of file