net.jqwik.api.facades.ShrinkingSupportFacade Maven / Gradle / Ivy

Go to download

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

Jqwik API module

There is a newer version: 1.9.2

package net.jqwik.api.facades;

import java.util.*;

import org.apiguardian.api.*;

import net.jqwik.api.*;
import net.jqwik.api.lifecycle.*;

import static org.apiguardian.api.API.Status.*;

@API(status = INTERNAL)
public abstract class ShrinkingSupportFacade {
	public static final ShrinkingSupportFacade implementation;

	static {
		implementation = FacadeLoader.load(ShrinkingSupportFacade.class);
	}

	public abstract  T falsifyThenShrink(Arbitrary arbitrary, Random random, Falsifier falsifier);

	public abstract  T falsifyThenShrink(RandomGenerator arbitrary, Random random, Falsifier falsifier);

	public abstract  T shrink(
			Shrinkable falsifiedShrinkable,
			Falsifier falsifier,
			Throwable originalError
	);

	public abstract  ShrunkFalsifiedSample shrinkToSample(
			Shrinkable falsifiedShrinkable,
			Falsifier falsifier,
			Throwable originalError
	);
}