net.jqwik.engine.properties.arbitraries.CreateArbitrary Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jqwik-engine Show documentation

Jqwik Engine module

The newest version!

package net.jqwik.engine.properties.arbitraries;

import java.util.function.*;

import net.jqwik.api.*;
import net.jqwik.api.support.*;
import net.jqwik.engine.properties.arbitraries.exhaustive.*;

import org.jspecify.annotations.*;

public class CreateArbitrary extends UseGeneratorsArbitrary {

	private final Supplier supplier;

	public CreateArbitrary(Supplier supplier) {
		super(
			random -> Shrinkable.supplyUnshrinkable(supplier),
			max -> ExhaustiveGenerators.create(supplier, max),
			maxEdgeCases -> EdgeCases.fromSupplier(() -> Shrinkable.supplyUnshrinkable(supplier))
		);
		this.supplier = supplier;
	}

	@Override
	public boolean equals(Object o) {
		if (this == o) return true;
		if (o == null || getClass() != o.getClass()) return false;

		CreateArbitrary that = (CreateArbitrary) o;
		return LambdaSupport.areEqual(supplier, that.supplier);
	}

	@Override
	public int hashCode() {
		return supplier.getClass().hashCode();
	}
}