From 759bac556635743571bf9041168e1db868afc187 Mon Sep 17 00:00:00 2001
From: jhugunin <jhugunin>
Date: Mon, 30 Dec 2002 20:31:30 +0000
Subject: better coverage
---
tests/new/DominatesTypePatternCE.java | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
create mode 100644 tests/new/DominatesTypePatternCE.java
(limited to 'tests/new')
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"; }
+}
--
cgit v1.2.3