Attachment 234679 Details for Bug 415269 – test case

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

[patch] test case

test-for-415269.patch (text/plain), 1.22 KB, created by Till Brychcy

on 2013-08-22 17:36:24 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Till Brychcy

Created: 2013-08-22 17:36:24 EDT

Size: 1.22 KB

patch

obsolete

>diff --git a/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/NullAnnotationTest.java b/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/NullAnnotationTest.java
>index 890711f..a3ac3d7 100644
>--- a/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/NullAnnotationTest.java
>+++ b/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/NullAnnotationTest.java
>@@ -6289,4 +6289,29 @@
> 		"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,
>+		"");
>+}
> }

Actions: View | Diff

Attachments on bug 415269: 234505 | 234679