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> T	falsifyThenShrink(Arbitrary<? extends T> arbitrary, Random random, Falsifier<T> falsifier)
abstract <T> T	falsifyThenShrink(RandomGenerator<? extends T> arbitrary, Random random, Falsifier<T> falsifier)
abstract <T> T	shrink(Shrinkable<T> falsifiedShrinkable, Falsifier<T> falsifier, Throwable originalError)
abstract <T> ShrunkFalsifiedSample	shrinkToSample(Shrinkable<T> falsifiedShrinkable, Falsifier<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> T falsifyThenShrink(Arbitrary<? extends T> arbitrary,
 Random random,
 Falsifier<T> falsifier)

falsifyThenShrink

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

shrink

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

shrinkToSample

public abstract <T> ShrunkFalsifiedSample shrinkToSample(Shrinkable<T> falsifiedShrinkable,
 Falsifier<T> falsifier,
 Throwable originalError)