[fixes #2682] Fix NPE, always add Javadoc return statement

This commit is contained in:
Rawi01 committed 2020-12-21 17:16:33 +01:00
1 parent 626c33255b
commit 624c8a5a52
139 files changed
+912 -49

No files matched your search

@@ -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) {