From e95680a76733c22ee5937a586ee50c703d5ba621 Mon Sep 17 00:00:00 2001 From: Reinier Zwitserloot Date: Mon, 20 Jan 2020 15:25:08 +0100 Subject: [issue #2221] [issue #788] Lombok now adds nullity annotations. Which 'flavour' is defined in lombok.config; applied to toString, equals, canEqual, and plural-form of `@Singular`. --- .../org/checkerframework/checker/nullness/qual/NonNull.java | 12 ++++++++++++ .../org/checkerframework/checker/nullness/qual/Nullable.java | 12 ++++++++++++ test/stubs/org/eclipse/jdt/annotation/NonNull.java | 12 ++++++++++++ test/stubs/org/eclipse/jdt/annotation/Nullable.java | 12 ++++++++++++ test/stubs/org/springframework/lang/NonNull.java | 12 ++++++++++++ test/stubs/org/springframework/lang/Nullable.java | 12 ++++++++++++ 6 files changed, 72 insertions(+) create mode 100644 test/stubs/org/checkerframework/checker/nullness/qual/NonNull.java create mode 100644 test/stubs/org/checkerframework/checker/nullness/qual/Nullable.java create mode 100644 test/stubs/org/eclipse/jdt/annotation/NonNull.java create mode 100644 test/stubs/org/eclipse/jdt/annotation/Nullable.java create mode 100644 test/stubs/org/springframework/lang/NonNull.java create mode 100644 test/stubs/org/springframework/lang/Nullable.java (limited to 'test/stubs/org') diff --git a/test/stubs/org/checkerframework/checker/nullness/qual/NonNull.java b/test/stubs/org/checkerframework/checker/nullness/qual/NonNull.java new file mode 100644 index 00000000..d552f8c7 --- /dev/null +++ b/test/stubs/org/checkerframework/checker/nullness/qual/NonNull.java @@ -0,0 +1,12 @@ +package org.checkerframework.checker.nullness.qual; + +import java.lang.annotation.Documented; +import java.lang.annotation.ElementType; +import java.lang.annotation.Retention; +import java.lang.annotation.RetentionPolicy; +import java.lang.annotation.Target; + +@Retention(RetentionPolicy.RUNTIME) +@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) +@Documented +public @interface NonNull {} diff --git a/test/stubs/org/checkerframework/checker/nullness/qual/Nullable.java b/test/stubs/org/checkerframework/checker/nullness/qual/Nullable.java new file mode 100644 index 00000000..d81e3abb --- /dev/null +++ b/test/stubs/org/checkerframework/checker/nullness/qual/Nullable.java @@ -0,0 +1,12 @@ +package org.checkerframework.checker.nullness.qual; + +import java.lang.annotation.Documented; +import java.lang.annotation.ElementType; +import java.lang.annotation.Retention; +import java.lang.annotation.RetentionPolicy; +import java.lang.annotation.Target; + +@Retention(RetentionPolicy.RUNTIME) +@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) +@Documented +public @interface Nullable {} diff --git a/test/stubs/org/eclipse/jdt/annotation/NonNull.java b/test/stubs/org/eclipse/jdt/annotation/NonNull.java new file mode 100644 index 00000000..be9ad6eb --- /dev/null +++ b/test/stubs/org/eclipse/jdt/annotation/NonNull.java @@ -0,0 +1,12 @@ +package org.eclipse.jdt.annotation; + +import java.lang.annotation.Documented; +import java.lang.annotation.ElementType; +import java.lang.annotation.Retention; +import java.lang.annotation.RetentionPolicy; +import java.lang.annotation.Target; + +@Documented +@Retention(RetentionPolicy.CLASS) +@Target(ElementType.TYPE_USE) +public @interface NonNull {} diff --git a/test/stubs/org/eclipse/jdt/annotation/Nullable.java b/test/stubs/org/eclipse/jdt/annotation/Nullable.java new file mode 100644 index 00000000..d19c54f1 --- /dev/null +++ b/test/stubs/org/eclipse/jdt/annotation/Nullable.java @@ -0,0 +1,12 @@ +package org.eclipse.jdt.annotation; + +import java.lang.annotation.Documented; +import java.lang.annotation.ElementType; +import java.lang.annotation.Retention; +import java.lang.annotation.RetentionPolicy; +import java.lang.annotation.Target; + +@Documented +@Retention(RetentionPolicy.CLASS) +@Target(ElementType.TYPE_USE) +public @interface Nullable {} diff --git a/test/stubs/org/springframework/lang/NonNull.java b/test/stubs/org/springframework/lang/NonNull.java new file mode 100644 index 00000000..b6b16680 --- /dev/null +++ b/test/stubs/org/springframework/lang/NonNull.java @@ -0,0 +1,12 @@ +package org.springframework.lang; + +import java.lang.annotation.Documented; +import java.lang.annotation.ElementType; +import java.lang.annotation.Retention; +import java.lang.annotation.RetentionPolicy; +import java.lang.annotation.Target; + +@Target({ElementType.METHOD, ElementType.PARAMETER, ElementType.FIELD}) +@Retention(RetentionPolicy.RUNTIME) +@Documented +public @interface NonNull {} diff --git a/test/stubs/org/springframework/lang/Nullable.java b/test/stubs/org/springframework/lang/Nullable.java new file mode 100644 index 00000000..94317005 --- /dev/null +++ b/test/stubs/org/springframework/lang/Nullable.java @@ -0,0 +1,12 @@ +package org.springframework.lang; + +import java.lang.annotation.Documented; +import java.lang.annotation.ElementType; +import java.lang.annotation.Retention; +import java.lang.annotation.RetentionPolicy; +import java.lang.annotation.Target; + +@Target({ElementType.METHOD, ElementType.PARAMETER, ElementType.FIELD}) +@Retention(RetentionPolicy.RUNTIME) +@Documented +public @interface Nullable {} -- cgit