diff options
author | Reinier Zwitserloot <r.zwitserloot@projectlombok.org> | 2020-10-03 23:45:07 +0200 |
---|---|---|
committer | Reinier Zwitserloot <r.zwitserloot@projectlombok.org> | 2020-10-03 23:45:07 +0200 |
commit | eadd3b8ccea16d46249e6b01c4ac4b295c691abd (patch) | |
tree | 5bcbd4d8ce39f5e1d90b302e92b46550586f3cd5 | |
parent | 1ced413ccb731ec5ccb69fc0bf01364c737c637e (diff) | |
download | lombok-eadd3b8ccea16d46249e6b01c4ac4b295c691abd.tar.gz lombok-eadd3b8ccea16d46249e6b01c4ac4b295c691abd.tar.bz2 lombok-eadd3b8ccea16d46249e6b01c4ac4b295c691abd.zip |
[checkerframework] they seem to have renamed a lot of their newer features.
-rw-r--r-- | src/core/lombok/core/configuration/CheckerFrameworkVersion.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/core/lombok/core/configuration/CheckerFrameworkVersion.java b/src/core/lombok/core/configuration/CheckerFrameworkVersion.java index 5805678f..efe7680a 100644 --- a/src/core/lombok/core/configuration/CheckerFrameworkVersion.java +++ b/src/core/lombok/core/configuration/CheckerFrameworkVersion.java @@ -32,9 +32,9 @@ public final class CheckerFrameworkVersion implements ConfigurationValueType { public static final String NAME__SIDE_EFFECT_FREE = "org.checkerframework.dataflow.qual.SideEffectFree"; public static final String NAME__PURE = "org.checkerframework.dataflow.qual.Pure"; public static final String NAME__UNIQUE = "org.checkerframework.common.aliasing.qual.Unique"; - public static final String NAME__RETURNS_RECEIVER = "org.checkerframework.checker.builder.qual.ReturnsReceiver"; - public static final String NAME__NOT_CALLED = "org.checkerframework.checker.builder.qual.NotCalledMethods"; - public static final String NAME__CALLED = "org.checkerframework.checker.builder.qual.CalledMethods"; + public static final String NAME__RETURNS_RECEIVER = "org.checkerframework.common.returnsreceiver.qual.This"; + public static final String NAME__NOT_CALLED = "org.checkerframework.checker.objectconstruction.qual.NotCalledMethods"; + public static final String NAME__CALLED = "org.checkerframework.checker.objectconstruction.qual.CalledMethods"; public static final CheckerFrameworkVersion NONE = new CheckerFrameworkVersion(0); |