From: aclement <aclement>
Date: Wed, 5 Mar 2008 23:31:16 +0000 (+0000)
Subject: 221558: test and fix: incorrect abstract method error with generics and ITDs
X-Git-Tag: V1_6_0rc1~68
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=97e2ffa40e0c4b884b8e003d647fd0521bcb419d;p=aspectj.git

221558: test and fix: incorrect abstract method error with generics and ITDs
---

diff --git a/tests/bugs160/various/IncorrectMessage2.java b/tests/bugs160/various/IncorrectMessage2.java
new file mode 100644
index 000000000..116e8cd64
--- /dev/null
+++ b/tests/bugs160/various/IncorrectMessage2.java
@@ -0,0 +1,14 @@
+
+class Foo<A> extends FooBase implements Marker<A> { }
+
+interface Marker<A> { }
+
+aspect AspectDoWhatEver {
+    void Marker<A>.doWhatEver()  { // do nothing
+    }
+}
+
+abstract class FooBase
+{
+    abstract void doWhatEver();
+}
\ No newline at end of file
diff --git a/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java b/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java
index 4d66e0c2a..29fd87422 100644
--- a/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java
+++ b/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java
@@ -22,6 +22,7 @@ public class Ajc160Tests extends org.aspectj.testing.XMLBasedAjcTestCase {
 	
 	// AspectH1.6.0rc1
 	public void testBadMessage() { runTest("incorrect itd error with generics");}
+	public void testBadMessage2() { runTest("incorrect itd error with generics - 2");}
 	public void testHasMethodAnnoValueInt_various() { runTest("hasmethod anno value - I");}
 	public void testHasMethodAnnoValueBoolean_various() { runTest("hasmethod anno value - Z");}
 	
diff --git a/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml b/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml
index 92db7b0fc..bfc1c4c46 100644
--- a/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml
+++ b/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml
@@ -5,9 +5,20 @@
 
 
    <ajc-test dir="bugs160/various" title="incorrect itd error with generics">
-     <compile options="-1.5 -showWeaveInfo" files="IncorrectMessage.java"/>
+     <compile options="-1.5 -showWeaveInfo" files="IncorrectMessage.java">
+       <message kind="weave" text="Type 'Foo' (IncorrectMessage.java) has intertyped method from 'AspectDoWhatEver' (IncorrectMessage.java:'void Marker.doWhatEver()')"/>
+       <message kind="weave" text="Type 'Marker' (IncorrectMessage.java) has intertyped method from 'AspectDoWhatEver' (IncorrectMessage.java:'void Marker.doWhatEver()')"/>
+     </compile>       
    </ajc-test>
    
+   <ajc-test dir="bugs160/various" title="incorrect itd error with generics - 2">
+     <compile options="-1.5 -showWeaveInfo" files="IncorrectMessage2.java">
+       <message kind="weave" text="Type 'Foo' (IncorrectMessage2.java) has intertyped method from 'AspectDoWhatEver' (IncorrectMessage2.java:'void Marker.doWhatEver()')"/>
+       <message kind="weave" text="Type 'Marker' (IncorrectMessage2.java) has intertyped method from 'AspectDoWhatEver' (IncorrectMessage2.java:'void Marker.doWhatEver()')"/>
+     </compile>       
+   </ajc-test>
+   
+   
    <ajc-test dir="bugs160/various" title="hasmethod anno value - I">
      <compile options="-1.5 -XhasMember -showWeaveInfo" files="A.java">
        <message kind="weave" text="Extending interface set for type 'B' (A.java) to include 'java.io.Serializable' (A.java)"/>