Attachment 183444 Details for Bug 330435 – Patch under test

[patch] Patch under test

patch.txt (text/plain), 10.76 KB, created by Srikanth Sankaran

on 2010-11-18 19:05:52 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Srikanth Sankaran

Created: 2010-11-18 19:05:52 EST

Size: 10.76 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.jdt.core
>Index: compiler/org/eclipse/jdt/internal/compiler/lookup/BinaryTypeBinding.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/BinaryTypeBinding.java,v
>retrieving revision 1.130
>diff -u -r1.130 BinaryTypeBinding.java
>--- compiler/org/eclipse/jdt/internal/compiler/lookup/BinaryTypeBinding.java	18 Nov 2010 06:42:20 -0000	1.130
>+++ compiler/org/eclipse/jdt/internal/compiler/lookup/BinaryTypeBinding.java	18 Nov 2010 23:59:37 -0000
>@@ -489,7 +489,7 @@
> 	} else {
> 		methodModifiers |= ExtraCompilerModifiers.AccGenericSignature;
> 		// MethodTypeSignature = ParameterPart(optional) '(' TypeSignatures ')' return_typeSignature ['^' TypeSignature (optional)]
>-		SignatureWrapper wrapper = new SignatureWrapper(methodSignature, true);
>+		SignatureWrapper wrapper = new SignatureWrapper(methodSignature, use15specifics);
> 		if (wrapper.signature[wrapper.start] == '<') {
> 			// <A::Ljava/lang/annotation/Annotation;>(Ljava/lang/Class<TA;>;)TA;
> 			// ParameterPart = '<' ParameterSignature(s) '>'
>Index: compiler/org/eclipse/jdt/internal/compiler/lookup/Scope.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/Scope.java,v
>retrieving revision 1.378
>diff -u -r1.378 Scope.java
>--- compiler/org/eclipse/jdt/internal/compiler/lookup/Scope.java	18 Nov 2010 10:46:21 -0000	1.378
>+++ compiler/org/eclipse/jdt/internal/compiler/lookup/Scope.java	18 Nov 2010 23:59:38 -0000
>@@ -504,7 +504,7 @@
> 	/**
> 	 * Internal use only
> 	 * Given a method, returns null if arguments cannot be converted to parameters.
>-	 * Will answer a subsituted method in case the method was generic and type inference got triggered;
>+	 * Will answer a substituted method in case the method was generic and type inference got triggered;
> 	 * in case the method was originally compatible, then simply answer it back.
> 	 */
> 	protected final MethodBinding computeCompatibleMethod(MethodBinding method, TypeBinding[] arguments, InvocationSite invocationSite) {
>@@ -524,8 +524,8 @@
> 			if (!isVarArgs || argLength < paramLength - 1)
> 				return null; // incompatible
> 
>-		if (typeVariables != Binding.NO_TYPE_VARIABLES) { // generic method
>-			boolean compliant14 = compilerOptions().complianceLevel < ClassFileConstants.JDK1_5;
>+		// https://bugs.eclipse.org/bugs/show_bug.cgi?id=330435, inference should kick in only at source 1.5+
>+		if (typeVariables != Binding.NO_TYPE_VARIABLES && compilerOptions().sourceLevel >= ClassFileConstants.JDK1_5) { // generic method
> 			TypeBinding[] newArgs = null;
> 			for (int i = 0; i < argLength; i++) {
> 				TypeBinding param = i < paramLength ? parameters[i] : parameters[paramLength - 1];
>@@ -535,26 +535,6 @@
> 						System.arraycopy(arguments, 0, newArgs, 0, argLength);
> 					}
> 					newArgs[i] = environment().computeBoxingType(arguments[i]);
>-				} else if (compliant14 && invocationSite instanceof MessageSend
>-						   && param.kind() == Binding.PARAMETERIZED_TYPE && param.erasure().id == TypeIds.T_JavaLangClass
>-						   && ((ParameterizedTypeBinding) param).arguments.length == 1 
>-						   && ((ParameterizedTypeBinding) param).arguments[0] instanceof TypeVariableBinding 
>-						   && arguments[i] instanceof BinaryTypeBinding && arguments[i].erasure().id == TypeIds.T_JavaLangClass) {
>-					/* https://bugs.eclipse.org/bugs/show_bug.cgi?id=328775. Class literals are special in that
>-					   they carry (and are the only expressions that can carry) full parameterization information
>-					   even in 1.4 source code. For inference during method selection/invocation to work properly,
>-					   resolve class literal expression's type to be a parameterized type if in 1.4 we encounter
>-					   a method that expects a parameter of the type Class<>   
>-					 */
>-					if (newArgs == null) {
>-						newArgs = new TypeBinding[argLength];
>-						System.arraycopy(arguments, 0, newArgs, 0, argLength);
>-					}
>-					ClassLiteralAccess classLiteral = (ClassLiteralAccess) ((MessageSend) invocationSite).arguments[i];
>-					// Integer.class --> Class<Integer>, perform boxing of base types (int.class --> Class<Integer>)
>-					// BundleWiring.class --> Class<BundleWiring>
>-					TypeBinding boxedType = boxing(classLiteral.targetType);
>-					newArgs[i] = classLiteral.resolvedType = environment().createParameterizedType(((ParameterizedTypeBinding)param).genericType(), new TypeBinding[]{ boxedType }, null /*not a member*/);
> 				}
> 			}
> 			if (newArgs != null)
>Index: compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java,v
>retrieving revision 1.425
>diff -u -r1.425 ProblemReporter.java
>--- compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java	1 Nov 2010 14:15:47 -0000	1.425
>+++ compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java	18 Nov 2010 23:59:38 -0000
>@@ -6621,6 +6621,10 @@
> 		typeParam.sourceEnd);
> }
> public void typeMismatchError(TypeBinding actualType, TypeBinding expectedType, ASTNode location, ASTNode expectingLocation) {
>+	if (this.options.sourceLevel < ClassFileConstants.JDK1_5) { // don't expose type variable names, complain on erased types
>+		actualType = actualType.erasure();
>+		expectedType = expectedType.erasure();
>+	}
> 	if (actualType != null && (actualType.tagBits & TagBits.HasMissingType) != 0) { // improve secondary error
> 		this.handle(
> 				IProblem.UndefinedType,
>#P org.eclipse.jdt.core.tests.compiler
>Index: src/org/eclipse/jdt/core/tests/compiler/regression/BatchCompilerTest.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/BatchCompilerTest.java,v
>retrieving revision 1.219
>diff -u -r1.219 BatchCompilerTest.java
>--- src/org/eclipse/jdt/core/tests/compiler/regression/BatchCompilerTest.java	18 Nov 2010 06:42:23 -0000	1.219
>+++ src/org/eclipse/jdt/core/tests/compiler/regression/BatchCompilerTest.java	18 Nov 2010 23:59:41 -0000
>@@ -11902,7 +11902,7 @@
> 		        "1. ERROR in ---OUTPUT_DIR_PLACEHOLDER---/src/X.java (at line 2)\n" + 
> 		        "	Bundle b = Bundle.adapt(BundleWiring.class);\n" + 
> 		        "	           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
>-		        "Type mismatch: cannot convert from BundleWiring to Bundle\n" + 
>+		        "Type mismatch: cannot convert from Object to Bundle\n" + 
> 		        "----------\n" + 
> 		        "1 problem (1 error)",
> 		        true);
>Index: src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java,v
>retrieving revision 1.213
>diff -u -r1.213 MethodVerifyTest.java
>--- src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java	18 Nov 2010 10:46:17 -0000	1.213
>+++ src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java	18 Nov 2010 23:59:41 -0000
>@@ -11316,4 +11316,101 @@
> 		compilerOptions14,
> 		null);
> }
>+// https://bugs.eclipse.org/bugs/show_bug.cgi?id=330435 
>+public void test330435() {
>+	Map compilerOptions15 = getCompilerOptions();
>+	compilerOptions15.put(JavaCore.COMPILER_CODEGEN_TARGET_PLATFORM, CompilerOptions.VERSION_1_5);
>+	compilerOptions15.put(JavaCore.COMPILER_COMPLIANCE, JavaCore.VERSION_1_5);
>+	compilerOptions15.put(JavaCore.COMPILER_SOURCE, JavaCore.VERSION_1_5);
>+	this.runConformTest(
>+		new String[] {
>+			"A.java",
>+			"public class A {\n" +
>+			"	public static <T> B<T> asList(T... tab) {\n" + 
>+			"		return null;\n" + 
>+			"	}\n" +
>+			"}",
>+			"B.java",
>+			"public interface B<V> {\n" +
>+			"	<T> T[] toArray(T[] tab);\n" + 
>+			"}\n",
>+		},
>+		"",
>+		null,
>+		true,
>+		null,
>+		compilerOptions15,
>+		null);
>+	    
>+	Map compilerOptions14 = getCompilerOptions();
>+	compilerOptions14.put(JavaCore.COMPILER_CODEGEN_TARGET_PLATFORM, JavaCore.VERSION_1_2);
>+	compilerOptions14.put(JavaCore.COMPILER_COMPLIANCE, JavaCore.VERSION_1_4);
>+	compilerOptions14.put(JavaCore.COMPILER_SOURCE, JavaCore.VERSION_1_3);
>+	compilerOptions14.put(JavaCore.COMPILER_PB_UNNECESSARY_TYPE_CHECK, JavaCore.IGNORE);
>+	this.runNegativeTest(
>+		new String[] {
>+			"X.java",
>+			"public class X {\n" + 
>+			"	String[] foo(Object[] args) {\n" + 
>+			"		String[] a = A.asList(args).toArray(new String[0]);\n" + 
>+			"		return a;\n" + 
>+			"	}\n" + 
>+			"}",
>+		},
>+		"----------\n" + 
>+		"1. ERROR in X.java (at line 3)\n" + 
>+		"	String[] a = A.asList(args).toArray(new String[0]);\n" + 
>+		"	             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
>+		"Type mismatch: cannot convert from Object[] to String[]\n" + 
>+		"----------\n",
>+		null,
>+		false,
>+		compilerOptions14);
>+}
>+// https://bugs.eclipse.org/bugs/show_bug.cgi?id=330264 
>+public void test330264() {
>+	Map compilerOptions15 = getCompilerOptions();
>+	compilerOptions15.put(JavaCore.COMPILER_CODEGEN_TARGET_PLATFORM, CompilerOptions.VERSION_1_5);
>+	compilerOptions15.put(JavaCore.COMPILER_COMPLIANCE, JavaCore.VERSION_1_5);
>+	compilerOptions15.put(JavaCore.COMPILER_SOURCE, JavaCore.VERSION_1_5);
>+	this.runConformTest(
>+		new String[] {
>+			"BundleContext.java",
>+			"public interface BundleContext {\n" +
>+			"    <S> S getService(ServiceReference<S> reference);\n" +
>+			"}\n",
>+			"ServiceReference.java",
>+			"public interface ServiceReference<S> extends Comparable<Object> {}\n"
>+		},
>+		"",
>+		null,
>+		true,
>+		null,
>+		compilerOptions15,
>+		null);
>+	    
>+	Map compilerOptions14 = getCompilerOptions();
>+	compilerOptions14.put(JavaCore.COMPILER_CODEGEN_TARGET_PLATFORM, JavaCore.VERSION_1_2);
>+	compilerOptions14.put(JavaCore.COMPILER_COMPLIANCE, JavaCore.VERSION_1_4);
>+	compilerOptions14.put(JavaCore.COMPILER_SOURCE, JavaCore.VERSION_1_3);
>+	compilerOptions14.put(JavaCore.COMPILER_PB_UNNECESSARY_TYPE_CHECK, JavaCore.IGNORE);
>+	this.runNegativeTest(
>+		new String[] {
>+			"Activator.java",
>+			"public class Activator  {\n" +
>+			"    public void start(BundleContext context, ServiceReference ref) {\n" +
>+			"        Runnable r = context.getService(ref);\n" +
>+			"    }\n" +
>+			"}\n",
>+		},
>+		"----------\n" + 
>+		"1. ERROR in Activator.java (at line 3)\n" + 
>+		"	Runnable r = context.getService(ref);\n" + 
>+		"	             ^^^^^^^^^^^^^^^^^^^^^^^\n" + 
>+		"Type mismatch: cannot convert from Object to Runnable\n" + 
>+		"----------\n",
>+		null,
>+		false,
>+		compilerOptions14);
>+}
> }

Actions: View | Diff

Attachments on bug 330435: 183340 | 183444 | 183460