Package net.jqwik.api.facades

Class ShrinkingSupportFacade

java.lang.Object

net.jqwik.api.facades.ShrinkingSupportFacade

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

Field Summary

Fields

Modifier and Type	Field	Description
static final ShrinkingSupportFacade	implementation

Constructor Summary

Constructors

Constructor	Description
ShrinkingSupportFacade()

Method Summary

Modifier and Type	Method	Description
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)

Methods inherited from class java.lang.Object

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

Field Details

implementation

public static final ShrinkingSupportFacade implementation

Constructor Details

ShrinkingSupportFacade

public ShrinkingSupportFacade()

Method Details

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)