blob: e981cc208a57c42abcf79d55acfce57b9223548f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// version 14:
record WithOnRecord(String a, String b) {
/**
* @return a clone of this object, except with this updated property (returns {@code this} if an identical value is passed).
*/
@java.lang.SuppressWarnings("all")
public WithOnRecord withA(final String a) {
return this.a == a ? this : new WithOnRecord(a, this.b);
}
/**
* @return a clone of this object, except with this updated property (returns {@code this} if an identical value is passed).
*/
@java.lang.SuppressWarnings("all")
public WithOnRecord withB(final String b) {
return this.b == b ? this : new WithOnRecord(this.a, b);
}
}
|