Package net.jqwik.api.facades

Klasse ShrinkingSupportFacade

java.lang.Object

net.jqwik.api.facades.ShrinkingSupportFacade

@API(status=INTERNAL)
public abstract class ShrinkingSupportFacade
extends Object

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
static final ShrinkingSupportFacade	implementation

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
ShrinkingSupportFacade()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
abstract <T extends @Nullable Object> T	falsifyThenShrink(Arbitrary<? extends T> arbitrary, Random random, Falsifier<? super T> falsifier)
abstract <T extends @Nullable Object> T	falsifyThenShrink(RandomGenerator<? extends T> arbitrary, Random random, Falsifier<? super T> falsifier)
abstract <T extends @Nullable Object> T	shrink(Shrinkable<T> falsifiedShrinkable, Falsifier<? super T> falsifier, Throwable originalError)
abstract <T extends @Nullable Object> ShrunkFalsifiedSample	shrinkToSample(Shrinkable<T> falsifiedShrinkable, Falsifier<? super T> falsifier, Throwable originalError)

Von Klasse geerbte Methoden java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Felddetails

implementation

public static final ShrinkingSupportFacade implementation

Konstruktordetails

ShrinkingSupportFacade

public ShrinkingSupportFacade()

Methodendetails

falsifyThenShrink

public abstract <T extends @Nullable Object> T falsifyThenShrink(Arbitrary<? extends T> arbitrary,
 Random random,
 Falsifier<? super T> falsifier)

falsifyThenShrink

public abstract <T extends @Nullable Object> T falsifyThenShrink(RandomGenerator<? extends T> arbitrary,
 Random random,
 Falsifier<? super T> falsifier)

shrink

public abstract <T extends @Nullable Object> T shrink(Shrinkable<T> falsifiedShrinkable,
 Falsifier<? super T> falsifier,
 Throwable originalError)

shrinkToSample

public abstract <T extends @Nullable Object>
ShrunkFalsifiedSample shrinkToSample(Shrinkable<T> falsifiedShrinkable,
 Falsifier<? super T> falsifier,
 Throwable originalError)