generics: decp testcases

4 files changed, 31 insertions, 2 deletions

diff --git a/tests/java5/generics/decp/Basic2.aj b/tests/java5/generics/decp/Basic2.aj
index d1127d1ed..fce3eceb7 100644
--- a/tests/java5/generics/decp/Basic2.aj
+++ b/tests/java5/generics/decp/Basic2.aj
@@ -1,12 +1,12 @@
 // error, can't implement two variants of a generic type
 interface I<T>{ }
 
-public class Basic implements I<String> {
+public class Basic2 implements I<String> {
 
   public static void main(String[]argv) {
   }
 }
 
 aspect X{
-    declare parents: Basic implements I<Integer>; // error
+    declare parents: Basic2 implements I<Integer>; // error
 }
diff --git a/tests/java5/generics/decp/Basic3.aj b/tests/java5/generics/decp/Basic3.aj
new file mode 100644
index 000000000..3ce752956
--- /dev/null
+++ b/tests/java5/generics/decp/Basic3.aj
@@ -0,0 +1,11 @@
+// error, only one type parameter for I
+interface I<T> { }
+
+public class Basic3 {
+  public static void main(String[]argv) {
+  }
+}
+
+aspect X {
+    declare parents: Basic3 implements I<String,Number>;
+}
diff --git a/tests/java5/generics/decp/Basic4.aj b/tests/java5/generics/decp/Basic4.aj
new file mode 100644
index 000000000..10ccc56a7
--- /dev/null
+++ b/tests/java5/generics/decp/Basic4.aj
@@ -0,0 +1,9 @@
+// Works, Double meets the spec for the type parameter
+interface I<T extends Number> { }
+
+public class Basic4 {
+}
+
+aspect X {
+    declare parents: Basic4 implements I<Double>;
+}
diff --git a/tests/java5/generics/decp/Basic5.aj b/tests/java5/generics/decp/Basic5.aj
new file mode 100644
index 000000000..991eda6c2
--- /dev/null
+++ b/tests/java5/generics/decp/Basic5.aj
@@ -0,0 +1,9 @@
+// fails, Number is not a subclass of double!
+interface I<T super Number> { }
+
+public class Basic5 {
+}
+
+aspect X {
+    declare parents: Basic5 implements I<Double>;
+}