From 759bac556635743571bf9041168e1db868afc187 Mon Sep 17 00:00:00 2001
From: jhugunin <jhugunin>
Date: Mon, 30 Dec 2002 20:31:30 +0000
Subject: [PATCH] better coverage

---
 tests/new/DominatesTypePatternCE.java | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 tests/new/DominatesTypePatternCE.java

diff --git a/tests/new/DominatesTypePatternCE.java b/tests/new/DominatesTypePatternCE.java
new file mode 100644
index 000000000..a9787394d
--- /dev/null
+++ b/tests/new/DominatesTypePatternCE.java
@@ -0,0 +1,21 @@
+import org.aspectj.testing.Tester;
+
+/** @testcase subtype pattern in dominates should pick out aspect subtypes */
+public class DominatesTypePatternCE {
+    public static void main (String[] args) {
+        String s = new C().method();
+        Tester.check("pass".equals(s),
+                     "\"pass\".equals(\"" + s + "\")");
+    } 
+}
+
+class C {}
+
+// works if A is specified explicitly
+abstract aspect AA { declare dominates: AA, AA+; // CE, AA is matched by both pieces
+    public String C.method() { return "pass"; }
+}
+
+aspect A extends AA { 
+    public String C.method() { return "fail"; }
+}
-- 
2.39.5