mirror of
https://github.com/tiennm99/lombok.git
synced 2026-09-15 08:19:15 +00:00
Reinier Zwitserloot
3edac64911
Now generating checkerframework `@Pure` instead of `@SideEffectFree` where appropriate.
60 lines
2.5 KiB
Java
60 lines
2.5 KiB
Java
import lombok.Data;
|
|
import lombok.experimental.Accessors;
|
|
import lombok.With;
|
|
@Data @Accessors(chain = true) class CheckerFrameworkBasic {
|
|
private final @With int x;
|
|
private final int y;
|
|
private int z;
|
|
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));
|
|
}
|
|
public @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") int getX() {
|
|
return this.x;
|
|
}
|
|
public @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") int getY() {
|
|
return this.y;
|
|
}
|
|
public @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") int getZ() {
|
|
return this.z;
|
|
}
|
|
public @org.checkerframework.checker.builder.qual.ReturnsReceiver @java.lang.SuppressWarnings("all") CheckerFrameworkBasic setZ(final int z) {
|
|
this.z = z;
|
|
return this;
|
|
}
|
|
public @java.lang.Override @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") boolean equals(final java.lang.Object o) {
|
|
if ((o == this))
|
|
return true;
|
|
if ((! (o instanceof CheckerFrameworkBasic)))
|
|
return false;
|
|
final CheckerFrameworkBasic other = (CheckerFrameworkBasic) o;
|
|
if ((! other.canEqual((java.lang.Object) this)))
|
|
return false;
|
|
if ((this.getX() != other.getX()))
|
|
return false;
|
|
if ((this.getY() != other.getY()))
|
|
return false;
|
|
if ((this.getZ() != other.getZ()))
|
|
return false;
|
|
return true;
|
|
}
|
|
protected @org.checkerframework.dataflow.qual.Pure @java.lang.SuppressWarnings("all") boolean canEqual(final java.lang.Object other) {
|
|
return (other instanceof CheckerFrameworkBasic);
|
|
}
|
|
public @java.lang.Override @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") int hashCode() {
|
|
final int PRIME = 59;
|
|
int result = 1;
|
|
result = ((result * PRIME) + this.getX());
|
|
result = ((result * PRIME) + this.getY());
|
|
result = ((result * PRIME) + this.getZ());
|
|
return result;
|
|
}
|
|
public @java.lang.Override @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") java.lang.String toString() {
|
|
return (((((("CheckerFrameworkBasic(x=" + this.getX()) + ", y=") + this.getY()) + ", z=") + this.getZ()) + ")");
|
|
}
|
|
public @org.checkerframework.common.aliasing.qual.Unique @java.lang.SuppressWarnings("all") CheckerFrameworkBasic(final int x, final int y) {
|
|
super();
|
|
this.x = x;
|
|
this.y = y;
|
|
}
|
|
}
|