From e95680a76733c22ee5937a586ee50c703d5ba621 Mon Sep 17 00:00:00 2001
From: Reinier Zwitserloot <r.zwitserloot@projectlombok.org>
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 ++++++++++++
 2 files changed, 24 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

(limited to 'test/stubs/org/checkerframework')

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 {}
-- 
cgit