From: jhugunin <jhugunin>
Date: Mon, 30 Dec 2002 20:31:38 +0000 (+0000)
Subject: using declare dominates
X-Git-Tag: V_1_1_b5~200
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=4edc1f290250cb93168c0aadc9f25ba5949b6bc4;p=aspectj.git

using declare dominates
---

diff --git a/tests/new/DominatesTypePattern.java b/tests/new/DominatesTypePattern.java
index 5cfa55761..1409241fb 100644
--- a/tests/new/DominatesTypePattern.java
+++ b/tests/new/DominatesTypePattern.java
@@ -12,7 +12,7 @@ public class DominatesTypePattern {
 class C {}
 
 // works if A is specified explicitly
-abstract aspect AA dominates AA+ { // error: should dominate A
+abstract aspect AA { declare dominates: AA, (AA+ && !AA); // error: should dominate A
     public String C.method() { return "pass"; }
 }