diff options
| author | Reinier Zwitserloot <reinier@zwitserloot.com> | 2019-12-19 02:09:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-19 02:09:28 +0100 |
| commit | 1b0055893822a7edc135e5c7bdcbbd63584dec2a (patch) | |
| tree | c2d5331dd27d5d20803319841f16304b25723b63 /src | |
| parent | 08faffdf836c8b8d0cca9824bfc32dc1d6a7c2e6 (diff) | |
| parent | 95e299b97bb81a8de60d36a2059014fbf1600864 (diff) | |
| download | lombok-1b0055893822a7edc135e5c7bdcbbd63584dec2a.tar.gz lombok-1b0055893822a7edc135e5c7bdcbbd63584dec2a.tar.bz2 lombok-1b0055893822a7edc135e5c7bdcbbd63584dec2a.zip | |
Merge pull request #2283 from smillst/updateCheckerFrameworkV3.0.0
Update the list of Checker Framework annotations for version 3.0.0.
Diffstat (limited to 'src')
| -rw-r--r-- | src/core/lombok/core/handlers/HandlerUtil.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/core/lombok/core/handlers/HandlerUtil.java b/src/core/lombok/core/handlers/HandlerUtil.java index be32e101..38aada23 100644 --- a/src/core/lombok/core/handlers/HandlerUtil.java +++ b/src/core/lombok/core/handlers/HandlerUtil.java @@ -106,6 +106,7 @@ public class HandlerUtil { "lombok.NonNull", // To update Checker Framework annotations, run: // grep --recursive --files-with-matches -e '^@Target\b.*TYPE_USE' $CHECKERFRAMEWORK/checker/src/main/java $CHECKERFRAMEWORK/framework/src/main/java | grep '\.java$' | sed 's/.*\/java\//\t\t\t"/' | sed 's/\.java$/",/' | sed 's/\//./g' | sort + // Only add new annotations, do not remove annotations that have been removed from the lastest version of the Checker Framework. "org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey", "org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom", "org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey", @@ -215,6 +216,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", @@ -224,8 +226,11 @@ public class HandlerUtil { "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", |