From 624c8a5a52d14ba1a6b690809f9ada15f71e15f5 Mon Sep 17 00:00:00 2001 From: Rawi01 Date: Mon, 21 Dec 2020 17:07:22 +0100 Subject: [fixes #2682] Fix NPE, always add Javadoc return statement --- test/transform/resource/after-delombok/CheckerFrameworkBasic.java | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'test/transform/resource/after-delombok/CheckerFrameworkBasic.java') diff --git a/test/transform/resource/after-delombok/CheckerFrameworkBasic.java b/test/transform/resource/after-delombok/CheckerFrameworkBasic.java index c9b73d7c..f7f38b29 100644 --- a/test/transform/resource/after-delombok/CheckerFrameworkBasic.java +++ b/test/transform/resource/after-delombok/CheckerFrameworkBasic.java @@ -17,6 +17,9 @@ class CheckerFrameworkBasic { public int getZ() { return this.z; } + /** + * @return {@code this}. + */ @org.checkerframework.common.returnsreceiver.qual.This @java.lang.SuppressWarnings("all") public CheckerFrameworkBasic setZ(final int z) { @@ -64,6 +67,9 @@ class CheckerFrameworkBasic { this.y = y; this.z = z; } + /** + * @return {@code this}. + */ @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") public CheckerFrameworkBasic withX(final int x) { -- cgit