diff options
| author | Suzanne Millstein <smillst@cs.washington.edu> | 2019-11-04 08:48:16 -0800 |
|---|---|---|
| committer | Suzanne Millstein <smillst@cs.washington.edu> | 2019-11-04 08:50:12 -0800 |
| commit | 01d1ea6bbbf0f836a754c988e7f21185538e8345 (patch) | |
| tree | 35e4e66129f8320989110c636f2210132f1c1c27 /src/core/lombok | |
| parent | a81df33c10f69d49425bdd0606052178a172a66f (diff) | |
| download | lombok-01d1ea6bbbf0f836a754c988e7f21185538e8345.tar.gz lombok-01d1ea6bbbf0f836a754c988e7f21185538e8345.tar.bz2 lombok-01d1ea6bbbf0f836a754c988e7f21185538e8345.zip | |
Update the list of Checker Framework annotations for version 3.0.0.
Diffstat (limited to 'src/core/lombok')
| -rw-r--r-- | src/core/lombok/core/handlers/HandlerUtil.java | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/core/lombok/core/handlers/HandlerUtil.java b/src/core/lombok/core/handlers/HandlerUtil.java index be32e101..1bc90afd 100644 --- a/src/core/lombok/core/handlers/HandlerUtil.java +++ b/src/core/lombok/core/handlers/HandlerUtil.java @@ -190,12 +190,9 @@ public class HandlerUtil { "org.checkerframework.checker.nullness.qual.KeyForBottom", "org.checkerframework.checker.nullness.qual.MonotonicNonNull", "org.checkerframework.checker.nullness.qual.NonNull", - "org.checkerframework.checker.nullness.qual.NonRaw", "org.checkerframework.checker.nullness.qual.Nullable", "org.checkerframework.checker.nullness.qual.PolyKeyFor", "org.checkerframework.checker.nullness.qual.PolyNull", - "org.checkerframework.checker.nullness.qual.PolyRaw", - "org.checkerframework.checker.nullness.qual.Raw", "org.checkerframework.checker.nullness.qual.UnknownKeyFor", "org.checkerframework.checker.optional.qual.MaybePresent", "org.checkerframework.checker.optional.qual.PolyPresent", @@ -215,6 +212,7 @@ public class HandlerUtil { "org.checkerframework.checker.signature.qual.FieldDescriptor", "org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive", "org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitiveOrArrayInUnnamedPackage", + "org.checkerframework.checker.signature.qual.FqBinaryName", "org.checkerframework.checker.signature.qual.FullyQualifiedName", "org.checkerframework.checker.signature.qual.Identifier", "org.checkerframework.checker.signature.qual.IdentifierOrArray", @@ -222,10 +220,11 @@ public class HandlerUtil { "org.checkerframework.checker.signature.qual.MethodDescriptor", "org.checkerframework.checker.signature.qual.PolySignature", "org.checkerframework.checker.signature.qual.SignatureBottom", - "org.checkerframework.checker.signedness.qual.Constant", - "org.checkerframework.checker.signedness.qual.PolySignedness", + "org.checkerframework.checker.signedness.qual.PolySigned", "org.checkerframework.checker.signedness.qual.Signed", "org.checkerframework.checker.signedness.qual.SignednessBottom", + "org.checkerframework.checker.signedness.qual.SignednessGlb", + "org.checkerframework.checker.signedness.qual.SignedPositive", "org.checkerframework.checker.signedness.qual.UnknownSignedness", "org.checkerframework.checker.signedness.qual.Unsigned", "org.checkerframework.checker.tainting.qual.PolyTainted", |