Package net.jqwik.engine.properties.shrinking

Class PropertyShrinker

  • public class PropertyShrinker
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      PropertyShrinker​(net.jqwik.api.lifecycle.FalsifiedSample originalSample, net.jqwik.api.ShrinkingMode shrinkingMode, int boundedShrinkingSeconds, java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> falsifiedSampleReporter, java.lang.reflect.Method targetMethod)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrink​(net.jqwik.api.Falsifier<java.util.List<java.lang.Object>> forAllFalsifier)  
      net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrink​(net.jqwik.api.Falsifier<java.util.List<java.lang.Object>> falsifier, java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> shrinkSampleConsumer, java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> shrinkAttemptConsumer)  
      net.jqwik.api.lifecycle.FalsifiedSample shrinkAsLongAsSampleImproves​(net.jqwik.api.Falsifier<java.util.List<java.lang.Object>> falsifier, java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> shrinkSampleConsumer, java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> shrinkAttemptConsumer)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • PropertyShrinker

        public PropertyShrinker​(net.jqwik.api.lifecycle.FalsifiedSample originalSample,
                        net.jqwik.api.ShrinkingMode shrinkingMode,
                        int boundedShrinkingSeconds,
                        java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> falsifiedSampleReporter,
                        java.lang.reflect.Method targetMethod)

    • Method Detail

      • shrink

        public net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrink​(net.jqwik.api.Falsifier<java.util.List<java.lang.Object>> forAllFalsifier)

      • shrink

        public net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrink​(net.jqwik.api.Falsifier<java.util.List<java.lang.Object>> falsifier,
                                                            java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> shrinkSampleConsumer,
                                                            java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> shrinkAttemptConsumer)

      • shrinkAsLongAsSampleImproves

        public net.jqwik.api.lifecycle.FalsifiedSample shrinkAsLongAsSampleImproves​(net.jqwik.api.Falsifier<java.util.List<java.lang.Object>> falsifier,
                                                                            java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> shrinkSampleConsumer,
                                                                            java.util.function.Consumer<net.jqwik.api.lifecycle.FalsifiedSample> shrinkAttemptConsumer)