generics: decp tests, binary weaving

diff --git a/tests/java5/generics/decp/binary/Asp1.aj b/tests/java5/generics/decp/binary/Asp1.aj
new file mode 100644 (file)
index 0000000..59baa78
--- /dev/null
+++ b/tests/java5/generics/decp/binary/Asp1.aj
@@ -0,0 +1,3 @@
+aspect Asp1 {
+    declare parents: B* implements I<Integer>; // error
+}

diff --git a/tests/java5/generics/decp/binary/Asp2.aj b/tests/java5/generics/decp/binary/Asp2.aj
new file mode 100644 (file)
index 0000000..9f1a6a4
--- /dev/null
+++ b/tests/java5/generics/decp/binary/Asp2.aj
@@ -0,0 +1,3 @@
+aspect Asp2 {
+    declare parents: B* implements I<Integer>; // error
+}

diff --git a/tests/java5/generics/decp/binary/Asp3.aj b/tests/java5/generics/decp/binary/Asp3.aj
new file mode 100644 (file)
index 0000000..2b18fa8
--- /dev/null
+++ b/tests/java5/generics/decp/binary/Asp3.aj
@@ -0,0 +1,3 @@
+aspect Asp3 {
+    declare parents: B* implements I; // error
+}

diff --git a/tests/java5/generics/decp/binary/Asp4.aj b/tests/java5/generics/decp/binary/Asp4.aj
new file mode 100644 (file)
index 0000000..368911f
--- /dev/null
+++ b/tests/java5/generics/decp/binary/Asp4.aj
@@ -0,0 +1,3 @@
+aspect Asp4 {
+    declare parents: B* implements I<Double>;
+}

diff --git a/tests/java5/generics/decp/binary/Base1.java b/tests/java5/generics/decp/binary/Base1.java
new file mode 100644 (file)
index 0000000..bb5d54c
--- /dev/null
+++ b/tests/java5/generics/decp/binary/Base1.java
@@ -0,0 +1,5 @@
+interface I<T>{ }
+
+public class Base1 implements I<String> {
+  public static void main(String[]argv) { }
+}

diff --git a/tests/java5/generics/decp/binary/Base2.java b/tests/java5/generics/decp/binary/Base2.java
new file mode 100644 (file)
index 0000000..56e7200
--- /dev/null
+++ b/tests/java5/generics/decp/binary/Base2.java
@@ -0,0 +1,5 @@
+interface I<T>{ }
+
+public class Base2 implements I {
+  public static void main(String[]argv) { }
+}

diff --git a/tests/java5/generics/decp/binary/Base3.java b/tests/java5/generics/decp/binary/Base3.java
new file mode 100644 (file)
index 0000000..3ea8fd9
--- /dev/null
+++ b/tests/java5/generics/decp/binary/Base3.java
@@ -0,0 +1,5 @@
+interface I<T>{ }
+
+public class Base3 implements I<Double> {
+  public static void main(String[]argv) { }
+}

diff --git a/tests/java5/generics/decp/binary/Base4.java b/tests/java5/generics/decp/binary/Base4.java
new file mode 100644 (file)
index 0000000..324dc85
--- /dev/null
+++ b/tests/java5/generics/decp/binary/Base4.java
@@ -0,0 +1,6 @@
+// OK - since new parent matches
+interface I<T>{ }
+
+public class Base4 implements I<Double> {
+  public static void main(String[]argv) { }
+}