diff options
Diffstat (limited to 'tests/bugs170/pr382189/covbug')
19 files changed, 94 insertions, 0 deletions
diff --git a/tests/bugs170/pr382189/covbug/A.java b/tests/bugs170/pr382189/covbug/A.java new file mode 100644 index 000000000..1bf20c5b6 --- /dev/null +++ b/tests/bugs170/pr382189/covbug/A.java @@ -0,0 +1,2 @@ +package covbug;
+public class A { }
diff --git a/tests/bugs170/pr382189/covbug/A_ITD.aj b/tests/bugs170/pr382189/covbug/A_ITD.aj new file mode 100644 index 000000000..5cf1a73fa --- /dev/null +++ b/tests/bugs170/pr382189/covbug/A_ITD.aj @@ -0,0 +1,12 @@ +package covbug;
+
+
+public privileged aspect A_ITD {
+ declare parents: A extends SuperA<String>;
+
+
+ public B A.getSomeB(SuperB<String> b){
+ return null;
+ }
+
+}
diff --git a/tests/bugs170/pr382189/covbug/B.java b/tests/bugs170/pr382189/covbug/B.java new file mode 100644 index 000000000..1184552ef --- /dev/null +++ b/tests/bugs170/pr382189/covbug/B.java @@ -0,0 +1,3 @@ +package covbug;
+ +public class B extends SuperB<String> { }
diff --git a/tests/bugs170/pr382189/covbug/SuperA.java b/tests/bugs170/pr382189/covbug/SuperA.java new file mode 100644 index 000000000..288b9f9a3 --- /dev/null +++ b/tests/bugs170/pr382189/covbug/SuperA.java @@ -0,0 +1,6 @@ +package covbug;
+import java.util.List;
+
+public abstract class SuperA<T> {
+ public abstract SuperB<T> getSomeB(SuperB<T> b);
+}
diff --git a/tests/bugs170/pr382189/covbug/SuperB.java b/tests/bugs170/pr382189/covbug/SuperB.java new file mode 100644 index 000000000..8a6c2c2dd --- /dev/null +++ b/tests/bugs170/pr382189/covbug/SuperB.java @@ -0,0 +1,3 @@ +package covbug;
+
+public class SuperB<T> { }
diff --git a/tests/bugs170/pr382189/covbug/cc/covbug/A.class b/tests/bugs170/pr382189/covbug/cc/covbug/A.class Binary files differnew file mode 100644 index 000000000..59a59b710 --- /dev/null +++ b/tests/bugs170/pr382189/covbug/cc/covbug/A.class diff --git a/tests/bugs170/pr382189/covbug/cc/covbug/A.java b/tests/bugs170/pr382189/covbug/cc/covbug/A.java new file mode 100644 index 000000000..1c0499f94 --- /dev/null +++ b/tests/bugs170/pr382189/covbug/cc/covbug/A.java @@ -0,0 +1,10 @@ +package covbug; + + +public class A extends SuperA<String> { + public B getSomeB(SuperB<String> b){ + return null; + } + + +} diff --git a/tests/bugs170/pr382189/covbug/cc/covbug/A_ITD.aj b/tests/bugs170/pr382189/covbug/cc/covbug/A_ITD.aj new file mode 100644 index 000000000..5cf1a73fa --- /dev/null +++ b/tests/bugs170/pr382189/covbug/cc/covbug/A_ITD.aj @@ -0,0 +1,12 @@ +package covbug;
+
+
+public privileged aspect A_ITD {
+ declare parents: A extends SuperA<String>;
+
+
+ public B A.getSomeB(SuperB<String> b){
+ return null;
+ }
+
+}
diff --git a/tests/bugs170/pr382189/covbug/cc/covbug/B.class b/tests/bugs170/pr382189/covbug/cc/covbug/B.class Binary files differnew file mode 100644 index 000000000..91debf8f1 --- /dev/null +++ b/tests/bugs170/pr382189/covbug/cc/covbug/B.class diff --git a/tests/bugs170/pr382189/covbug/cc/covbug/B.java b/tests/bugs170/pr382189/covbug/cc/covbug/B.java new file mode 100644 index 000000000..cdfd1f70b --- /dev/null +++ b/tests/bugs170/pr382189/covbug/cc/covbug/B.java @@ -0,0 +1,8 @@ +package covbug; + + +public class B extends SuperB<String> { + + + +} diff --git a/tests/bugs170/pr382189/covbug/cc/covbug/SuperA.class b/tests/bugs170/pr382189/covbug/cc/covbug/SuperA.class Binary files differnew file mode 100644 index 000000000..d5ba823f3 --- /dev/null +++ b/tests/bugs170/pr382189/covbug/cc/covbug/SuperA.class diff --git a/tests/bugs170/pr382189/covbug/cc/covbug/SuperA.java b/tests/bugs170/pr382189/covbug/cc/covbug/SuperA.java new file mode 100644 index 000000000..dfb721b71 --- /dev/null +++ b/tests/bugs170/pr382189/covbug/cc/covbug/SuperA.java @@ -0,0 +1,7 @@ +package covbug; + +import java.util.List; + +public abstract class SuperA<T> { + public abstract SuperB<T> getSomeB(SuperB<T> b); +} diff --git a/tests/bugs170/pr382189/covbug/cc/covbug/SuperB.class b/tests/bugs170/pr382189/covbug/cc/covbug/SuperB.class Binary files differnew file mode 100644 index 000000000..cd3b522ad --- /dev/null +++ b/tests/bugs170/pr382189/covbug/cc/covbug/SuperB.class diff --git a/tests/bugs170/pr382189/covbug/cc/covbug/SuperB.java b/tests/bugs170/pr382189/covbug/cc/covbug/SuperB.java new file mode 100644 index 000000000..2f5167d3e --- /dev/null +++ b/tests/bugs170/pr382189/covbug/cc/covbug/SuperB.java @@ -0,0 +1,5 @@ +package covbug; + +public class SuperB<T> { + +} diff --git a/tests/bugs170/pr382189/covbug/pj/A.class b/tests/bugs170/pr382189/covbug/pj/A.class Binary files differnew file mode 100644 index 000000000..4f315b411 --- /dev/null +++ b/tests/bugs170/pr382189/covbug/pj/A.class diff --git a/tests/bugs170/pr382189/covbug/pj/B.class b/tests/bugs170/pr382189/covbug/pj/B.class Binary files differnew file mode 100644 index 000000000..11e52e8db --- /dev/null +++ b/tests/bugs170/pr382189/covbug/pj/B.class diff --git a/tests/bugs170/pr382189/covbug/pj/Foo.java b/tests/bugs170/pr382189/covbug/pj/Foo.java new file mode 100644 index 000000000..d8e1721b2 --- /dev/null +++ b/tests/bugs170/pr382189/covbug/pj/Foo.java @@ -0,0 +1,26 @@ +import java.util.List; + +class A extends SuperA<String> { + public B getSomeB(SuperB<String> b) { return null; } + public static void main(String []argv) { + A a = new A(); + System.out.println(a.getSomeB(null)); + } +} + +class B extends SuperB<String> { +} + +abstract class SuperA<T> { + public abstract SuperB<T> getSomeB(SuperB<T> b); +} + +class SuperB<T> { } + +/* +public privileged aspect A_ITD { + declare parents: A extends SuperA<String>; + + public B A.getSomeB(SuperB<String> b) { return null; } +} +*/ diff --git a/tests/bugs170/pr382189/covbug/pj/SuperA.class b/tests/bugs170/pr382189/covbug/pj/SuperA.class Binary files differnew file mode 100644 index 000000000..93153a47c --- /dev/null +++ b/tests/bugs170/pr382189/covbug/pj/SuperA.class diff --git a/tests/bugs170/pr382189/covbug/pj/SuperB.class b/tests/bugs170/pr382189/covbug/pj/SuperB.class Binary files differnew file mode 100644 index 000000000..7f4c4e51b --- /dev/null +++ b/tests/bugs170/pr382189/covbug/pj/SuperB.class |