diff options
| author | Andre Brait <andrebrait@gmail.com> | 2020-07-14 16:43:04 +0200 |
|---|---|---|
| committer | Roel Spilker <r.spilker@gmail.com> | 2020-09-24 22:25:15 +0200 |
| commit | 32db0ef71022040cb574a96d448f4b44518f8637 (patch) | |
| tree | a928a7d91d8adef47f9629eb6d273c100de0620f /src/core/lombok/eclipse/handlers | |
| parent | c91a7dc8cac69f7324d38057206d2d027a2f22ac (diff) | |
| download | lombok-32db0ef71022040cb574a96d448f4b44518f8637.tar.gz lombok-32db0ef71022040cb574a96d448f4b44518f8637.tar.bz2 lombok-32db0ef71022040cb574a96d448f4b44518f8637.zip | |
Generate Pure annotation for cached hashCode
Diffstat (limited to 'src/core/lombok/eclipse/handlers')
| -rwxr-xr-x | src/core/lombok/eclipse/handlers/HandleEqualsAndHashCode.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/core/lombok/eclipse/handlers/HandleEqualsAndHashCode.java b/src/core/lombok/eclipse/handlers/HandleEqualsAndHashCode.java index cf735dee..37379bb9 100755 --- a/src/core/lombok/eclipse/handlers/HandleEqualsAndHashCode.java +++ b/src/core/lombok/eclipse/handlers/HandleEqualsAndHashCode.java @@ -272,8 +272,10 @@ public class HandleEqualsAndHashCode extends EclipseAnnotationHandler<EqualsAndH method.returnType = TypeReference.baseTypeReference(TypeIds.T_int, 0); setGeneratedBy(method.returnType, source); Annotation overrideAnnotation = makeMarkerAnnotation(TypeConstants.JAVA_LANG_OVERRIDE, source); - // TODO: maybe not add this annotation if cacheHashCode is true because we *do* modify a field - if (getCheckerFrameworkVersion(type).generateSideEffectFree()) { + CheckerFrameworkVersion checkerFramework = getCheckerFrameworkVersion(type); + if (cacheHashCode && checkerFramework.generatePure()) { + method.annotations = new Annotation[] { overrideAnnotation, generateNamedAnnotation(source, CheckerFrameworkVersion.NAME__PURE) }; + } else if (checkerFramework.generateSideEffectFree()) { method.annotations = new Annotation[] { overrideAnnotation, generateNamedAnnotation(source, CheckerFrameworkVersion.NAME__SIDE_EFFECT_FREE) }; } else { method.annotations = new Annotation[] { overrideAnnotation }; |