Package net.jqwik.engine.facades

Class ShrinkingSupportFacadeImpl

java.lang.Object
net.jqwik.api.facades.ShrinkingSupportFacade
net.jqwik.engine.facades.ShrinkingSupportFacadeImpl
public class ShrinkingSupportFacadeImpl extends net.jqwik.api.facades.ShrinkingSupportFacade

  • Field Summary

    Fields inherited from class net.jqwik.api.facades.ShrinkingSupportFacade

    implementation

  • Constructor Summary

    Constructors
    Constructor
    Description
    ShrinkingSupportFacadeImpl()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    <T> T
    falsifyThenShrink(net.jqwik.api.Arbitrary<? extends T> arbitrary, Random random, net.jqwik.api.Falsifier<T> falsifier)
     
    <T> T
    falsifyThenShrink(net.jqwik.api.RandomGenerator<? extends T> generator, Random random, net.jqwik.api.Falsifier<T> falsifier)
     
    <T> T
    shrink(net.jqwik.api.Shrinkable<T> falsifiedShrinkable, net.jqwik.api.Falsifier<T> falsifier, Throwable originalError)
     
    <T> net.jqwik.api.lifecycle.ShrunkFalsifiedSample
    shrinkToSample(net.jqwik.api.Shrinkable<T> falsifiedShrinkable, net.jqwik.api.Falsifier<T> falsifier, Throwable originalError)
     

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ShrinkingSupportFacadeImpl

      public ShrinkingSupportFacadeImpl()

  • Method Details

    • falsifyThenShrink

      public <T> T falsifyThenShrink(net.jqwik.api.Arbitrary<? extends T> arbitrary, Random random, net.jqwik.api.Falsifier<T> falsifier)
      Specified by:
      falsifyThenShrink in class net.jqwik.api.facades.ShrinkingSupportFacade

    • falsifyThenShrink

      public <T> T falsifyThenShrink(net.jqwik.api.RandomGenerator<? extends T> generator, Random random, net.jqwik.api.Falsifier<T> falsifier)
      Specified by:
      falsifyThenShrink in class net.jqwik.api.facades.ShrinkingSupportFacade

    • shrink

      public <T> T shrink(net.jqwik.api.Shrinkable<T> falsifiedShrinkable, net.jqwik.api.Falsifier<T> falsifier, Throwable originalError)
      Specified by:
      shrink in class net.jqwik.api.facades.ShrinkingSupportFacade

    • shrinkToSample

      public <T> net.jqwik.api.lifecycle.ShrunkFalsifiedSample shrinkToSample(net.jqwik.api.Shrinkable<T> falsifiedShrinkable, net.jqwik.api.Falsifier<T> falsifier, Throwable originalError)
      Specified by:
      shrinkToSample in class net.jqwik.api.facades.ShrinkingSupportFacade