From ac3387da7cd288dfd9414e0885e3ca871d7c76fd Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Fri, 8 Jul 2005 09:56:22 +0000
Subject: generics: decp tests, binary weaving

---
 tests/java5/generics/decp/binary/Asp1.aj    | 3 +++
 tests/java5/generics/decp/binary/Asp2.aj    | 3 +++
 tests/java5/generics/decp/binary/Asp3.aj    | 3 +++
 tests/java5/generics/decp/binary/Asp4.aj    | 3 +++
 tests/java5/generics/decp/binary/Base1.java | 5 +++++
 tests/java5/generics/decp/binary/Base2.java | 5 +++++
 tests/java5/generics/decp/binary/Base3.java | 5 +++++
 tests/java5/generics/decp/binary/Base4.java | 6 ++++++
 8 files changed, 33 insertions(+)
 create mode 100644 tests/java5/generics/decp/binary/Asp1.aj
 create mode 100644 tests/java5/generics/decp/binary/Asp2.aj
 create mode 100644 tests/java5/generics/decp/binary/Asp3.aj
 create mode 100644 tests/java5/generics/decp/binary/Asp4.aj
 create mode 100644 tests/java5/generics/decp/binary/Base1.java
 create mode 100644 tests/java5/generics/decp/binary/Base2.java
 create mode 100644 tests/java5/generics/decp/binary/Base3.java
 create mode 100644 tests/java5/generics/decp/binary/Base4.java

(limited to 'tests/java5/generics/decp/binary')

diff --git a/tests/java5/generics/decp/binary/Asp1.aj b/tests/java5/generics/decp/binary/Asp1.aj
new file mode 100644
index 000000000..59baa781f
--- /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
index 000000000..9f1a6a454
--- /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
index 000000000..2b18fa8e2
--- /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
index 000000000..368911f6c
--- /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
index 000000000..bb5d54c81
--- /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
index 000000000..56e72008d
--- /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
index 000000000..3ea8fd9fb
--- /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
index 000000000..324dc85d2
--- /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) { }
+}
-- 
cgit v1.2.3