From: jhugunin <jhugunin>
Date: Mon, 30 Dec 2002 20:31:30 +0000 (+0000)
Subject: better coverage
X-Git-Tag: V_1_1_b5~201
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=759bac556635743571bf9041168e1db868afc187;p=aspectj.git

better coverage
---

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"; }
+}