net.jqwik.engine.properties.shrinking

Class PropertyShrinker

java.lang.Object

net.jqwik.engine.properties.shrinking.PropertyShrinker

public class PropertyShrinker
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PropertyShrinker(java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> parameters, net.jqwik.api.ShrinkingMode shrinkingMode, java.util.function.Consumer<org.junit.platform.engine.reporting.ReportEntry> reporter, net.jqwik.api.Reporting[] reporting)

Method Summary

Modifier and Type	Method and Description
PropertyShrinkingResult	shrink(net.jqwik.api.Falsifier<java.util.List<java.lang.Object>> forAllFalsifier, java.lang.Throwable originalError)

Methods inherited from class java.lang.Object

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

Constructor Detail

PropertyShrinker

public PropertyShrinker(java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> parameters,
                        net.jqwik.api.ShrinkingMode shrinkingMode,
                        java.util.function.Consumer<org.junit.platform.engine.reporting.ReportEntry> reporter,
                        net.jqwik.api.Reporting[] reporting)

Method Detail

shrink

public PropertyShrinkingResult shrink(net.jqwik.api.Falsifier<java.util.List<java.lang.Object>> forAllFalsifier,
                                      java.lang.Throwable originalError)