291206: declare error/warning with type patterns

3 files changed, 47 insertions, 0 deletions

diff --git a/tests/bugs169/pr291206/One.java b/tests/bugs169/pr291206/One.java
new file mode 100644
index 000000000..366d1faf1
--- /dev/null
+++ b/tests/bugs169/pr291206/One.java
@@ -0,0 +1,17 @@
+import java.lang.annotation.*;
+
+aspect X {
+  declare warning: @Anno *: "Nothing should be annotated Anno!";
+}
+
+@Anno 
+class C {
+  
+}
+
+class D {
+  
+}
+
+@Retention(RetentionPolicy.RUNTIME)
+@interface Anno {}
diff --git a/tests/bugs169/pr291206/Three.java b/tests/bugs169/pr291206/Three.java
new file mode 100644
index 000000000..dc926813d
--- /dev/null
+++ b/tests/bugs169/pr291206/Three.java
@@ -0,0 +1,15 @@
+import java.lang.annotation.*;
+
+aspect X {
+  declare error: I+ && !hasmethod(* foo(..)): "Missing foo() method in I subtype";
+}
+
+interface I {}
+
+class C implements I {
+  void foo() {}  
+}
+
+class D implements I {
+  
+}
diff --git a/tests/bugs169/pr291206/Two.java b/tests/bugs169/pr291206/Two.java
new file mode 100644
index 000000000..aa15a12d5
--- /dev/null
+++ b/tests/bugs169/pr291206/Two.java
@@ -0,0 +1,15 @@
+import java.lang.annotation.*;
+
+aspect X {
+  declare warning: I+ && !hasmethod(* foo(..)): "Missing foo() method in I subtype";
+}
+
+interface I {}
+
+class C implements I {
+  void foo() {}  
+}
+
+class D implements I {
+  
+}