Package net.jqwik.engine.properties.shrinking

Klasse PropertyShrinker

java.lang.Object

net.jqwik.engine.properties.shrinking.PropertyShrinker

public class PropertyShrinker
extends Object

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
PropertyShrinker(net.jqwik.api.lifecycle.FalsifiedSample originalSample, net.jqwik.api.ShrinkingMode shrinkingMode, int boundedShrinkingSeconds, Consumer<net.jqwik.api.lifecycle.FalsifiedSample> falsifiedSampleReporter, Method targetMethod)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
net.jqwik.api.lifecycle.ShrunkFalsifiedSample	shrink(net.jqwik.api.Falsifier<? super List<Object>> forAllFalsifier)
List<net.jqwik.api.lifecycle.TryExecutionResult.Status>	shrinkingSequence()

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

PropertyShrinker

public PropertyShrinker(net.jqwik.api.lifecycle.FalsifiedSample originalSample,
 net.jqwik.api.ShrinkingMode shrinkingMode,
 int boundedShrinkingSeconds,
 Consumer<net.jqwik.api.lifecycle.FalsifiedSample> falsifiedSampleReporter,
 Method targetMethod)

Methodendetails

shrink

public net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrink(net.jqwik.api.Falsifier<? super List<Object>> forAllFalsifier)

shrinkingSequence

public List<net.jqwik.api.lifecycle.TryExecutionResult.Status> shrinkingSequence()