diff options
Diffstat (limited to 'test/transform/resource/after-ecj/CheckerFrameworkBasic.java')
-rw-r--r-- | test/transform/resource/after-ecj/CheckerFrameworkBasic.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/transform/resource/after-ecj/CheckerFrameworkBasic.java b/test/transform/resource/after-ecj/CheckerFrameworkBasic.java index 5411c2a4..87466c7d 100644 --- a/test/transform/resource/after-ecj/CheckerFrameworkBasic.java +++ b/test/transform/resource/after-ecj/CheckerFrameworkBasic.java @@ -6,6 +6,9 @@ import lombok.With; private final @With int x; private final int y; private int z; + /** + * @return {@code this}. + */ public @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") CheckerFrameworkBasic withX(final int x) { return ((this.x == x) ? this : new CheckerFrameworkBasic(x, this.y, this.z)); } @@ -18,6 +21,9 @@ import lombok.With; public @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") int getZ() { return this.z; } + /** + * @return {@code this}. + */ public @org.checkerframework.common.returnsreceiver.qual.This @java.lang.SuppressWarnings("all") CheckerFrameworkBasic setZ(final int z) { this.z = z; return this; |