Attachment #234679 for bug #415269

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.




		"Null type mismatch: required \'@NonNull String\' but the provided value is null\n" + 
		"----------\n");
}

public void testBug_415269() {
	Map options = getCompilerOptions();
	runConformTestWithLibs(
		new String[]{
			"Y.java",
			"import org.eclipse.jdt.annotation.NonNull;\n"+
			"public class Y {\n"+
			"  public static class C implements X.I {\n"+
			"    public void method(@NonNull Object arg) {\n"+
			"    }\n"+
			"  }\n"+
			"}\n",
			"X.java",
			"import org.eclipse.jdt.annotation.NonNullByDefault;\n"+
			"@NonNullByDefault\n"+
			"public class X {\n"+
			"  public interface I {\n"+
			"    public void method(Object arg);\n"+
			"  }\n"+
			"}\n"
		}, 
		options,
		"");
}
}

Return to bug 415269

Lines 6289-6292 Link Here

(-)a/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/NullAnnotationTest.java (+25 lines)
6289	"Null type mismatch: required \'@NonNull String\' but the provided value is null\n" +	6289	"Null type mismatch: required \'@NonNull String\' but the provided value is null\n" +
6290	"----------\n");	6290	"----------\n");
6291	}	6291	}
		6292
		6293	public void testBug_415269() {
		6294	Map options = getCompilerOptions();
		6295	runConformTestWithLibs(
		6296	new String[]{
		6297	"Y.java",
		6298	"import org.eclipse.jdt.annotation.NonNull;\n"+
		6299	"public class Y {\n"+
		6300	" public static class C implements X.I {\n"+
		6301	" public void method(@NonNull Object arg) {\n"+
		6302	" }\n"+
		6303	" }\n"+
		6304	"}\n",
		6305	"X.java",
		6306	"import org.eclipse.jdt.annotation.NonNullByDefault;\n"+
		6307	"@NonNullByDefault\n"+
		6308	"public class X {\n"+
		6309	" public interface I {\n"+
		6310	" public void method(Object arg);\n"+
		6311	" }\n"+
		6312	"}\n"
		6313	},
		6314	options,
		6315	"");
		6316	}
6292	}	6317	}