From: aclement <aclement>
Date: Mon, 22 Mar 2010 22:03:43 +0000 (+0000)
Subject: 298665: testcode
X-Git-Tag: V1_6_9M1~35
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=ad2c31d53ca35b0637a76789279fce24b937e63b;p=aspectj.git

298665: testcode
---

diff --git a/tests/bugs169/pr298665/A.java b/tests/bugs169/pr298665/A.java
new file mode 100644
index 000000000..28d74385c
--- /dev/null
+++ b/tests/bugs169/pr298665/A.java
@@ -0,0 +1,8 @@
+import java.util.*;
+
+public class A<? extends M> {
+  public void foo(List<?> m) {}
+}
+class B extends A {
+  public void foo(List<? extends Object> m) {}
+}
diff --git a/tests/bugs169/pr298665/Main.java b/tests/bugs169/pr298665/Main.java
new file mode 100644
index 000000000..4a6cfaa04
--- /dev/null
+++ b/tests/bugs169/pr298665/Main.java
@@ -0,0 +1,29 @@
+aspect MyAspect
+{
+   public interface MyInterface
+   {
+       public boolean instanceOf(Class<? extends Object> c);
+       //public boolean instanceOf(Class c);
+   }
+
+   declare parents: MyObject implements MyInterface;
+
+   public boolean MyInterface.instanceOf(Class<? extends Object> c)
+   //public boolean MyInterface.instanceOf(Class c)
+   {
+       return c.isInstance(this);
+   }
+}
+
+class MyObject
+{
+  // public boolean instanceOf(Class<? extends Object> c) {return true;}
+}
+
+public class Main
+{
+   public static void main(String[] args)
+   {
+       new MyObject().instanceOf(Object.class);
+   }
+}
diff --git a/tests/src/org/aspectj/systemtest/ajc169/Ajc169Tests.java b/tests/src/org/aspectj/systemtest/ajc169/Ajc169Tests.java
index 640a2b56a..5953efbca 100644
--- a/tests/src/org/aspectj/systemtest/ajc169/Ajc169Tests.java
+++ b/tests/src/org/aspectj/systemtest/ajc169/Ajc169Tests.java
@@ -18,9 +18,9 @@ import org.aspectj.testing.XMLBasedAjcTestCase;
 
 public class Ajc169Tests extends org.aspectj.testing.XMLBasedAjcTestCase {
 
-	//public void testStaticallyAnalyzableIf_292262_1() {
-	//	runTest("if with statically recognizable code");
-	//}
+	// public void testStaticallyAnalyzableIf_292262_1() {
+	// runTest("if with statically recognizable code");
+	// }
 
 	public void testTypePatternCategories_44365_Class() {
 		runTest("type category type patterns - class");
@@ -70,9 +70,9 @@ public class Ajc169Tests extends org.aspectj.testing.XMLBasedAjcTestCase {
 		runTest("type category type patterns - e2");
 	}
 
-	/*
-	 * public void testAmbiguousMethod() { runTest("ambiguous method"); }
-	 */
+	// public void testAmbiguousMethod_298665() {
+	// runTest("ambiguous method");
+	// }
 
 	public void testChecker() {
 		runTest("inserts in messages");