a declare parents in an abstract aspect has no effect unless at least one concrete sub-aspect exists in the world

3 files changed, 14 insertions, 0 deletions

diff --git a/org.aspectj.ajdt.core/testdata/src1/binary/lib/AbstractA.aj b/org.aspectj.ajdt.core/testdata/src1/binary/lib/AbstractA.aj
index a8a69ab55..c9526d7a6 100644
--- a/org.aspectj.ajdt.core/testdata/src1/binary/lib/AbstractA.aj
+++ b/org.aspectj.ajdt.core/testdata/src1/binary/lib/AbstractA.aj
@@ -18,4 +18,10 @@ public abstract aspect AbstractA {
     }

     

     declare parents: *..*MarkMe implements Marker;

+}

+

+aspect SubAbstractA extends AbstractA {

+	// amc - make a concrete sub-aspect so that the declare parents in the super aspect can

+	// take effect!

+	protected pointcut scope();

 }
\ No newline at end of file
diff --git a/tests/bugs150/pr98901/Case13.aj b/tests/bugs150/pr98901/Case13.aj
index 0e113cd4e..25611f83f 100644
--- a/tests/bugs150/pr98901/Case13.aj
+++ b/tests/bugs150/pr98901/Case13.aj
@@ -11,6 +11,10 @@ abstract aspect A13{
 	declare @method : abstract void A13.a(..) : @anInterface;
 }
 
+aspect A13Concrete extends A13 {
+	public void a() {};
+}
+
 aspect B13 {
 	
 	public static void main(String [] args){
diff --git a/tests/bugs150/pr98901/Case17.aj b/tests/bugs150/pr98901/Case17.aj
index 5bcca8021..f092ee6f3 100644
--- a/tests/bugs150/pr98901/Case17.aj
+++ b/tests/bugs150/pr98901/Case17.aj
@@ -11,6 +11,10 @@ abstract aspect A17 {
 	declare @method : abstract void A17.a(..) : @anInterface;
 }
 
+aspect A17Sub extends A17 {
+	public void a() {}
+}
+
 aspect B17 {
 	
 	public static void main(String [] args){