Package net.jqwik.testing

Klasse ShrinkToChecker

java.lang.Object

net.jqwik.testing.ShrinkToChecker

Alle implementierten Schnittstellen:

Consumer<net.jqwik.api.lifecycle.PropertyExecutionResult>

@API(status=EXPERIMENTAL,
     since="1.4.0")
public abstract class ShrinkToChecker
extends Object
implements Consumer<net.jqwik.api.lifecycle.PropertyExecutionResult>

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
ShrinkToChecker()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
void	accept(net.jqwik.api.lifecycle.PropertyExecutionResult propertyExecutionResult)
abstract Iterable<?>	shrunkValues()

Von Klasse geerbte Methoden java.lang.Object

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

Von Schnittstelle geerbte Methoden java.util.function.Consumer

andThen

Konstruktordetails

ShrinkToChecker

public ShrinkToChecker()

Methodendetails

accept

public void accept(net.jqwik.api.lifecycle.PropertyExecutionResult propertyExecutionResult)

Angegeben von:

accept in Schnittstelle Consumer<net.jqwik.api.lifecycle.PropertyExecutionResult>

shrunkValues

public abstract Iterable<?> shrunkValues()