tiennm99/lombok
1
0 Fork 0
mirror of https://github.com/tiennm99/lombok.git synced 2026-10-14 20:17:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

[checkerframework] they seem to have renamed a lot of their newer features.

Browse Source
This commit is contained in:
Reinier Zwitserloot committed 2020-10-03 23:45:07 +02:00
1 parent 1ced413ccb
commit eadd3b8cce
1 file changed
+3 -3
Download Patch File Download Diff File Expand all files Collapse all files
src/core/lombok/core/configuration/CheckerFrameworkVersion.java
+3 -3
View File
@@ -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);