Package net.jqwik.engine.properties.shrinking

Class PropertyShrinker

java.lang.Object
net.jqwik.engine.properties.shrinking.PropertyShrinker
public class PropertyShrinker extends Object

  • Constructor Summary

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

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.lifecycle.ShrunkFalsifiedSample
    shrink(net.jqwik.api.Falsifier<List<Object>> forAllFalsifier)
     
    List<net.jqwik.api.lifecycle.TryExecutionResult.Status>
    shrinkingSequence()
     

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • 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)

  • Method Details

    • shrink

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

    • shrinkingSequence

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