Attachment 22509 Details for Bug 91728 – Patch for compiler tests

[patch] Patch for compiler tests

97128-tests-compiler.txt (text/plain), 2.18 KB, created by Philipe Mulet

on 2005-06-07 09:40:20 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Philipe Mulet

Created: 2005-06-07 09:40:20 EDT

Size: 2.18 KB

patch

obsolete

>Index: src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java,v
>retrieving revision 1.51
>diff -u -r1.51 MethodVerifyTest.java
>--- src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java	6 Jun 2005 18:25:55 -0000	1.51
>+++ src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java	7 Jun 2005 13:35:28 -0000
>@@ -3636,4 +3636,64 @@
> 			},
> 			"true");
> 	}
>+	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=91728
>+	public void test060() {
>+		this.runConformTest(
>+			new String[] {
>+				"X.java",
>+				"import java.util.*;\n" + 
>+				"\n" + 
>+				"public class X<S> {\n" + 
>+				"	\n" + 
>+				"	public <U> X<U> test() {\n" + 
>+				"		return null;\n" + 
>+				"	}\n" + 
>+				"        \n" + 
>+				"}\n" + 
>+				"\n" + 
>+				"class B extends X<Set> {\n" + 
>+				"	\n" + 
>+				"	public B test() {\n" + 
>+				"		return null;\n" + 
>+				"	}\n" + 
>+				"	\n" + 
>+				"}\n"
>+			},
>+			"");
>+	}		
>+	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=91728 - variation
>+	public void test061() {
>+		this.runNegativeTest(
>+			new String[] {
>+				"X.java",
>+				"import java.util.*;\n" + 
>+				"\n" + 
>+				"public class X<S> {\n" + 
>+				"	\n" + 
>+				"	public <U> X<U> test(U u) {\n" + 
>+				"		return null;\n" + 
>+				"	}\n" + 
>+				"        \n" + 
>+				"}\n" + 
>+				"\n" + 
>+				"class B extends X<Set> {\n" + 
>+				"	\n" + 
>+				"	public B test(Set s) {\n" + 
>+				"		return super.test(s);\n" + 
>+				"	}\n" + 
>+				"	\n" + 
>+				"}\n"
>+			},
>+			"----------\n" + 
>+			"1. WARNING in X.java (at line 13)\n" + 
>+			"	public B test(Set s) {\n" + 
>+			"	         ^^^^^^^^^^^\n" + 
>+			"The method test(Set) of type B should be tagged with @Override since it actually overrides a superclass method\n" + 
>+			"----------\n" + 
>+			"2. ERROR in X.java (at line 14)\n" + 
>+			"	return super.test(s);\n" + 
>+			"	       ^^^^^^^^^^^^^\n" + 
>+			"Type mismatch: cannot convert from X<Set> to B\n" + 
>+			"----------\n");
>+	}	
> }

Actions: View | Diff

Attachments on bug 91728: 22507 | 22509