generics: decp tests

diff --git a/tests/java5/generics/decp/Basic2b.aj b/tests/java5/generics/decp/Basic2b.aj
new file mode 100644 (file)
index 0000000..8cfc497
--- /dev/null
+++ b/tests/java5/generics/decp/Basic2b.aj
@@ -0,0 +1,11 @@
+interface I<T>{ }
+
+public class Basic2b implements I {
+
+  public static void main(String[]argv) {
+  }
+}
+
+aspect X{
+    declare parents: Basic2b implements I<Integer>; // error
+}

diff --git a/tests/java5/generics/decp/Basic2c.aj b/tests/java5/generics/decp/Basic2c.aj
new file mode 100644 (file)
index 0000000..bdf7bec
--- /dev/null
+++ b/tests/java5/generics/decp/Basic2c.aj
@@ -0,0 +1,11 @@
+interface I<T>{ }
+
+public class Basic2c implements I<Double> {
+
+  public static void main(String[]argv) {
+  }
+}
+
+aspect X{
+    declare parents: Basic2c implements I; // error
+}

diff --git a/tests/java5/generics/decp/Basic2d.aj b/tests/java5/generics/decp/Basic2d.aj
new file mode 100644 (file)
index 0000000..d4e6305
--- /dev/null
+++ b/tests/java5/generics/decp/Basic2d.aj
@@ -0,0 +1,12 @@
+// OK - since new parent matches
+interface I<T>{ }
+
+public class Basic2d implements I<Double> {
+
+  public static void main(String[]argv) {
+  }
+}
+
+aspect X{
+    declare parents: Basic2d implements I<Double>;
+}