291206: declare error/warning with type patterns

diff --git a/tests/bugs169/pr291206/One.java b/tests/bugs169/pr291206/One.java
new file mode 100644 (file)
index 0000000..366d1fa
--- /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 (file)
index 0000000..dc92681
--- /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 (file)
index 0000000..aa15a12
--- /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 {
+  
+}