Package net.jqwik.api.facades

Class ShrinkingSupportFacade

java.lang.Object

net.jqwik.api.facades.ShrinkingSupportFacade

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

Field Summary

Fields

Modifier and Type	Field	Description
static ShrinkingSupportFacade	implementation

Constructor Summary

Constructors

Constructor	Description
ShrinkingSupportFacade()

Method Summary

Modifier and Type	Method	Description
abstract <T> T	falsifyThenShrink(Arbitrary<? extends T> arbitrary, java.util.Random random, Falsifier<T> falsifier)
abstract <T> T	falsifyThenShrink(RandomGenerator<? extends T> arbitrary, java.util.Random random, Falsifier<T> falsifier)
abstract <T> T	shrink(Shrinkable<T> falsifiedShrinkable, Falsifier<T> falsifier, java.lang.Throwable originalError)
abstract <T> ShrunkFalsifiedSample	shrinkToSample(Shrinkable<T> falsifiedShrinkable, Falsifier<T> falsifier, java.lang.Throwable originalError)

Methods inherited from class java.lang.Object

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

Field Detail

implementation

public static final ShrinkingSupportFacade implementation

Constructor Detail

ShrinkingSupportFacade

public ShrinkingSupportFacade()

Method Detail

falsifyThenShrink

public abstract <T> T falsifyThenShrink(Arbitrary<? extends T> arbitrary,
                                        java.util.Random random,
                                        Falsifier<T> falsifier)

falsifyThenShrink

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

shrink

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

shrinkToSample

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