aboutsummaryrefslogtreecommitdiff
path: root/test/transform/resource/after-ecj/CheckerFrameworkBasic.java
diff options
context:
space:
mode:
Diffstat (limited to 'test/transform/resource/after-ecj/CheckerFrameworkBasic.java')
-rw-r--r--test/transform/resource/after-ecj/CheckerFrameworkBasic.java6
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;