net.jqwik.api.Tuple Maven / Gradle / Ivy
The newest version!
package net.jqwik.api;
import java.io.*;
import java.util.*;
import java.util.stream.*;
import org.apiguardian.api.*;
import org.jspecify.annotations.*;
import net.jqwik.api.support.*;
import static org.apiguardian.api.API.Status.*;
/**
* Typed Tuples are very convenient containers to have, especially in the context of
* generating dependent values. It's a shame Java does not have them by default.
*/
@API(status = STABLE, since = "1.0")
public interface Tuple extends Serializable, Cloneable {
int size();
default List<@Nullable Object> items() {return Collections.emptyList();}
default String itemsToString() {
String items = items().stream().map(Objects::toString).collect(Collectors.joining(", "));
return String.format("(%s)", items);
}
@API(status = MAINTAINED, since = "1.3.5")
static Tuple0 of() {
return new Tuple0();
}
@API(status = MAINTAINED, since = "1.3.5")
static Tuple0 empty() {
return Tuple.of();
}
static Tuple1 of(T1 v1) {
return new Tuple1<>(v1);
}
static Tuple2 of(T1 v1, T2 v2) {
return new Tuple2<>(v1, v2);
}
static Tuple3 of(T1 v1, T2 v2, T3 v3) {
return new Tuple3<>(v1, v2, v3);
}
static Tuple4 of(T1 v1, T2 v2, T3 v3, T4 v4) {
return new Tuple4<>(v1, v2, v3, v4);
}
static Tuple5 of(
T1 v1,
T2 v2,
T3 v3,
T4 v4,
T5 v5
) {
return new Tuple5<>(v1, v2, v3, v4, v5);
}
static Tuple6 of(
T1 v1,
T2 v2,
T3 v3,
T4 v4,
T5 v5,
T6 v6
) {
return new Tuple6<>(v1, v2, v3, v4, v5, v6);
}
static Tuple7 of(
T1 v1,
T2 v2,
T3 v3,
T4 v4,
T5 v5,
T6 v6,
T7 v7
) {
return new Tuple7<>(v1, v2, v3, v4, v5, v6, v7);
}
static Tuple8 of(
T1 v1,
T2 v2,
T3 v3,
T4 v4,
T5 v5,
T6 v6,
T7 v7,
T8 v8
) {
return new Tuple8<>(v1, v2, v3, v4, v5, v6, v7, v8);
}
class Tuple0 implements Tuple {
@Override
public int size() {
return 0;
}
@Override
public int hashCode() {
return 42;
}
@Override
public boolean equals(@Nullable Object o) {
if (this == o) return true;
return o != null && getClass() == o.getClass();
}
@Override
public String toString() {
return itemsToString();
}
}
class Tuple1 extends Tuple0 {
final T1 v1;
private Tuple1(T1 v1) {
super();
this.v1 = v1;
}
@Override
public int size() {
return 1;
}
public T1 get1() {
return v1;
}
@Override
public List<@Nullable Object> items() {
return Arrays.asList(get1());
}
@Override
public boolean equals(@Nullable Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Tuple1 tuple = (Tuple1) o;
return Objects.equals(v1, tuple.v1);
}
@Override
public int hashCode() {
return HashCodeSupport.hash(v1);
}
@Override
public String toString() {
return itemsToString();
}
}
class Tuple2 extends Tuple1 {
final T2 v2;
private Tuple2(T1 v1, T2 v2) {
super(v1);
this.v2 = v2;
}
@Override
public int size() {
return 2;
}
public T2 get2() {
return v2;
}
@Override
public List<@Nullable Object> items() {
return Arrays.asList(get1(), get2());
}
@Override
public boolean equals(@Nullable Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Tuple2 tuple = (Tuple2) o;
return Objects.equals(v1, tuple.v1) //
&& Objects.equals(v2, tuple.v2);
}
@Override
public int hashCode() {
return HashCodeSupport.hash(v1, v2);
}
}
class Tuple3 extends Tuple2 {
final T3 v3;
private Tuple3(T1 v1, T2 v2, T3 v3) {
super(v1, v2);
this.v3 = v3;
}
@Override
public int size() {
return 3;
}
public T3 get3() {
return v3;
}
@Override
public List<@Nullable Object> items() {
return Arrays.asList(get1(), get2(), get3());
}
@Override
public boolean equals(@Nullable Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Tuple3 tuple = (Tuple3) o;
return Objects.equals(v1, tuple.v1) //
&& Objects.equals(v2, tuple.v2) //
&& Objects.equals(v3, tuple.v3);
}
@Override
public int hashCode() {
return HashCodeSupport.hash(v1, v2, v3);
}
}
class Tuple4 extends Tuple3 {
final T4 v4;
private Tuple4(T1 v1, T2 v2, T3 v3, T4 v4) {
super(v1, v2, v3);
this.v4 = v4;
}
@Override
public int size() {
return 4;
}
public T4 get4() {
return v4;
}
@Override
public List<@Nullable Object> items() {
return Arrays.asList(get1(), get2(), get3(), get4());
}
@Override
public boolean equals(@Nullable Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Tuple4 tuple = (Tuple4) o;
return Objects.equals(v1, tuple.v1) //
&& Objects.equals(v2, tuple.v2) //
&& Objects.equals(v3, tuple.v3) //
&& Objects.equals(v4, tuple.v4);
}
@Override
public int hashCode() {
return HashCodeSupport.hash(v1, v2, v3, v4);
}
}
class Tuple5 extends Tuple4 {
final T5 v5;
private Tuple5(T1 v1, T2 v2, T3 v3, T4 v4, T5 v5) {
super(v1, v2, v3, v4);
this.v5 = v5;
}
@Override
public int size() {
return 5;
}
public T5 get5() {
return v5;
}
@Override
public List<@Nullable Object> items() {
return Arrays.asList(get1(), get2(), get3(), get4(), get5());
}
@Override
public boolean equals(@Nullable Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Tuple5 tuple = (Tuple5) o;
return Objects.equals(v1, tuple.v1) //
&& Objects.equals(v2, tuple.v2) //
&& Objects.equals(v3, tuple.v3) //
&& Objects.equals(v4, tuple.v4) //
&& Objects.equals(v5, tuple.v5);
}
@Override
public int hashCode() {
return HashCodeSupport.hash(v1, v2, v3, v4, v5);
}
}
class Tuple6 extends Tuple5 {
final T6 v6;
private Tuple6(T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6) {
super(v1, v2, v3, v4, v5);
this.v6 = v6;
}
@Override
public int size() {
return 6;
}
public T6 get6() {
return v6;
}
@Override
public List<@Nullable Object> items() {
return Arrays.asList(get1(), get2(), get3(), get4(), get5(), get6());
}
@Override
public boolean equals(@Nullable Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Tuple6 tuple = (Tuple6) o;
return Objects.equals(v1, tuple.v1) //
&& Objects.equals(v2, tuple.v2) //
&& Objects.equals(v3, tuple.v3) //
&& Objects.equals(v4, tuple.v4) //
&& Objects.equals(v5, tuple.v5) //
&& Objects.equals(v6, tuple.v6);
}
@Override
public int hashCode() {
return HashCodeSupport.hash(v1, v2, v3, v4, v5, v6);
}
}
class Tuple7 extends Tuple6 {
final T7 v7;
private Tuple7(
T1 v1,
T2 v2,
T3 v3,
T4 v4,
T5 v5,
T6 v6,
T7 v7
) {
super(v1, v2, v3, v4, v5, v6);
this.v7 = v7;
}
@Override
public int size() {
return 7;
}
public T7 get7() {
return v7;
}
@Override
public List<@Nullable Object> items() {
return Arrays.asList(get1(), get2(), get3(), get4(), get5(), get6(), get7());
}
@Override
public boolean equals(@Nullable Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Tuple7 tuple = (Tuple7) o;
return Objects.equals(v1, tuple.v1) //
&& Objects.equals(v2, tuple.v2) //
&& Objects.equals(v3, tuple.v3) //
&& Objects.equals(v4, tuple.v4) //
&& Objects.equals(v5, tuple.v5) //
&& Objects.equals(v6, tuple.v6) //
&& Objects.equals(v7, tuple.v7);
}
@Override
public int hashCode() {
return HashCodeSupport.hash(v1, v2, v3, v4, v5, v6, v7);
}
}
class Tuple8 extends Tuple7 {
final T8 v8;
private Tuple8(
T1 v1,
T2 v2,
T3 v3,
T4 v4,
T5 v5,
T6 v6,
T7 v7,
T8 v8
) {
super(v1, v2, v3, v4, v5, v6, v7);
this.v8 = v8;
}
@Override
public int size() {
return 8;
}
public T8 get8() {
return v8;
}
@Override
public List<@Nullable Object> items() {
return Arrays.asList(get1(), get2(), get3(), get4(), get5(), get6(), get7(), get8());
}
@Override
public boolean equals(@Nullable Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Tuple8 tuple = (Tuple8) o;
return Objects.equals(v1, tuple.v1) //
&& Objects.equals(v2, tuple.v2) //
&& Objects.equals(v3, tuple.v3) //
&& Objects.equals(v4, tuple.v4) //
&& Objects.equals(v5, tuple.v5) //
&& Objects.equals(v6, tuple.v6) //
&& Objects.equals(v7, tuple.v7) //
&& Objects.equals(v8, tuple.v8);
}
@Override
public int hashCode() {
return HashCodeSupport.hash(v1, v2, v3, v4, v5, v6, v7, v8);
}
}
}